Author of the publication

Towards Budgeting in Real-Time Calculus: Deferrable Servers.

, and . FORMATS, volume 4763 of Lecture Notes in Computer Science, page 98-113. Springer, (2007)

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

Modeling an Impact control Strategy using Hypa., and . ADHS, volume 39 of IFAC Proceedings Volumes, page 56-63. Elsevier, (2006)Algebraic software analysis and embedded simulation of a driving robot., , and . SCSC, page 473-480. Simulation Councils, Inc., (2007)Lost in Translation: Hybrid-Time Flows vs. Real-Time Transitions., and . HSCC, volume 4981 of Lecture Notes in Computer Science, page 116-129. Springer, (2008)Cost of Robustness of Independent WCRT Analysis for CBS of Ethernet AVB Using Eligible Intervals., , , and . WFCS, page 1-4. IEEE, (2023)Assume-Guarantee Reasoning for Additive Hybrid Behaviour., , and . Theories of Programming and Formal Methods, volume 14080 of Lecture Notes in Computer Science, page 297-322. Springer, (2023)Improving the Performance of Trickle-Based Data Dissemination in Low-Power Networks., , , and . EWSN, volume 8965 of Lecture Notes in Computer Science, page 186-201. Springer, (2015)Tight worst-case response-time analysis for ethernet AVB using eligible intervals., , , and . WFCS, page 1-8. IEEE, (2016)Single-state state machines in model-driven software engineering: an exploratory study., , , , and . Empir. Softw. Eng., 26 (6): 124 (2021)An Interview Study of how Developers use Execution Logs in Embedded Software Engineering., , , , and . ICSE (SEIP), page 61-70. IEEE, (2021)Logs and models in engineering complex embedded systems., , , , and . ICSME, page 695-700. IEEE, (2021)