Author of the publication

State-Density Functions over DBM Domains in the Analysis of Non-Markovian Models.

, , and . IEEE Trans. Software Eng., 35 (2): 178-194 (2009)

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

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)A Visual Language for Color-Based Painting Retrieval., , , and . VL, page 68-75. IEEE Computer Society, (1996)A Virtual Environment for Construction Workers Instruction and Training., , , and . ICMCS, Vol. 2, page 1123-1125. IEEE Computer Society, (1999)0-7695-0253-9.Developing a Scheduler with Difference-Bound Matrices and the Floyd-Warshall Algorithm., , and . IEEE Software, 29 (1): 76-83 (2012)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 Spatial Logic for Symbolic Description of Image Contents., , and . J. Vis. Lang. Comput., 5 (3): 267-286 (1994)Evaluation of stochastic bounds on the remaining completion time of products in a buffered sequential workflow., , , and . ETFA, page 456-463. IEEE, (2018)Non-markovian analysis for model driven engineering of real-time software., , , and . ICPE, page 113-124. ACM, (2013)An Ontological Approach to Systematization of SW-FMEA., , , and . SAFECOMP, volume 7612 of Lecture Notes in Computer Science, page 173-184. Springer, (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)