Ermeson Carneiro de Andrade
Titel
Zitiert von
Zitiert von
Jahr
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
1042009
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
692011
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
462008
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
382014
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
352011
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
312017
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
262009
Combining performance and availability analysis in practice
K Trivedi, E Andrade, F Machida
Advances in Computers 84, 1-38, 2012
252012
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
252011
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), 7, 2018
202018
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), 316510, 2011
202011
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
202008
Software fault mitigation and availability assurance techniques
KS Trivedi, M Grottke, E Andrade
International Journal of System Assurance Engineering and Management 1 (4 …, 2010
192010
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
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
172016
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
162012
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
Mapping UML interaction overview diagram to Time petri net for analysis and verification of Embedded real-time systems with Energy constraints
E Andrade, P Maciel, G Callou, B Nogueira
2008 International Conference on Computational Intelligence for Modelling …, 2008
142008
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
132018
Disaster recovery solutions for IT systems: A Systematic mapping study
J Mendonça, E Andrade, PT Endo, R Lima
Journal of Systems and Software 149, 511-530, 2019
122019
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20