Mapping UML Interaction Overview Diagram to Time Petri Net for Analysis and Verification of Embedded Real-Time Systems with Energy Constraints. - Ermeson C. Andrade; Paulo Romero Martins Maciel; Gustavo Rau de Almeida Callou; Bruno Costa e Silva Nogueira (CIMCA/IAWTIC/ISE, 2008)

A Formal Approach for Estimating Embedded System Execution Time and Energy Consumption. - Gustavo Rau de Almeida Callou; Paulo Romero Martins Maciel; Ermeson Carneiro de Andrade; Bruno Costa e Silva Nogueira; Eduardo Tavares; Meuse N. Oliveira Jr. (PATMOS, 2008)

A coloured petri net based approach for estimating execution time and energy consumption in embedded systems. - Gustavo Rau de Almeida Callou; Paulo Romero Martins Maciel; Ermeson Carneiro de Andrade; Bruno Costa e Silva Nogueira; Eduardo Antonio Guimarães Tavares (SBCCI, 2008)

A Methodology for Mapping SysML Activity Diagram to Time Petri Net for Requirement Validation of Embedded Real-Time Systems with Energy Constraints. - Ermeson Carneiro de Andrade; Paulo Romero Martins Maciel; Gustavo Rau de Almeida Callou; Bruno Costa e Silva Nogueira (ICDS, 2009)

Performance Modeling for Evaluation and Planning of Electronic Funds Transfer Systems with Bursty Arrival Traffic. - Carlos Araújo; Erica Sousa; Paulo Romero Martins Maciel; Fábio Chicout; Ermeson Carneiro de Andrade (INTENSIVE, 2009)

Mapping UML sequence diagram to time petri net for requirement validation of embedded real-time systems with energy constraints. - Ermeson Carneiro de Andrade; Paulo Romero Martins Maciel; Gustavo Rau de Almeida Callou; Bruno Costa e Silva Nogueira; Carlos Araújo (SAC, 2009)

Performance and Energy Consumption Evaluation of Embedded Applications: A Method Based on Platform's Behavioral Model. - Bruno Costa e Silva Nogueira; Paulo Romero Martins Maciel; Eduardo Antonio Guimarães Tavares; Ermeson Carneiro de Andrade; Gustavo Rau de Almeida Callou; Ricardo Massa Oliveira Lima; Rodolfo Ferraz; Bruno Montenegro (SBAC-PAD, 2009)

ALUPAS: Avaliação de desempenho e consumo de energia de softwares para sistemas embarcados. - Bruno C. S. Nogueira; Paulo R. M. Maciel; Gustavo Callou; Ermeson C. Andrade; Eduardo Tavares (RITA, 2009)

Performance evaluation model for test process. - Marcelo Marinho; Paulo Maciel 001; Erica Sousa; Teresa Maciel; Ermeson C. Andrade (LATW, 2010)

Performance evaluation of test process based on stochastic models. - Marcelo Marinho; Paulo Romero Martins Maciel; Erica Sousa; Teresa Maciel; Ermeson C. Andrade (SpringSim, 2010)

A COTS-based approach for estimating performance and energy consumption of embedded real-time systems. - Ermeson C. Andrade; Paulo Romero Martins Maciel; Bruno Costa e Silva Nogueira; Carlos Araújo; Gustavo Rau de Almeida Callou (Inf. Process. Lett., 2010)

Performance and energy consumption estimation for commercial off-the-shelf component system design. - Ermeson C. Andrade; Paulo Romero Martins Maciel; Tiago Falcão; Bruno Costa e Silva Nogueira; Carlos Araújo; Gustavo Rau de Almeida Callou (Innov. Syst. Softw. Eng., 2010)

Software fault mitigation and availability assurance techniques. - Kishor S. Trivedi; Michael Grottke; Ermeson C. Andrade (Int. J. Syst. Assur. Eng. Manag., 2010)

