People
Mário Alberto Zenha-Rela
Address
Dep. Eng. Informática - Pólo IIUniversidade de Coimbra
3030-290 Coimbra
Portugal
Home Page
https://www.linkedin.com/in/mzrelaMember
Software and Systems EngineeringResearch interests
Process Mining Software RepositoriesRequirements Engineering
Software Engineering
Software Fault-Tolerance
Dependable Computing
Affiliation
DEI-Departamento de Eng. Informática FCTUCCISUC - Centro de Informática e Sistemas da Universidade de Coimbra
Lis/IPN - Laboratório de Informática e Sistemas/Instituto Pedro Nunes
International Projects
ADVANCE - Addressing Verification and Validation Challenges in Future Cyber-Physical Systems
Past Projects
mCrash - Dependability Evaluation of Mobile Devices' System Software
VIGILIS
AFFIDAVIT - Automating the Proof of Quality Attributes for Large Scale Software Architectures
Journal Articles
2016
(1 publication)- João M. Franco and Correia, F. and Barbosa, R. and Schmerl, B. and Mario Zenha-Rela and Garlan, D. , "Improving Self-Adaptation Planning through Software Architecture-based Stochastic Modeling", Journal of Systems and Software, 2016 [ DOI ]
2014
(2 publications)- Nogueira, A.F. and Ribeiro, J.C.B. and Vega, F.F.d. and Mario Zenha-Rela , "Object-Oriented Evolutionary Testing: A Review of Evolutionary Approaches to the Generation of Test Data for Object-Oriented Software", International Journal of Natural Computing Research (IJNCR), vol. 4, pp. 15-35, 2014 [ DOI ]
- Grigorio, F. and Brito, D. and Anjos, E. G. and Mario Zenha-Rela , "Using Statistical Analysis of FLOSS Systems Complexity to Understand Software Inactivity", Covenant Journal of Informatics and Communication Technology - CJICT, vol. 2, pp. 1-28, 2014 [ DOI ]
2012
(1 publication)2011
(1 publication)2010
(1 publication)2009
(1 publication)2005
(1 publication)1996
(1 publication)Conference Articles
2019
(2 publications)- Nogueira, A.F. and Craske, A. and Ribeiro, J.C.B. and Mario Zenha-Rela , "• Collecting Data from Continuous Practices: an Infrastructure to Support Team Development", in SEKE19:The 31st International Conference on Software Engineering and Knowledge Engineering, 2019 [ DOI ]
- Mario Zenha-Rela and Costa, P. and Afonso, V.A. , "Tourism and safety among the millennial generation: The perceptions of Portuguese university students.", in TOURMAN 2019, 2019
2018
(1 publication)2017
(1 publication)- Nogueira, A.F. and Ribeiro, J.C.B. and Mario Zenha-Rela , "Trends on empty exception handlers for Java open source libraries", in IEEE 24th International Conference on Software Analysis, Evolution and Reengineering (SANER2017), 2017 [ DOI ]
2016
(4 publications)- Boychenko, S. and Mario Zenha-Rela , "Second Generation LHC Analysis Framework: Workload-based and User-oriented Solution", in 7th International Particle Accelerator Conference (IPAC'16), Busan, Korea, May 8-13, 2016, 2016
- José Luís Nunes and Cunha, J.C. and Mario Zenha-Rela , "On the Effects of Cumulative SEUs in FPGA-based Systems", in 12th European Dependable Computing Conference (EDCC 2016), 2016
- José Luís Nunes and Cunha, J.C. and Mario Zenha-Rela , "Using Failure Prediction to Improve FPGA Scrubbing", in Latin-American Symposium on Dependable Computing (LADC 2016), 2016
- João M. Franco and Cerveira, F. and Barbosa, R. and Mario Zenha-Rela , "Modeling the Failure Pathology of Software Components", in 12th International ACM SIGSOFT Conference on Quality of Software Architectures (QoSA 2016), 2016 [ DOI ]
2015
(1 publication)2014
(5 publications)- Silva, V. and João M. Franco and Correia, F. and Barbosa, R. and Mario Zenha-Rela , "Assessing the Performance Overhead of a Self-Adaptive System", in INForum 2014, 2014
- João M. Franco and Barbosa, R. and Mario Zenha-Rela , "Availability Evaluation of Software Architectures through Formal Methods", in Conference on the Quality of Information and Communications Technology (QUATIC), 2014
- Nogueira, A.F. and Ribeiro, J.C.B. and Mario Zenha-Rela , "On the Evaluation of Software Maintainability Using Automatic Test Case Generation", in 9th International Conference on the Quality of Information and Communications Technology (QUATIC) , 2014 [ DOI ]
- Mario Zenha-Rela and Anjos, E. G. and Grigorio, F. and Brito, D. , "On Systems Project Abandonment: An Analysis of Complexity During Development and Evolution of FLOSS Systems", in ICAST 2014, 6TH IEEE International Conference on Adaptive Science and Technology, Covenant University, Nigeria, 29 – 31 October 2014, 2014
- Mario Zenha-Rela and Alves, G. and Costa, R. , "A demo prototype of a reconfigurable IEEE1451.0-compliant and FPGA-based weblab", in REV2014: 11th International Conference on Remote Engineering and Virtual Instrumentation, Porto-Portugal, 26 - 28 February 2014, 2014
2013
(9 publications)- João M. Franco and Barbosa, R. and Mario Zenha-Rela , "Reliability analysis of software architecture evolution", in Latin-American Symposium on Dependable Computing (LADC 2013), 2013 [ DOI ]
- José Luís Nunes and Cunha, J.C. and Barbosa, R. and Mario Zenha-Rela , "Reconfiguração Dinâmica Parcial de FPGA em Sistemas de Controlo", in 9th Portuguese Meeting on Reconfigurable Systems (REC 2013), 2013
- Nogueira, A.F. and Ribeiro, J.C.B. and Vega, F.F.d. and Mario Zenha-Rela , "eCrash: An Empirical Study on the Apache Ant Project", in SSBSE 2013 - 5th International Symposium on Search-Based Software Engineering, 2013 [ DOI ]
- José Luís Nunes and Cunha, J.C. and Barbosa, R. and Mario Zenha-Rela , "Evaluating Xilinx SEU Controller Macro for Fault Injection", in The 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2013), 2013
- Mario Zenha-Rela and Barbosa, R. and Correia, F. , "Affidavit: Automated Reliability Prediction and Analysis of Software Architectures", in INForum, 2013
- João M. Franco and Correia, F. and Barbosa, R. and Mario Zenha-Rela , "Affidavit: Automated Reliability Prediction and Analysis of Software Architectures", in INForum, 2013
- Mario Zenha-Rela and Alves, G. and Costa, R. and Zutin, D.G. and Zackrisson, J. and Rochadel, W. and Hernández-Jayo, U. , "Peers' evaluation of a reconfigurable IEEE1451.0-compliant and FPGA-based weblab", in 2nd Experiment@ International Conference, (exp.at'13), 2013
- Anjos, E. G. and Castor, F. and Mario Zenha-Rela , "Comparing Software Architecture Descriptions and Raw Source-Code: A Statistical Analysis of Maintainability Metrics", in Computational Science and Its Applications – ICCSA 2013, 2013 [ DOI ]
- Costa, R. and Alves, G. and Mario Zenha-Rela , "Using FPGAs to create a reconfigurable IEEE1451.0-compliant weblab infrastructure", in REC2013, 9th Portuguese Meeting on Reconfigurable Systems, 2013
2012
(3 publications)- Anjos, E. G. and Gomes, R. and Mario Zenha-Rela , "Assessing Maintainability Metrics in Software Architectures Using COSMIC and UML.", in 12th International Conference Computational Science and Its Applications – ICCSA, 2012
- João M. Franco and Barbosa, R. and Mario Zenha-Rela , "Automated reliability prediction from formal architectural descriptions", in Software Architecture (WICSA) and European Conference on Software Architecture (ECSA), 2012 Joint Working IEEE/IFIP Conference on, 2012 [ DOI ]
- Costa, R. and Alves, G. and Mario Zenha-Rela , "Reconfigurable IEEE1451-FPGA based weblab infrastructure", in REV 2012, 9th International Conference on Remote Engineering and Virtual Instrumentation , 2012
2011
(2 publications)- Anjos, E. G. and Gomes, R.D. and Mario Zenha-Rela , "A Framework for Classifying and Comparing Software Architecture Tools for Quality Evaluation", in International Conference on Computational Science and Its Applications - ICCSA, 2011
- José Luís Nunes and Cunha, J.C. and Barbosa, R. and Mario Zenha-Rela , "Using Partial Dynamic FPGA Reconfiguration to Support Real-Time Dependability", in 13th European Workshop on Dependable Computing (EWDC 2011), 2011
2010
(3 publications)- Ribeiro, J.C.B. and Mario Zenha-Rela and Vega, F.F.d. , "Enabling Object Reuse on Genetic Programming-based Approaches to Object-Oriented Evolutionary Testing", in 13th European Conference on Genetic Programming, vol. 6021/2010, 2010
- Ribeiro, J.C.B. and Mario Zenha-Rela and Vega, F.F.d. , "Adaptive Evolutionary Testing: An Adaptive Approach to Search-Based Test Case Generation for Object-Oriented Software", in 4th International Workshop on Nature Inspired Cooperative Strategies for Optimization, vol. 284/2010, 2010
- Costa, R. and Alves, G. and Mario Zenha-Rela and Licinio Roque , "Contextual Analysis of Remote Experimentation Using the Actor-Network Theory", in ECEL2010, 2010
2009
(2 publications)- Ribeiro, J.C.B. and Mario Zenha-Rela and Vega, F.F.d. , "An Adaptive Strategy for Improving the Performance of Genetic Programming-based Approaches to Evolutionary Testing", in 11th Annual Conference on Genetic and Evolutionary Computation, 2009
- Taran, G. and Mario Zenha-Rela and Marques, P. and Bizarro, P. , "A Training Process for Faculty Members in Collaborative Degree Programs: Design, Implementation and Feedback", 2009
2008
(2 publications)- Ribeiro, J.C.B. and Mario Zenha-Rela and Vega, F.F.d. , "A strategy for evaluating feasible and unfeasible test cases for the evolutionary testing of object-oriented software", in 30th International Conference on Software Engineering, 2008
- Ribeiro, J.C.B. and Mario Zenha-Rela and Vega, F.F.d. , "Strongly-Typed Genetic Programming and Purity Analysis: Input Domain Reduction for Evolutionary Testing Problems", in 10th Annual Conference on Genetic and Evolutionary Computation, 2008
2007
(4 publications)- Ribeiro, J.C.B. and Mario Zenha-Rela and Vega, F.F.d. , "eCrash: a Framework for Performing Evolutionary Testing on Third-Party Java Components", in II Congreso Español de Informática (CEDI), 2007
- Ribeiro, J.C.B. and Luis, B.M. and Mario Zenha-Rela , "Error propagation monitoring on windows mobile-based devices", in Latin-American Symposium on Dependable Computing, vol. 4746/2007, 2007
- Ribeiro, J.C.B. and Mario Zenha-Rela and Vega, F.F.d. , "An Evolutionary Approach For Performing Structural Unit-Testing On Third-Party Object-Oriented Java Software", in International Workshop on Nature Inspired Cooperative Strategies for Optimization, vol. 129/2008, 2007
- Ribeiro, J.C.B. and Vega, F.F.d. and Mario Zenha-Rela , "Using Dynamic Analysis of Java Bytecode for Evolutionary Object-Oriented Unit Testing", in 25th Brazilian Symposium on Computer Networks and Distributed Systems (SBRC), 2007
2006
(4 publications)- Pedrosa, I. and Antonio Jose Mendes and Mario Zenha-Rela , "edu.LMC and Other LMC Simulation Approaches: Contributions to Computer Architecture Education Using the LMC Paradigm", 2006
- Pedrosa, I. and Antonio Jose Mendes and Mario Zenha-Rela , "Edu.LMC: a new LMC simulation approach using LMC Paradigm", in 3rd E-Learning Conference - Computer Science Education, 2006
- Ribeiro, J.C.B. and Mario Zenha-Rela , "mCrash: a Framework for the Evaluation of Mobile Devices Trustworthiness Properties", in Conference on Mobile and Ubiquitous System, 2006
- Mario Zenha-Rela and Cunha, J.C. , "Exploiting the IEEE 1149.1 standard for software reliability evaluation in space applications ", in European Safety and Reliability Conference (ESREL), 2006
2005
(4 publications)- Pedrosa, I. and Mario Zenha-Rela and Antonio Jose Mendes , "Utilização de simulador LMC em contexto de aprendizagem de Arquitectura de Computadores e de Programação em C: um estudo de caso dos alunos da licenciatura em Informática de Gestão do ISCAC", in VII Simpósio Internacional de Informática Educativa, 2005
- Mario Zenha-Rela and Cunha, J.C. , "On the Effects of Errors During Boot.", in Second Latin-American Symposium on Dependable Computing, LADC2005, vol. 3747, 2005
- Mario Zenha-Rela and Marco Vieira and Cunha, J.C. and Joao Duraes , "Dependability Evaluation of Mobile Devices' System Software (Fast Abstract)", in IEEE/IFIP International Conference on Dependable Systems and Networks, DSN2005, 2005
- Cunha, J.C. and Mario Zenha-Rela , "Validação de Microssistemas para Aplicações Criticas ", in 1º Encontro Nacional de Riscos, Segurança e Fiabilidade (ENRSF-1), 2005
2003
(1 publication)2002
(2 publications)- Cunha, J.C. and Mario Zenha-Rela and Silva, J.G. , "On the Use of Disaster Prediction for Failure-Tolerance in Feedback Control Systems", in The International Conference on Dependable Systems and Networks, DSN-2002, 2002
- Cunha, J.C. and Henriques, J. and Mario Zenha-Rela and Silva, J.G. , "Reset-Driven Fault Tolerance", in 4th European Dependable Computing Conference (EDCC-4), vol. 2485, 2002
2001
(1 publication)1999
(1 publication)1998
(1 publication)1996
(1 publication)1995
(1 publication)1994
(1 publication)1993
(1 publication)1992
(1 publication)Book Chapters
2018
(1 publication)- Nogueira, A.F. and Ribeiro, J.C.B. and Vega, F.F.d. and Mario Zenha-Rela , "• Evolutionary Approaches to Test Data Generation for Object-Oriented Software: Overview of Techniques and Tools", in Incorporating Nature-Inspired Paradigms in Computational Applications, vol. 1, pp. 162-194, 2018 [ DOI ]
2015
(2 publications)- Costa, R. and Alves, G. and Mario Zenha-Rela , "The use of Embedded Smart Modules for Designing Standard-based and Reconfigurable Weblabs", in Online Experimentation: Emerging Technologies and IoT, vol. 1, pp. 1-15, 2015 [ DOI ]
- Ribeiro, J.C.B. and Nogueira, A.F. and Vega, F.F.d. and Mario Zenha-Rela , "eCrash: a Genetic Programming-Based Testing Tool for Object-Oriented Software", in Handbook of Genetic Programming Applications, vol. 1, pp. 575-593, 2015 [ DOI ]