Sophie Quinton

According to our database, Sophie Quinton authored at least 49 papers between 2007 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

CertiCAN certifying CAN analyses and their results.

Pascal Fradet, Xiaojie Guo, Sophie Quinton

Real Time Syst., 2023

From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Artifact).

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

Dagstuhl Artifacts Ser., 2023

Assessing the Potential of Carpooling for Reducing Vehicle Kilometers Traveled.

Aina Rasoldier, Alain Girault, Sophie Quinton, Jacques Combaz, Kevin Marquet

Proceedings of the International Conference on ICT for Sustainability, 2023

From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Invited Paper).

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

Proceedings of the 35th Euromicro Conference on Real-Time Systems, 2023

2022

A Formal Link Between Response Time Analysis and Network Calculus (Artifact).

Pierre Roux, Sophie Quinton, Marc Boyer

Dagstuhl Artifacts Ser., 2022

A Formal Link Between Response Time Analysis and Network Calculus.

Pierre Roux, Sophie Quinton, Marc Boyer

Proceedings of the 34th Euromicro Conference on Real-Time Systems, 2022

2021

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 Trans. Cyber Phys. Syst., 2021

2020

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

Zain Alabedin Haj Hammadeh, Sophie Quinton, Rolf Ernst

ACM Trans. Embed. Comput. Syst., 2020

2019

Front Matter - ECRTS 2019 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee.

Sophie Quinton, Sebastian Altmeyer, Alessandro Papadopoulos

Dagstuhl Artifacts Ser., 2019

CertiCAN: A Tool for the Coq Certification of CAN Analysis Results.

Pascal Fradet, Xiaojie Guo, Jean-François Monin, Sophie Quinton

Proceedings of the 25th IEEE Real-Time and Embedded Technology and Applications Symposium, 2019

2018

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

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018

Exploiting Execution Dynamics in Timing Analysis Using Job Sequences.

Leonie Ahrendts, Rolf Ernst, Sophie Quinton

IEEE Des. Test, 2018

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

Rolf Ernst, Stefan Kuntz, Sophie Quinton, Martin Simons

Dagstuhl Reports, 2018

A Generic Coq Proof of Typical Worst-Case Analysis.

Pascal Fradet, Maxime Lesourd, Jean-François Monin, Sophie Quinton

Proceedings of the 2018 IEEE Real-Time Systems Symposium, 2018

A Generalized Digraph Model for Expressing Dependencies.

Pascal Fradet, Xiaojie Guo, Jean-François Monin, Sophie Quinton

Proceedings of the 26th International Conference on Real-Time Networks and Systems, 2018

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

Sophie Quinton

Proceedings of the Formal Methods for Industrial Critical Systems, 2018

Building Correct Cyber-Physical Systems: Why We Need a Multiview Contract Theory.

Susanne Graf, Sophie Quinton, Alain Girault, Gregor Gößler

Proceedings of the Formal Methods for Industrial Critical Systems, 2018

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

Leonie Ahrendts, Sophie Quinton, Thomas Boroske, Rolf Ernst

Proceedings of the 30th Euromicro Conference on Real-Time Systems, 2018

2017

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

Proceedings of the 2017 IEEE Real-Time Systems Symposium, 2017

Finite ready queues as a mean for overload reduction in weakly-hard real-time systems.

Leonie Ahrendts, Sophie Quinton, Rolf Ernst

Proceedings of the 25th International Conference on Real-Time Networks and Systems, 2017

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

Rafik Henia, Lisa Roux, Nicolas Sordon, Zain Alabedin Haj Hammadeh, Rolf Ernst, Sophie Quinton

Proceedings of the 2017 IEEE Real-Time and Embedded Technology and Applications Symposium, 2017

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

Zain Alabedin Haj Hammadeh, Sophie Quinton, Marco Panunzio, Rafik Henia, Laurent Rioux, Rolf Ernst

Proceedings of the 29th Euromicro Conference on Real-Time Systems, 2017

Bounding deadline misses in weakly-hard real-time systems with task dependencies.

Zain Alabedin Haj Hammadeh, Rolf Ernst, Sophie Quinton, Rafik Henia, Laurent Rioux

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017

A Framework for Evaluating Schedulability Analysis Tools.

Lijun Shan, Susanne Graf, Sophie Quinton, Loïc Fejoz

Proceedings of the Models, Algorithms, Logics and Tools, 2017

2016

Knowledge-based construction of distributed constrained systems.

Susanne Graf, Sophie Quinton

Softw. Syst. Model., 2016

Using Multi-Viewpoint Contracts for Negotiation of Embedded Software Updates.

Sönke Holthusen, Sophie Quinton, Ina Schaefer, Johannes Schlatow, Martin Wegner

