Publications
Sensitivity analysis of Markov regenerative stochastic Petri nets." In Proceedings of 5th International Workshop on Petri Nets and Performance Models, PNPM 1993, 180-189. 1993.
"SeReNe: On Establishing Secure and Resilient Networking Services for an SDN-based Multi-tenant Datacenter Environment.", 4-11. 2015.
" "SHARPE - SYMBOLIC HIERARCHICAL AUTOMATED RELIABILITY AND PERFORMANCE EVALUATOR." In NUMERICAL SOLUTION OF MARKOV CHAINS, 695-696. Vol. 8. 1991.
"Simulation versus analytic-numeric methods: Illustrative examples." In VALUETOOLS 2007 - 2nd International ICST Conference on Performance Evaluation Methodologies and Tools. 2007.
"Simulation versus analytic-numeric methods: illustrative examples." In VALUETOOLS, 63. 2007.
"SITAR: A scalable intrusion-tolerant architecture for distributed services." In Foundations of Intrusion Tolerant Systems, OASIS 2003, 359-367. 2003.
"Software Aging and Software Rejuvenation." In Proceedings of the 2019 ACM/SPEC International Conference on Performance Engineering. 2019.
"Software Aging Detection Based on Differential Analysis: An Experimental Study." In Proceedings - 2016 IEEE 27th International Symposium on Software Reliability Engineering Workshops, ISSREW 2016, 71-77. 2016.
"Software maintenance optimization based on stackelberg game methods." In Proceedings - IEEE 25th International Symposium on Software Reliability Engineering Workshops, ISSREW 2014, 426-430. 2014.
"Software Rejuvenation - Modeling and Analysis.", 151-182.
"Software rejuvenation - modeling and analysis." In IFIP Advances in Information and Communication Technology, 151-182. Vol. 157. 2004.
"Software Rejuvenation - Modeling and Analysis." In IFIP Congress Tutorials, 151-182. Vol. 157. 2004.
"Software Reliability Analysis of NASA Space Flight Software: A Practical Experience." In IEEE International Conference on Software Quality, Reliability and Security : proceedings. IEEE International Conference on Software Quality, Reliability and Security, 386-397. Vol. 3. 2016.
"Software reliability and rejuvenation: Modeling and analysis." In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 318-345. Vol. 2459. 2002.
"Software Reliability and Rejuvenation: Modeling and Analysis." In Performance, 318-345. Vol. 2459. 2002.
"SOLUTION OF LARGE GSPN MODELS." In NUMERICAL SOLUTION OF MARKOV CHAINS, 565-595. Vol. 8. 1991.
"Specification-level integration of simulation and dependability analysis." In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 245-266. Vol. 2677 LNCS. 2003.
"Specification-Level Integration of Simulation and Dependability Analysis." In WADS, 245-266. Vol. 2677. 2002.
"SPNP: Stochastic petri nets. Version 6. 0." In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 354-357. Vol. 1786. 2000.
"SPNP: Stochastic Petri Nets. Version 6.0." In Computer Performance Evaluation / TOOLS, 354-357. Vol. 1786. 2000.
"SPNP - THE STOCHASTIC PETRI NET PACKAGE." In NUMERICAL SOLUTION OF MARKOV CHAINS, 693-694. Vol. 8. 1991.
"SPNP: The Stochastic Petri Net Package (Version 3.1)." In Mascots, 390-391. 1993.
"SPNP - THE STOCHASTIC PETRI-NET PACKAGE (VERSION 3.1)." In MASCOTS '93, 390-391. Vol. 25. 1993.
"Srept: Software reliability estimation and prediction tool." In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 27-36. Vol. 1469. 1998.
"