Publications
] "Availability Analysis of Systems Deploying Sequences of Environmental-Diversity-Based Recovery Methods." Ieee Transactions on Reliability 70, no. 3 (2021): 1126-1142.
"Modeling and Evaluation of Multi-Hop Wireless Networks Using SRNs." Ieee Transactions on Network Science and Engineering 8, no. 1 (2021): 662-679.
"Quantitative Security Evaluation of Intrusion Tolerant Systems with Markovian Arrivals." Ieee Transactions on Reliability 70, no. 2 (2021): 547-562.
"Resilience-Driven Quantitative Analysis of Vehicle Platooning Service." Ieee Transactions on Vehicular Technology 70, no. 6 (2021): 5378-5389.
"SINR-based Analysis of IEEE 802.11p/bd Broadcast VANETs for Safety Services." Ieee Transactions on Network and Service Management (2021).
"Analytical modeling of performance indices under epistemic uncertainty applied to cloud computing systems." Future Generation Computer Systems 102 (2020): 746-761.
"Analyzing Software Rejuvenation Techniques in a Virtualized System: Service Provider and User Views." Ieee Access 8 (2020): 6448-6459.
"Chapter 1: Software Aging and Rejuvenation: A Genesis - Extended Abstract." In Proceedings 2020 Ieee 31st International Symposium on Software Reliability Engineering Workshops, Issrew 2020, 319-320. 2020.
"DASON: Dependability Assessment Framework for Imperfect Distributed SDN Implementations." Ieee Transactions on Network and Service Management 17, no. 2 (2020): 652-667.
"Guest editorial: special issue on modeling and mitigation techniques for software aging." Software Quality Journal 28, no. 1 (2020): 3-5.
"Job Completion Time under Migration-based Dynamic Platform Technique." Ieee Transactions on Services Computing (2020).
"Markov Regenerative Models of WebServers for Their User-Perceived Availability and Bottlenecks." Ieee Transactions on Dependable and Secure Computing 17, no. 1 (2020): 92-105.
"Service Availability Analysis in a Virtualized System: A Markov Regenerative Model Approach." Ieee Transactions on Cloud Computing (2020).
"A Statistical Approach to Predict Operating System Failures Based on Multiple Failures Association." In Brazilian Symposium on Computing System Engineering, Sbesc. Vol. 2020-November. 2020.
"Stress Testing with Influencing Factors to Accelerate Data Race Software Failures." Ieee Transactions on Reliability 69, no. 1 (2020): 3-21.
"2nd Workshop on Education and Practice ofPerformance Engineering: WEPPE'19 Chairs' Welcome." In Icpe 2019 Companion of the 2019 Acm/Spec International Conference on Performance Engineering. 2019.
"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 Study of Fault Triggers in the Linux Operating System: An Evolutionary Perspective." Ieee Transactions on Reliability 68, no. 4 (2019): 1356-1383.
"Hierarchical Stochastic Models for Performance, Availability, and Power Consumption Analysis of IaaS Clouds." Ieee Transactions on Cloud Computing 7, no. 4 (2019): 1039-1056.
"Keynote Paper: Parametric Uncertainty Propagation through Dependability Models." In Proceedings 8th Latin American Symposium on Dependable Computing, Ladc 2018, 10-18. 2019.
"Performance Engineering Education." In Companion of the 2019 Acm/Spec International Conference on Performance Engineering. 2019.
"Performance evaluation of epidemic content retrieval in DTNs with restricted mobility." Ieee Transactions on Network and Service Management 16, no. 2 (2019): 701-714.
"Quantitative security analysis of a dynamic network system under lateral movement-based attacks." Reliability Engineering & System Safety 183 (2019): 213-225.
"Rejuvenation and the age of information." In Proceedings 2019 Ieee 30th International Symposium on Software Reliability Engineering Workshops, Issrew 2019, 225-231. 2019.
"Reliability and Availability Assessment in Practice." In 2019 Ieee/Acm 23rd International Symposium on Distributed Simulation and Real Time Applications (Ds Rt), 327. 2019.