Search - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly

Filter your results

31 Results
authIdHal_s : squinton
Image document

Work In Progress: Toward a Coq-certified Tool for the Schedulability Analysis of Tasks with Offsets

Xiaojie Guo , Sophie Quinton , Pascal Fradet , Jean-François Monin
RTSS 2017 - IEEE Real-Time Systems Symposium, Dec 2017, Paris, France. pp.1-3
Conference papers hal-01629288v1
Image document

Quantifying the Flexibility of Real-Time Systems

Rafik Henia , Alain Girault , Christophe Prévot , Sophie Quinton , Laurent Rioux et al.
10th Junior Researcher Workshop on Real-Time Computing , Oct 2016, Brest, France
Conference papers hal-01426658v1
Image document

Sciences, Environnements et Sociétés

Françoise Berthoud , Pascal Guitton , Laurent Lefèvre , Sophie Quinton , Antoine Rousseau et al.
[0] Inria. 2019
Reports hal-02340948v1

Typical Worst Case Response-Time Analysis and its Use in Automotive Network Design

Sophie Quinton , Julien Hennig , Torsten Bone , Moritz Neukirchner , Rolf Ernst et al.
The 51st Annual Design Automation Conference 2014, Jun 2014, San Francisco, CA, United States. ⟨10.1145/2593069.2602977⟩
Conference papers hal-01097619v1
Image document

Building Correct Cyber-Physical Systems: Why we need a Multiview Contract Theory

Susanne Graf , Sophie Quinton , Alain Girault , Gregor Gössler
FMICS 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
Image document

Work-in-Progress and Demo Proceedings - 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)

Vincent Nélis , Sophie Quinton
2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), Apr 2016, Vienna, Austria. , 2016
Proceedings hal-01305183v1
Image document

Demo Abstract: Bounding Deadline Misses for Weakly-Hard Real-Time Systems Designed in CAPELLA

Rafik Henia , Laurent Rioux , Nicolas Sordon , Zain a H Hammadeh , Rolf Ernst et al.
RTAS 2017 - IEEE Real-Time and Embedded Technology and Applications Symposium, Apr 2017, Pittsburgh, United States. , pp.1-2
Poster communications hal-01674754v1
Image document

Budgeting Under-Specified Tasks for Weakly-Hard Real-Time Systems

Zain a H Hammadeh , Sophie Quinton , Marco Panunzio , Rafik Henia , Laurent Rioux et al.
ECRTS 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 misses

Zain A. H. Hammadeh , Sophie Quinton , Rolf Ernst
14th International Conference on Embedded Software 2014 (EMSOFT), Oct 2014, New Delhi, India. ⟨10.1145/2656045.2656059⟩
Conference papers hal-01097621v1
Image document

Using Multi-Viewpoint Contracts for Negotiation of Embedded Software Updates

Sönke Holthusen , Sophie Quinton , Ina Schaefer , Johannes Schlatow , Martin Wegner et al.
Workshop on Pre- and Post-Deployment Verification Techniques, Jun 2016, Reykjavik, Iceland. ⟨10.4204/EPTCS.208.3⟩
Conference papers hal-01426654v1
Image document

How realistic are claims about the benefits of using digital technologies for GHG emissions mitigation?

Aina Rasoldier , Jacques Combaz , Alain Girault , Kevin Marquet , Sophie Quinton et al.
LIMITS 2022 - Eighth Workshop on Computing within Limits, Jun 2022, Virtual, France
Conference papers hal-03949261v1
Image document

CertiCAN: Certifying CAN Analyses and Their Results

Pascal Fradet , Xiaojie Guo , Sophie Quinton
[Research Report] RR-9443, Inria - Research Centre Grenoble – Rhône-Alpes. 2021, pp.1-32
Reports hal-03499968v1
Image document

RTLib: A Library of Timed Automata for Modeling Real-Time Systems

Lijun Shan , Susanne Graf , Sophie Quinton
[Research Report] Grenoble 1 UGA - Université Grenoble Alpe; INRIA Grenoble - Rhone-Alpes. 2016
Reports hal-01393888v1
Image document

