Author of the publication

The Logical Execution Time Paradigm: New Perspectives for Multicore Systems (Dagstuhl Seminar 18092).

, , , and . Dagstuhl Reports, 8 (2): 122-149 (2018)

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.

 

Other publications of authors with the same name

Formal Analysis of Timing Effects on Closed-Loop Properties of Control Software., , , and . RTSS, page 53-62. IEEE Computer Society, (2014)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 fuer Informatik, (2018)Knowledge-based construction of distributed constrained systems., and . Software and Systems Modeling, 15 (4): 1163-1180 (2016)The Logical Execution Time Paradigm: New Perspectives for Multicore Systems (Dagstuhl Seminar 18092)., , , and . Dagstuhl Reports, 8 (2): 122-149 (2018)Response-Time Analysis of Parallel Fork-Join Workloads with Real-Time Constraints., , , , , and . ECRTS, page 215-224. IEEE Computer Society, (2013)Achieving Distributed Control through Model Checking., , and . CAV, volume 6174 of Lecture Notes in Computer Science, page 396-409. Springer, (2010)Using Multi-Viewpoint Contracts for Negotiation of Embedded Software Updates., , , , and . PrePost@IFM, volume 208 of EPTCS, page 31-45. (2016)Methods for Knowledge Based Controlling of Distributed Systems., , , , and . ATVA, volume 6252 of Lecture Notes in Computer Science, page 52-66. Springer, (2010)Extending typical worst-case analysis using response-time dependencies to bound deadline misses., , and . EMSOFT, page 10:1-10:10. ACM, (2014)CertiCAN: A Tool for the Coq Certification of CAN Analysis Results., , , and . RTAS, page 182-191. IEEE, (2019)