Author of the publication

Timing-Failure Risk Assessment of UML Design Using Time Petri Net Bound Techniques.

, , and . IEEE Trans. Industrial Informatics, 7 (1): 90-104 (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

Toward a decision support system for the clinical pathways assessment., , and . Discrete Event Dynamic Systems, 29 (1): 91-125 (2019)Performance evaluation of UML design with Stochastic Well-formed Nets., and . Journal of Systems and Software, 80 (11): 1843-1865 (2007)Integrating TPNs and Performance Bound Techniques in ITPN-PerfBound: A New Import Functionality., and . QEST, page 285-286. IEEE Computer Society, (2009)Using Process Mining and Model-Driven Engineering to Enhance Security of Web Information Systems., , and . EuroS&P Workshops, page 160-166. IEEE, (2017)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)A UML profile for dependability analysis of real-time embedded systems., and . WOSP, page 115-124. ACM, (2007)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 class Diagram framework for collecting dependability requirements in automation systems., , and . ISoLA (Preliminary proceedings), volume TR-2004-6 of Technical Report, page 276-283. Department of Computer Science, University of Cyprus, (2004)Quantitative Analysis of Apache Storm Applications: The NewsAsset Case Study., , , , , and . Information Systems Frontiers, 21 (1): 67-85 (2019)