Filter your results
- 19
- 6
- 4
- 1
- 1
- 31
- 13
- 5
- 5
- 4
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 31
- 2
- 30
- 30
- 13
- 10
- 5
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 31
- 31
- 31
- 30
- 30
- 30
- 30
- 30
- 30
- 30
- 30
- 30
- 20
- 14
- 10
- 10
- 7
- 7
- 6
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 30
- 1
- 25
- 6
- 1
- 2
- 1
- 1
- 8
- 7
- 4
- 3
- 3
- 1
|
|
sorted by
|
|
Work In Progress: Toward a Coq-certified Tool for the Schedulability Analysis of Tasks with OffsetsRTSS 2017 - IEEE Real-Time Systems Symposium, Dec 2017, Paris, France. pp.1-3
Conference papers
hal-01629288v1
|
||
|
Quantifying the Flexibility of Real-Time Systems10th Junior Researcher Workshop on Real-Time Computing , Oct 2016, Brest, France
Conference papers
hal-01426658v1
|
||
|
Sciences, Environnements et Sociétés[0] Inria. 2019
Reports
hal-02340948v1
|
||
Typical Worst Case Response-Time Analysis and its Use in Automotive Network DesignThe 51st Annual Design Automation Conference 2014, Jun 2014, San Francisco, CA, United States. ⟨10.1145/2593069.2602977⟩
Conference papers
hal-01097619v1
|
|||
|
Building Correct Cyber-Physical Systems: Why we need a Multiview Contract TheoryFMICS 2018 - 23rd International Conference on Formal Methods for Industrial Critical Systems, Sep 2018, Dublin, Ireland. pp.19-31, ⟨10.1007/978-3-030-00244-2_2⟩
Conference papers
hal-01891146v1
|
||
|
Work-in-Progress and Demo Proceedings - 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), Apr 2016, Vienna, Austria. , 2016
Proceedings
hal-01305183v1
|
||
|
Demo Abstract: Bounding Deadline Misses for Weakly-Hard Real-Time Systems Designed in CAPELLARTAS 2017 - IEEE Real-Time and Embedded Technology and Applications Symposium, Apr 2017, Pittsburgh, United States. , pp.1-2
Poster communications
hal-01674754v1
|
||
|
Budgeting Under-Specified Tasks for Weakly-Hard Real-Time SystemsECRTS 2017 - 29th Euromicro Conference on Real-Time Systems, Jun 2017, Dubrovnik, Croatia. pp.1-22, ⟨10.4230/LIPIcs.ECRTS.2017.17⟩
Conference papers
hal-01674742v1
|
||
Extending typical worst-case analysis using response-time dependencies to bound deadline misses14th International Conference on Embedded Software 2014 (EMSOFT), Oct 2014, New Delhi, India. ⟨10.1145/2656045.2656059⟩
Conference papers
hal-01097621v1
|
|||
|
Using Multi-Viewpoint Contracts for Negotiation of Embedded Software UpdatesWorkshop on Pre- and Post-Deployment Verification Techniques, Jun 2016, Reykjavik, Iceland. ⟨10.4204/EPTCS.208.3⟩
Conference papers
hal-01426654v1
|
||
|
How realistic are claims about the benefits of using digital technologies for GHG emissions mitigation?LIMITS 2022 - Eighth Workshop on Computing within Limits, Jun 2022, Virtual, France
Conference papers
hal-03949261v1
|
||
|
CertiCAN: Certifying CAN Analyses and Their Results[Research Report] RR-9443, Inria - Research Centre Grenoble – Rhône-Alpes. 2021, pp.1-32
Reports
hal-03499968v1
|
||
|
RTLib: A Library of Timed Automata for Modeling Real-Time Systems[Research Report] Grenoble 1 UGA - Université Grenoble Alpe; INRIA Grenoble - Rhone-Alpes. 2016
Reports
hal-01393888v1
|
||
|
Methods for Knowledge Based Controlling of Distributed SystemsAutomated Technology for Verification and Analysis - 8th International Symposium, ATVA 2010, Sep 2010, Singapour, Singapore. pp.52-66, ⟨10.1007/978-3-642-15643-4_6⟩
Conference papers
hal-00557799v1
|
||
|
The Logical Execution Time Paradigm: New Perspectives for Multicore Systems (Dagstuhl Seminar 18092)Dagstuhl Reports, 2018, 8, pp.122 - 149. ⟨10.4230/DagRep.8.2.122⟩
Journal articles
hal-01956964v1
|
||
|
System Level LET with Application to Automotive Design[Research Report] TU Braunschweig. 2018, pp.1-11
Reports
hal-01962330v1
|
||
|
A Framework for Evaluating Schedulability Analysis ToolsModels, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday, Aug 2017, Aalborg, Denmark
Conference papers
hal-01674731v1
|
||
Knowledge-based construction of distributed constrained systemsSoftware and Systems Modeling, 2015, ⟨10.1007/s10270-014-0451-z⟩
Journal articles
hal-01257059v1
|
|||
|
System-level Logical Execution Time: Augmenting the Logical Execution Time Paradigm for Distributed Real-Time Automotive SoftwareACM Transactions on Cyber-Physical Systems, 2021, 5 (2), pp.1-27. ⟨10.1145/3381847⟩
Journal articles
hal-03125851v1
|
||
|
Evaluation and Comparison of Real-Time Systems Analysis Methods and ToolsFMICS 2018 - 23rd International Conference on Formal Methods for Industrial Critical Systems, Sep 2018, Maynooth, Ireland. pp.284-290, ⟨10.1007/978-3-030-00244-2_19⟩
Conference papers
hal-01903730v1
|
||
|
A Generalized Digraph Model for Expressing DependenciesRTNS '18 - 26th International Conference on Real-Time Networks and Systems, Oct 2018, Chasseneuil-du-Poitou, France. pp.1-11, ⟨10.1145/3273905.3273918⟩
Conference papers
hal-01878100v1
|
||
|
Improving and Estimating the Precision of Bounds on the Worst-Case Latency of Task ChainsIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2018, 37 (11), pp.2578-2589. ⟨10.1109/TCAD.2018.2861016⟩
Journal articles
hal-01956931v1
|
||
Formal Analysis of Timing Effects on Closed-loop Properties of Control Software35th IEEE Real-Time Systems Symposium 2014 (RTSS), Dec 2014, Rome, Italy
Conference papers
hal-01097622v1
|
|||
|
Finite Ready Queues As a Mean for Overload Reduction in Weakly-Hard Real-Time SystemsRTNS 2017 - 25th International Conference on Real-Time Networks and Systems, Oct 2017, Grenoble, France. pp.88-97, ⟨10.1145/3139258.3139259⟩
Conference papers
hal-01674737v1
|
||
|
Verifying Weakly-Hard Real-Time Properties of Traffic Streams in Switched NetworksECRTS 2018 - 30th Euromicro Conference on Real-Time Systems, Jul 2018, Barcelona, Spain. pp.1-22, ⟨10.4230/LIPIcs.ECRTS.2018.15⟩
Conference papers
hal-01903759v1
|
||
|
Weakly-hard Real-time Guarantees for Earliest Deadline First Scheduling of Independent TasksACM Transactions on Embedded Computing Systems (TECS), 2020, 18 (6), pp.1-25. ⟨10.1145/3356865⟩
Journal articles
hal-02459836v1
|
||
|
A Generic Coq Proof of Typical Worst-Case AnalysisRTSS 2018 - 39th IEEE Real-Time Systems Symposium, Dec 2018, Nashville, United States. pp.1-12
Conference papers
hal-01903752v1
|
||
|
Mixed criticality systems with weakly-hard constraintsInternational Conference on Real Time and Networks Systems, Nov 2015, Lille, France. ⟨10.1145/2834848.2834850⟩
Conference papers
hal-01257067v1
|
||
Improved Deadline Miss Models for Real-Time Systems Using Typical Worst-Case AnalysisEuromicro Conference on Real-Time Systems, Jul 2015, Lund, Sweden. ⟨10.1109/ECRTS.2015.29⟩
Conference papers
hal-01257065v1
|
|||
|
Bounding Deadline Misses in Weakly-Hard Real-Time Systems with Task DependenciesDesign, Automation & Test in Europe Conference & Exhibition (DATE 2017), Mar 2017, Lausanne, Switzerland
Conference papers
hal-01426632v1
|
- 1
- 2