Proceedings of the Proceedings First Workshop on Pre- and Post-Deployment Verification Techniques, 2016

2015

Mixed criticality systems with weakly-hard constraints.

Oliver Gettings, Sophie Quinton, Robert I. Davis

Proceedings of the 23rd International Conference on Real Time Networks and Systems, 2015

Improved Deadline Miss Models for Real-Time Systems Using Typical Worst-Case Analysis.

Wenbo Xu, Zain Alabedin Haj Hammadeh, Alexander Kröller, Rolf Ernst, Sophie Quinton

Proceedings of the 27th Euromicro Conference on Real-Time Systems, 2015

2014

Formal Analysis of Timing Effects on Closed-Loop Properties of Control Software.

Goran Frehse, Arne Hamann, Sophie Quinton, Matthias Woehrle

Proceedings of the IEEE 35th IEEE Real-Time Systems Symposium, 2014

Extending typical worst-case analysis using response-time dependencies to bound deadline misses.

Zain Alabedin Haj Hammadeh, Sophie Quinton, Rolf Ernst

Proceedings of the 2014 International Conference on Embedded Software, 2014

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

Sophie Quinton, Torsten T. Bone, Julien Hennig, Moritz Neukirchner, Mircea Negrean, Rolf Ernst

Proceedings of the 51st Annual Design Automation Conference 2014, 2014

Contract-Based Reasoning for Component Systems with Rich Interactions.

Susanne Graf, Roberto Passerone, Sophie Quinton

Proceedings of the Embedded Systems Development, From Functional Models to Implementations, 2014

2013

Knowledge for the Distributed Implementation of Constrained Systems.

Susanne Graf, Sophie Quinton

Proceedings of the Integrated Formal Methods, 10th International Conference, 2013

Response-Time Analysis of Parallel Fork-Join Workloads with Real-Time Constraints.

Philip Axer, Sophie Quinton, Moritz Neukirchner, Rolf Ernst, Björn Döbel, Hermann Härtig

Proceedings of the 25th Euromicro Conference on Real-Time Systems, 2013

Formal analysis of sporadic bursts in real-time systems.

Sophie Quinton, Mircea Negrean, Rolf Ernst

Proceedings of the Design, Automation and Test in Europe, 2013

Sensitivity analysis for arbitrary activation patterns in real-time systems.

Moritz Neukirchner, Sophie Quinton, Tobias Michaels, Philip Axer, Rolf Ernst

Proceedings of the Design, Automation and Test in Europe, 2013

Multi-mode monitoring for mixed-criticality real-time systems.

Moritz Neukirchner, Kai Lampka, Sophie Quinton, Rolf Ernst

Proceedings of the International Conference on Hardware/Software Codesign and System Synthesis, 2013

2012

Achieving distributed control through model checking.

Susanne Graf, Doron A. Peled, Sophie Quinton

Formal Methods Syst. Des., 2012

Monitoring Arbitrary Activation Patterns in Real-Time Systems.

Moritz Neukirchner, Tobias Michaels, Philip Axer, Sophie Quinton, Rolf Ernst

Proceedings of the 33rd IEEE Real-Time Systems Symposium, 2012

Generalized Weakly-Hard Constraints.

Sophie Quinton, Rolf Ernst

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies, 2012

Timing Constraints: Theory Meets Practice.

Björn Lisper, Johan Nordlander, Sophie Quinton

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies, 2012

Formal analysis of sporadic overload in real-time systems.

Sophie Quinton, Matthias Hanke, Rolf Ernst

Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

Challenges and new trends in probabilistic timing analysis.

Sophie Quinton, Rolf Ernst, Dominique Bertrand, Patrick Meumeu Yomsi

Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

2011

Building Distributed Controllers for Systems with Priorities.

Imene Ben Hafaiedh, Susanne Graf, Sophie Quinton

J. Log. Algebraic Methods Program., 2011

Monitoring Distributed Systems Using Knowledge.

Susanne Graf, Doron A. Peled, Sophie Quinton

Proceedings of the Formal Techniques for Distributed Systems, 2011

2010

Reasoning about Safety and Progress Using Contracts.

Imene Ben Hafaiedh, Susanne Graf, Sophie Quinton

Proceedings of the Formal Methods and Software Engineering, 2010

Methods for Knowledge Based Controlling of Distributed Systems.

Saddek Bensalem, Marius Bozga, Susanne Graf, Doron A. Peled, Sophie Quinton

Proceedings of the Automated Technology for Verification and Analysis, 2010

2008

Contract-Based Verification of Hierarchical Systems of Components.

Sophie Quinton, Susanne Graf

Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008

2007

Contracts for BIP: Hierarchical Interaction Models for Compositional Verification.

Susanne Graf, Sophie Quinton

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2007