Publications
Designing linear storage hierarchies so as to maximize reliability subject to cost and performance constraints." In Proceedings - International Symposium on Computer Architecture, 211-217. 1980.
"Discrete event simulation with application to computer communication systems performance - Introduction to simulation." In INFORMATION TECHNOLOGY: SELECTED TUTORIALS, 271-304. Vol. 157. 2004.
"Discrete event simulation with application to computer communication systems performance: Introduction to simulation." In Ifip Advances in Information and Communication Technology, 271-304. Vol. 157. 2004.
"Discrete Event Simulation with Application to Computer Communication Systems Performance - Introduction to Simulation." In IFIP Congress Tutorials, 271-304. Vol. 157. 2004.
"DSN 2016 Tutorial: Reliability and Availability Modeling in Practice." In Proceedings - 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN-W 2016. 2016.
"Effects of failure correlation on software in operation." In Proceedings of IEEE Pacific Rim International Symposium on Dependable Computing, PRDC, 69-76. Vol. 2000-January. 2000.
"Efficient computation of the mean time to security failure in cyber physical systems." In ValueTools 2016 - 10th EAI International Conference on Performance Evaluation Methodologies and Tools, 109-115. 2017.
"An Empirical Exploratory Analysis of Failure Sequences in a Commodity Operating System." In Brazilian Symposium on Computing System Engineering, SBESC. Vol. 2019-November. 2019.
"An empirical investigation of fault triggers in android operating system." In Proceedings of IEEE Pacific Rim International Symposium on Dependable Computing, PRDC, 135-144. 2017.
"An empirical study of software reliability in SDN controllers." In 2017 13th International Conference on Network and Service Management, CNSM 2017, 1-9. Vol. 2018-January. 2017.
"Emulating environment-dependent software faults." In Proceedings - 1st International Workshop on Complex Faults and Failures in Large Software Systems, COUFLESS 2015, 34-40. 2015.
"Epistemic uncertainty propagation in a Weibull environment for a two-core system-on-chip." In 2017 2nd International Conference on System Reliability and Safety, ICSRS 2017, 516-520. Vol. 2018-January. 2017.
"Exact methods for the transient analysis of nonhomogeneous continuous time Markov chains." In COMPUTATIONS WITH MARKOV CHAINS, 121-133. 1995.
"Experience Report: Fault Triggers in Linux Operating System: From Evolution Perspective." In Proceedings - International Symposium on Software Reliability Engineering, ISSRE, 101-111. Vol. 2017-October. 2017.
"Fixed Point Iteration in Availability Modeling." In Fault-Tolerant Computing Systems, 229-240. Vol. 283. 1991.
"A framework for performability modeling of messaging services in distributed systems." In Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS, 25-34. Vol. 2002-January. 2002.
"From stochastic Petri nets to Markov regenerative stochastic Petri nets." In Proceedings - IEEE Computer Society's Annual International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems, MASCOTS, 194-198. 1995.
"FSPNs: Fluid Stochastic Petri Nets." In Application and Theory of Petri Nets, 24-31. Vol. 691. 1993.
"FSPNs: Fluid stochastic petri nets." In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 24-31. Vol. 691 LNCS. 1993.
"A General Framework for Network Survivability Quantification." In MMB, 369-378. 2004.
"GSPM models: sensitivity analysis and applications." In ACM Southeast Regional Conference, 25-33. 1990.
"GSPN Models: Sensitivity analysis and applications." In Proceedings - 28th Annual Southeast Regional Conference, ACM-SE 1990, 25-33. 1990.
"Hardware configuration selection through discretizing a continuous variable solution." In Proceedings of the 1980 International Symposium on Computer Performance Modelling, Measurement and Evaluation, PERFORMANCE 1980, 127-142. 1980.
"Implementation of Importance Splitting Techniques in Stochastic Petri Net Package." In Computer Performance Evaluation / TOOLS, 216-229. Vol. 1786. 2000.
"Implementation of importance splitting techniques in stochastic petri net package." In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 216-229. Vol. 1786. 2000.
"