Author of the publication

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

A Modula-2 implementation of a real-time process abstraction., , and . ACM SIGPLAN Notices, 23 (10): 49-58 (1988)Probabilistic timing analysis: An approach using copulas., , and . J. Embed. Comput., 1 (2): 179-194 (2005)Partitioned EDF scheduling for multiprocessors using a C=D task splitting scheme., , , and . Real Time Syst., 48 (1): 3-33 (2012)How to Verify a Safe Real-Time System: The Application of Model Checking and Timed Automata to the Production Cell Case Study.. Real Time Syst., 24 (2): 135-151 (2003)Development Automation of Real-Time Java: Model-Driven Transformation and Synthesis., , , , , and . ACM Trans. Embed. Comput. Syst., 19 (5): 31:1-31:26 (2020)Real-Time Guarantees in Routerless Networks-on-Chip., and . ACM Trans. Embed. Comput. Syst., 22 (5): 88:1-88:27 (September 2023)A complete run-time overhead-aware schedulability analysis for MrsP under nested resources., , , , , and . J. Syst. Softw., (2020)Concurrency in Ada, and . Cambridge University Press, New York, NY, USA, (1995)Three Obstacles to Flexible Scheduling., and . ECRTS, page 11-18. IEEE Computer Society, (2001)Portable worst-case execution time analysis using Java Byte Code., , and . ECRTS, page 81-88. IEEE Computer Society, (2000)