@article{cisuc-4601-2016,
author={João M. Franco and Correia, F. and Barbosa, R. and Schmerl, B. and Mario Zenha-Rela and Garlan, D. },
title={Improving Self-Adaptation Planning through Software Architecture-based Stochastic Modeling},
journal={Journal of Systems and Software},
number={n/a},
pages={n/a},
year=2016,
address={n/a},
}
@article{cisuc-4109-2014,
author={Nogueira, A.F. and Ribeiro, J.C.B. and Vega, F.F.d. and Mario Zenha-Rela },
title={Object-Oriented Evolutionary Testing: A Review of Evolutionary Approaches to the Generation of Test Data for Object-Oriented Software},
journal={International Journal of Natural Computing Research (IJNCR)},
volume={4},
number={4},
pages={15--35},
year=2014,
address={n/a},
}
@article{cisuc-5323-2014,
author={Grigorio, F. and Brito, D. and Anjos, E. G. and Mario Zenha-Rela },
title={Using Statistical Analysis of FLOSS Systems Complexity to Understand Software Inactivity},
editor={Sanjay Misra},
journal={Covenant Journal of Informatics and Communication Technology - CJICT},
volume={2},
number={2},
pages={1--28},
year=2014,
address={n/a},
}
@article{cisuc-3889-2012,
author={Alves, G. and Costa, R. and Mario Zenha-Rela },
title={Embedding Instruments & Modules into an IEEE1451-FPGA-based Weblab Infrastructure},
editor={kassel university press},
journal={International Journal of Online Engineering },
volume={8},
pages={n/a},
number={3},
year=2012,
address={n/a},
}
@article{cisuc-3890-2011,
author={Costa, R. and Alves, G. and Mario Zenha-Rela },
title={Work-in-progress on a thin IEEE1451.0-architecture to implement reconfigurable weblab infrastructures},
editor={kassel university press},
journal={International Journal of Online Engineering },
volume={7},
pages={n/a},
number={3},
year=2011,
address={n/a},
}
@article{cisuc-3891-2010,
author={Costa, R. and Alves, G. and Mario Zenha-Rela },
title={Reconfigurable Weblabs Based on the IEEE1451 Std.},
editor={kassel university press},
journal={International Journal of Online Engineering},
volume={6},
pages={n/a},
number={3},
year=2010,
address={n/a},
}
@article{cisuc-2122-2009,
author={Ribeiro, J.C.B. and Mario Zenha-Rela and Vega, F.F.d. },
title={Test Case Evaluation and Input Domain Reduction strategies for the Evolutionary Testing of Object-Oriented software},
editor={Elsevier},
journal={Information and Software Technology},
volume={51},
number={11},
pages={1534--1548},
year=2009,
address={n/a},
}
@article{cisuc-1086-2005,
author={Prata, P. and Mario Zenha-Rela and Madeira, H. and Silva, J.G. },
title={Robust Assertions and Fail-Bounded Behavior},
journal={Journal of the Brazilian Computer Society (Special Issue on Dependable Computing)},
number={n/a},
pages={n/a},
year=2005,
address={n/a},
}
@article{cisuc-593-1996,
author={Magalhães, A.P. and Mario Zenha-Rela and Silva, J.G. },
title={On the Nature of Deadlines},
editor={Euromicro},
journal={Microprocessors and Microsystems},
volume={20},
number={2},
pages={79--88},
year=1996,
address={n/a},
}
@inproceedings{cisuc-5963-2019,
author={Nogueira, A.F. and Craske, A. and Ribeiro, J.C.B. and Mario Zenha-Rela },
title={• Collecting Data from Continuous Practices: an Infrastructure to Support Team Development},
booktitle={SEKE19:The 31st International Conference on Software Engineering and Knowledge Engineering},
year=2019,
address={n/a},
}
@inproceedings{cisuc-5965-2019,
author={Mario Zenha-Rela and Costa, P. and Afonso, V.A. },
title={Tourism and safety among the millennial generation: The perceptions of Portuguese university students.},
booktitle={TOURMAN 2019},
year=2019,
address={n/a},
}
@inproceedings{cisuc-5324-2018,
author={Boychenko, S. and Zerlauth, M. and Mario Zenha-Rela },
title={Optimizing distributed file storages and processing engines for CERN’s Large Hadron Collider using multi criteria partitioned replication},
booktitle={International Conference on Distributed Computing and Networking, ICDCN 2018},
year=2018,
address={n/a},
}
@inproceedings{cisuc-5325-2017,
author={Nogueira, A.F. and Ribeiro, J.C.B. and Mario Zenha-Rela },
title={Trends on empty exception handlers for Java open source libraries},
booktitle={IEEE 24th International Conference on Software Analysis, Evolution and Reengineering (SANER2017)},
year=2017,
address={n/a},
}
@inproceedings{cisuc-4671-2016,
author={Boychenko, S. and Mario Zenha-Rela },
title={Second Generation LHC Analysis Framework: Workload-based and User-oriented Solution},
booktitle={7th International Particle Accelerator Conference (IPAC'16), Busan, Korea, May 8-13, 2016},
year=2016,
address={n/a},
}
@inproceedings{cisuc-5016-2016,
author={José Luís Nunes and Cunha, J.C. and Mario Zenha-Rela },
title={On the Effects of Cumulative SEUs in FPGA-based Systems},
booktitle={12th European Dependable Computing Conference (EDCC 2016)},
year=2016,
address={n/a},
}
@inproceedings{cisuc-5017-2016,
author={José Luís Nunes and Cunha, J.C. and Mario Zenha-Rela },
title={Using Failure Prediction to Improve FPGA Scrubbing},
booktitle={Latin-American Symposium on Dependable Computing (LADC 2016)},
year=2016,
address={n/a},
}
@inproceedings{cisuc-5021-2016,
author={João M. Franco and Cerveira, F. and Barbosa, R. and Mario Zenha-Rela },
title={Modeling the Failure Pathology of Software Components},
booktitle={12th International ACM SIGSOFT Conference on Quality of Software Architectures (QoSA 2016)},
year=2016,
address={n/a},
}
@inproceedings{cisuc-4374-2015,
author={José Luís Nunes and Pecserke, T. and Cunha, J.C. and Mario Zenha-Rela },
title={FIRED – Fault Injector for Reconfigurable Embedded Devices},
booktitle={The 21st IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2015)},
year=2015,
address={n/a},
}
@inproceedings{cisuc-3919-2014,
author={Silva, V. and João M. Franco and Correia, F. and Barbosa, R. and Mario Zenha-Rela },
title={Assessing the Performance Overhead of a Self-Adaptive System},
booktitle={INForum 2014},
year=2014,
address={n/a},
}
@inproceedings{cisuc-3920-2014,
author={João M. Franco and Barbosa, R. and Mario Zenha-Rela },
title={Availability Evaluation of Software Architectures through Formal Methods},
booktitle={Conference on the Quality of Information and Communications Technology (QUATIC)},
year=2014,
address={n/a},
}
@inproceedings{cisuc-4111-2014,
author={Nogueira, A.F. and Ribeiro, J.C.B. and Mario Zenha-Rela },
title={On the Evaluation of Software Maintainability Using Automatic Test Case Generation},
booktitle={9th International Conference on the Quality of Information and Communications Technology (QUATIC) },
year=2014,
address={n/a},
}
@inproceedings{cisuc-4138-2014,
author={Mario Zenha-Rela and Anjos, E. G. and Grigorio, F. and Brito, D. },
title={On Systems Project Abandonment: An Analysis of Complexity During Development and Evolution of FLOSS Systems},
booktitle={ICAST 2014, 6TH IEEE International Conference on Adaptive Science and Technology, Covenant University, Nigeria, 29 – 31 October 2014},
year=2014,
address={n/a},
}
@inproceedings{cisuc-4139-2014,
author={Mario Zenha-Rela and Alves, G. and Costa, R. },
title={A demo prototype of a reconfigurable IEEE1451.0-compliant and FPGA-based weblab},
booktitle={REV2014: 11th International Conference on Remote Engineering and Virtual Instrumentation, Porto-Portugal, 26 - 28 February 2014},
year=2014,
address={n/a},
}
@inproceedings{cisuc-3226-2013,
author={João M. Franco and Barbosa, R. and Mario Zenha-Rela },
title={Reliability analysis of software architecture evolution},
booktitle={Latin-American Symposium on Dependable Computing (LADC 2013)},
year=2013,
address={n/a},
}
@inproceedings{cisuc-3227-2013,
author={José Luís Nunes and Cunha, J.C. and Barbosa, R. and Mario Zenha-Rela },
title={Reconfiguração Dinâmica Parcial de FPGA em Sistemas de Controlo},
booktitle={9th Portuguese Meeting on Reconfigurable Systems (REC 2013)},
year=2013,
address={n/a},
}
@inproceedings{cisuc-3568-2013,
author={Nogueira, A.F. and Ribeiro, J.C.B. and Vega, F.F.d. and Mario Zenha-Rela },
title={eCrash: An Empirical Study on the Apache Ant Project},
booktitle={SSBSE 2013 - 5th International Symposium on Search-Based Software Engineering},
year=2013,
address={n/a},
}
@inproceedings{cisuc-3652-2013,
author={José Luís Nunes and Cunha, J.C. and Barbosa, R. and Mario Zenha-Rela },
title={Evaluating Xilinx SEU Controller Macro for Fault Injection},
booktitle={The 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2013)},
year=2013,
address={n/a},
}
@inproceedings{cisuc-3856-2013,
author={Mario Zenha-Rela and Barbosa, R. and Correia, F. },
title={Affidavit: Automated Reliability Prediction and Analysis of Software Architectures},
booktitle={INForum},
year=2013,
address={n/a},
}
@inproceedings{cisuc-3921-2013,
author={João M. Franco and Correia, F. and Barbosa, R. and Mario Zenha-Rela },
title={Affidavit: Automated Reliability Prediction and Analysis of Software Architectures},
booktitle={INForum},
year=2013,
address={n/a},
}
@inproceedings{cisuc-4140-2013,
author={Mario Zenha-Rela and Alves, G. and Costa, R. and Zutin, D.G. and Zackrisson, J. and Rochadel, W. and Hernández-Jayo, U. },
title={Peers' evaluation of a reconfigurable IEEE1451.0-compliant and FPGA-based weblab},
booktitle={2nd Experiment@ International Conference, (exp.at'13)},
year=2013,
address={n/a},
}
@inproceedings{cisuc-4141-2013,
author={Anjos, E. G. and Castor, F. and Mario Zenha-Rela },
title={Comparing Software Architecture Descriptions and Raw Source-Code: A Statistical Analysis of Maintainability Metrics},
booktitle={Computational Science and Its Applications – ICCSA 2013},
year=2013,
address={n/a},
}
@inproceedings{cisuc-4142-2013,
author={Costa, R. and Alves, G. and Mario Zenha-Rela },
title={Using FPGAs to create a reconfigurable IEEE1451.0-compliant weblab infrastructure},
booktitle={REC2013, 9th Portuguese Meeting on Reconfigurable Systems},
year=2013,
address={n/a},
}
@inproceedings{cisuc-2944-2012,
author={Anjos, E. G. and Gomes, R. and Mario Zenha-Rela },
title={Assessing Maintainability Metrics in Software Architectures Using COSMIC and UML.},
booktitle={12th International Conference Computational Science and Its Applications – ICCSA},
year=2012,
address={n/a},
}
@inproceedings{cisuc-3224-2012,
author={João M. Franco and Barbosa, R. and Mario Zenha-Rela },
title={Automated reliability prediction from formal architectural descriptions},
booktitle={Software Architecture (WICSA) and European Conference on Software Architecture (ECSA), 2012 Joint Working IEEE/IFIP Conference on},
year=2012,
address={n/a},
}
@inproceedings{cisuc-4143-2012,
author={Costa, R. and Alves, G. and Mario Zenha-Rela },
title={Reconfigurable IEEE1451-FPGA based weblab infrastructure},
booktitle={REV 2012, 9th International Conference on Remote Engineering and Virtual Instrumentation },
year=2012,
address={n/a},
}
@inproceedings{cisuc-2748-2011,
author={Anjos, E. G. and Gomes, R.D. and Mario Zenha-Rela },
title={A Framework for Classifying and Comparing Software Architecture Tools for Quality Evaluation},
booktitle={International Conference on Computational Science and Its Applications - ICCSA},
year=2011,
address={n/a},
}
@inproceedings{cisuc-2812-2011,
author={José Luís Nunes and Cunha, J.C. and Barbosa, R. and Mario Zenha-Rela },
title={Using Partial Dynamic FPGA Reconfiguration to Support Real-Time Dependability},
booktitle={13th European Workshop on Dependable Computing (EWDC 2011)},
year=2011,
address={n/a},
}
@inproceedings{cisuc-2281-2010,
author={Ribeiro, J.C.B. and Mario Zenha-Rela and Vega, F.F.d. },
title={Enabling Object Reuse on Genetic Programming-based Approaches to Object-Oriented Evolutionary Testing},
booktitle={13th European Conference on Genetic Programming},
volume={6021/2010},
year=2010,
address={n/a},
}
@inproceedings{cisuc-2282-2010,
author={Ribeiro, J.C.B. and Mario Zenha-Rela and Vega, F.F.d. },
title={Adaptive Evolutionary Testing: An  Adaptive Approach to  Search-Based Test Case  Generation for Object-Oriented Software},
booktitle={4th International Workshop on Nature Inspired Cooperative Strategies for Optimization},
volume={284/2010},
year=2010,
address={n/a},
}
@inproceedings{cisuc-2839-2010,
author={Costa, R. and Alves, G. and Mario Zenha-Rela and Licinio Roque },
title={Contextual Analysis of Remote Experimentation Using the Actor-Network Theory},
booktitle={ECEL2010},
year=2010,
address={n/a},
}
@inproceedings{cisuc-2121-2009,
author={Ribeiro, J.C.B. and Mario Zenha-Rela and Vega, F.F.d. },
title={An Adaptive Strategy for Improving the Performance of Genetic Programming-based Approaches to Evolutionary Testing},
booktitle={11th Annual Conference on Genetic and Evolutionary Computation},
year=2009,
address={n/a},
}
@inproceedings{cisuc-2152-2009,
author={Taran, G. and Mario Zenha-Rela and Marques, P. and Bizarro, P. },
booktitle={n/a},
title={A Training Process for Faculty Members in Collaborative Degree Programs: Design, Implementation and Feedback},
year=2009,
address={n/a},
}
@inproceedings{cisuc-1723-2008,
author={Ribeiro, J.C.B. and Mario Zenha-Rela and Vega, F.F.d. },
title={A strategy for evaluating feasible and unfeasible test cases for the evolutionary testing of object-oriented software},
booktitle={30th International Conference on Software Engineering},
year=2008,
address={n/a},
}
@inproceedings{cisuc-1729-2008,
author={Ribeiro, J.C.B. and Mario Zenha-Rela and Vega, F.F.d. },
title={Strongly-Typed Genetic Programming and Purity Analysis: Input Domain Reduction for Evolutionary Testing Problems},
booktitle={10th Annual Conference on Genetic and Evolutionary Computation},
year=2008,
address={n/a},
}
@inproceedings{cisuc-1724-2007,
author={Ribeiro, J.C.B. and Mario Zenha-Rela and Vega, F.F.d. },
title={eCrash: a Framework for Performing Evolutionary Testing on Third-Party Java Components},
booktitle={II Congreso Español de Informática (CEDI)},
year=2007,
address={n/a},
}
@inproceedings{cisuc-1725-2007,
author={Ribeiro, J.C.B. and Luis, B.M. and Mario Zenha-Rela },
title={Error propagation monitoring on windows mobile-based devices},
booktitle={Latin-American Symposium on Dependable Computing},
volume={4746/2007},
year=2007,
address={n/a},
}
@inproceedings{cisuc-1726-2007,
author={Ribeiro, J.C.B. and Mario Zenha-Rela and Vega, F.F.d. },
title={An Evolutionary Approach For Performing Structural Unit-Testing On Third-Party Object-Oriented Java Software},
booktitle={International Workshop on Nature Inspired Cooperative Strategies for Optimization},
volume={129/2008},
year=2007,
address={n/a},
}
@inproceedings{cisuc-1727-2007,
author={Ribeiro, J.C.B. and Vega, F.F.d. and Mario Zenha-Rela },
title={Using Dynamic Analysis of Java Bytecode for Evolutionary Object-Oriented Unit Testing},
booktitle={25th Brazilian Symposium on Computer Networks and Distributed Systems (SBRC)},
year=2007,
address={n/a},
}
@inproceedings{cisuc-1301-2006,
author={Pedrosa, I. and Antonio Jose Mendes and Mario Zenha-Rela },
booktitle={n/a},
title={edu.LMC and Other LMC Simulation Approaches: Contributions to Computer Architecture Education Using the LMC Paradigm},
year=2006,
address={n/a},
}
@inproceedings{cisuc-1314-2006,
author={Pedrosa, I. and Antonio Jose Mendes and Mario Zenha-Rela },
title={Edu.LMC: a new LMC simulation approach using LMC Paradigm},
booktitle={3rd E-Learning Conference - Computer Science Education},
year=2006,
address={n/a},
}
@inproceedings{cisuc-1728-2006,
author={Ribeiro, J.C.B. and Mario Zenha-Rela },
title={mCrash: a Framework for the Evaluation of Mobile Devices Trustworthiness Properties},
booktitle={Conference on Mobile and Ubiquitous System},
year=2006,
address={n/a},
}
@inproceedings{cisuc-2815-2006,
author={Mario Zenha-Rela and Cunha, J.C. },
title={Exploiting the IEEE 1149.1 standard for software reliability evaluation in space applications },
booktitle={European Safety and Reliability Conference (ESREL)},
year=2006,
address={n/a},
}
@inproceedings{cisuc-1121-2005,
author={Pedrosa, I. and Mario Zenha-Rela and Antonio Jose Mendes },
title={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},
booktitle={VII Simpósio Internacional de Informática Educativa},
year=2005,
address={n/a},
}
@inproceedings{cisuc-1129-2005,
author={Mario Zenha-Rela and Cunha, J.C. },
title={On the Effects of Errors During Boot.},
booktitle={Second Latin-American Symposium on Dependable Computing, LADC2005},
volume={3747},
year=2005,
address={n/a},
}
@inproceedings{cisuc-1528-2005,
author={Mario Zenha-Rela and Marco Vieira and Cunha, J.C. and Joao Duraes },
title={Dependability Evaluation of Mobile Devices' System Software (Fast Abstract)},
booktitle={IEEE/IFIP International Conference on Dependable Systems and Networks, DSN2005},
year=2005,
address={n/a},
}
@inproceedings{cisuc-2808-2005,
author={Cunha, J.C. and Mario Zenha-Rela },
title={Validação de Microssistemas para Aplicações Criticas },
booktitle={1º Encontro Nacional de Riscos, Segurança e Fiabilidade (ENRSF-1)},
year=2005,
address={n/a},
}
@inproceedings{cisuc-1130-2003,
author={Cunha, J.C. and Mario Zenha-Rela },
title={Constraints on the Use of Boundary-Scan for Fault Injection},
booktitle={First Latin-American Symposium on Dependable Computing, LADC 2003},
volume={2847},
year=2003,
address={n/a},
}
@inproceedings{cisuc-468-2002,
author={Cunha, J.C. and Mario Zenha-Rela and Silva, J.G. },
title={On the Use of Disaster Prediction for Failure-Tolerance in Feedback Control Systems},
booktitle={The International Conference on Dependable Systems and Networks, DSN-2002},
year=2002,
address={n/a},
}
@inproceedings{cisuc-469-2002,
author={Cunha, J.C. and Henriques, J. and Mario Zenha-Rela and Silva, J.G. },
title={Reset-Driven Fault Tolerance},
booktitle={4th European Dependable Computing Conference (EDCC-4)},
volume={2485},
year=2002,
address={n/a},
}
@inproceedings{cisuc-435-2001,
author={Cunha, J.C. and Mario Zenha-Rela and Silva, J.G. },
title={A Study of Failure Models in Feedback Control Systems},
booktitle={The International Conference on Dependable Systems and Networks, DSN-2001},
year=2001,
address={n/a},
}
@inproceedings{cisuc-429-1999,
author={Cunha, J.C. and Mario Zenha-Rela and Silva, J.G. },
title={Can Software Implemented Fault-Injection be used on Real-Time Systems?},
booktitle={EDDC-3},
volume={1667},
year=1999,
address={n/a},
}
@inproceedings{cisuc-160-1998,
author={Silva, J.G. and Prata, P. and Mario Zenha-Rela and Madeira, H. },
title={Practical Issues in the Use of ABFT and a new Failure Model},
booktitle={FTCS - 28},
year=1998,
address={n/a},
}
@inproceedings{cisuc-594-1996,
author={Mario Zenha-Rela and Madeira, H. and Silva, J.G. },
title={Experimental Evaluation of the Fail-Silent Behaviour in Programs with Consistency Checks},
booktitle={26th Symposium on Fault Tolerant Computer Systems (FTCS-26)},
year=1996,
address={n/a},
}
@inproceedings{cisuc-595-1995,
author={Costa, D. and Moreira, F. and Madeira, H. and Mario Zenha-Rela and Silva, J.G. },
title={Experimental Evaluation of the Impact of Processor Faults on Parallel Applications},
booktitle={14th IEEE Symposium on Reliable Distributed Systems (SRDS-14)},
year=1995,
address={n/a},
}
@inproceedings{cisuc-596-1994,
author={Madeira, H. and Mario Zenha-Rela and Moreira, F. and Silva, J.G. },
title={RIFLE: a general purpose pin-level fault injector},
booktitle={1st European Dependable Computing Conference (EDCC-1)},
volume={852},
year=1994,
address={n/a},
}
@inproceedings{cisuc-1050-1993,
author={Madeira, H. and Moreira, F. and Furtado, P. and Mario Zenha-Rela and Silva, J.G. },
title={Pin-level Fault Injection for Dependability Validation: Some Research Results at the University of Coimbra},
booktitle={First IEEE International Workshop on Fault and Error Injection for Dependability Validation},
year=1993,
address={n/a},
}
@inproceedings{cisuc-597-1992,
author={Madeira, H. and Mario Zenha-Rela and Furtado, P. and Silva, J.G. },
title={Time Behaviour Monitoring as an Error Detection Mechanism},
booktitle={3rd IFIP Working Conference on Dependable Computing for Critical Applications (DCCA-3)},
year=1992,
address={n/a},
}
@inbook{cisuc-5966-2018,
author={Nogueira, A.F. and Ribeiro, J.C.B. and Vega, F.F.d. and Mario Zenha-Rela },
title={• Evolutionary Approaches to Test Data Generation for Object-Oriented Software: Overview of Techniques and Tools},
chapter={6},
publisher={IGI Global},
booktitle={Incorporating Nature-Inspired Paradigms in Computational Applications},
volume={1},
edition={1},
pages={162--194},
year=2018,
address={n/a},
}
@inbook{cisuc-5321-2015,
author={Costa, R. and Alves, G. and Mario Zenha-Rela },
title={The use of Embedded Smart Modules for Designing Standard-based and Reconfigurable Weblabs},
chapter={2},
publisher={ International Frequency Sensor Association Publishing},
booktitle={Online Experimentation: Emerging Technologies and IoT},
volume={1},
edition={1},
pages={1--15},
year=2015,
address={n/a},
}
@inbook{cisuc-5322-2015,
author={Ribeiro, J.C.B. and Nogueira, A.F. and Vega, F.F.d. and Mario Zenha-Rela },
title={eCrash: a Genetic Programming-Based Testing Tool for Object-Oriented Software},
chapter={5},
publisher={Springer International Publishing},
booktitle={Handbook of Genetic Programming Applications},
volume={1},
edition={1},
pages={575--593},
year=2015,
address={n/a},
}
@techreport{cisuc-598-2000,
author={Cunha, J.C. and Mario Zenha-Rela and Silva, J.G. },
title={Fault-Injection for Real-Time},
year=2000,
address={n/a},
}