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

Parametric Dispatching of Hard Real-Time Tasks., , and . IEEE Trans. Computers, 44 (3): 471-479 (1995)Communicating Shared Resources: A Model for Distributed Real-Time Systems., and . RTSS, page 68-78. IEEE Computer Society, (1989)Guaranteeing End-to-End Timing Constraints by Calibrating Intermediate Processes., , and . RTSS, page 192-203. IEEE Computer Society, (1994)A Resource-Based Prioritized Bisimulation for Real-Time Systems, and . Inf. Comput., 113 (1): 102-142 (August 1994)Compiling Real-Time Programs With Timing Constraint Refinement and Structural Code Motion., and . IEEE Trans. Software Eng., 21 (5): 389-404 (1995)Symbolic Model Checking of Infinite State Systems Using Presburger Arithmetic., , and . CAV, volume 1254 of Lecture Notes in Computer Science, page 400-411. Springer, (1997)Appropriate Interfaces Between Design Tools, Languages, Compilers and Runtimes in Real-Time Systems (Panel)., , , , and . Workshop on Languages, Compilers, & Tools for Real-Time Systems, page 124. ACM, (1995)Specification and Analysis of Resource-Bound Real-Time Systems., and . REX Workshop, volume 600 of Lecture Notes in Computer Science, page 371-396. Springer, (1991)Verifying Systems with Integer Constraints and Boolean Predicates: A Composite Approach., , and . ISSTA, page 113-123. ACM, (1998)Parametric Design Synthesis of Distributed Embedded Systems., , and . IEEE Trans. Computers, 49 (11): 1155-1169 (2000)