![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Sophie Quinton
Person information
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [j11]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:
From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Artifact). Dagstuhl Artifacts Ser. 9(1): 04:1-04:6 (2023) - [j10]Pascal Fradet
, Xiaojie Guo, Sophie Quinton:
CertiCAN certifying CAN analyses and their results. Real Time Syst. 59(2): 160-198 (2023) - [c37]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
:
From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Invited Paper). ECRTS 2023: 19:1-19:18 - [c36]Aina Rasoldier, Alain Girault, Sophie Quinton, Jacques Combaz, Kevin Marquet:
Assessing the Potential of Carpooling for Reducing Vehicle Kilometers Traveled. ICT4S 2023: 120-131 - 2022
- [j9]Pierre Roux, Sophie Quinton, Marc Boyer:
A Formal Link Between Response Time Analysis and Network Calculus (Artifact). Dagstuhl Artifacts Ser. 8(1): 03:1-03:3 (2022) - [c35]Pierre Roux, Sophie Quinton, Marc Boyer:
A Formal Link Between Response Time Analysis and Network Calculus. ECRTS 2022: 5:1-5:22 - 2021
- [j8]Kai-Björn Gemlau
, Leonie Köhler
, Rolf Ernst, Sophie Quinton:
System-level Logical Execution Time: Augmenting the Logical Execution Time Paradigm for Distributed Real-time Automotive Software. ACM Trans. Cyber Phys. Syst. 5(2): 14:1-14:27 (2021) - 2020
- [j7]Zain Alabedin Haj Hammadeh
, Sophie Quinton, Rolf Ernst:
Weakly-hard Real-time Guarantees for Earliest Deadline First Scheduling of Independent Tasks. ACM Trans. Embed. Comput. Syst. 18(6): 121:1-121:25 (2020)
2010 – 2019
- 2019
- [j6]Sophie Quinton, Sebastian Altmeyer, Alessandro Papadopoulos:
Front Matter - ECRTS 2019 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee. Dagstuhl Artifacts Ser. 5(1): 00:-1-00:-9 (2019) - [c34]Pascal Fradet, Xiaojie Guo, Jean-François Monin, Sophie Quinton:
CertiCAN: A Tool for the Coq Certification of CAN Analysis Results. RTAS 2019: 182-191 - [e1]Sophie Quinton:
31st Euromicro Conference on Real-Time Systems, ECRTS 2019, July 9-12, 2019, Stuttgart, Germany. LIPIcs 133, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2019, ISBN 978-3-95977-110-8 [contents] - 2018
- [j5]Leonie Ahrendts
, Rolf Ernst, Sophie Quinton:
Exploiting Execution Dynamics in Timing Analysis Using Job Sequences. IEEE Des. Test 35(4): 16-22 (2018) - [j4]Alain Girault, Christophe Prévot
, Sophie Quinton
, Rafik Henia, Nicolas Sordon:
Improving and Estimating the Precision of Bounds on the Worst-Case Latency of Task Chains. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37(11): 2578-2589 (2018) - [c33]Leonie Ahrendts, Sophie Quinton, Thomas Boroske, Rolf Ernst:
Verifying Weakly-Hard Real-Time Properties of Traffic Streams in Switched Networks. ECRTS 2018: 15:1-15:22 - [c32]Susanne Graf, Sophie Quinton, Alain Girault, Gregor Gößler:
Building Correct Cyber-Physical Systems: Why We Need a Multiview Contract Theory. FMICS 2018: 19-31 - [c31]Sophie Quinton:
Evaluation and Comparison of Real-Time Systems Analysis Methods and Tools. FMICS 2018: 284-290 - [c30]Pascal Fradet, Xiaojie Guo, Jean-François Monin, Sophie Quinton:
A Generalized Digraph Model for Expressing Dependencies. RTNS 2018: 72-82 - [c29]Pascal Fradet, Maxime Lesourd, Jean-François Monin, Sophie Quinton:
A Generic Coq Proof of Typical Worst-Case Analysis. RTSS 2018: 218-229 - [i1]Rolf Ernst, Stefan Kuntz, Sophie Quinton, Martin Simons:
The Logical Execution Time Paradigm: New Perspectives for Multicore Systems (Dagstuhl Seminar 18092). Dagstuhl Reports 8(2): 122-149 (2018) - 2017
- [c28]Lijun Shan, Susanne Graf, Sophie Quinton, Loïc Fejoz:
A Framework for Evaluating Schedulability Analysis Tools. Models, Algorithms, Logics and Tools 2017: 539-559 - [c27]Zain Alabedin Haj Hammadeh
, Rolf Ernst, Sophie Quinton, Rafik Henia, Laurent Rioux:
Bounding deadline misses in weakly-hard real-time systems with task dependencies. DATE 2017: 584-589 - [c26]Zain Alabedin Haj Hammadeh
, Sophie Quinton, Marco Panunzio, Rafik Henia, Laurent Rioux, Rolf Ernst:
Budgeting Under-Specified Tasks for Weakly-Hard Real-Time Systems. ECRTS 2017: 17:1-17:22 - [c25]Rafik Henia, Lisa Roux, Nicolas Sordon, Zain Alabedin Haj Hammadeh
, Rolf Ernst, Sophie Quinton:
Demo Abstract: Bounding Deadline Misses for Weakly-Hard Real-Time Systems Designed in CAPELLA. RTAS 2017: 155-156 - [c24]Leonie Ahrendts, Sophie Quinton, Rolf Ernst:
Finite ready queues as a mean for overload reduction in weakly-hard real-time systems. RTNS 2017: 88-97 - [c23]Xiaojie Guo, Sophie Quinton, Pascal Fradet, Jean-François Monin:
Work-in-Progress: Toward a Coq-Certified Tool for the Schedulability Analysis of Tasks with Offsets. RTSS 2017: 387-389 - 2016
- [j3]Susanne Graf, Sophie Quinton:
Knowledge-based construction of distributed constrained systems. Softw. Syst. Model. 15(4): 1163-1180 (2016) - [c22]Sönke Holthusen, Sophie Quinton, Ina Schaefer, Johannes Schlatow
, Martin Wegner:
Using Multi-Viewpoint Contracts for Negotiation of Embedded Software Updates. PrePost@IFM 2016: 31-45 - 2015
- [c21]Wenbo Xu
, Zain Alabedin Haj Hammadeh
, Alexander Kröller, Rolf Ernst, Sophie Quinton:
Improved Deadline Miss Models for Real-Time Systems Using Typical Worst-Case Analysis. ECRTS 2015: 247-256 - [c20]Oliver Gettings, Sophie Quinton, Robert I. Davis:
Mixed criticality systems with weakly-hard constraints. RTNS 2015: 237-246 - 2014
- [c19]Sophie Quinton, Torsten T. Bone, Julien Hennig, Moritz Neukirchner, Mircea Negrean, Rolf Ernst:
Typical Worst Case Response-Time Analysis and its Use in Automotive Network Design. DAC 2014: 44:1-44:6 - [c18]Zain Alabedin Haj Hammadeh
, Sophie Quinton, Rolf Ernst:
Extending typical worst-case analysis using response-time dependencies to bound deadline misses. EMSOFT 2014: 10:1-10:10 - [c17]Goran Frehse
, Arne Hamann, Sophie Quinton, Matthias Woehrle:
Formal Analysis of Timing Effects on Closed-Loop Properties of Control Software. RTSS 2014: 53-62 - [p1]Susanne Graf, Roberto Passerone, Sophie Quinton:
Contract-Based Reasoning for Component Systems with Rich Interactions. Embedded Systems Development, From Functional Models to Implementations 2014: 139-154 - 2013
- [c16]Moritz Neukirchner, Kai Lampka, Sophie Quinton, Rolf Ernst:
Multi-mode monitoring for mixed-criticality real-time systems. CODES+ISSS 2013: 34:1-34:10 - [c15]Moritz Neukirchner, Sophie Quinton, Tobias Michaels, Philip Axer, Rolf Ernst:
Sensitivity analysis for arbitrary activation patterns in real-time systems. DATE 2013: 135-140 - [c14]Sophie Quinton, Mircea Negrean, Rolf Ernst:
Formal analysis of sporadic bursts in real-time systems. DATE 2013: 767-772 - [c13]Philip Axer, Sophie Quinton, Moritz Neukirchner, Rolf Ernst, Björn Döbel, Hermann Härtig:
Response-Time Analysis of Parallel Fork-Join Workloads with Real-Time Constraints. ECRTS 2013: 215-224 - [c12]Susanne Graf, Sophie Quinton:
Knowledge for the Distributed Implementation of Constrained Systems. IFM 2013: 77-93 - 2012
- [j2]Susanne Graf, Doron A. Peled, Sophie Quinton:
Achieving distributed control through model checking. Formal Methods Syst. Des. 40(2): 263-281 (2012) - [c11]Sophie Quinton, Matthias Hanke, Rolf Ernst:
Formal analysis of sporadic overload in real-time systems. DATE 2012: 515-520 - [c10]Sophie Quinton, Rolf Ernst, Dominique Bertrand, Patrick Meumeu Yomsi
:
Challenges and new trends in probabilistic timing analysis. DATE 2012: 810-815 - [c9]Björn Lisper, Johan Nordlander, Sophie Quinton:
Timing Constraints: Theory Meets Practice. ISoLA (2) 2012: 78-79 - [c8]Sophie Quinton, Rolf Ernst:
Generalized Weakly-Hard Constraints. ISoLA (2) 2012: 96-110 - [c7]Moritz Neukirchner, Tobias Michaels, Philip Axer, Sophie Quinton, Rolf Ernst:
Monitoring Arbitrary Activation Patterns in Real-Time Systems. RTSS 2012: 293-302 - 2011
- [j1]Imene Ben Hafaiedh, Susanne Graf, Sophie Quinton:
Building Distributed Controllers for Systems with Priorities. J. Log. Algebraic Methods Program. 80(3-5): 194-218 (2011) - [c6]Susanne Graf, Doron A. Peled, Sophie Quinton:
Monitoring Distributed Systems Using Knowledge. FMOODS/FORTE 2011: 183-197 - 2010
- [c5]Saddek Bensalem, Marius Bozga, Susanne Graf, Doron A. Peled, Sophie Quinton:
Methods for Knowledge Based Controlling of Distributed Systems. ATVA 2010: 52-66 - [c4]Susanne Graf, Doron A. Peled, Sophie Quinton:
Achieving Distributed Control through Model Checking. CAV 2010: 396-409 - [c3]Imene Ben Hafaiedh, Susanne Graf, Sophie Quinton:
Reasoning about Safety and Progress Using Contracts. ICFEM 2010: 436-451
2000 – 2009
- 2008
- [c2]Sophie Quinton, Susanne Graf:
Contract-Based Verification of Hierarchical Systems of Components. SEFM 2008: 377-381 - 2007
- [c1]Susanne Graf, Sophie Quinton:
Contracts for BIP: Hierarchical Interaction Models for Compositional Verification. FORTE 2007: 1-18
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-25 19:10 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint