Sophie Quinton
According to our database^{1},
Sophie Quinton
authored at least 43 papers
between 2007 and 2021.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Online presence:

on orcid.org
On csauthors.net:
Bibliography
2021
Systemlevel Logical Execution Time: Augmenting the Logical Execution Time Paradigm for Distributed Realtime Automotive Software.
ACM Trans. Cyber Phys. Syst., 2021
2020
Weaklyhard Realtime 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
Proceedings of the 25th IEEE RealTime and Embedded Technology and Applications Symposium, 2019
2018
Improving and Estimating the Precision of Bounds on the WorstCase Latency of Task Chains.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018
IEEE Des. Test, 2018
The Logical Execution Time Paradigm: New Perspectives for Multicore Systems (Dagstuhl Seminar 18092).
Dagstuhl Reports, 2018
Proceedings of the 2018 IEEE RealTime Systems Symposium, 2018
Proceedings of the 26th International Conference on RealTime Networks and Systems, 2018
Proceedings of the Formal Methods for Industrial Critical Systems, 2018
Proceedings of the Formal Methods for Industrial Critical Systems, 2018
Verifying WeaklyHard RealTime Properties of Traffic Streams in Switched Networks.
Proceedings of the 30th Euromicro Conference on RealTime Systems, 2018
2017
WorkinProgress: Toward a CoqCertified Tool for the Schedulability Analysis of Tasks with Offsets.
Proceedings of the 2017 IEEE RealTime Systems Symposium, 2017
Finite ready queues as a mean for overload reduction in weaklyhard realtime systems.
Proceedings of the 25th International Conference on RealTime Networks and Systems, 2017
Demo Abstract: Bounding Deadline Misses for WeaklyHard RealTime Systems Designed in CAPELLA.
Proceedings of the 2017 IEEE RealTime and Embedded Technology and Applications Symposium, 2017
Proceedings of the 29th Euromicro Conference on RealTime Systems, 2017
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017
Proceedings of the Models, Algorithms, Logics and Tools, 2017
2016
Softw. Syst. Model., 2016
Proceedings of the Proceedings First Workshop on Pre and PostDeployment Verification Techniques, 2016
2015
Proceedings of the 23rd International Conference on Real Time Networks and Systems, 2015
Improved Deadline Miss Models for RealTime Systems Using Typical WorstCase Analysis.
Proceedings of the 27th Euromicro Conference on RealTime Systems, 2015
2014
Proceedings of the IEEE 35th IEEE RealTime Systems Symposium, 2014
Extending typical worstcase analysis using responsetime dependencies to bound deadline misses.
Proceedings of the 2014 International Conference on Embedded Software, 2014
Typical Worst Case ResponseTime Analysis and its Use in Automotive Network Design.
Proceedings of the 51st Annual Design Automation Conference 2014, 2014
Proceedings of the Embedded Systems Development, From Functional Models to Implementations, 2014
2013
Proceedings of the Integrated Formal Methods, 10th International Conference, 2013
ResponseTime Analysis of Parallel ForkJoin Workloads with RealTime Constraints.
Proceedings of the 25th Euromicro Conference on RealTime Systems, 2013
Proceedings of the Design, Automation and Test in Europe, 2013
Proceedings of the Design, Automation and Test in Europe, 2013
Proceedings of the International Conference on Hardware/Software Codesign and System Synthesis, 2013
2012
Formal Methods Syst. Des., 2012
Proceedings of the 33rd IEEE RealTime Systems Symposium, 2012
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies, 2012
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies, 2012
Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012
Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012
2011
J. Log. Algebraic Methods Program., 2011
Proceedings of the Formal Techniques for Distributed Systems, 2011
2010
Proceedings of the Formal Methods and Software Engineering, 2010
Proceedings of the Automated Technology for Verification and Analysis, 2010
2008
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