( en | de | ru )

 

Disambiguation of "Quinton, Sophie"

Author of the publication

copydeleteadd this publication to your clipboard
Demo Abstract: Bounding Deadline Misses for Weakly-Hard Real-Time Systems Designed in CAPELLA.

, , , , , and . RTAS, page 155-156. IEEE Computer Society, (2017)

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 Schweizer

Sophie Illch

Sophie Buchholz

Sophie Wichers

 

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)Evaluation and Comparison of Real-Time Systems Analysis Methods and Tools.. FMICS, volume 11119 of Lecture Notes in Computer Science, page 284-290. Springer, (2018)Bounding deadline misses in weakly-hard real-time systems with task dependencies., , , , and . DATE, page 584-589. IEEE, (2017)Improved Deadline Miss Models for Real-Time Systems Using Typical Worst-Case Analysis., , , , and . ECRTS, page 247-256. IEEE Computer Society, (2015)A Generalized Digraph Model for Expressing Dependencies., , , and . RTNS, page 72-82. ACM, (2018)