Publications
Important Milestones in Software Reliability Modeling." In Seke, 345-352. 1996.
"Important milestones in software reliability modeling." In Seke '96: the 8th International Conference on Software Engineering and Knowledge Engineering, Proceedings, 345-352. 1996.
"An improved multiple variable inversion algorithm for reliability calculation." In Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 180-192. Vol. 1469. 1998.
"An Improved Multiple Variable Inversion Algorithm for Reliability Calculation." In Computer Performance Evaluation (Tools), 180-192. Vol. 1469. 1998.
"Integration of specification for modeling and specification for system design." In Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 473-492. Vol. 691 LNCS. 1993.
"Integration of Specification for Modeling and Specification for System Design." In Application and Theory of Petri Nets, 473-492. Vol. 691. 1993.
"The Integration of User Perception in the Heterogeneous M/M/2 Queue." In Performance, 203-216. 1983.
"Issues in reliability modeling of fault-tolerant computers." In Fehlertolerierende Rechensysteme, 228-239. Vol. 84. 1984.
"Keynote Paper: Parametric Uncertainty Propagation through Dependability Models." In Proceedings 8th Latin American Symposium on Dependable Computing, Ladc 2018, 10-18. 2019.
"Locating program features using execution slices." In Proceedings 1999 Ieee Symposium on Application Specific Systems and Software Engineering and Technology, Asset 1999, 194-203. 1999.
"Log-logistic software reliability growth model." In Proceedings 3rd Ieee International High Assurance Systems Engineering Symposium, Hase 1998, 34-41. Vol. 1998-November. 1998.
"A Markov Decision Process Approach for Optimal Data Backup Scheduling." In 2014 44th Annual Ieee/Ifip International Conference on Dependable Systems and Networks (Dsn), 660-665. 2014.
"Maximizing interval reliability in operational software system with rejuvenation." In Proceedings International Symposium on Software Reliability Engineering, Issre, 479-490. Vol. 2003-January. 2003.
"A Measurement-Based Performability Model for a Multiprocessor System." In Computer Performance and Reliability, 337-352. 1987.
"Message from the chairs." In 3rd International Workshop on Software Engineering Challenges for the Smart Grid, Se4sg 2014 Proceedings. 2014.
"A methodology for formal expression of hierarchy in model solution." In Proceedings of 5th International Workshop on Petri Nets and Performance Models, Pnpm 1993, 258-267. 1993.
"Model based approach for autonomic availability management." In Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 1-16. Vol. 4328 LNCS. 2006.
"Model Based Approach for Autonomic Availability Management." In Isas, 1-16. Vol. 4328. 2006.
"Model validation using simulated data." In Proceedings 1998 Ieee Workshop on Application Specific Software Engineering and Technology, Asset 1998, 22-27. Vol. 1998-January. 1998.
"Model-Based Survivability Analysis of a Virtualized System." In Proceedings Conference on Local Computer Networks, Lcn, 611-614. 2016.
"Modeling and analysis of software rejuvenation in cable modem termination systems." In Proceedings International Symposium on Software Reliability Engineering, Issre, 159-170. Vol. 2002-January. 2002.
"Modeling and simulation of integrated voice/data cellular communication with generally distributed delay for end voice calls." In Wsc, 412-418. 2005.
"Modeling of VANET for BSM safety messaging at intersections with non-homogeneous node distribution." In Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 149-162. Vol. 9669. 2016.
"Modeling Using Stochastic Reward Nets." In Mascots, 367-372. 1993.
"MODELING USING STOCHASTIC REWARD NETS." In Simulation Series, 367-372. Vol. 25. 1993.
"