| 2025 | INFOCOM | Multi-Techno-Band Cellular Network Resilience to Shocks and Aging: a Stochastic Geometry Approach. | Ludmila Courtillat-Piazza, Marceau Coupechoux, Sophie Quinton |
| 2023 | ECRTS | From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Invited Paper). | Sebastian Altmeyer, tienne Andr, Silvano Dal-Zilio, Loc Fejoz, Michael Gonzlez Harbour, Susanne Graf, J. Javier Gutirrez, Rafik Henia, Didier Le Botlan, Giuseppe Lipari, Julio L. Medina, Nicolas Navet, Sophie Quinton, Juan Maria Rivas, Youcheng Sun |
| 2022 | ECRTS | A Formal Link Between Response Time Analysis and Network Calculus. | Pierre Roux, Sophie Quinton, Marc Boyer |
| 2019 | RTAS | CertiCAN: A Tool for the Coq Certification of CAN Analysis Results. | Pascal Fradet, Xiaojie Guo, Jean-Franois Monin, Sophie Quinton |
| 2018 | ECRTS | Verifying Weakly-Hard Real-Time Properties of Traffic Streams in Switched Networks. | Leonie Ahrendts, Sophie Quinton, Thomas Boroske, Rolf Ernst |
| 2018 | FMICS | Building Correct Cyber-Physical Systems: Why We Need a Multiview Contract Theory. | Susanne Graf, Sophie Quinton, Alain Girault, Gregor Gler |
| 2018 | FMICS | Evaluation and Comparison of Real-Time Systems Analysis Methods and Tools. | Sophie Quinton |
| 2018 | RTSS | A Generic Coq Proof of Typical Worst-Case Analysis. | Pascal Fradet, Maxime Lesourd, Jean-Franois Monin, Sophie Quinton |
| 2018 | RTNS | A Generalized Digraph Model for Expressing Dependencies. | Pascal Fradet, Xiaojie Guo, Jean-Franois Monin, Sophie Quinton |
| 2017 | DATE | Bounding deadline misses in weakly-hard real-time systems with task dependencies. | Zain Alabedin Haj Hammadeh, Rolf Ernst, Sophie Quinton, Rafik Henia, Laurent Rioux |
| 2017 | ECRTS | Budgeting Under-Specified Tasks for Weakly-Hard Real-Time Systems. | Zain Alabedin Haj Hammadeh, Sophie Quinton, Marco Panunzio, Rafik Henia, Laurent Rioux, Rolf Ernst |
| 2017 | RTSS | Work-in-Progress: Toward a Coq-Certified Tool for the Schedulability Analysis of Tasks with Offsets. | Xiaojie Guo, Sophie Quinton, Pascal Fradet, Jean-Franois Monin |
| 2017 | RTAS | 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 |
| 2017 | RTNS | Finite ready queues as a mean for overload reduction in weakly-hard real-time systems. | Leonie Ahrendts, Sophie Quinton, Rolf Ernst |
| 2015 | ECRTS | Improved Deadline Miss Models for Real-Time Systems Using Typical Worst-Case Analysis. | Wenbo Xu, Zain Alabedin Haj Hammadeh, Alexander Krller, Rolf Ernst, Sophie Quinton |
| 2015 | RTNS | Mixed criticality systems with weakly-hard constraints. | Oliver Gettings, Sophie Quinton, Robert I. Davis |
| 2014 | DAC | 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 |
| 2014 | EMSOFT | Extending typical worst-case analysis using response-time dependencies to bound deadline misses. | Zain Alabedin Haj Hammadeh, Sophie Quinton, Rolf Ernst |
| 2014 | RTSS | Formal Analysis of Timing Effects on Closed-Loop Properties of Control Software. | Goran Frehse, Arne Hamann, Sophie Quinton, Matthias Woehrle |
| 2013 | DATE | Sensitivity analysis for arbitrary activation patterns in real-time systems. | Moritz Neukirchner, Sophie Quinton, Tobias Michaels, Philip Axer, Rolf Ernst |
| 2013 | DATE | Formal analysis of sporadic bursts in real-time systems. | Sophie Quinton, Mircea Negrean, Rolf Ernst |
| 2013 | ECRTS | Response-Time Analysis of Parallel Fork-Join Workloads with Real-Time Constraints. | Philip Axer, Sophie Quinton, Moritz Neukirchner, Rolf Ernst, Bjrn Dbel, Hermann Hrtig |
| 2013 | IFM | Knowledge for the Distributed Implementation of Constrained Systems. | Susanne Graf, Sophie Quinton |
| 2012 | DATE | Challenges and new trends in probabilistic timing analysis. | Sophie Quinton, Rolf Ernst, Dominique Bertrand, Patrick Meumeu Yomsi |
| 2012 | DATE | Formal analysis of sporadic overload in real-time systems. | Sophie Quinton, Matthias Hanke, Rolf Ernst |
| 2012 | ISoLA | Timing Constraints: Theory Meets Practice. | Bjrn Lisper, Johan Nordlander, Sophie Quinton |
| 2012 | ISoLA | Generalized Weakly-Hard Constraints. | Sophie Quinton, Rolf Ernst |
| 2012 | RTSS | Monitoring Arbitrary Activation Patterns in Real-Time Systems. | Moritz Neukirchner, Tobias Michaels, Philip Axer, Sophie Quinton, Rolf Ernst |
| 2011 | FORTE | Monitoring Distributed Systems Using Knowledge. | Susanne Graf, Doron A. Peled, Sophie Quinton |
| 2010 | ATVA | Methods for Knowledge Based Controlling of Distributed Systems. | Saddek Bensalem, Marius Bozga, Susanne Graf, Doron A. Peled, Sophie Quinton |
| 2010 | CAV | Achieving Distributed Control through Model Checking. | Susanne Graf, Doron A. Peled, Sophie Quinton |
| 2010 | ICFEM | Reasoning about Safety and Progress Using Contracts. | Imene Ben Hafaiedh, Susanne Graf, Sophie Quinton |
| 2008 | SEFM | Contract-Based Verification of Hierarchical Systems of Components. | Sophie Quinton, Susanne Graf |
| 2007 | FORTE | Contracts for BIP: Hierarchical Interaction Models for Compositional Verification. | Susanne Graf, Sophie Quinton |