( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Generalized Weakly-Hard Constraints.

, и . ISoLA (2), том 7610 из Lecture Notes in Computer Science, стр. 96-110. Springer, (2012)

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.

Clément Quinton

Sophie Illch

Sophie Buchholz

Sophie Wichers

Sophie Dohna

 

Другие публикации лиц с тем же именем

Verifying Weakly-Hard Real-Time Properties of Traffic Streams in Switched Networks., , , и . ECRTS, том 106 из LIPIcs, стр. 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., , и . RTNS, стр. 88-97. ACM, (2017)Formal analysis of sporadic bursts in real-time systems., , и . DATE, стр. 767-772. EDA Consortium San Jose, CA, USA / ACM DL, (2013)Generalized Weakly-Hard Constraints., и . ISoLA (2), том 7610 из Lecture Notes in Computer Science, стр. 96-110. Springer, (2012)A Generic Coq Proof of Typical Worst-Case Analysis., , , и . RTSS, стр. 218-229. IEEE Computer Society, (2018)A Formal Link Between Response Time Analysis and Network Calculus., , и . ECRTS, том 231 из LIPIcs, стр. 5:1-5:22. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)A Formal Link Between Response Time Analysis and Network Calculus (Artifact)., , и . Dagstuhl Artifacts Ser., 8 (1): 03:1-03:3 (2022)Improved Deadline Miss Models for Real-Time Systems Using Typical Worst-Case Analysis., , , , и . ECRTS, стр. 247-256. IEEE Computer Society, (2015)Evaluation and Comparison of Real-Time Systems Analysis Methods and Tools.. FMICS, том 11119 из Lecture Notes in Computer Science, стр. 284-290. Springer, (2018)Bounding deadline misses in weakly-hard real-time systems with task dependencies., , , , и . DATE, стр. 584-589. IEEE, (2017)