Methods for Knowledge Based Controlling of Distributed Systems

Saddek Bensalem , Marius Bozga , Susanne Graf , Doron Peled , Sophie Quinton et al.
Automated 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
Image document

The Logical Execution Time Paradigm: New Perspectives for Multicore Systems (Dagstuhl Seminar 18092)

Rolf Ernst , Stefan Kuntz , Sophie Quinton , Martin Simons
Dagstuhl Reports, 2018, 8, pp.122 - 149. ⟨10.4230/DagRep.8.2.122⟩
Journal articles hal-01956964v1
Image document

System Level LET with Application to Automotive Design

Rolf Ernst , Leonie Ahrendts , Kai-Björn Gemlau , Sophie Quinton , Hermann von Hasseln et al.
[Research Report] TU Braunschweig. 2018, pp.1-11
Reports hal-01962330v1
Image document

A Framework for Evaluating Schedulability Analysis Tools

Lijun Shan , Susanne Graf , Sophie Quinton , Loïc Fejoz
Models, 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 systems

Susanne Graf , Sophie Quinton
Software and Systems Modeling, 2015, ⟨10.1007/s10270-014-0451-z⟩
Journal articles hal-01257059v1
Image document

System-level Logical Execution Time: Augmenting the Logical Execution Time Paradigm for Distributed Real-Time Automotive Software

Kai-Björn Gemlau , Leonie Köhler , Rolf Ernst , Sophie Quinton
ACM Transactions on Cyber-Physical Systems, 2021, 5 (2), pp.1-27. ⟨10.1145/3381847⟩
Journal articles hal-03125851v1
Image document

Evaluation and Comparison of Real-Time Systems Analysis Methods and Tools

Sophie Quinton
FMICS 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
Image document

A Generalized Digraph Model for Expressing Dependencies

Pascal Fradet , Xiaojie Guo , Jean-François Monin , Sophie Quinton
RTNS '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
Image document

Improving and Estimating the Precision of Bounds on the Worst-Case Latency of Task Chains

Alain Girault , Christophe Prévot , Sophie Quinton , Rafik Henia , Nicolas Sordon et al.
IEEE 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 Software

Goran Frehse , Arne Hamann , Sophie Quinton , Matthias Wöhrle
35th IEEE Real-Time Systems Symposium 2014 (RTSS), Dec 2014, Rome, Italy
Conference papers hal-01097622v1
Image document

Finite Ready Queues As a Mean for Overload Reduction in Weakly-Hard Real-Time Systems

Sophie Quinton , Leonie Ahrendts , Rolf Ernst
RTNS 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
Image document

Verifying Weakly-Hard Real-Time Properties of Traffic Streams in Switched Networks

Leonie Ahrendts , Sophie Quinton , Thomas Boroske , Rolf Ernst
ECRTS 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
Image document

Weakly-hard Real-time Guarantees for Earliest Deadline First Scheduling of Independent Tasks

Zain a H Hammadeh , Sophie Quinton , Rolf Ernst
ACM Transactions on Embedded Computing Systems (TECS), 2020, 18 (6), pp.1-25. ⟨10.1145/3356865⟩
Journal articles hal-02459836v1
Image document

A Generic Coq Proof of Typical Worst-Case Analysis

Pascal Fradet , Maxime Lesourd , Jean-François Monin , Sophie Quinton
RTSS 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 constraints

Oliver Gettings , Sophie Quinton , Robert Davis
International 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 Analysis

Xu Wenbo , Zain A. H. Hammadeh , Kröller Alexander , Sophie Quinton , Rolf Ernst et al.
Euromicro Conference on Real-Time Systems, Jul 2015, Lund, Sweden. ⟨10.1109/ECRTS.2015.29⟩
Conference papers hal-01257065v1
Image document

Bounding Deadline Misses in Weakly-Hard Real-Time Systems with Task Dependencies

Zain A. H. Hammadeh , Rolf Ernst , Sophie Quinton , Rafik Henia , Laurent Rioux et al.
Design, Automation & Test in Europe Conference & Exhibition (DATE 2017), Mar 2017, Lausanne, Switzerland
Conference papers hal-01426632v1