Author of the publication

Performance Validation of Fault-Tolerance Software: A Compositional Approach.

, and . DSN, page 379-388. IEEE Computer Society, (2001)

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

Toward a decision support system for the clinical pathways assessment., , and . Discret. Event Dyn. Syst., 29 (1): 91-125 (2019)Performance evaluation of UML design with Stochastic Well-formed Nets., and . J. Syst. Softw., 80 (11): 1843-1865 (2007)Using Process Mining and Model-Driven Engineering to Enhance Security of Web Information Systems., , and . EuroS&P Workshops, page 160-166. IEEE, (2017)Dependable and secure infrastructures and systems in intelligent environments., , , and . J. Reliab. Intell. Environ., 9 (3): 261-262 (September 2023)Modeling Performance of Hadoop Applications: A Journey from Queueing Networks to Stochastic Well Formed Nets., , , , , and . ICA3PP, volume 10048 of Lecture Notes in Computer Science, page 599-613. Springer, (2016)A UML profile for dependability analysis of real-time embedded systems., and . WOSP, page 115-124. ACM, (2007)Integrating TPNs and Performance Bound Techniques in ITPN-PerfBound: A New Import Functionality., and . QEST, page 285-286. IEEE Computer Society, (2009)Validation and Evaluation of a Software Solution for Fault Tolerant Distributed Synchronization., , and . DSN, page 773-784. IEEE Computer Society, (2002)Performance Validation of Fault-Tolerance Software: A Compositional Approach., and . DSN, page 379-388. IEEE Computer Society, (2001)Dependability analysis of DES based on MARTE and UML state machines models., and . Discret. Event Dyn. Syst., 22 (2): 163-178 (2012)