Author of the publication

ORIS: A Tool for State-Space Analysis of Real-Time Preemptive Systems.

, , and . QEST, page 70-79. IEEE Computer Society, (2004)

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

Automatic Code Generation from Real-Time Systems Specifications, , , and . 2009 IEEE/IFIP International Symposium on Rapid System Prototyping, page 102--105. Paris, France, (June 2009)A Virtual Environment for Construction Workers Instruction and Training., , , and . ICMCS, Vol. 2, page 1123-1125. IEEE Computer Society, (1999)0-7695-0253-9.A Visual Language for Color-Based Painting Retrieval., , , and . VL, page 68-75. IEEE Computer Society, (1996)Correctness Verification and Performance Analysis of Real-Time Systems Using Stochastic Preemptive Time Petri Nets., , and . IEEE Trans. Software Eng., 31 (11): 913-927 (2005)Developing a Scheduler with Difference-Bound Matrices and the Floyd-Warshall Algorithm., , and . IEEE Software, 29 (1): 76-83 (2012)Towards the Quantitative Evaluation of Phased Maintenance Procedures Using Non-Markovian Regenerative Analysis., , , and . EPEW, volume 8168 of Lecture Notes in Computer Science, page 176-190. Springer, (2013)Non-markovian analysis for model driven engineering of real-time software., , , and . ICPE, page 113-124. ACM, (2013)A Formal Approach to Design and Verification of Two-Level Hierarchical Scheduling Systems., , , and . Ada-Europe, volume 6652 of Lecture Notes in Computer Science, page 118-131. Springer, (2011)An Ontological Approach to Systematization of SW-FMEA., , , and . SAFECOMP, volume 7612 of Lecture Notes in Computer Science, page 173-184. Springer, (2012)A Spatial Logic for Symbolic Description of Image Contents., , and . J. Vis. Lang. Comput., 5 (3): 267-286 (1994)