Author of the publication

A symbolic approach to quantitative analysis of preemptive real-time systems with non-Markovian temporal parameters.

, , and . VALUETOOLS, page 111-120. ICST/ACM, (2011)

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

Interprocess Communication Dependency on Network Load., , and . IEEE Trans. Software Eng., 17 (4): 357-369 (1991)Interactive Training of Virtual Agents., , and . Advanced Visual Interfaces, page 172-181. ACM, (1994)Integrating metrics in an ontological framework supporting SW-FMEA., , , and . WETSoM, page 35-41. IEEE Computer Society, (2012)FaultFlow: a tool supporting an MDE approach for Timed Failure Logic Analysis., , and . EDCC, page 25-32. IEEE, (2021)Compositional Evaluation of Stochastic Workflows for Response Time Analysis of Composite Web Services., , and . ICPE, page 177-188. ACM, (2021)Dynamic Adaptation of EHR Structure for Automated Compliance Evaluation., and . MIE, volume 205 of Studies in Health Technology and Informatics, page 1238. IOS Press, (2014)Using communicating Petri nets to implement parallel computation in single-tasking operating systems., , and . PDP, page 481-489. IEEE, (1993)Using Ontologies in the Integration of Structural, Functional, and Process Perspectives in the Development of Safety Critical Systems., , , and . Ada-Europe, volume 7896 of Lecture Notes in Computer Science, page 95-108. Springer, (2013)Symbolic Indexing of Cardiological Sequences Through Dynamic Curve Representations., , , , and . ICIAP, volume 974 of Lecture Notes in Computer Science, page 621-626. Springer, (1995)Combining Simulation and Mean Field Analysis in Quantitative Evaluation of Crowd Evacuation Scenarios., , and . EPEW, volume 9951 of Lecture Notes in Computer Science, page 174-186. Springer, (2016)