Author of the publication

A Tool Supporting Evaluation of Non-markovian Fault Trees.

, , and . QEST, page 115-116. IEEE Computer Society, (2008)

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

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)Using communicating Petri nets to implement parallel computation in single-tasking operating systems., , and . PDP, page 481-489. IEEE, (1993)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)Interprocess Communication Dependency on Network Load., , and . IEEE Trans. Software Eng., 17 (4): 357-369 (1991)Integrating metrics in an ontological framework supporting SW-FMEA., , , and . WETSoM, page 35-41. IEEE Computer Society, (2012)Interactive Training of Virtual Agents., , and . Advanced Visual Interfaces, page 172-181. ACM, (1994)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)FaultFlow: a tool supporting an MDE approach for Timed Failure Logic Analysis., , and . EDCC, page 25-32. IEEE, (2021)Managing the Complexity of Match in Retrieval by Spatial Arrangement., , and . ICIAP, page 1178-1183. IEEE Computer Society, (1999)