Modeling and Analyzing Server System with Rejuvenation through SysML and Stochastic Reward Nets. - Ermeson C. Andrade; Fumio Machida; Dong Seong Kim 001; Kishor S. Trivedi (ARES, 2011)

Candy: Component-based Availability Modeling Framework for Cloud Service Management Using SysML. - Fumio Machida; Ermeson C. Andrade; Dong Seong Kim 001; Kishor S. Trivedi (SRDS, 2011)

Performability modeling of electronic funds transfer systems. - Carlos Araújo; Paulo Romero Martins Maciel; Armin Zimmermann; Ermeson C. Andrade; Erica Sousa; Gustavo Rau de Almeida Callou; Paulo Roberto Freire Cunha (Computing, 2011)

A Formal Model for Performance and Energy Evaluation of Embedded Systems. - Bruno Costa e Silva Nogueira; Paulo Romero Martins Maciel; Eduardo Tavares; Ermeson C. Andrade; Ricardo Massa Ferreira Lima; Gustavo Rau de Almeida Callou; Rodolfo Ferraz (EURASIP J. Embed. Syst., 2011)

Energy consumption and execution time estimation of embedded system applications. - Gustavo Rau de Almeida Callou; Paulo Romero Martins Maciel; Eduardo Tavares; Ermeson C. Andrade; Bruno Costa e Silva Nogueira; Carlos Araújo; Paulo Roberto Freire Cunha (Microprocess. Microsystems, 2011)

MPT.BR: A Brazilian Maturity Model for Testing. - Ana Paula Carvalho Cavalcanti Furtado; Marcos André Wanderley Gomes; Ermeson Carneiro de Andrade; Ivaldir Honório de Farias Júnior (QSIC, 2012)

Calau: An environment for modeling and analyzing embedded real-time systems. - Ermeson C. Andrade; Marcelo Alves; Bruno Nogueira 001; Paulo Romero Martins Maciel (SMC, 2012)

Availability Modeling and Analysis for Data Backup and Restore Operations. - Xiaoyan Yin 002; Javier Alonso 001; Fumio Machida; Ermeson C. Andrade; Kishor S. Trivedi (SRDS, 2012)

Combining Performance and Availability Analysis in Practice. - Kishor S. Trivedi; Ermeson C. Andrade; Fumio Machida (Adv. Comput., 2012)

OpenMADS: An Open Source Tool for Modeling and Analysis of Distributed Systems. - Ermeson C. Andrade; Marcelo Alves; Rúbens de Souza Matos Júnior; Bruno Silva 001; Paulo Romero Martins Maciel (SAFECOMP, 2013)

Availability Evaluation of Digital Library Cloud Services. - Julian Araujo; Paulo Romero Martins Maciel; Matheus Torquato 001; Gustavo Rau de Almeida Callou; Ermeson C. Andrade (DSN, 2014)

Evaluation of a disaster recovery solution through fault injection experiments. - Rúbens de Souza Matos Júnior; Ermeson C. Andrade; Paulo Romero Martins Maciel (SMC, 2014)

Agile Practices in Maturity Model for Testing: an Experience Report. - Ana Paula Carvalho Cavalcanti Furtado; Suzana Sampaio; Ermeson C. Andrade; Ivaldir H. de Farias Júnior; Marcos André Wanderley Gomes (SEKE, 2015)

Assessing Performance and Energy Consumption in Mobile Applications. - Julio Mendonca 001; Ricardo M. F. Lima; Ermeson C. Andrade; Gustavo Rau de Almeida Callou (SMC, 2015)

Factors Leading to Business Process Noncompliance and its Positive and Negative Effects: Empirical Insights from a Case Study. - Ermeson C. Andrade; Han van der Aa; Henrik Leopold; Steven Alter; Hajo A. Reijers (AMCIS, 2016)

Availability modeling and analysis of a disaster-recovery-as-a-service solution. - Ermeson C. Andrade; Bruno Costa e Silva Nogueira; Rúbens de Souza Matos Júnior; Gustavo Callou; Paulo Romero Martins Maciel (Computing, 2017)

