Sophie Quinton

Publication Activity (10 Years)

Years Active: 2007-2023
Publications (10 Years): 26

Top Topics

Hard Constraints

Embedded Software

Top Venues

Dagstuhl Artifacts Ser.

Publications

Sebastian Altmeyer, Étienne André, Silvano Dal-Zilio, Loïc Fejoz, Michael González Harbour, Susanne Graf, J. Javier Gutiérrez, Rafik Henia, Didier Le Botlan, Giuseppe Lipari, Julio L. Medina, Nicolas Navet, Sophie Quinton, Juan Maria Rivas, Youcheng Sun
From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Invited Paper). ECRTS (2023)
Aina Rasoldier, Alain Girault, Sophie Quinton, Jacques Combaz, Kevin Marquet
Assessing the Potential of Carpooling for Reducing Vehicle Kilometers Traveled. ICT4S (2023)
Pascal Fradet, Xiaojie Guo, Sophie Quinton
CertiCAN certifying CAN analyses and their results. Real Time Syst. 59 (2) (2023)
Sebastian Altmeyer, Étienne André, Silvano Dal-Zilio, Loïc Fejoz, Michael González Harbour, Susanne Graf, J. Javier Gutiérrez, Rafik Henia, Didier Le Botlan, Giuseppe Lipari, Julio L. Medina, Nicolas Navet, Sophie Quinton, Juan Maria Rivas, Youcheng Sun
From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Artifact). Dagstuhl Artifacts Ser. 9 (1) (2023)
Pierre Roux, Sophie Quinton, Marc Boyer
A Formal Link Between Response Time Analysis and Network Calculus. ECRTS (2022)
Pierre Roux, Sophie Quinton, Marc Boyer
A Formal Link Between Response Time Analysis and Network Calculus (Artifact). Dagstuhl Artifacts Ser. 8 (1) (2022)
Kai-Björn Gemlau, Leonie Köhler, Rolf Ernst, Sophie Quinton
System-level Logical Execution Time: Augmenting the Logical Execution Time Paradigm for Distributed Real-time Automotive Software. ACM Trans. Cyber Phys. Syst. 5 (2) (2021)
Zain Alabedin Haj Hammadeh, Sophie Quinton, Rolf Ernst
Weakly-hard Real-time Guarantees for Earliest Deadline First Scheduling of Independent Tasks. ACM Trans. Embed. Comput. Syst. 18 (6) (2020)
Sophie Quinton, Sebastian Altmeyer, Alessandro Papadopoulos
Front Matter - ECRTS 2019 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee. Dagstuhl Artifacts Ser. 5 (1) (2019)
Pascal Fradet, Xiaojie Guo, Jean-François Monin, Sophie Quinton
CertiCAN: A Tool for the Coq Certification of CAN Analysis Results. RTAS (2019)
Leonie Ahrendts, Rolf Ernst, Sophie Quinton
Exploiting Execution Dynamics in Timing Analysis Using Job Sequences. IEEE Des. Test 35 (4) (2018)
Rolf Ernst, Stefan Kuntz, Sophie Quinton, Martin Simons
The Logical Execution Time Paradigm: New Perspectives for Multicore Systems (Dagstuhl Seminar 18092). Dagstuhl Reports 8 (2) (2018)
Pascal Fradet, Maxime Lesourd, Jean-François Monin, Sophie Quinton
A Generic Coq Proof of Typical Worst-Case Analysis. RTSS (2018)
Alain Girault, Christophe Prévot, Sophie Quinton, Rafik Henia, Nicolas Sordon
Improving and Estimating the Precision of Bounds on the Worst-Case Latency of Task Chains. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37 (11) (2018)
Leonie Ahrendts, Sophie Quinton, Thomas Boroske, Rolf Ernst
Verifying Weakly-Hard Real-Time Properties of Traffic Streams in Switched Networks. ECRTS (2018)
Sophie Quinton
Evaluation and Comparison of Real-Time Systems Analysis Methods and Tools. FMICS (2018)
Pascal Fradet, Xiaojie Guo, Jean-François Monin, Sophie Quinton
A Generalized Digraph Model for Expressing Dependencies. RTNS (2018)
Susanne Graf, Sophie Quinton, Alain Girault, Gregor Gößler
Building Correct Cyber-Physical Systems: Why We Need a Multiview Contract Theory. FMICS (2018)
Zain Alabedin Haj Hammadeh, Rolf Ernst, Sophie Quinton, Rafik Henia, Laurent Rioux
Bounding deadline misses in weakly-hard real-time systems with task dependencies. DATE (2017)
Rafik Henia, L. Roux, Nicolas Sordon, Zain Alabedin Haj Hammadeh, Rolf Ernst, Sophie Quinton
Demo Abstract: Bounding Deadline Misses for Weakly-Hard Real-Time Systems Designed in CAPELLA. RTAS (2017)
Zain Alabedin Haj Hammadeh, Sophie Quinton, Marco Panunzio, Rafik Henia, Laurent Rioux, Rolf Ernst
Budgeting Under-Specified Tasks for Weakly-Hard Real-Time Systems. ECRTS (2017)
Xiaojie Guo, Sophie Quinton, Pascal Fradet, Jean-François Monin
Work-in-Progress: Toward a Coq-Certified Tool for the Schedulability Analysis of Tasks with Offsets. RTSS (2017)
Leonie Ahrendts, Sophie Quinton, Rolf Ernst
Finite ready queues as a mean for overload reduction in weakly-hard real-time systems. RTNS (2017)
Lijun Shan, Susanne Graf, Sophie Quinton, Loïc Fejoz
A Framework for Evaluating Schedulability Analysis Tools. Models, Algorithms, Logics and Tools (2017)
Sönke Holthusen, Sophie Quinton, Ina Schaefer, Johannes Schlatow, Martin Wegner
Using Multi-Viewpoint Contracts for Negotiation of Embedded Software Updates. PrePost@IFM (2016)
Susanne Graf, Sophie Quinton
Knowledge-based construction of distributed constrained systems. Softw. Syst. Model. 15 (4) (2016)
Oliver Gettings, Sophie Quinton, Robert I. Davis
Mixed criticality systems with weakly-hard constraints. RTNS (2015)
Wenbo Xu, Zain Alabedin Haj Hammadeh, Alexander Kröller, Rolf Ernst, Sophie Quinton
Improved Deadline Miss Models for Real-Time Systems Using Typical Worst-Case Analysis. ECRTS (2015)
Sophie Quinton, Torsten T. Bone, Julien Hennig, Moritz Neukirchner, Mircea Negrean, Rolf Ernst
Typical Worst Case Response-Time Analysis and its Use in Automotive Network Design. DAC (2014)
Goran Frehse, Arne Hamann, Sophie Quinton, Matthias Woehrle
Formal Analysis of Timing Effects on Closed-Loop Properties of Control Software. RTSS (2014)
Zain Alabedin Haj Hammadeh, Sophie Quinton, Rolf Ernst
Extending typical worst-case analysis using response-time dependencies to bound deadline misses. EMSOFT (2014)
Susanne Graf, Sophie Quinton
Knowledge for the Distributed Implementation of Constrained Systems. IFM (2013)
Sophie Quinton, Mircea Negrean, Rolf Ernst
Formal analysis of sporadic bursts in real-time systems. DATE (2013)
Moritz Neukirchner, Kai Lampka, Sophie Quinton, Rolf Ernst
Multi-mode monitoring for mixed-criticality real-time systems. CODES+ISSS (2013)
Philip Axer, Sophie Quinton, Moritz Neukirchner, Rolf Ernst, Björn Döbel, Hermann Härtig
Response-Time Analysis of Parallel Fork-Join Workloads with Real-Time Constraints. ECRTS (2013)
Moritz Neukirchner, Sophie Quinton, Tobias Michaels, Philip Axer, Rolf Ernst
Sensitivity analysis for arbitrary activation patterns in real-time systems. DATE (2013)
Sophie Quinton, Rolf Ernst, Dominique Bertrand, Patrick Meumeu Yomsi
Challenges and new trends in probabilistic timing analysis. DATE (2012)
Moritz Neukirchner, Tobias Michaels, Philip Axer, Sophie Quinton, Rolf Ernst
Monitoring Arbitrary Activation Patterns in Real-Time Systems. RTSS (2012)
Sophie Quinton, Rolf Ernst
Generalized Weakly-Hard Constraints. ISoLA (2) (2012)
Susanne Graf, Doron A. Peled, Sophie Quinton
Achieving distributed control through model checking. Formal Methods Syst. Des. 40 (2) (2012)
Björn Lisper, Johan Nordlander, Sophie Quinton
Timing Constraints: Theory Meets Practice. ISoLA (2) (2012)
Sophie Quinton, Matthias Hanke, Rolf Ernst
Formal analysis of sporadic overload in real-time systems. DATE (2012)
Susanne Graf, Doron A. Peled, Sophie Quinton
Monitoring Distributed Systems Using Knowledge. FMOODS/FORTE (2011)
Imene Ben Hafaiedh, Susanne Graf, Sophie Quinton
Building Distributed Controllers for Systems with Priorities. J. Log. Algebraic Methods Program. 80 (3-5) (2011)
Imene Ben Hafaiedh, Susanne Graf, Sophie Quinton
Reasoning about Safety and Progress Using Contracts. ICFEM (2010)
Susanne Graf, Doron A. Peled, Sophie Quinton
Achieving Distributed Control through Model Checking. CAV (2010)
Saddek Bensalem, Marius Bozga, Susanne Graf, Doron A. Peled, Sophie Quinton
Methods for Knowledge Based Controlling of Distributed Systems. ATVA (2010)
Sophie Quinton, Susanne Graf
Contract-Based Verification of Hierarchical Systems of Components. SEFM (2008)
Susanne Graf, Sophie Quinton
Contracts for BIP: Hierarchical Interaction Models for Compositional Verification. FORTE (2007)