| 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 | 104 | 2009 |
| 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 | 69 | 2011 |
| 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 | 46 | 2008 |
| 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 | 38 | 2014 |
| 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 | 38 | 2011 |
| 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 | 33 | 2017 |
| 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 | 26 | 2011 |
| 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 | 26 | 2009 |
| Combining performance and availability analysis in practice K Trivedi, E Andrade, F Machida Advances in Computers 84, 1-38, 2012 | 25 | 2012 |
| 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 | 22 | 2018 |
| 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 | 20 | 2011 |
| 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 | 20 | 2008 |
| Software fault mitigation and availability assurance techniques KS Trivedi, M Grottke, E Andrade International Journal of System Assurance Engineering and Management 1 (4 …, 2010 | 19 | 2010 |
| 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 | 18 | 2009 |
| 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 | 17 | 2016 |
| 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 | 16 | 2012 |
| 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 | 16 | 2012 |
| 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 | 14 | 2018 |
| 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 | 14 | 2008 |
| 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 | 12 | 2019 |
Paulo Romero Martins MacielFederal University of Pernambucocin.ufpe.br의 이메일 확인됨