Multi-objective optimization of multimedia embedded systems using genetic algorithms and stochastic simulation. - Bruno Costa e Silva Nogueira; Paulo Romero Martins Maciel; Eduardo Tavares; Ricardo M. A. Silva; Ermeson Carneiro de Andrade (Soft Comput., 2017)

Availability Analysis of a Disaster Recovery Solution Through Stochastic Models and Fault Injection Experiments. - Julio Mendonca 001; Ricardo M. F. Lima; Rúbens de Souza Matos Júnior; João Ferreira 002; Ermeson Carneiro de Andrade (AINA, 2018)

A hierarchical approach for availability and performance analysis of private cloud storage services. - Elton Torres; Gustavo Callou; Ermeson Carneiro de Andrade (Computing, 2018)

Decision making in cloud environments: an approach based on multiple-criteria decision analysis and stochastic models. - Julian Araujo; Paulo Romero Martins Maciel; Ermeson Carneiro de Andrade; Gustavo Callou; Vandi Alves; Paulo Roberto Freire Cunha (J. Cloud Comput., 2018)

Evaluation of a Backup-as-a-Service Environment for Disaster Recovery. - Júlio Mendonça 001; Ricardo Lima 001; Ewerton Queiroz; Ermeson Carneiro de Andrade; Dong Seong Kim 001 (ISCC, 2019)

Analysis of Software Aging Impacts on Plant Anomaly Detection with Edge Computing. - Ermeson C. Andrade; Fumio Machida (ISSRE Workshops, 2019)

Modeling and Analyzing Availability, Cost and Sustainability of IT Data Center Systems. - Gustavo Callou; Ermeson Carneiro de Andrade; João Ferreira 002 (SMC, 2019)

Evaluating Database Replication Mechanisms for Disaster Recovery in Cloud Environments. - Júlio Mendonça 001; Wilson Medeiros; Ermeson C. Andrade; Ronierison Maciel; Paulo Romero Martins Maciel; Ricardo Lima 001 (SMC, 2019)

Assessing mobile applications performance and energy consumption through experiments and Stochastic models. - Julio Mendonca 001; Ermeson C. Andrade; Ricardo M. F. Lima (Computing, 2019)

Dependability analysis of a cyber-physical system for smart environments. - Ermeson C. Andrade; Bruno Costa e Silva Nogueira; Gustavo Callou; Gabriel Alves (Concurr. Comput. Pract. Exp., 2019)

Performability Evaluation of a Cloud-Based Disaster Recovery Solution for IT Environments. - Ermeson C. Andrade; Bruno C. S. Nogueira (J. Grid Comput., 2019)

Disaster recovery solutions for IT systems: A Systematic mapping study. - Julio Mendonca 001; Ermeson C. Andrade; Patricia Takako Endo; Ricardo M. F. Lima (J. Syst. Softw., 2019)

Power-aware scheduling of real-time applications onto MPSoC platforms with multi-bank shared memory. - Bruno Costa e Silva Nogueira; Ermeson Carneiro de Andrade; Eduardo Tavares (Microprocess. Microsystems, 2019)

Multiple-criteria Evaluation of Disaster Recovery Strategies Based on Stochastic Models. - Júlio Mendonça 001; Ricardo Lima 001; Ermeson Carneiro de Andrade; Julian Araujo; Dong Seong Kim 001 (DRCN, 2020)

Software Aging in Image Classification Systems on Cloud and Edge. - Ermeson C. Andrade; Fumio Machida; Roberto Pietrantuono; Domenico Cotroneo (ISSRE Workshops, 2020)

Evaluating and modelling solutions for disaster recovery. - Júlio Mendonça 001; Ricardo Lima 001; Ermeson C. Andrade (Int. J. Grid Util. Comput., 2020)

