( en | de | ru )

 

Disambiguation of "Quinton, Sophie"

Author of the publication

copydeleteadd this publication to your clipboard
From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Invited Paper).

, , , , , , , , , , , , , , and . ECRTS, volume 262 of LIPIcs, page 19:1-19:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Clément Quinton

Sophie Scaruppe

Sophie Schmid

Sophie Rausch

Sophie Oesau

 

Other publications of authors with the same name

Verifying Weakly-Hard Real-Time Properties of Traffic Streams in Switched Networks., , , and . ECRTS, volume 106 of LIPIcs, page 15:1-15:22. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)Finite ready queues as a mean for overload reduction in weakly-hard real-time systems., , and . RTNS, page 88-97. ACM, (2017)Generalized Weakly-Hard Constraints., and . ISoLA (2), volume 7610 of Lecture Notes in Computer Science, page 96-110. Springer, (2012)Formal analysis of sporadic bursts in real-time systems., , and . DATE, page 767-772. EDA Consortium San Jose, CA, USA / ACM DL, (2013)A Formal Link Between Response Time Analysis and Network Calculus., , and . ECRTS, volume 231 of LIPIcs, page 5:1-5:22. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)A Generic Coq Proof of Typical Worst-Case Analysis., , , and . RTSS, page 218-229. IEEE Computer Society, (2018)Extending typical worst-case analysis using response-time dependencies to bound deadline misses., , and . EMSOFT, page 10:1-10:10. ACM, (2014)Assessing the Potential of Carpooling for Reducing Vehicle Kilometers Traveled., , , , and . ICT4S, page 120-131. IEEE, (2023)CertiCAN: A Tool for the Coq Certification of CAN Analysis Results., , , and . RTAS, page 182-191. IEEE, (2019)Demo Abstract: Bounding Deadline Misses for Weakly-Hard Real-Time Systems Designed in CAPELLA., , , , , and . RTAS, page 155-156. IEEE Computer Society, (2017)