Author of the publication

A timeband framework for modelling real-time systems.

, and . Real Time Syst., 45 (1-2): 106-142 (2010)

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)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)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)HRT-HOOD: A Structured Design Method for Hard Real-Time Systems., and . Real Time Syst., 6 (1): 73-114 (1994)Partitioned EDF scheduling for multiprocessors using a C=D task splitting scheme., , , and . Real Time Syst., 48 (1): 3-33 (2012)Combining Static Worst-Case Timing Analysis and Program Proof., , and . Real Time Syst., 11 (2): 145-171 (1996)A timeband framework for modelling real-time systems., and . Real Time Syst., 45 (1-2): 106-142 (2010)Allocating Hard Real-Time tasks: An NP-Hard Problem Made Easy., , and . Real Time Syst., 4 (2): 145-165 (1992)