Dependability evaluation of a disaster recovery solution for IoT infrastructures. - Ermeson Carneiro de Andrade; Bruno Costa e Silva Nogueira (J. Supercomput., 2020)

Performability Assessment and Sensitivity Analysis of a Home Automation System. - Carlos Victor; Tuan Anh Nguyen 002; Leonardo Augusto Silva; Ermeson C. Andrade; Guto Leoni Santos; Dugki Min; Jae-Woo Lee; Francisco Airton Silva (DS-RT, 2021)

PA-Offload: Performability-Aware Adaptive Fog Offloading for Drone Image Processing. - Fumio Machida; Ermeson Carneiro de Andrade (ICFEC, 2021)

Memory Degradation Analysis in Private and Public Cloud Environments. - Ermeson Carneiro de Andrade; Fumio Machida; Roberto Pietrantuono; Domenico Cotroneo (ISSRE Workshops, 2021)

Availability Modeling for Drone Image Processing Systems with Adaptive Offloading. - Fumio Machida; Ermeson C. Andrade (PRDC, 2021)

Performance Analysis of Machine Learning-Based Systems for Detecting Deforestation. - Michel de Araújo; Ermeson C. Andrade; Fumio Machida (SBESC, 2021)

A Hierarchical Modeling Approach for Evaluating Availability of Dynamic Networks Considering Hardening Options. - Júlio Mendonça 001; Simon Yusuf Enoch; Ermeson Carneiro de Andrade; Dan Dongseong Kim (SMC, 2021)

A comparative study of GPU metaheuristics for data clustering. - Mário Santos; Bruno C. S. Nogueira; Rian G. S. Pinheiro; Almir Pereira Guimarães; Alexandre Lima; Ermeson C. Andrade (SMC, 2021)

Performance and Availability Trade-Offs in Fog-Cloud IoT Environments. - Ermeson C. Andrade; Bruno C. S. Nogueira; Ivaldir de Farias Júnior; Danilo Araújo (J. Netw. Syst. Manag., 2021)

Desenvolvimento e Avaliação de uma Ferramenta Interativa Baseada em Exemplos para o Aprendizado de Modelagem de Sistemas Usando Redes de Petri. - John Wesley Soares de Lima; Taciana Pontual Falcão; Ermeson C. Andrade (Revista Brasileira de Informática na Educ., 2021)

Analysis of Software Aging in a Blockchain Platform. - Douglas Dias; Fumio Machida; Ermeson Carneiro de Andrade (ISSRE Workshops, 2022)

Performance Bottleneck Analysis of Drone Computation Offloading to a Shared Fog Node. - Qingyang Zhang; Fumio Machida; Ermeson Carneiro de Andrade (ISSRE Workshops, 2022)

An Empirical Study on Software Aging of Long-Running Object Detection Algorithms. - Roberto Pietrantuono; Domenico Cotroneo; Ermeson C. Andrade; Fumio Machida (QRS, 2022)

Modeling and Analysis of Deforestation Prevention by Uncrewed Aerial Vehicles-based monitoring systems. - Fumio Machida; Ermeson Carneiro de Andrade (Environ. Model. Softw., 2022)

Stochastic Models for Planning VLE Moodle Environments based on Containers and Virtual Machines. - Cleyton Ferreira Gonçalves; Ermeson Carneiro de Andrade; Júlio Rodrigues de Mendonça Neto; Gustavo Rau de Almeida Callou (RITA, 2022)

Optimization of electrical infrastructures at data centers through a DoE-based approach. - Felipe Fernandes Lima Melo; Ermeson C. Andrade; Gustavo Callou (J. Supercomput., 2022)

Software Aging Analysis in a Testing Framework. - Douglas Dias; Fumio Machida; Ermeson C. Andrade (ISSREW, 2023)

Explainable Artificial Intelligence - An Analysis of the Trade-offs Between Performance and Explainability. - André Assis; Douglas Véras; Ermeson Carneiro de Andrade (LA-CCI, 2023)

