Sophie Quinton

53 papers A* 2A 11B 10C 4Misc 5Journal 12Unranked 8

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	Multi-Techno-Band Cellular Network Resilience to Shocks and Aging: a Stochastic Geometry Approach. INFOCOM WKSHPS Ludmila Courtillat-Piazza, Marceau Coupechoux, Sophie Quinton
2025	—	`conf`	The Political Dimension of Problematizing ICT-related Sustainability Issues. ICT4S Baptiste de Goër, Sophie Quinton
2023	—	`conf`	Assessing the Potential of Carpooling for Reducing Vehicle Kilometers Traveled. ICT4S Aina Rasoldier, Alain Girault, Sophie Quinton, Jacques Combaz, Kevin Marquet
2023	J	`jnl`	CertiCAN certifying CAN analyses and their results. Real Time Syst. Pascal Fradet, Xiaojie Guo, Sophie Quinton
2023	J	`jnl`	From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Artifact). Dagstuhl Artifacts Ser. 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
2023	B	`conf`	From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Invited Paper). ECRTS 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
2022	J	`jnl`	A Formal Link Between Response Time Analysis and Network Calculus (Artifact). Dagstuhl Artifacts Ser. Pierre Roux, Sophie Quinton, Marc Boyer
2022	B	`conf`	A Formal Link Between Response Time Analysis and Network Calculus. ECRTS Pierre Roux, Sophie Quinton, Marc Boyer
2021	J	`jnl`	System-level Logical Execution Time: Augmenting the Logical Execution Time Paradigm for Distributed Real-time Automotive Software. ACM Trans. Cyber Phys. Syst. Kai-Björn Gemlau, Leonie Köhler, Rolf Ernst, Sophie Quinton
2020	J	`jnl`	Weakly-hard Real-time Guarantees for Earliest Deadline First Scheduling of Independent Tasks. ACM Trans. Embed. Comput. Syst. Zain Alabedin Haj Hammadeh, Sophie Quinton, Rolf Ernst
2019	B	`ed.`	31st Euromicro Conference on Real-Time Systems, ECRTS 2019, Stuttgart, Germany, July 9-12, 2019 ECRTS Sophie Quinton
2019	A	`conf`	CertiCAN: A Tool for the Coq Certification of CAN Analysis Results. RTAS Pascal Fradet, Xiaojie Guo, Jean-François Monin, Sophie Quinton
2019	J	`jnl`	Front Matter - ECRTS 2019 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee. Dagstuhl Artifacts Ser. Sophie Quinton, Sebastian Altmeyer, Alessandro Papadopoulos
2018	Misc	`conf`	A Generalized Digraph Model for Expressing Dependencies. RTNS Pascal Fradet, Xiaojie Guo, Jean-François Monin, Sophie Quinton
2018	A	`conf`	A Generic Coq Proof of Typical Worst-Case Analysis. RTSS Pascal Fradet, Maxime Lesourd, Jean-François Monin, Sophie Quinton
2018	C	`conf`	Building Correct Cyber-Physical Systems: Why We Need a Multiview Contract Theory. FMICS Susanne Graf, Sophie Quinton, Alain Girault, Gregor Gößler
2018	C	`conf`	Evaluation and Comparison of Real-Time Systems Analysis Methods and Tools. FMICS Sophie Quinton
2018	J	`jnl`	Exploiting Execution Dynamics in Timing Analysis Using Job Sequences. IEEE Des. Test Leonie Ahrendts, Rolf Ernst, Sophie Quinton
2018	J	`jnl`	Improving and Estimating the Precision of Bounds on the Worst-Case Latency of Task Chains. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Alain Girault, Christophe Prévot, Sophie Quinton, Rafik Henia, Nicolas Sordon
2018	J	`jnl`	The Logical Execution Time Paradigm: New Perspectives for Multicore Systems (Dagstuhl Seminar 18092). Dagstuhl Reports Rolf Ernst, Stefan Kuntz, Sophie Quinton, Martin Simons
2018	B	`conf`	Verifying Weakly-Hard Real-Time Properties of Traffic Streams in Switched Networks. ECRTS Leonie Ahrendts, Sophie Quinton, Thomas Boroske, Rolf Ernst
2017	—	`conf`	A Framework for Evaluating Schedulability Analysis Tools. Models, Algorithms, Logics and Tools Lijun Shan, Susanne Graf, Sophie Quinton, Loïc Fejoz
2017	A	`conf`	Bounding deadline misses in weakly-hard real-time systems with task dependencies. DATE Zain Alabedin Haj Hammadeh, Rolf Ernst, Sophie Quinton, Rafik Henia, Laurent Rioux
2017	B	`conf`	Budgeting Under-Specified Tasks for Weakly-Hard Real-Time Systems. ECRTS Zain Alabedin Haj Hammadeh, Sophie Quinton, Marco Panunzio, Rafik Henia, Laurent Rioux, Rolf Ernst
2017	A	`conf`	Demo Abstract: Bounding Deadline Misses for Weakly-Hard Real-Time Systems Designed in CAPELLA. RTAS Rafik Henia, Lisa Roux, Nicolas Sordon, Zain Alabedin Haj Hammadeh, Rolf Ernst, Sophie Quinton
2017	Misc	`conf`	Finite ready queues as a mean for overload reduction in weakly-hard real-time systems. RTNS Leonie Ahrendts, Sophie Quinton, Rolf Ernst
2017	A	`conf`	Work-in-Progress: Toward a Coq-Certified Tool for the Schedulability Analysis of Tasks with Offsets. RTSS Xiaojie Guo, Sophie Quinton, Pascal Fradet, Jean-François Monin
2016	J	`jnl`	Knowledge-based construction of distributed constrained systems. Softw. Syst. Model. Susanne Graf, Sophie Quinton
2016	—	`conf`	Using Multi-Viewpoint Contracts for Negotiation of Embedded Software Updates. PrePost@IFM Sönke Holthusen, Sophie Quinton, Ina Schaefer, Johannes Schlatow, Martin Wegner
2015	B	`conf`	Improved Deadline Miss Models for Real-Time Systems Using Typical Worst-Case Analysis. ECRTS Wenbo Xu, Zain Alabedin Haj Hammadeh, Alexander Kröller, Rolf Ernst, Sophie Quinton
2015	Misc	`conf`	Mixed criticality systems with weakly-hard constraints. RTNS Oliver Gettings, Sophie Quinton, Robert I. Davis
2014	—	`ch.`	Contract-Based Reasoning for Component Systems with Rich Interactions. Embedded Systems Development, From Functional Models to Implementations Susanne Graf, Roberto Passerone, Sophie Quinton
2014	Misc	`conf`	Extending typical worst-case analysis using response-time dependencies to bound deadline misses. EMSOFT Zain Alabedin Haj Hammadeh, Sophie Quinton, Rolf Ernst
2014	A	`conf`	Formal Analysis of Timing Effects on Closed-Loop Properties of Control Software. RTSS Goran Frehse, Arne Hamann, Sophie Quinton, Matthias Woehrle
2014	A*	`conf`	Typical Worst Case Response-Time Analysis and its Use in Automotive Network Design. DAC Sophie Quinton, Torsten T. Bone, Julien Hennig, Moritz Neukirchner, Mircea Negrean, Rolf Ernst
2013	A	`conf`	Formal analysis of sporadic bursts in real-time systems. DATE Sophie Quinton, Mircea Negrean, Rolf Ernst
2013	B	`conf`	Knowledge for the Distributed Implementation of Constrained Systems. IFM Susanne Graf, Sophie Quinton
2013	Misc	`conf`	Multi-mode monitoring for mixed-criticality real-time systems. CODES+ISSS Moritz Neukirchner, Kai Lampka, Sophie Quinton, Rolf Ernst
2013	B	`conf`	Response-Time Analysis of Parallel Fork-Join Workloads with Real-Time Constraints. ECRTS Philip Axer, Sophie Quinton, Moritz Neukirchner, Rolf Ernst, Björn Döbel, Hermann Härtig
2013	A	`conf`	Sensitivity analysis for arbitrary activation patterns in real-time systems. DATE Moritz Neukirchner, Sophie Quinton, Tobias Michaels, Philip Axer, Rolf Ernst
2012	J	`jnl`	Achieving distributed control through model checking. Formal Methods Syst. Des. Susanne Graf, Doron A. Peled, Sophie Quinton
2012	A	`conf`	Challenges and new trends in probabilistic timing analysis. DATE Sophie Quinton, Rolf Ernst, Dominique Bertrand, Patrick Meumeu Yomsi
2012	A	`conf`	Formal analysis of sporadic overload in real-time systems. DATE Sophie Quinton, Matthias Hanke, Rolf Ernst
2012	—	`conf`	Generalized Weakly-Hard Constraints. ISoLA (2) Sophie Quinton, Rolf Ernst
2012	A	`conf`	Monitoring Arbitrary Activation Patterns in Real-Time Systems. RTSS Moritz Neukirchner, Tobias Michaels, Philip Axer, Sophie Quinton, Rolf Ernst
2012	—	`conf`	Timing Constraints: Theory Meets Practice. ISoLA (2) Björn Lisper, Johan Nordlander, Sophie Quinton
2011	J	`jnl`	Building Distributed Controllers for Systems with Priorities. J. Log. Algebraic Methods Program. Imene Ben Hafaiedh, Susanne Graf, Sophie Quinton
2011	—	`conf`	Monitoring Distributed Systems Using Knowledge. FMOODS/FORTE Susanne Graf, Doron A. Peled, Sophie Quinton
2010	A*	`conf`	Achieving Distributed Control through Model Checking. CAV Susanne Graf, Doron A. Peled, Sophie Quinton
2010	B	`conf`	Methods for Knowledge Based Controlling of Distributed Systems. ATVA Saddek Bensalem, Marius Bozga, Susanne Graf, Doron A. Peled, Sophie Quinton
2010	C	`conf`	Reasoning about Safety and Progress Using Contracts. ICFEM Imene Ben Hafaiedh, Susanne Graf, Sophie Quinton
2008	B	`conf`	Contract-Based Verification of Hierarchical Systems of Components. SEFM Sophie Quinton, Susanne Graf
2007	C	`conf`	Contracts for BIP: Hierarchical Interaction Models for Compositional Verification. FORTE Susanne Graf, Sophie Quinton