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

Concurrency in Ada, and . Cambridge University Press, New York, NY, USA, (1995)An Approach To Symbolic Worst-Case Execution Time Analysis, and . (2000)http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.23.2148 Copyright c 2000 IFAC Keywords: Real-time, timing-analysis. 1..A communications environment for co-operative information systems development., and . Softw. Eng. J., (1987)A Modula-2 implementation of a real-time process abstraction., , and . ACM SIGPLAN Notices, 23 (10): 49-58 (1988)Allocating Hard Real-Time tasks: An NP-Hard Problem Made Easy., , and . Real Time Syst., 4 (2): 145-165 (1992)Optimally ordering IDK classifiers subject to deadlines., , , and . Real Time Syst., 59 (1): 1-34 (March 2023)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)Sensitivity analysis of arbitrary deadline real-time systems with EDF scheduling., , and . Real Time Syst., 47 (3): 224-252 (2011)Analysis of Hard Real-Time Communications., , and . Real Time Syst., 9 (2): 147-171 (1995)A timeband framework for modelling real-time systems., and . Real Time Syst., 45 (1-2): 106-142 (2010)