Software Aging in a Real-Time Object Detection System on an Edge Server. - Kengo Watanabe; Fumio Machida; Ermeson Carneiro de Andrade; Roberto Pietrantuono; Domenico Cotroneo (SAC, 2023)

Anomaly Detection in Industrial Machinery Using IoT Devices and Machine Learning: A Systematic Mapping. - Sérgio F. Chevtchenko; Élisson da Silva Rocha; Monalisa Cristina Moura dos Santos; Ricardo Lins Mota; Diego Moura Vieira; Ermeson Carneiro de Andrade; Danilo Ricardo Barbosa de Araújo (IEEE Access, 2023)

A Mapping Study of Machine Learning Methods for Remaining Useful Life Estimation of Lead-Acid Batteries. - Sérgio F. Chevtchenko; Élisson da Silva Rocha; Bruna V. Cruz; Ermeson Carneiro de Andrade; Danilo Ricardo Barbosa de Araújo (CoRR, 2023)

Predictive Maintenance Model Based on Anomaly Detection in Induction Motors: A Machine Learning Approach Using Real-Time IoT Data. - Sérgio F. Chevtchenko; Monalisa Cristina Moura dos Santos; Diego Moura Vieira; Ricardo Lins Mota; Élisson Rocha; Bruna V. Cruz; Danilo Araújo; Ermeson Carneiro de Andrade (CoRR, 2023)

A Comparative Analysis of Software Aging in Image Classifiers on Cloud and Edge. - Ermeson C. Andrade; Roberto Pietrantuono; Fumio Machida; Domenico Cotroneo (IEEE Trans. Dependable Secur. Comput., 2023)

Performability analysis of adaptive drone computation offloading with fog computing. - Fumio Machida; Qingyang Zhang; Ermeson C. Andrade (Future Gener. Comput. Syst., 2023)

Performability Modeling and Analysis for Real-Time Object Detection on UAV Systems. - Qingyang Zhang; Fumio Machida; Ermeson C. Andrade (COMPSAC, 2024)

Energy Bugs in Object Detection Software on Battery-Powered Devices. - Ippo Hiroi; Fumio Machida; Ermeson Carneiro de Andrade (ISSRE (Workshops), 2024)

Comparision of Machine Learning Algorithms for Detecting Software Aging in SQL Server. - Maria Gizele Nascimento; Rafael José Moura; Fumio Machida; Ermeson C. Andrade (LADC, 2024)

Assessment of Availability and Reliability of a Textile Manufacturing 4.0 Using Stochastic Models. - Edson Moura Silva; Rafael Melo Macieira; Danilo Ricardo Barbosa de Araújo; Ermeson Carneiro de Andrade (LADC, 2024)

Mapping and Improvement of Processes in the Public Sector: An Experience Report at the Public Ministry of Accounts of Pernambuco. (Mapeamento e Melhoria de Processos no Setor Público: Um Relato de Experiência no Ministério Público de Contas de Pernambuco.) - Tony Silva; Maria Gizele Nascimento; George Valença; Bruno Lira; Glória Fraga; Luiz Miranda; Márcia Olivia; Sérgio Peixoto; Ermeson C. Andrade (Braz. J. Inf. Syst., 2024)

Dependability Evaluation of a Smart Poultry Monitoring System with Disaster Recovery Mechanism. - Vandirleya Barbosa; Arthur Sabino; Luiz Nelson Lima; Carlos Victor; Leonel Feitosa; Ermeson C. Andrade; Francisco Airton Silva (J. Braz. Comput. Soc., 2024)

Modeling and Analysis of a Telesurgery Environment Considering a 5G Network. - Vamberto Rocha Jr; Jean Araujo 001; Bruno Nogueira 001; Ermeson C. Andrade (RITA, 2024)

Performance Evaluation and Operational Availability of a Textile Manufacturing 4.0 Using Stochastic Petri Nets. - Edson Moura Silva; Danilo R. B. Araújo; Ermeson C. Andrade (RITA, 2024)

