Ermeson Carneiro de Andrade
Ermeson Carneiro de Andrade
Associate Professor, Federal Rural University of Pernambuco
E-mail confirmado em ufrpe.br - Página inicial
Título
Citado por
Citado por
Ano
A methodology for mapping sysml activity diagram to time petri net for requirement validation of embedded real-time systems with energy constraints
E Andrade, P Maciel, G Callou, B Nogueira
2009 third international conference on digital society, 266-271, 2009
1102009
Candy: Component-based availability modeling framework for cloud service management using sysml
F Machida, E Andrade, DS Kim, KS Trivedi
2011 IEEE 30th International Symposium on Reliable Distributed Systems, 209-218, 2011
792011
Mapping sysml state machine diagram to time petri net for analysis and verification of embedded real-time systems with energy constraints
E Carneiro, P Maciel, G Callou, E Tavares, B Nogueira
2008 International Conference on Advances in Electronics and Micro …, 2008
492008
Availability evaluation of digital library cloud services
J Araujo, P Maciel, M Torquato, G Callou, E Andrade
2014 44th Annual IEEE/IFIP International Conference on Dependable Systems …, 2014
432014
Energy consumption and execution time estimation of embedded system applications
G Callou, P Maciel, E Tavares, E Andrade, B Nogueira, C Araujo, ...
Microprocessors and Microsystems 35 (4), 426-440, 2011
412011
Availability modeling and analysis of a disaster-recovery-as-a-service solution
E Andrade, B Nogueira, R Matos, G Callou, P Maciel
Computing 99 (10), 929-954, 2017
372017
Combining performance and availability analysis in practice
K Trivedi, E Andrade, F Machida
Advances in Computers 84, 1-38, 2012
302012
Decision making in cloud environments: an approach based on multiple-criteria decision analysis and stochastic models
J Araujo, P Maciel, E Andrade, G Callou, V Alves, P Cunha
Journal of Cloud Computing 7 (1), 1-19, 2018
282018
Modeling and analyzing server system with rejuvenation through sysml and stochastic reward nets
EC Andrade, F Machida, DS Kim, KS Trivedi
2011 Sixth International Conference on Availability, Reliability and …, 2011
272011
Performance modeling for evaluation and planning of electronic funds transfer systems with bursty arrival traffic
C Araújo, E Sousa, P Maciel, F Chicout, E Andrade
2009 First International Conference on Intensive Applications and Services …, 2009
252009
A formal model for performance and energy evaluation of embedded systems
B Nogueira, P Maciel, E Tavares, E Andrade, R Massa, G Callou, ...
EURASIP Journal on Embedded Systems 2011, 1-12, 2011
222011
Software fault mitigation and availability assurance techniques
KS Trivedi, M Grottke, E Andrade
International Journal of System Assurance Engineering and Management 1 (4 …, 2010
222010
Factors leading to business process noncompliance and its positive and negative effects: Empirical insights from a case study
E Andrade, H van der Aa, H Leopold, S Alter, H Reijers
202016
A coloured petri net based approach for estimating execution time and energy consumption in embedded systems
GRA Callou, PRM Maciel, EC de Andrade, BCS Nogueira, EAG Tavares
Proceedings of the 21st annual symposium on integrated circuits and system …, 2008
192008
Disaster recovery solutions for IT systems: A Systematic mapping study
J Mendonca, E Andrade, PT Endo, R Lima
Journal of Systems and Software 149, 511-530, 2019
182019
A hierarchical approach for availability and performance analysis of private cloud storage services
E Torres, G Callou, E Andrade
Computing 100 (6), 621-644, 2018
182018
Mapping uml sequence diagram to time petri net for requirement validation of embedded real-time systems with energy constraints
E Andrade, P Maciel, G Callou, B Nogueira, C Araújo
Proceedings of the 2009 ACM symposium on Applied Computing, 377-381, 2009
182009
Dependability evaluation of a disaster recovery solution for IoT infrastructures
E Andrade, B Nogueira
The Journal of Supercomputing 76 (3), 1828-1849, 2020
172020
Availability modeling and analysis for data backup and restore operations
X Yin, J Alonso, F Machida, EC Andrade, KS Trivedi
2012 IEEE 31st Symposium on Reliable Distributed Systems, 141-150, 2012
172012
MPT. BR: A Brazilian maturity model for testing
APCC Furtado, MAW Gomes, EC Andrade, IH de Farias Junior
2012 12th International Conference on Quality Software, 220-229, 2012
162012
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20