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 Isas, 1-16. Vol. 4328. 2006."
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. 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 Winter Simulation Conference, 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."
Monitoring and mitigating software aging on IBM cloud controller system." In Proceedings 2017 Ieee 28th International Symposium on Software Reliability Engineering Workshops, Issrew 2017, 266-272. 2017."
The nature of the times to flight software failure during space missions." In Proceedings International Symposium on Software Reliability Engineering, Issre, 331-340. 2012."
The Nature of the Times to Flight Software Failure during Space Missions." In ISSRE, 331-340. 2012."
A new handoff scheme for decreasing both dropped calls and blocked calls in CDMA system." In Eurocon 2001 International Conference on Trends in Communications, Proceedings, 115-119. 2001."
Non-Markovian Petri Nets." In Proceedings of the 1995 Acm Sigmetrics Joint International Conference on Measurement and Modeling of Computer Systems, Sigmetrics 1995/Performance 1995, 263-264. 1995."
A novel approach for software vulnerability classification." In Proceedings of the Annual Reliability and Maintainability Symposium. 2017."
Optimal Design of an Interactive System: File Allocation, Device Capacity Selection, and CPU Speed Selection." In Int. Cmg Conference, 58-69. 1981."
On the Optimal Distribution of Processing Power in a Star Configured System." In Mmb, 353-365. Vol. 61. 1983."