Assuring Autonomy of UAVs in Mission-critical Scenarios by Performability Modeling and Analysis. - Ermeson Carneiro de Andrade; Fumio Machida (ACM Trans. Cyber Phys. Syst., 2024)

Impacts of data consistency levels in cloud-based NoSQL for data-intensive applications. - Saulo Ferreira; Júlio Mendonça 001; Bruno Nogueira 001; Willy Tiengo; Ermeson C. Andrade (J. Cloud Comput., 2024)

Weather Impact Analysis for UAV-based Deforestation Monitoring Systems. - Tasfia Nuzhat; Fumio Machida; Ermeson Carneiro de Andrade (DSN-W, 2025)

Vehicle Density-Aware Adaptive Offloading for UAV-Based Road Traffic Monitoring. - Mohammad Dwipa Furqan; Fumio Machida; Ermeson C. Andrade (ICFEC, 2025)

Benchmarking Consistency Levels of Cloud-Distributed NoSQL Databases Using YCSB. - Saulo Ferreira; Júlio Mendonça 001; Bruno C. S. Nogueira; Willy Tiengo; Ermeson Carneiro de Andrade (IEEE Access, 2025)

GPU tabu search: A study on using GPU to solve massive instances of the maximum diversity problem. - Bruno Nogueira 001; William Rosendo; Eduardo Tavares; Ermeson C. Andrade (J. Parallel Distributed Comput., 2025)

Experimental Performance Analysis of Data Consistency Levels in NoSQL Databases. - Saulo Ferreira; Julio Mendonca 001; Ermeson C. Andrade (Softw. Pract. Exp., 2025)

A Comparative Analysis of Software Aging in Relational Database System Environments. - Herderson Couto; Fumio Machida; Gustavo Callou; Ermeson C. Andrade (IEEE Trans. Emerg. Top. Comput., 2025)

A modeling-based approach for dependability analysis of a constellation of satellites. - Daniel Farias; Bruno Nogueira 001; Ivaldir Honório de Farias Júnior; Ermeson Carneiro de Andrade (Softw. Syst. Model., 2025)

The performance-interpretability trade-off: a comparative study of machine learning models. - André Assis; Jamilson Dantas; Ermeson C. Andrade (J. Reliab. Intell. Environ., 2025)

Dependability of UAV-Based Networks and Computing Systems: A Survey. - Qingyang Zhang; Mohammad Dwipa Furqan; Tasfia Nutzhat; Fumio Machida; Ermeson C. Andrade (CoRR, 2025)

Assessing the performance of a fault tolerant LoRaWAN architecture with a focus on the sensor layer and data retransmission strategy. - Israel Araújo; Vandirleya Barbosa; Luiz Nelson Lima; Luis Guilherme Silva; Carlos Brito 001; Iure Fé; Lucas A. Lopes; Ermeson C. Andrade; Érico Leão; Francisco Airton Silva (Clust. Comput., 2025)

Availability evaluation of a video surveillance system with distributed storage. - Ivson Borges; Ermeson C. Andrade; Francisco Airton Silva; Gustavo Callou (Clust. Comput., 2025)

Correction to: Impacts of data consistency levels in cloud-based NoSQL for data-intensive applications. - Saulo Ferreira; Júlio Mendonça 001; Bruno C. S. Nogueira; Willy Tiengo; Ermeson Carneiro de Andrade (J. Cloud Comput., 2025)

Correction: Impacts of data consistency levels in cloud-based NoSQL for data-intensive applications. - Saulo Ferreira; Júlio Mendonça 001; Bruno Nogueira 001; Willy Tiengo; Ermeson C. Andrade (J. Cloud Comput., 2025)

SPADE: Simulator-assisted Performability Design for UAV-based monitoring systems. - Qingyang Zhang; Fumio Machida; Ermeson C. Andrade (Future Gener. Comput. Syst., 2026)