| 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 | 111 | 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 | 81 | 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 | 49 | 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 | 48 | 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 | 44 | 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 | 41 | 2017 |
| 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 | 36 | 2018 |
| Combining performance and availability analysis in practice K Trivedi, E Andrade, F Machida Advances in Computers 84, 1-38, 2012 | 34 | 2012 |
| 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 | 29 | 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 | 25 | 2009 |
| Software fault mitigation and availability assurance techniques KS Trivedi, M Grottke, E Andrade International Journal of System Assurance Engineering and Management 1 (4 …, 2010 | 23 | 2010 |
| 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 | 22 | 2011 |
| Dependability evaluation of a disaster recovery solution for IoT infrastructures E Andrade, B Nogueira The Journal of Supercomputing 76 (3), 1828-1849, 2020 | 21 | 2020 |
| 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 | 20 | 2019 |
| 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 | 20 | 2016 |
| 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 | 19 | 2009 |
| 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 | 19 | 2008 |
| 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 | 18 | 2018 |
| 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 | 17 | 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 | 17 | 2012 |
Paulo Romero Martins MacielUniversidade Federal de Pernambucocin.ufpe.br의 이메일 확인됨
