Publications
Important milestones in software reliability modeling." In SEKE '96: THE 8TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, PROCEEDINGS, 345-352. 1996.
"Important Milestones in Software Reliability Modeling." In Seke, 345-352. 1996.
"An Improved Multiple Variable Inversion Algorithm for Reliability Calculation." In Computer Performance Evaluation (Tools), 180-192. Vol. 1469. 1998.
"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.
"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. 2018.
"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 '93, 367-372. Vol. 25. 1993.
"Modeling Using Stochastic Reward Nets." In Mascots, 367-372. 1993.
"