Theo dõi
Ermeson Carneiro de Andrade
Ermeson Carneiro de Andrade
Associate Professor, Federal Rural University of Pernambuco
Email được xác minh tại ufrpe.br - Trang chủ
Tiêu đề
Trích dẫn bởi
Trích dẫn bởi
Năm
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
1162009
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
932011
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
582018
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
552008
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
532014
Availability modeling and analysis of a disaster-recovery-as-a-service solution
E Andrade, B Nogueira, R Matos, G Callou, P Maciel
Computing 99, 929-954, 2017
522017
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
522011
Dependability evaluation of a disaster recovery solution for IoT infrastructures
E Andrade, B Nogueira
The Journal of Supercomputing 76 (3), 1828-1849, 2020
462020
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
422019
Combining performance and availability analysis in practice
K Trivedi, E Andrade, F Machida
Advances in Computers 84, 1-38, 2012
382012
Software fault mitigation and availability assurance techniques
KS Trivedi, M Grottke, E Andrade
International Journal of System Assurance Engineering and Management 1, 340-350, 2010
362010
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
322011
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
302018
Performance and availability trade-offs in fog–cloud iot environments
E Andrade, B Nogueira, I Farias Júnior, D Araújo
Journal of Network and Systems Management 29, 1-27, 2021
272021
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
262016
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
Performability evaluation of a cloud-based disaster recovery solution for IT environments
E Andrade, B Nogueira
Journal of Grid computing 17, 603-621, 2019
242019
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
242009
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
232011
A comparative analysis of software aging in image classifiers on cloud and edge
E Andrade, R Pietrantuono, F Machida, D Cotroneo
IEEE Transactions on Dependable and Secure Computing 20 (1), 563-573, 2021
222021
Hệ thống không thể thực hiện thao tác ngay bây giờ. Hãy thử lại sau.
Bài viết 1–20