Следене
Ermeson Carneiro de Andrade
Ermeson Carneiro de Andrade
Associate Professor, Federal Rural University of Pernambuco
Потвърден имейл адрес: ufrpe.br - Начална страница
Заглавие
Позовавания
Позовавания
Година
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
1112009
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
812011
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
482014
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
442011
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
412017
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
362018
Combining performance and availability analysis in practice
K Trivedi, E Andrade, F Machida
Advances in Computers 84, 1-38, 2012
342012
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
292011
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
Software fault mitigation and availability assurance techniques
KS Trivedi, M Grottke, E Andrade
International Journal of System Assurance Engineering and Management 1 (4 …, 2010
232010
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
Dependability evaluation of a disaster recovery solution for IoT infrastructures
E Andrade, B Nogueira
The Journal of Supercomputing 76 (3), 1828-1849, 2020
212020
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
212016
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
202019
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
192009
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
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
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
172012
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–20