Sophie Quinton

According to our database1, Sophie Quinton authored at least 43 papers between 2007 and 2021.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2021
System-level Logical Execution Time: Augmenting the Logical Execution Time Paradigm for Distributed Real-time Automotive Software.
ACM Trans. Cyber Phys. Syst., 2021

2020
Weakly-hard Real-time Guarantees for Earliest Deadline First Scheduling of Independent Tasks.
ACM Trans. Embed. Comput. Syst., 2020

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

CertiCAN: A Tool for the Coq Certification of CAN Analysis Results.
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.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018

Exploiting Execution Dynamics in Timing Analysis Using Job Sequences.
IEEE Des. Test, 2018

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

A Generic Coq Proof of Typical Worst-Case Analysis.
Proceedings of the 2018 IEEE Real-Time Systems Symposium, 2018

A Generalized Digraph Model for Expressing Dependencies.
Proceedings of the 26th International Conference on Real-Time Networks and Systems, 2018

Evaluation and Comparison of Real-Time Systems Analysis Methods and Tools.
Proceedings of the Formal Methods for Industrial Critical Systems, 2018

Building Correct Cyber-Physical Systems: Why We Need a Multiview Contract Theory.
Proceedings of the Formal Methods for Industrial Critical Systems, 2018

Verifying Weakly-Hard Real-Time Properties of Traffic Streams in Switched Networks.
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.
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.
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.
Proceedings of the 2017 IEEE Real-Time and Embedded Technology and Applications Symposium, 2017

Budgeting Under-Specified Tasks for Weakly-Hard Real-Time Systems.
Proceedings of the 29th Euromicro Conference on Real-Time Systems, 2017

Bounding deadline misses in weakly-hard real-time systems with task dependencies.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017

A Framework for Evaluating Schedulability Analysis Tools.
Proceedings of the Models, Algorithms, Logics and Tools, 2017

2016
Knowledge-based construction of distributed constrained systems.
Softw. Syst. Model., 2016

Using Multi-Viewpoint Contracts for Negotiation of Embedded Software Updates.
Proceedings of the Proceedings First Workshop on Pre- and Post-Deployment Verification Techniques, 2016

2015
Mixed criticality systems with weakly-hard constraints.
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.
Proceedings of the 27th Euromicro Conference on Real-Time Systems, 2015

2014
Formal Analysis of Timing Effects on Closed-Loop Properties of Control Software.
Proceedings of the IEEE 35th IEEE Real-Time Systems Symposium, 2014

Extending typical worst-case analysis using response-time dependencies to bound deadline misses.
Proceedings of the 2014 International Conference on Embedded Software, 2014

Typical Worst Case Response-Time Analysis and its Use in Automotive Network Design.
Proceedings of the 51st Annual Design Automation Conference 2014, 2014

Contract-Based Reasoning for Component Systems with Rich Interactions.
Proceedings of the Embedded Systems Development, From Functional Models to Implementations, 2014

2013
Knowledge for the Distributed Implementation of Constrained Systems.
Proceedings of the Integrated Formal Methods, 10th International Conference, 2013

Response-Time Analysis of Parallel Fork-Join Workloads with Real-Time Constraints.
Proceedings of the 25th Euromicro Conference on Real-Time Systems, 2013

Formal analysis of sporadic bursts in real-time systems.
Proceedings of the Design, Automation and Test in Europe, 2013

Sensitivity analysis for arbitrary activation patterns in real-time systems.
Proceedings of the Design, Automation and Test in Europe, 2013

Multi-mode monitoring for mixed-criticality real-time systems.
Proceedings of the International Conference on Hardware/Software Codesign and System Synthesis, 2013

2012
Achieving distributed control through model checking.
Formal Methods Syst. Des., 2012

Monitoring Arbitrary Activation Patterns in Real-Time Systems.
Proceedings of the 33rd IEEE Real-Time Systems Symposium, 2012

Generalized Weakly-Hard Constraints.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies, 2012

Timing Constraints: Theory Meets Practice.
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.
Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

Challenges and new trends in probabilistic timing analysis.
Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

2011
Building Distributed Controllers for Systems with Priorities.
J. Log. Algebraic Methods Program., 2011

Monitoring Distributed Systems Using Knowledge.
Proceedings of the Formal Techniques for Distributed Systems, 2011

2010
Reasoning about Safety and Progress Using Contracts.
Proceedings of the Formal Methods and Software Engineering, 2010

Methods for Knowledge Based Controlling of Distributed Systems.
Proceedings of the Automated Technology for Verification and Analysis, 2010

2008
Contract-Based Verification of Hierarchical Systems of Components.
Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008

2007
Contracts for BIP: Hierarchical Interaction Models for Compositional Verification.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2007


  Loading...