Journal Articles
2016(1 publication)
[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

2014(2 publications)
[publication]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

[publication]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

2012(1 publication)
[publication]Alves, G. and Costa, R. and Mario Zenha-Rela , "Embedding Instruments & Modules into an IEEE1451-FPGA-based Weblab Infrastructure", International Journal of Online Engineering ,  vol. 8, 2012

2011(1 publication)
[publication]Costa, R. and Alves, G. and Mario Zenha-Rela , "Work-in-progress on a thin IEEE1451.0-architecture to implement reconfigurable weblab infrastructures", International Journal of Online Engineering ,  vol. 7, 2011

2010(1 publication)
[publication]Costa, R. and Alves, G. and Mario Zenha-Rela , "Reconfigurable Weblabs Based on the IEEE1451 Std.", International Journal of Online Engineering,  vol. 6, 2010

2009(1 publication)
[publication]Ribeiro, J.C.B. and Mario Zenha-Rela and Vega, F.F.d. , "Test Case Evaluation and Input Domain Reduction strategies for the Evolutionary Testing of Object-Oriented software", Information and Software Technology,  vol. 51,  pp. 1534-1548, 2009

2005(1 publication)
[publication]Prata, P. and Mario Zenha-Rela and Madeira, H. and Silva, J.G. , "Robust Assertions and Fail-Bounded Behavior", Journal of the Brazilian Computer Society (Special Issue on Dependable Computing), 2005

1996(1 publication)
[publication]Magalhães, A.P. and Mario Zenha-Rela and Silva, J.G. , "On the Nature of Deadlines", Microprocessors and Microsystems,  vol. 20,  pp. 79-88, 1996

Conference Articles
2019(2 publications)
[publication]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

[publication]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)
[publication]Boychenko, S. and Zerlauth, M. and Mario Zenha-Rela , "Optimizing distributed file storages and processing engines for CERN’s Large Hadron Collider using multi criteria partitioned replication", in International Conference on Distributed Computing and Networking, ICDCN 2018, 2018

2017(1 publication)
[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

2016(4 publications)
[publication]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

[publication]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
[citation][year=2018]B. Shen, L. Peng and Y. Xie, "Reliability enhanced data processing system capable of runtime fault recovery," 2018 IEEE 3rd International Conference on Big Data Analysis (ICBDA), Shanghai, 2018, pp. 122-127.
doi: 10.1109/ICBDA.2018.8367662
[citation][year=2017]Tonfat, Jorge, et al. "Soft error susceptibility analysis methodology of HLS designs in SRAM-based FPGAs." Microprocessors and Microsystems 51 (2017): 209-219.

[publication]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
[citation][year=2017]T. Fujimori and M. Watanabe, "Multi-context scrubbing method," 2017 IEEE 60th International Midwest Symposium on Circuits and Systems (MWSCAS), Boston, MA, 2017, pp. 1548-1551.

[publication]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

2015(1 publication)
[publication]José Luís Nunes and Pecserke, T. and Cunha, J.C. and Mario Zenha-Rela , "FIRED – Fault Injector for Reconfigurable Embedded Devices", in The 21st IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2015), 2015
[citation][year=2019]Fuchs, C.M., Fault-tolerant satellite computing with modern semiconductors, PhD Thesis, Faculty of Science. Leiden University, 2019-12-17, isbn:9789402817669, http://hdl.handle.net/1887/82454
[citation][year=2018]Igor Villalta, Unai Bidarte, Julen Gómez-Cornejo, Jaime Jiménez, Jesús Lázaro, SEU emulation in industrial SoCs combining microprocessor and FPGA, Reliability Engineering & System Safety, Volume 170, 2018, Pages 53-63
[citation][year=2017]Tingting Yu, Lei Chen, Xuewu Li, Shuo Wang, and Jing Zhou, "Critical-Bitstream-Based SEU Injection and Validation for Xilinx SRAM-Based FPGAs," International Journal of Electrical Energy, Vol. 5, No. 1, pp. 29-33, June 2017. doi: 10.18178/ijoee.5.1.29-33
[citation][year=2017]Yu, Tingting, et al. "Analyzing the Single Event Upset Sensitivity of Digital Clock Manager in Virtex-5 FPGA." Proceedings of the 6th International Conference on Informatics, Environment, Energy and Applications. ACM, 2017.

2014(5 publications)
[publication]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

[publication]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

[publication]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

[publication]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

[publication]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)
[publication]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
[citation][year=2014]Ravichandra, M., and A. V. Ramani. "Measuring Software Reliability using Fuzzy Logic." International Journal of Soft Computing 9.5 (2014): 314-317.

[publication]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

[publication]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

[publication]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
[citation][year=2019]Xue Xiaoliang, Su Haibing, Shu Huailiang, et al. Research on fault injection system of FPGA in irradiation environment[J]. Opto-Electronic Engineering, 2019, 46(12): 180549.
[citation][year=2018]B. Shen, L. Peng and Y. Xie, "Reliability enhanced data processing system capable of runtime fault recovery," 2018 IEEE 3rd International Conference on Big Data Analysis (ICBDA), Shanghai, 2018, pp. 122-127.
doi: 10.1109/ICBDA.2018.8367662
[citation][year=2018]M. Darvishi, Y. Audet and Y. Blaquière, "Delay Monitor Circuit and Delay Change Measurement Due to SEU in SRAM-Based FPGA," in IEEE Transactions on Nuclear Science, vol. 65, no. 5, pp. 1153-1160, May 2018.
doi: 10.1109/TNS.2018.2828785
[citation][year=2016]Souari, Anis, et al. "Towards an efficient SEU effects emulation on SRAM-based FPGAs." Microelectronics Reliability 66 (2016): 173-182.
[citation][year=2015]H Quinn, M Wirthlin, “Validation Techniques for Fault Emulation of SRAM-based FPGAs”, IEEE Transactions on Nuclear Science, 2015
[citation][year=2015]Hiari, Omar Mohammad. "System-on-chip based diverse redundancy for automotive reliability." PhD diss., Oakland University, 2015.

[publication]Mario Zenha-Rela and Barbosa, R. and Correia, F. , "Affidavit: Automated Reliability Prediction and Analysis of Software Architectures", in INForum, 2013

[publication]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

[publication]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

[publication]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

[publication]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)
[publication]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

[publication]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
[citation][year=2013]Hussain, Sajjad. "Investigating Architecture Description Languages (ADLs) A Systematic Literature Review." (2013).

[publication]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)
[publication]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

[publication]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
[citation][year=2011]1. Zhou Chun-jie, Huang Xiong-feng, Qin Yuan-qing, Yang Ming-yue, “Survey of the transient faults recovery and safety control methods in networked control systems”, Control and iDecision1001-0920, 2011 Issue 10, pp. 1441-1446,1451

2010(3 publications)
[publication]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
[citation][year=2012]A Arcuri, 'A theoretical and empirical analysis of the role of test sequence length in software testing for structural coverage', 2012. Link: http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5750005 Google Scholar ID: 16219558071860926962
[citation][year=2012]G Fraser, A Arcuri, 'Sound empirical evidence in software testing', 2012. Link: http://dl.acm.org/citation.cfm?id=2337245 Google Scholar ID: 16219558071860926962
[citation][year=2011]R Sharma, M Gligoric, A Arcuri, G Fraser…, 'Testing container classes: Random or systematic?', 2011. Link: http://link.springer.com/chapter/10.1007/978-3-642-19811-3_19 Google Scholar ID: 16219558071860926962
[citation][year=2011]Z Wu, J Tang, CK Kwong, CY Chan, 'An Optimization Model For Reuse Scenario Selection Considering Reliability And Cost In Software Product Line Development', 2011. Link: http://www.worldscientific.com/doi/abs/10.1142/S0219622011004580 Google Scholar ID: 16219558071860926962

[publication]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

[publication]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
[citation][year=2014]R Costa - 2014 - An IEEE1451. 0-compliant FPGA-based reconfigurable weblab, estudogeral.sib.uc.pt
[citation][year=2011]The VISIR Open Lab Platform 5.0-an architecture for a federation of remote laboratories, I Gustavsson, G Alves, R Costa, K Nilsson… - ave.dee.isep.ipp.pt

2009(2 publications)
[publication]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
[citation][year=2013]A Arcuri, G Fraser, 'Parameter tuning or default values? An empirical investigation in search-based software engineering', 2013. Link: http://link.springer.com/article/10.1007/s10664-013-9249-9. Google Scholar ID: 4361730981190076156.

[publication]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)
[publication]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
[citation][year=2013]C Sharma, S Sabharwal, R Sibal, 'A Survey on Software Testing Techniques using Genetic Algorithm', 2013. Link: http://ijcsi.org/papers/IJCSI-10-1-1-381-393.pdf. Google Scholar ID: 5232152538511666093.
[citation][year=2013]D Gómez, D Jústiz, M Delgado, 'Unit Tests of Software in a University Environment', 2013. Link: http://scielo.unam.mx/pdf/cys/v17n1/v17n1a8.pdf. Google Scholar ID: 5232152538511666093.
[citation][year=2013]NK Gupta, MK Rohil, 'Improving GA based automated test data generation technique for object oriented software', 2013. Link: http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=6514229. Google Scholar ID: 5232152538511666093.
[citation][year=2012]L Raamesh, GV Uma, 'A Proficient Test Case Optimization System Based on Birds Flocking Algorithm and GA', 2012. Link: http://scielo.unam.mx/pdf/cys/v17n1/v17n1a8.pdf. Google Scholar ID: 5232152538511666093.
[citation][year=2012]T Castle, 'Evolving High-Level Imperative Program Trees with Genetic Programming', 2012. Link: http://kar.kent.ac.uk/id/eprint/34799. Google Scholar ID: 5232152538511666093.
[citation][year=2010]A Sharma, A Jadhav, PR Srivastava, R Goyal, 'Test Cost Optimization Using Tabu Search.', 2010. Link: http://www.scirp.org/journal/PaperDownload.aspx?paperID=1752. Google Scholar ID: 5232152538511666093.
[citation][year=2009]M Harman, SA Mansouri, Y Zhang, 'Search based software engineering: A comprehensive analysis and review of trends techniques and applications', 2009. Link: http://crest.cs.ucl.ac.uk/fileadmin/crest/sebasepaper/HarmanMZ09.pdf. Google Scholar ID: 5232152538511666093.

[publication]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
[citation][year=2013]A Arcuri, G Fraser, 'Parameter tuning or default values? An empirical investigation in search-based software engineering', 2013. Link: http://link.springer.com/article/10.1007/s10664-013-9249-9 Google Scholar ID: 10191189203822146179
[citation][year=2013]F Peters, T Menzies, L Gong, H Zhang, 'Balancing privacy and utility in cross-company defect prediction', 2013. Link: http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=6419712 Google Scholar ID: 10191189203822146179
[citation][year=2013]G Fraser, A Arcuri, 'Whole test suite generation', 2013. Link: http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=6152257 Google Scholar ID: 10191189203822146179
[citation][year=2013]G Fraser, A Arcuri, 'Handling test length bloat', 2013. Link: http://onlinelibrary.wiley.com/doi/10.1002/stvr.1495/full Google Scholar ID: 10191189203822146179
[citation][year=2011]A Arcuri, G Fraser, 'On parameter tuning in search based software engineering', 2011. Link: http://link.springer.com/chapter/10.1007/978-3-642-23716-4_6 Google Scholar ID: 10191189203822146179
[citation][year=2011]A Mehrmand, R Feldt, 'A factorial experiment on scalability of search based software testing', 2011. Link: http://arxiv.org/abs/1101.2301 Google Scholar ID: 10191189203822146179
[citation][year=2011]G Fraser, A Arcuri, 'Evolutionary generation of whole test suites', 2011. Link: http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=6004309 Google Scholar ID: 10191189203822146179
[citation][year=2011]G Fraser, A Arcuri, 'It is not the length that matters, it is how you control it', 2011. Link: http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5770604 Google Scholar ID: 10191189203822146179
[citation][year=2011]G Fraser, A Zeller, 'Exploiting common object usage in test case generation', 2011. Link: http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5770597 Google Scholar ID: 10191189203822146179
[citation][year=2011]L Cardamone, A Mocci, C Ghezzi, 'Dynamic synthesis of program invariants using genetic programming', 2011. Link: http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5949677 Google Scholar ID: 10191189203822146179
[citation][year=2011]S Yoo, M Harman, S Ur, 'Highly scalable multi objective test suite minimisation using graphics cards', 2011. Link: http://link.springer.com/chapter/10.1007/978-3-642-23716-4_20 Google Scholar ID: 10191189203822146179
[citation][year=2011]Y Li, G Fraser, 'Bytecode testability transformation', 2011. Link: http://link.springer.com/chapter/10.1007/978-3-642-23716-4_21 Google Scholar ID: 10191189203822146179
[citation][year=2010]A Hosseingholizadeh, 'A source-based risk analysis approach for software test optimization', 2010. Link: http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5485639 Google Scholar ID: 10191189203822146179
[citation][year=2010]A Hosseingholizadeh, 'A Study On Automatic Software Quality And Reliability Anlaysis', 2010. Link: http://digitalcommons.ryerson.ca/dissertations/1403/ Google Scholar ID: 10191189203822146179
[citation][year=2010]GHL Pinto, SR Vergilio, 'A multi-objective genetic algorithm to test data generation', 2010. Link: http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5670025 Google Scholar ID: 10191189203822146179
[citation][year=2010]K Jansen, 'Instrumentation and transformation of Java source code for automated testing with search-based testing algorithms', 2010. Link: https://www.duo.uio.no/handle/10852/8791 Google Scholar ID: 10191189203822146179
[citation][year=2010]L Araki, SR Vergilio, 'Um framework de geraçao de dados de teste para critérios estruturais baseados em código objeto Java', 2010. Link: http://sbrc2010.inf.ufrgs.br/anais/data/pdf/wtf/st03_01_wtf.pdf Google Scholar ID: 10191189203822146179
[citation][year=2009]A Arcuri, 'Automatic software generation and improvement through search based techniques', 2009. Link: http://etheses.bham.ac.uk/400/ Google Scholar ID: 10191189203822146179
[citation][year=2009]M Harman, SA Mansouri, Y Zhang, 'Search based software engineering: A comprehensive analysis and review of trends techniques and applications', 2009. Link: http://crest.cs.ucl.ac.uk/fileadmin/crest/sebasepaper/HarmanMZ09.pdf Google Scholar ID: 10191189203822146179

2007(4 publications)
[publication]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
[citation][year=2013]A Arcuri, G Fraser, 'Parameter tuning or default values? An empirical investigation in search-based software engineering', 2013. Link: http://link.springer.com/article/10.1007/s10664-013-9249-9 Google Scholar ID: 10191189203822146179
[citation][year=2013]F Peters, T Menzies, L Gong, H Zhang, 'Balancing privacy and utility in cross-company defect prediction', 2013. Link: http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=6419712 Google Scholar ID: 10191189203822146179
[citation][year=2013]G Fraser, A Arcuri, 'Whole test suite generation', 2013. Link: http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=6152257 Google Scholar ID: 10191189203822146179
[citation][year=2013]G Fraser, A Arcuri, 'Handling test length bloat', 2013. Link: http://onlinelibrary.wiley.com/doi/10.1002/stvr.1495/full Google Scholar ID: 10191189203822146179
[citation][year=2011]A Arcuri, G Fraser, 'On parameter tuning in search based software engineering', 2011. Link: http://link.springer.com/chapter/10.1007/978-3-642-23716-4_6 Google Scholar ID: 10191189203822146179
[citation][year=2011]A Mehrmand, R Feldt, 'A factorial experiment on scalability of search based software testing', 2011. Link: http://arxiv.org/abs/1101.2301 Google Scholar ID: 10191189203822146179
[citation][year=2011]G Fraser, A Arcuri, 'Evolutionary generation of whole test suites', 2011. Link: http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=6004309 Google Scholar ID: 10191189203822146179
[citation][year=2011]G Fraser, A Arcuri, 'It is not the length that matters, it is how you control it', 2011. Link: http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5770604 Google Scholar ID: 10191189203822146179
[citation][year=2011]G Fraser, A Zeller, 'Exploiting common object usage in test case generation', 2011. Link: http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5770597 Google Scholar ID: 10191189203822146179
[citation][year=2011]L Cardamone, A Mocci, C Ghezzi, 'Dynamic synthesis of program invariants using genetic programming', 2011. Link: http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5949677 Google Scholar ID: 10191189203822146179
[citation][year=2011]S Yoo, M Harman, S Ur, 'Highly scalable multi objective test suite minimisation using graphics cards', 2011. Link: http://link.springer.com/chapter/10.1007/978-3-642-23716-4_20 Google Scholar ID: 10191189203822146179
[citation][year=2011]Y Li, G Fraser, 'Bytecode testability transformation', 2011. Link: http://link.springer.com/chapter/10.1007/978-3-642-23716-4_21 Google Scholar ID: 10191189203822146179
[citation][year=2010]A Hosseingholizadeh, 'A source-based risk analysis approach for software test optimization', 2010. Link: http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5485639 Google Scholar ID: 10191189203822146179
[citation][year=2010]A Hosseingholizadeh, 'A Study On Automatic Software Quality And Reliability Anlaysis', 2010. Link: http://digitalcommons.ryerson.ca/dissertations/1403/ Google Scholar ID: 10191189203822146179
[citation][year=2010]GHL Pinto, SR Vergilio, 'A multi-objective genetic algorithm to test data generation', 2010. Link: http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5670025 Google Scholar ID: 10191189203822146179
[citation][year=2010]K Jansen, 'Instrumentation and transformation of Java source code for automated testing with search-based testing algorithms', 2010. Link: https://www.duo.uio.no/handle/10852/8791 Google Scholar ID: 10191189203822146179
[citation][year=2010]L Araki, SR Vergilio, 'Um framework de geraçao de dados de teste para critérios estruturais baseados em código objeto Java', 2010. Link: http://sbrc2010.inf.ufrgs.br/anais/data/pdf/wtf/st03_01_wtf.pdf Google Scholar ID: 10191189203822146179
[citation][year=2009]Mark Harman and S. Afshin Mansouri and Yuanyuan Zhang, Search Based Software Engineering: A Comprehensive Analysis and Review of Trends Techniques and Applications, TR-09-03, 2009
URL: http://www.dcs.kcl.ac.uk/technical-reports/papers/TR-09-03.pdf
[citation][year=2009]A Arcuri, 'Automatic software generation and improvement through search based techniques', 2009. Link: http://etheses.bham.ac.uk/400/ Google Scholar ID: 10191189203822146179
[citation][year=2009]M Harman, SA Mansouri, Y Zhang, 'Search based software engineering: A comprehensive analysis and review of trends techniques and applications', 2009. Link: http://crest.cs.ucl.ac.uk/fileadmin/crest/sebasepaper/HarmanMZ09.pdf Google Scholar ID: 10191189203822146179

[publication]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

[publication]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
[citation][year=2013]A Arcuri, G Fraser, 'Parameter tuning or default values? An empirical investigation in search-based software engineering', 2013. Link: http://link.springer.com/article/10.1007/s10664-013-9249-9 Google Scholar ID: 10191189203822146179
[citation][year=2013]F Peters, T Menzies, L Gong, H Zhang, 'Balancing privacy and utility in cross-company defect prediction', 2013. Link: http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=6419712 Google Scholar ID: 10191189203822146179
[citation][year=2013]G Fraser, A Arcuri, 'Whole test suite generation', 2013. Link: http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=6152257 Google Scholar ID: 10191189203822146179
[citation][year=2013]G Fraser, A Arcuri, 'Handling test length bloat', 2013. Link: http://onlinelibrary.wiley.com/doi/10.1002/stvr.1495/full Google Scholar ID: 10191189203822146179
[citation][year=2011]A Arcuri, G Fraser, 'On parameter tuning in search based software engineering', 2011. Link: http://link.springer.com/chapter/10.1007/978-3-642-23716-4_6 Google Scholar ID: 10191189203822146179
[citation][year=2011]A Mehrmand, R Feldt, 'A factorial experiment on scalability of search based software testing', 2011. Link: http://arxiv.org/abs/1101.2301 Google Scholar ID: 10191189203822146179
[citation][year=2011]G Fraser, A Arcuri, 'Evolutionary generation of whole test suites', 2011. Link: http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=6004309 Google Scholar ID: 10191189203822146179
[citation][year=2011]G Fraser, A Arcuri, 'It is not the length that matters, it is how you control it', 2011. Link: http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5770604 Google Scholar ID: 10191189203822146179
[citation][year=2011]G Fraser, A Zeller, 'Exploiting common object usage in test case generation', 2011. Link: http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5770597 Google Scholar ID: 10191189203822146179
[citation][year=2011]L Cardamone, A Mocci, C Ghezzi, 'Dynamic synthesis of program invariants using genetic programming', 2011. Link: http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5949677 Google Scholar ID: 10191189203822146179
[citation][year=2011]S Yoo, M Harman, S Ur, 'Highly scalable multi objective test suite minimisation using graphics cards', 2011. Link: http://link.springer.com/chapter/10.1007/978-3-642-23716-4_20 Google Scholar ID: 10191189203822146179
[citation][year=2011]Y Li, G Fraser, 'Bytecode testability transformation', 2011. Link: http://link.springer.com/chapter/10.1007/978-3-642-23716-4_21 Google Scholar ID: 10191189203822146179
[citation][year=2010]A Hosseingholizadeh, 'A source-based risk analysis approach for software test optimization', 2010. Link: http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5485639 Google Scholar ID: 10191189203822146179
[citation][year=2010]A Hosseingholizadeh, 'A Study On Automatic Software Quality And Reliability Anlaysis', 2010. Link: http://digitalcommons.ryerson.ca/dissertations/1403/ Google Scholar ID: 10191189203822146179
[citation][year=2010]GHL Pinto, SR Vergilio, 'A multi-objective genetic algorithm to test data generation', 2010. Link: http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5670025 Google Scholar ID: 10191189203822146179
[citation][year=2010]K Jansen, 'Instrumentation and transformation of Java source code for automated testing with search-based testing algorithms', 2010. Link: https://www.duo.uio.no/handle/10852/8791 Google Scholar ID: 10191189203822146179
[citation][year=2010]L Araki, SR Vergilio, 'Um framework de geraçao de dados de teste para critérios estruturais baseados em código objeto Java', 2010. Link: http://sbrc2010.inf.ufrgs.br/anais/data/pdf/wtf/st03_01_wtf.pdf Google Scholar ID: 10191189203822146179
[citation][year=2009]A Arcuri, 'Automatic software generation and improvement through search based techniques', 2009. Link: http://etheses.bham.ac.uk/400/ Google Scholar ID: 10191189203822146179
[citation][year=2009]M Harman, SA Mansouri, Y Zhang, 'Search based software engineering: A comprehensive analysis and review of trends techniques and applications', 2009. Link: http://crest.cs.ucl.ac.uk/fileadmin/crest/sebasepaper/HarmanMZ09.pdf Google Scholar ID: 10191189203822146179

[publication]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
[citation][year=2013]A Arcuri, G Fraser, 'Parameter tuning or default values? An empirical investigation in search-based software engineering', 2013. Link: http://link.springer.com/article/10.1007/s10664-013-9249-9 Google Scholar ID: 10191189203822146179
[citation][year=2013]F Peters, T Menzies, L Gong, H Zhang, 'Balancing privacy and utility in cross-company defect prediction', 2013. Link: http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=6419712 Google Scholar ID: 10191189203822146179
[citation][year=2013]G Fraser, A Arcuri, 'Whole test suite generation', 2013. Link: http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=6152257 Google Scholar ID: 10191189203822146179
[citation][year=2013]G Fraser, A Arcuri, 'Handling test length bloat', 2013. Link: http://onlinelibrary.wiley.com/doi/10.1002/stvr.1495/full Google Scholar ID: 10191189203822146179
[citation][year=2011]A Arcuri, G Fraser, 'On parameter tuning in search based software engineering', 2011. Link: http://link.springer.com/chapter/10.1007/978-3-642-23716-4_6 Google Scholar ID: 10191189203822146179
[citation][year=2011]A Mehrmand, R Feldt, 'A factorial experiment on scalability of search based software testing', 2011. Link: http://arxiv.org/abs/1101.2301 Google Scholar ID: 10191189203822146179
[citation][year=2011]G Fraser, A Arcuri, 'Evolutionary generation of whole test suites', 2011. Link: http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=6004309 Google Scholar ID: 10191189203822146179
[citation][year=2011]G Fraser, A Arcuri, 'It is not the length that matters, it is how you control it', 2011. Link: http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5770604 Google Scholar ID: 10191189203822146179
[citation][year=2011]G Fraser, A Zeller, 'Exploiting common object usage in test case generation', 2011. Link: http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5770597 Google Scholar ID: 10191189203822146179
[citation][year=2011]L Cardamone, A Mocci, C Ghezzi, 'Dynamic synthesis of program invariants using genetic programming', 2011. Link: http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5949677 Google Scholar ID: 10191189203822146179
[citation][year=2011]S Yoo, M Harman, S Ur, 'Highly scalable multi objective test suite minimisation using graphics cards', 2011. Link: http://link.springer.com/chapter/10.1007/978-3-642-23716-4_20 Google Scholar ID: 10191189203822146179
[citation][year=2011]Y Li, G Fraser, 'Bytecode testability transformation', 2011. Link: http://link.springer.com/chapter/10.1007/978-3-642-23716-4_21 Google Scholar ID: 10191189203822146179
[citation][year=2010]A Hosseingholizadeh, 'A source-based risk analysis approach for software test optimization', 2010. Link: http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5485639 Google Scholar ID: 10191189203822146179
[citation][year=2010]A Hosseingholizadeh, 'A Study On Automatic Software Quality And Reliability Anlaysis', 2010. Link: http://digitalcommons.ryerson.ca/dissertations/1403/ Google Scholar ID: 10191189203822146179
[citation][year=2010]GHL Pinto, SR Vergilio, 'A multi-objective genetic algorithm to test data generation', 2010. Link: http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5670025 Google Scholar ID: 10191189203822146179
[citation][year=2010]K Jansen, 'Instrumentation and transformation of Java source code for automated testing with search-based testing algorithms', 2010. Link: https://www.duo.uio.no/handle/10852/8791 Google Scholar ID: 10191189203822146179
[citation][year=2010]L Araki, SR Vergilio, 'Um framework de geraçao de dados de teste para critérios estruturais baseados em código objeto Java', 2010. Link: http://sbrc2010.inf.ufrgs.br/anais/data/pdf/wtf/st03_01_wtf.pdf Google Scholar ID: 10191189203822146179
[citation][year=2009]Cho, H. 2009. Using metaprogramming to implement a testing framework. In Proceedings of the 47th Annual Southeast Regional Conference (Clemson, South Carolina, March 19 - 21, 2009). ACM-SE 47. ACM, New York, NY, 1-2. DOI= http://doi.acm.org/10.1145/1566445.1566519
[citation][year=2009]Mark Harman and S. Afshin Mansouri and Yuanyuan Zhang, Search Based Software Engineering: A Comprehensive Analysis and Review of Trends Techniques and Applications, TR-09-03, 2009
URL: http://www.dcs.kcl.ac.uk/technical-reports/papers/TR-09-03.pdf
[citation][year=2009]A Arcuri, 'Automatic software generation and improvement through search based techniques', 2009. Link: http://etheses.bham.ac.uk/400/ Google Scholar ID: 10191189203822146179

2006(4 publications)
[publication]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

[publication]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

[publication]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

[publication]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
[citation][year=2017]Manuel José Ferreira Carneiro Mendonça. "Vulnerability Detection in Device Drivers", PhD Thesis, Universidade de Lisboa, 2017
[citation][year=2015]SA Chekmaryov, “A Fault Injector To Test The SOC-Processor To Single Event Upsets”, Journal Software and Systems, Issue number 4 (112) / 2015 (http://cyberleninka.ru/article/n/inektor-sboev-dlya-testirovaniya-mikroprotsessorov-tipa-sistema-na-kristalle-k-odinochnym-sboyam)
[citation][year=2011]1. Gianpiero Cabodi, Marco Murciano, and Massimo Violante. Boosting software fault injection for dependability analysis of real-time embedded applications. ACM Trans. Embed. Comput. Syst. 10, 2, Article 24 (January 2011) 

2005(4 publications)
[publication]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

[publication]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
[citation][year=2010]1. Antonio da Silva, Jose F. Martinez, Alberto Gonzalez-Calero, Lourdes Lopez, Ana Garcia, Vicente Hernandez, “XML schema based fault set definition to improve fault injection tools interoperability”, International Journal of Critical Computer-Based Systems, Inderscience Enterprises Ltd, ISSN 1757-8779, Volume 1, Number 1-3/2010, pp 220-237, February 2010
[citation][year=2008]A. Da Silva J. F. Martínez L. López A. B. García V. Hernández, "XML schema based faultset definition to improve faults injection tools interoperability?, Third International Conference on Dependability of Computer Systems DepCoS-RELCOMEX 2008
[citation][year=2005]1. Cláudia Santos da Silva, “Uma arquitetura de testes para sistemas espaciais”, Mestrado em Computação Aplicada, orientada pelo Dr. Nandamudi Lankalapalli Vijaykumar e Dra. Eliane Martins, INPE, São José dos Campos, 2005

[publication]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

[publication]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)
[publication]Santos, L.E. and Santos, L.E. and Mario Zenha-Rela , "Constraints on the Use of Boundary-Scan for Fault Injection", in First Latin-American Symposium on Dependable Computing, LADC 2003,  vol. 2847, 2003
[citation][year=2005]On-chip Debugging-based Fault Emulation for Robustness Evaluation of Embedded Software Components, J Pardo, JC Ruiz, JC Campelo, P Gil, PRDC 2005, Changsha, Hunan, China, Dec. 12-14, 2005

2002(2 publications)
[publication]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
[citation][year=2010]1. Piotr Gawkowski, Maciej ?awry?czuk, Piotr Marusak, Janusz Sosnowski and Piotr Tatjewski, “Fail-bounded implementations of the numerical model predictive control algorithms”, Control and Cybernetics vol. 39 (2010) No. 4
[citation][year=2008]Daniel Skarin, Johan Karlsson, "Software Implemented Detection and Recovery of Soft Errors in a Brake-by-Wire System," Dependable Computing Conference, 2008. EDCC 2008. Seventh European , vol., no., pp.145-154, 7-9 May 2008
[citation][year=2008]P. Gawkowski, J. Sosnowski, "Developing Fault Injection Environment for Complex Experiments," On-Line Testing Symposium, 2008. IOLTS '08. 14th IEEE International , vol., no., pp.179-181, 7-9 July 2008
[citation][year=2008]Dawid Trawczynski, Janusz Sosnowski and Piotr Gawkowski, “Analyzing Fault Susceptibility of ABS Microcontroller”, SAFECOMP '08 Proceedings of the 27th international conference on Computer Safety, Reliability, and Security, 2008
[citation][year=2006]1. Sumant Kowshik, Grigore Rosu, Lui Sha, "Static Analysis to Enforce Safe Value Flow in Embedded Control Systems",  International Conference on Dependable Systems and Networks (DSN'06),  2006
[citation][year=2006]2. Sumant Kowshik, "Static Analysis for Architecture Implementation Conformance in Robust Embedded Systems", PhD Thesis, Computer Science Department, University of Illinois at Urbana-Champaign, USA, 2006
[citation][year=2005]1. Jonny Vinter, "On the Effects of Soft Errors in Embedded Control Systems?, PhD Thesis, Department of Computer Science and Engineering, Chalmers University of Technology, Göteborg, Sweden, 2005, ISBN 91-7291-630-3
[citation][year=2005]2. Sumant Kowshik, Girish Baliga, Scott Graham, Lui Sha, "Co-design Based Approach to Improve Robustness in Networked Control Systems?, IEEE/IFIP International Conference on Dependable Systems and Networks, Performance and Dependability Symposium, DSN-PDS 2005, Yokohama, Japão, 28 de Junho a 1 de Julho de 2005.
[citation][year=2005]3. Girish Baliga, "A Middleware Framework for Networked Control Systems," PhD Thesis, Department of Cumputer Science, University of Illinois at Urbana-Champaign, USA, 2005
[citation][year=2004]Juan-Carlos Ruiz, Pedro Yuste, Pedro Gil, Lenin Lemus, "On Benchmarking the Dependability of Automotive Engine Control Applications�, the International Conference on Dependable Systems and Networks (DSN'2004), Florence, Italy, June 2004
[citation][year=2004]Paulo José Lopes Machado Portugal, “Avaliação da Confiança no Funcionamento de Redes de Campo”, Dissertação submetida para a obtenção do grau de Doutor em Engenharia Electrotécnica e de Computadores pela Faculdade de Engenharia da Universidade do Porto, 2004
[citation][year=2004]Scott R. Graham, “Fault Tolerance in Networked Control Systems Through Real-Time Restarts”, Report, University of Illinois at Urbana, Air Force Inst of Tech Wright-Pattersonafb OH, 2004
[citation][year=2003]1.	ÿrjan Askerdal "On Impact and Tolerance of Data Errors with Varied Duration in Microprocessors" PhD Thesis, Departament of Computer Engineering, Chalmers University of Technology, Sweden, 2003, ISBN 91-7291-285-5.

[publication]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
[citation][year=2013]Trawczynski, D. and Zalewski, J., "Application of Accelerated Processing Units in Safety-Critical Systems," SAE Int. J. Passeng. Cars – Electron. Electr. Syst. 6(1):93-101, 2013, doi:10.4271/2013-01-0179
[citation][year=2010]•	Daniel Skarin, Raul Barbosa, Johan Kar1.sson, "Comparing and Validating Measurements of Dependability Attributes," Dependable Computing Conference (EDCC), 2010 European , vol., no., pp.3-12, 28-30 April 2010
[citation][year=2009]1.	Daniel Skarin, Johan Karlsson, "Evaluation of low-cost detection and recovery of soft errors in an ABS controller”, Proceedings of the 2009 IEEE Workshop on Silicon Errors in Logic - System Effects (SELSE 5), 2009
[citation][year=2004]1.	Yuste Pérez Pedro, “Contribución a la Validación de la Confiabilidad en los Sistemas Empotrados Tolerantes a Fallos”, Phd Thesis, Universidad: Politecnica De Valencia, 2004

2001(1 publication)
[publication]Cunha, J.C. and Mario Zenha-Rela and Silva, J.G. , "A Study of Failure Models in Feedback Control Systems", in The International Conference on Dependable Systems and Networks, DSN-2001, 2001
[citation][year=2019]M. A. Gamarra, S. Shetty, O. R. Gonzalez, L. Njilla, M. Pendleton and C. Kamhoua, "Dual Redundant Cyber-Attack Tolerant Control Systems Strategy for Cyber-Physical Systems," ICC 2019 - 2019 IEEE International Conference on Communications (ICC), Shanghai, China, 2019, pp. 1-7.
[citation][year=2019]Gamarra, Marco A.. "A Multi-Agent Systems Approach for Analysis of Stepping Stone Attacks" (2019). Doctor of Philosophy (PhD), Dissertation, Electrical/Computer Engineering, Old Dominion University, DOI: 10.25777/5yvw-zd91
[citation][year=2018]V. Fratin, D. Oliveira, C. Lunardi, F. Santos, G. Rodrigues and P. Rech, "Code-Dependent and Architecture-Dependent Reliability Behaviors," 2018 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), Luxembourg City, 2018, pp. 13-26.
doi: 10.1109/DSN.2018.00015
[citation][year=2013]Josef Nilsson, Niklas Strandy, Paolo Falconez and Jonny Vinter, "Driver performance in the presence of adaptive cruise control related failures: Implications for safety analysis and fault tolerance," the International Conference on Dependable Systems and Networks (DSN'2013), Budapest, Hungary, June 2013
[citation][year=2011]Iwinski, Marcin, and Sosnowski, Janusz, "Testing Fault Susceptibility of a Satellite Power Controller", in Dependable Computer Systems, Wojciech Zamojski, Janusz Kacprzyk, Jacek Mazurkiewicz, Jaroslaw Sugier, and Tomasz Walkowiak (Eds.), in Springer Berlin / Heidelberg, Advances in Intelligent and Soft Computing series, Volume 97, pages 63-74.
[citation][year=2011]Vadlamudi, S.G.;   Chakrabarti, P.P.;   Das, D.;   Sinha, P. “A framework for early stage quality-fault tolerance analysis of embedded control systems”, in the International Conference on Dependable Systems and Networks (DSN'2011), Hong Kong, June 2011, IEEE Computer Society Press, ISBN 978-1-4244-9232-9, pages 315 - 322
[citation][year=2011]Dawid Trawczy?ski, Janusz Sosnowski, “Fault Injection Testing of Safety-Critical Applications”, Computer Science and Information Systems, Technical transaction, Issue 9, Year 108, 1-I/2011
[citation][year=2010]Roger A Kisner, Wayne W Manges, Lawrence Paul MacIntyre, James J Nutaro, John K Munro Jr, Paul D Ewing, Mostofa Howlader, Phani Teja Kuruganti, Richard M Wallace, Mohammed M Olama, "Cybersecurity through Real-Time Distributed Control Systems";, Technical Report, Oak Ridge National Laboratory (ORNL), 2010
[citation][year=2010]Dawid Trawczy?ski, Janusz Sosnowski, Piotr Gawkowski, “Testing Distributed ABS System with Fault Injection”,  Innovations in Computing Sciences and Software Engineering, 2010, pp 201-206, Springer
[citation][year=2009]Daniel Skarin, Johan Karlsson, "Software mechanisms for tolerating soft errors in an automotive brake-controller",  Proc. WDSN,  pp. D34 2009
[citation][year=2009]Daniel Skarin, Johan Karlsson, "Evaluation of low-cost detection and recovery of soft errors in an ABS controller”, Proceedings of the 2009 IEEE Workshop on Silicon Errors in Logic - System Effects (SELSE 5), 2009
[citation][year=2009]Dawid Trawczyński, Janusz Sosnowski and Piotr Gawkowski, “Testing Distributed ABS System with Fault Injection”, Proceedings of the 2009 International Conference on Systems, Computing Sciences and Software Engineering (SCSS), 2009
[citation][year=2008]1.	Daniel Skarin, Johan Karlsson, "Software Implemented Detection and Recovery of Soft Errors in a Brake-by-Wire System," Dependable Computing Conference, 2008. EDCC 2008. Seventh European , vol., no., pp.145-154, 7-9 May 2008
[citation][year=2007]1. Daniel Skarin, Martin Sanfridson, Johan Karlsson, “Impact of Soft Errors in a Brake-by-Wire System”. Proceedings of the 2007 IEEE Workshop on Silicon Errors in Logic - System Effects (SELSE 3), 2007
[citation][year=2005]Jonny Vinter, "On the Effects of Soft Errors in Embedded Control Systems?, PhD Thesis, Department of Computer Science and Engineering, Chalmers University of Technology, Göteborg, Sweden, 2005, ISBN 91-7291-630-3
[citation][year=2005]Sumant Kowshik, Girish Baliga, Scott Graham, Lui Sha, "Co-design Based Approach to Improve Robustness in Networked Control Systems?, IEEE/IFIP International Conference on Dependable Systems and Networks, Performance and Dependability Symposium, DSN-PDS 2005, Yokohama, Japão, 28 de Junho a 1 de Julho de 2005.
[citation][year=2005]Jonny Vinter, Olaf Hannius, Torbjorn Norlander, Peter Folkesson, Johan Karlsson, ?Experimental Dependability Evaluation of a Fail-Bounded Jet Engine Control Syste,m for Unmanned Aerial Vehicles", IEEE/IFIP International Conference on Dependable Systems and Networks, Performance and Dependability Symposium, DSN-PDS 2005, Yokohama, Japão, 28 de Junho a 1 de Julho de 2005.
[citation][year=2004]Juan-Carlos Ruiz, Pedro Yuste, Pedro Gil, Lenin Lemus, "On Benchmarking the Dependability of Automotive Engine Control Applications�, the International Conference on Dependable Systems and Networks (DSN'2004), Florence, Italy, June 2004
[citation][year=2004]J. Kaiser and E. Nett, "Resolving the Trade-Offs in Designing QoS Communication Services for Control Applications on CAN�, Workshop on Architectures for Cooperative Embedded Real-Time Systems (WACERTS'04), in conjunction with the 25th IEEE International Real-Time Systems Symposium (RTSS04), Lisbon, Portugal, December 2004
[citation][year=2004]Paulo José Lopes Machado Portugal, “Avaliação da Confiança no Funcionamento de Redes de Campo”, Dissertação submetida para a obtenção do grau de Doutor em Engenharia Electrotécnica e de Computadores pela Faculdade de Engenharia da Universidade do Porto, 2004
[citation][year=2003]Jonny Vinter, Andreas Johansson, Peter Folkesson, Johan Karlsson "On the Design of Robust Integrators for Fail-Bounded Control Systems" Proc. 2003 International Conference on Dependable Systems and Networks (DSN'03), June 22 - 25, 2003, San Francisco, California, IEEE Computer Society Press, ISBN 0-7695-1952-0, pp. 415-424.
[citation][year=2003]Orjan Askerdal "On Impact and Tolerance of Data Errors with Varied Duration in Microprocessors" PhD Thesis, Departament of Computer Engineering, Chalmers University of Technology, Sweden, 2003, ISBN 91-7291-285-5.
[citation][year=2003]IDA, Cesar Ossamu; WEBER, Taisy Silva. Uma Arquitetura Altamente Disponível Aplicada a Sistemas de Controle Embutidos de Tempo Real. In: WORKSHOP DE TESTES E TOLER�NCIA A FALHAS - WTF 2003, 2003, Natal. IV Workshop de Testes e Tolerância a Falhas (WTF). Natal - RN: Sociedade Brasileira de Computação e UFRN, 2003. v. 1, p. 79-86.
[citation][year=2003]O Askerdal, M Gaefvert, M Hiller, "Analyzing the Impact of Data Errors in Safety-Critical Control Systems", IEICE Trans. Inf. & Syst., Special Issue on Dependable Computing, VOL E86-D, No 12, Dec. 2003.
[citation][year=2003]M Gafvert, B Wittenmark, O Askerdal, "On the Effect of Transient Data-Errors in Controller Implementations", Proceedings of the American Control Conference, 2003.
[citation][year=2003]Magnus Gäfvert, "Topics in Modeling, Control, and Implementation in Automotive Systems," PhD Thesis, Department of Automatic Control, Lund Institute of Technology, Lund, Sweden, 2003
[citation][year=2002]O Askerdal, M Gaefvert, M Hiller, N Suri, "A Control Theory Approach for Analyzing the Effects of Data Errors in Safety-Critical Control Systems", Proceedings of the 2002 Pacific Rim International Symposium on Dependable Computing (PRDC02),  16-18 Dec.2002, pp. 105- 114.
[citation][year=2002]Cesar Ida, Taisy Weber, “Controller Duplication for Fault Tolerance in Embedded Control Systems”, I Simpósio de Informática da Região Centro/RS – 2002
[citation][year=2001]1. Per-Arne Wiberg, Urban Bilstrup, "Wireless technology in industry-applications and user scenarios," Emerging Technologies and Factory Automation, 2001. Proceedings. 2001 8th IEEE International Conference on , vol., no., pp.123-131 vol.1, 2001

1999(1 publication)
[publication]Cunha, J.C. and Mario Zenha-Rela and Silva, J.G. , "Can Software Implemented Fault-Injection be used on Real-Time Systems?", in EDDC-3,  vol. 1667, 1999
[citation][year=2016]Horst Benjamin Schirmeier, "Efficient Fault-Injection-based Assessment of Software-Implemented Hardware Fault Tolerance", PhD thesis, Technischen Universität Dortmund, 2016
[citation][year=2015]J. Frtunikj, J. Fröhlich, T. Rohlfs and A. Knoll, "Qualitative evaluation of fault hypotheses with non-intrusive fault injection," 2015 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), Gaithersburg, MD, 2015, pp. 160-167
[citation][year=2011]1. Marko Miklo, Carl R. Elks,  Ronald D. Williams,Charles L. Brown, “Design of a high performance FPGA based fault injector for real-time safety-critical systems,” 2011 IEEE International Conference on Application-Specific Systems, Architectures and Processors (ASAP), Santa Monica, CA, USA, pp. 243 – 246, 11-14 Sept. 2011
[citation][year=2011]2. Rickard Svenningsson, Jonny Vinter, Henrik Eriksson and Martin Törngren, “MODIFI: A MODel-Implemented Fault Injection Tool”, in COMPUTER SAFETY, RELIABILITY, AND SECURITY, Lecture Notes in Computer Science, 2010, Volume 6351/2010, 210-222, DOI: 10.1007/978-3-642-15651-9_16
[citation][year=2011]3. Rickard Svenningsson, “Model-Implemented Fault Injection for Robustness Assessment”, Licentiate thesis, 9/12/2011, KTH Royal Institute of Technology

[citation][year=2010]Daniel Skarin, Raul Barbosa, Johan Karlsson, "GOOFI-2: A tool for experimental dependability assessment," Dependable Systems and Networks (DSN), 2010 IEEE/IFIP International Conference on , vol., no., pp.557-562, June 28 2010-July 1 2010
[citation][year=2010]Daniel Skarin, Raul Barbosa, Johan Karlsson, "Comparing and Validating Measurements of Dependability Attributes," Dependable Computing Conference (EDCC), 2010 European , vol., no., pp.3-12, 28-30 April 2010
[citation][year=2010]Rickard Svenningsson, Jonny Vinter, Henrik Eriksson, Martin Törngren, “MODIFI: A MODel-Implemented Fault Injection Tool”. SAFECOMP 2010, 210–222. Springer, 2010
[citation][year=2008]1. Bernhard Aichernig, “MOGENTES, Model-Based Generation of Test-Cases for Embedded Systems”, FP7 proposal, 2008
[citation][year=2005]1.	Jonny Vinter, "On the Effects of Soft Errors in Embedded Control Systems?, PhD Thesis, Department of Computer Science and Engineering, Chalmers University of Technology, Göteborg, Sweden, 2005, ISBN 91-7291-630-3
[citation][year=2004]1. Yuste Pérez Pedro, “Contribución a la Validación de la Confiabilidad en los Sistemas Empotrados Tolerantes a Fallos”, Phd Thesis, Universidad: Politecnica De Valencia, 2004
[citation][year=2003]1. Peter Foolkesson, Joakim Aidemark, Jonny Vinter, "Assessment and Application of Scan-Chain Implemented Fault Injection.�, Technical Report 03-21, Chalmers University of Technology, Department of Computer Engineering, Göteborg 2003
[citation][year=2003]2. Pedro Yuste, Juan Carlos Ruiz, Lenin Lemus, Pedro Gil "Non-intrusive Software-Implemented Fault Injection in Embedded Systems" Proc. First Latin-American Symposium on Dependable Computing, LADC 2003, 2003, October 2003, São Paulo, Brazil: Springer Verlag, Lecture Notes in Computer Science, LNCS 2847: p. 23-38, ISBN 3-540-20224-2.
[citation][year=2003]3. Alfredo Benso, Paolo Prinetto, "Fault injection techniques and tools for embedded systems reliability evaluation�, Boston: Kluwer Academic Publishers, 2003.
[citation][year=2003]4. Jean Arlat, Jean-Charles Fabre, Manuel Rodríguez and Frédéric Salles, “MAFALDA: A Series of Prototype Tools for the Assessment of Real Time Cots Microkernel-Based Systems”, A. Benso and P. Prinetto (eds.), “Fault Injection Techniques and Tools for Embedded Systems Reliability Evaluation”, pp. 141-156, Kluwer Academic Publishers, 2003
[citation][year=2002]Astrit Ademaj "A Methodology for Dependability Evaluation of the Time-Triggered Architecture Using Software Fault Injection", Proc. of EDCC-4, Toulouse, October 2002, p. 172-190, LNCS 2002.
[citation][year=2002]Manoel Rodríguez Moreno, "Technologie d'empaquetage pour la sureté de fonctionnement des systemes temps-réel", Thése présentée au Laboratoire d'Analyse et d'Architecture des Systémes du Centre Centre National de la Recherche Scientifique (LAAS/ CNRS), en vue d'obtenir le titre de Docteur de l'Institut National Polytechnique de Toulouse, numéro d'ordre 1898, Année 2002.
[citation][year=2002]Manuel Rodríguez, Arnaud Albinet and Jean Arlat, "MAFALDA-RT: A Tool for Dependability Assessment of Real-Time Systems�, the International Conference on Dependable Systems and Networks (DSN'2002), Washington D.C., USA, June 2002
[citation][year=2002]Idriz Smaili and Astrit Ademaj, “Setting break-points in distributed time-triggered architecture”, in Proceedings of the Seventh IEEE International High-Level Design Validation and Test Workshop (HLDVT '02). IEEE Computer Society, Washington, DC, USA, 2002

1998(1 publication)
[publication]Silva, J.G. and Prata, P. and Mario Zenha-Rela and Madeira, H. , "Practical Issues in the Use of ABFT and a new Failure Model", in FTCS - 28, 1998
[citation][year=2009]Robert Granat, Kiri L. Wagstaff, Benjamin Bornstein, Benyang Tang, and Michael Turmon. Simulating and Detecting Radiation-Induced Errors for Onboard Machine Learning. Proceedings of the Third IEEE International Conference on Space Mission Challenges for Information Technology (SMC-IT), 19 a 23 de July, Pasadena, CA, EUA, 2009
[citation][year=2008]Daniel Skarin, Johan Karlsson, "Software Implemented Detection and Recovery of Soft Errors in a Brake-by-Wire System?, Seventh European Dependable Computing Conference, EDCC 2008, Kaunas, Lituánia, 07 a 09 de Maio de 2008
[citation][year=2005]Sumant Kowshik, Girish Baliga, Scott Graham, Lui Sha, "Co-design Based Approach to Improve Robustness in Networked Control Systems?, IEEE/IFIP International Conference on Dependable Systems and Networks, Performance and Dependability Symposium, DSN-PDS 2005, Yokohama, Japão, 28 de Junho a 1 de Julho de 2005.
[citation][year=2005]Jonny Vinter, Olaf Hannius, Torbjorn Norlander, Peter Folkesson, Johan Karlsson, ?Experimental Dependability Evaluation of a Fail-Bounded Jet Engine Control Syste,m for Unmanned Aerial Vehicles", IEEE/IFIP International Conference on Dependable Systems and Networks, Performance and Dependability Symposium, DSN-PDS 2005, Yokohama, Japão, 28 de Junho a 1 de Julho de 2005.
[citation][year=2005]Jonny Vinter, "On the Effects of Soft Errors in Embedded Control Systems?, PhD Thesis, Department of Computer Science and Engineering, Chalmers University of Technology, Göteborg, Sweden, 2005, ISBN 91-7291-630-3
[citation][year=2004]Christoforos N. Hadjicostis, "Coding Techniques for Fault-Tolerant Parallel Prefix Computations in Abelian Groups?, The Computer Journal, 47(3):329-341, © The British Computer Society, 2004
[citation][year=2003]J. Z. Lou, "Tests and Tolerances for High-Performance Software-Implemented Fault Detection?, IEEE Transactions on Computers 0018-9340/03, © 2003 IEEE Published by the IEEE Computer Society Vol. 52, No. 5; MAY 2003, pp. 579-591. (Science Citation Index Expanded)
[citation][year=2003]M. Turmon, R. Granat, D. S. Katz, J. Z.  Lou, "Tests and Tolerances for High-Performance Software-Implemented Fault Detection,? IEEE Trans. Computers, 2003. Volume 52,  Issue 5,  May 2003 Page(s):579 - 591 (Science Citation Index Expanded)
[citation][year=2003]ÿrjan Askerdal, "On Impact and Tolerance of Data Errors with Varied Duration in Microprocessors", tese de doutoramento, Chalmers University of Technology, Gotemburgo, Suécia, ISBN 91-7291-285-5, 2003.
[citation][year=2003]Jonny Vinter, A. Johansson, P. Folkesson, and J. Karlsson, "On the design of robust integrators for fail-bounded control systems", IEEE/IFIP International Conference on Dependable Systems and Networks, Dependable Computing and Communications, DSN-DCC 2003, San Francisco, CA, USA, pp. 415-424, 22 a 25 de Junho de 2003
[citation][year=2002]1.	J. Norberg, T. Ersson, J. Vinter, M. Torngren, P. Folkesson, J. Karlsson, "A co-design approach for error handling in computer control systems", supplemental volume of the IEEE/IFIP International Conference on Dependable Systems and Networks, DSN-2002, Bethesda, Maryland, USA, pp. B-22-B23, June 23-26, 2002.

1996(1 publication)
[publication]Mario Zenha-Rela and Madeira, H. and Silva, J.G. , "Experimental Evaluation of the Fail-Silent Behaviour in Programs with Consistency Checks", in 26th Symposium on Fault Tolerant Computer Systems (FTCS-26), 1996
[citation][year=2007]Karthik Pattabiraman, "Automated Derivation of Application-aware Error and Attack Detectors?, PhD Preliminary Examination Report, Department of Computer Science, University of Illinois (Urbana-Champaign), USA, January, 2007
[citation][year=2007]A. Garg, "Soft error fault tolerant systems: cs456 survey," http://www.ece.rochester.edu/~garg/documents/garg.cs456survey05.pdf
[citation][year=2007]AG Jorgensen, G Moruz, T Molhave, "Priority Queues Resilient to Memory Faults?, volume 4619/2007, Book Algorithms and Data Structures, Lecture Notes in Computer Science, Springer Berlin / Heidelberg, 2007
[citation][year=2007]Mattan Erez, "MERRIMAC " High-Performance and Highly-Efficient Scientific Computing With Streams?, PhD thesis, Stanford University, May 2007
[citation][year=2007]Gerth Stølting Brodal, Rolf Fagerberg, Irene Finocchi, Fabrizio Grandoni, Giuseppe F. Italiano, Allan Grønlund Jørgensen, Gabriel Moruz, and Thomas Mølhave, "Optimal Resilient Dynamic Dictionaries?, volume 4698/2007, Book Algorithms " ESA 2007, Lecture Notes in Computer Science, Springer Berlin / Heidelberg, 2007
[citation][year=2006]Roshan G. Ragel, "Architectural Support for Security and Reliability in Embedded Processors?, PhD thesis, The University of New South Wales, Austrália, 2006
[citation][year=2006]Meine J. P. van der Meulen and Miguel A. Revilla. Experiences with the design of a run-time check. In Janusz G´orski, editor, Computer Safety, Reliability, and Security. 25th International Conference, SAFECOMP 2006. Proceedings, pages 302"315, Gdansk, September 2006. Springer
[citation][year=2006]Goutam Kumar Saha, "Software based fault tolerant computing?, ACM Journal of Ubiquity, volume 6, no. 40, 2006.
[citation][year=2006]Pattabiraman, K.; Saggese, G.P.; Chen, D.; Kalbarczyk, Z.; Iyer, R.K., "Dynamic Derivation of Application-Specific Error Detectors and their Implementation in Hardware," Dependable Computing Conference, 2006. EDCC '06. Sixth European , vol., no., pp.97-108, 18-20 Oct. 2006
[citation][year=2006]Goutam Kumar Saha, "Application Semantic Driven Assertions toward Fault Tolerant Computing?, ACM Ubiquity, 7(22), June 2006, ACM Press, USA
[citation][year=2006]Goutam Kumar Saha, "Software based fault tolerance: a survey?, ACM Ubiquity, 7(25), 2006, ACM Press, USA.
[citation][year=2005]M.J.P. van der Meulen, L. Strigini, and M. Revilla. On the effectiveness of runtime checks. In B.A. Gran and R. Winter, editors, Computer Safety, Reliability and Security, Proceedings of the 23nd international conference, Safecomp 2005, pages 151"64, Fredrikstad, Norway, September 2005
[citation][year=2005]Goutam Kumar Saha, "Transient Fault Tolerance in Mobile Agent Based Computing,? INFOCOMP Journal of Computer Science, Vol. 4, no.4, UFLA, Brazil, 2005, pp. 1-11
[citation][year=2005]Armengaud, E.; Rothensteiner, F.; Steininger, A.; Pallierer, R.; Horauer, M.; Zauner, M., "A structured approach for the systematic test of embedded automotive communication systems," Test Conference, 2005. Proceedings. ITC 2005. IEEE International , vol., no., pp.8 pp.-8, 8-8 Nov. 2005
[citation][year=2005]Goutam Kumar Saha, "Software based fault tolerant computing?, ACM Journal of Ubiquity, volume 6, no. 40, 2006
[citation][year=2005]Mattan Erez, Nuwan Jayasena, Timothy J. Knight, William J. Dally, "Fault Tolerance Techniques for the Merrimac Streaming Supercomputer?, Proceedings of the 2005 ACM/IEEE conference on Supercomputing SC '05, November 2005.
[citation][year=2005]F. Li, G. Chen, M. Kandemir, I. Kolcu, "Improving scratch-pad memory reliability through compiler-guided data block duplication?, Proceedings of the 2005 IEEE/ACM International conference on Computer-aided design ICCAD '05, May 2005.
[citation][year=2005]Sri Hari Krishna N, Seung Woo Son, Mahmut Kandemir, Feihui Li, "Using loop invariants to fight soft errors in data caches?, Proceedings of the 2005 conference on Asia South Pacific design automation ASP-DAC '05, January 2005.
[citation][year=2003]1. Rajesh Venkatasubramanian; Hayes, J.P.; Murray, B.T.; "Low-cost on-line fault detection using control flow assertions" On-Line Testing Symposium, 2003. IOLTS 2003. 9th IEEE , 7-9 July 2003, Pages:137 - 143.
[citation][year=2003]2. Ã?rjan Askerdal "On Impact and Tolerance of Data Errors with Varied Duration in Microprocessors" PhD Thesis, Departament of Computer Engineering, Chalmers University of Technology, Sweden, 2003, ISBN 91-7291-285-5.
[citation][year=2003]3. J. Sellberg, "Saekerhetskrav och Feltolerans", Master's Thesis, Department of Information Technology, Computing Science division, Uppsala University, Sweden,  April 2003
[citation][year=2003]4. A. Benso, S. Di Carlo, G. Di Natale, P. Prinetto, L. Tagliaferri, "Data Criticality Estimation In Software Applications�, IEEE ITC International Test Conference, 2003.
[citation][year=2001]1. Pascal Chevochot, Isabelle Puaut "Experimental evaluation of the fail-silent behavior of a distributed real-time run-time support built from COTS components" Proceedings of the 2001 International Conference on Dependable Systems and Networks, 1-4 July 2001, Göteborg, Sweden, IEEE Computer Society, ISBN 0-7695-1101-5, pp. 304-313.
[citation][year=2001]2. Wee Teck Ng and Peter M. Chen "The Design and Verification of the Rio File Cache" IEEE TRANSACTIONS ON COMPUTERS, VOL. 50, NO. 4, APRIL 2001.
[citation][year=2000]1. P. Chevochot and I. Puaut. Experimental evaluation of the fail-silent behavior of a distributed real-time run-time support built from COTS components. Technical Report 1370, IRISA, Oct. 2000
[citation][year=2000]2. Maurizio Rebaudengo,  Matteo Sonza Reorda,  Marco Torchiano,  Massimo Violante, "An Experimental Evaluation of the Effectiveness of Automatic Rule-Based Transformations for Safety-Critical Applications",  IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems (DFT'00), Yamanashi, Japan, October 25 - 27, 2000
[citation][year=2000]3. Steininger A "Testing and built-in self-test - A survey" J SYST ARCHITECT 46 (9): 721-747 JUL 2000
[citation][year=2000]4. A. Benso, S. Chiusano, P.Prinetto, L. Tagliaferri "A C/C++ Source-to-Source Compiler for Dependable Applications" Proc. of DSN-2000 - The International Conference on Dependable Systems and Networks (FTCS-30, DCCA-8), 25-28 June 2000, New York, USA, IEEE Computer Society Press, ISBN 0-7695-0707-7, pp. 71-78.
[citation][year=2000]5. M Rebaudengo, MS Reorda, "Evaluating cost and effectiveness of software redundancy techniques for hardware errors detection", International On-Line Test Workshop (IOLTW2000), Mallorca, 2000
[citation][year=1999]1. Wee Teck Ng e Peter Chen, "The Systematic Improvement of Fault Tolerance in the Rio File Cache�, Proceedings of the 29th Annual International Symposium on Fault-Tolerant Computing Symposium, FTCS-29, 15 a 18 de Junho de 1999, Madison, Wisconsin, EUA, IEEE Computer Society Press, pp 76-83, ISBN 0-7695-0213-X;
[citation][year=1999]2. Seungjae Han, Kang G. Shin "Experimental Evaluation of Behavior-Based Failure-Detection Schemes in Real-Time Communication Networks" IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, Vol. 10, No. 6; JUNE 1999, pp. 613-626
[citation][year=1999]3. M.Rebaudengo, M.Sonza Reorda, M.Torchiano, M.Violante, "Soft-error detection through software fault-tolerance techniques" in Proc. of 1999 IEEE Int. Symp. on Defect and Fault Tolerance in VLSI Systems (DFT'99), Albuquerque, USA, November 1-3, 1999.
[citation][year=1999]4. Wee Teck Ng, "Design and Implementation of Reliable Main Memory�, tese de doutoramento, University of Michigan, USA, 1999.
[citation][year=1998]David Thomas Stott "Software-Implemented Fault Injection ForDependability Analysis Of High-Speed Computer Networks", MSc Thesis, Univ. Illinois Urbana-Champaign, 1998.
[citation][year=1998]D. T. Stott, G. Ries, M-C. Hsueh, R. K. Iyer "Dependability Analysis of a High-Speed Network Using Software-Implemented Fault Injection and Simulated Fault Injection" IEEE Transactions on Computers, January 1998, Vol. 47, No. 1, pp. 108-119.
[citation][year=1998]Christopher Temple "Avoiding the Babbling-Idiot Failure in a Time-Triggered Communication System" Proceedings of the 28th Annual International Symposium on Fault-Tolerant Computing Symposium, FTCS-28, June 1998, Munich, Germany, IEEE Computer Society Press, pp 218-227, ISBN 0-8186-8470-4.
[citation][year=1998]M. Rebaudengo, M. Sonza Reorda "Evaluating cost and effectiveness of software redundancy techniques for hardware error detection" Digest of Fast Abstracts of the 28th Annual International Symposium on Fault-Tolerant Computing Symposium, FTCS-28, June 1998, Munich, Germany, IEEE Computer Society Press, pp. 88-89, ISBN 0-8186-8588-3.
[citation][year=1997]D. T. Stott, M-C Hsueh, G. L. Ries, R. K. Iyer "Dependability Analysis of a Commercial High-Speed Network" Proceedings of the 27th Annual International Symposium on Fault-Tolerant Computing Symposium, FTCS-27, 24-27 June 1997, Seattle, Washington, EUA, IEEE Computer Society Press, pp. 248-257, ISBN 0-8186-7831-3.
[citation][year=1997]A.Steininger, C. Scherrer "On Finding an Optimal Combination of Error Detection Mechanisms Based on Results of Fault Injection Experiments" Proceedings of the 27th Annual International Symposium on Fault-Tolerant Computing Symposium, FTCS-27, 24-27 June 1997, Seattle, Washington, EUA, IEEE Computer Society Press, pp 238-247, ISBN 0-8186-7831-3.
[citation][year=1997]S. Han, K. G. Shin "Experimental Evaluation of Failure Detection Schemes in Real-Time Communication Networks" Proceedings of the 27th Annual International Symposium on Fault-Tolerant Computing Symposium, FTCS-27, 24-27 June 1997, Seattle, Washington, EUA, IEEE Computer Society Press, pp 122-131, ISBN 0-8186-7831-3.
[citation][year=1997]Uwe Wildner "CASC - Compiler Assisted Self-Checking of Structural Integrity" Tese de doutoramento, Institut für Informatik, Universität Potsdam, Rep. Federal da Alemanha, Outubro 1997.
[citation][year=1997]John Chapin, "Hive: Operating System Fault Containment For Shared-Memory Multiprocessors?, Ph.D Thesis, Technical Report No. CSL-TR-97-712, Computer Systems Laboratory, Dept. of Electrical Engineering and Computer Science, Stanford University, Janeiro de 1997;
[citation][year=1997]M. Dal Cin, W. Hohl e V. Sieh, "Hardware-Supported Fault Tolerance for Multiprocessors?, Proceedings of the 14. ITG/GI-Fachtagung Architektur von Rechensystemen, Rostock, Alemanha, VDE-Verlag, Setembro de 1997, pp 13-22.

1995(1 publication)
[publication]Costa, D. and Moreira, F. and Madeira, H. and Mario Zenha-Rela and Silva, J.G. , "Experimental Evaluation of the Impact of Processor Faults on Parallel Applications", in 14th IEEE Symposium on Reliable Distributed Systems (SRDS-14), 1995
[citation][year=2004]1. Hadjicostis CN "Coding techniques for fault-tolerant parallel prefix computations in Abelian groups" Computer Journal, 47 (3): 329-341 May 2004.
[citation][year=1997]A. Bondavalli, F. Di Giandomenico and I. Mura "Value-Driven Resource Assignment in Object-Oriented Real-Time Dependable Systems," in Proc. WORDS 97, Third International Workshop on Object-oriented Real-time Dependable Systems, Newport Beach, California, USA, IEEE Computer Society Press, 1997, pp. 92-99.
[citation][year=1997]Uwe Wildner "Experimental Evaluation of Assigned Signature Checking With Return Address Hashing on Different Platforms" Proc. 6th IFIP Working Conference on Dependable Computing for Critical Applications (DCCA-6), Grainau, Alemanha, Março 5-7, 1997, IEEE Computer Socienty Press, ISBN 0-8186-8009-1, pp. 3-18.
[citation][year=1997]A. Bondavalli, F. Di Giandomenico and I. Mura "A Value-Based Approach to Flexible Decision Making in Real-Time Dependable Systems," in Proc. 2nd Int. Workshop on Mechatronical Computer Systems, Pisa, Italy, 1997, pp. 155-163.
[citation][year=1997]Uwe Wildner "CASC - Compiler Assisted Self-Checking of Structural Integrity" Tese de doutoramento, Institut für Informatik, Universität Potsdam, Rep. Federal da Alemanha, Outubro 1997.
[citation][year=1996]Geert Deconninck, "User-Triggered Checkpointing And Rollback In Massively Parallel Systems", PhD. Thesis, Katholieke Universiteit Leuven, Bélgica, December 1996.
[citation][year=1996]I. Mura, F. Di Giandomenico, A. Bondavalli "Real-Time Multiprocessor Systems: Performability Evaluation," IEI-CNR, Pisa, Italy, Internal Report (B4-07-02-96), 1996.

1994(1 publication)
[publication]Madeira, H. and Mario Zenha-Rela and Moreira, F. and Silva, J.G. , "RIFLE: a general purpose pin-level fault injector", in 1st European Dependable Computing Conference (EDCC-1),  vol. 852, 1994
[citation][year=2008]Peter Ming-Han Lee, Reza Sedaghat, FPGA-based switch-level fault emulation using module-based dynamic partial reconfiguration, Microelectronics Reliability, Volume 48, Issue 10, October 2008, Pages 1724-1733, ISSN 0026-2714
[citation][year=2008]Pierre Vanhauwaert, "Analyse de Surete par Injection de Fautes Dans un Environnement de Prototypage a Base de FPGA?, PhD thesis, Institut Polytechnique de Grenoble, 2008
[citation][year=2008]Nowroth, D.; Polian, I.; Becker, B., "A study of cognitive resilience in a JPEG compressor," Dependable Systems and Networks With FTCS and DCC, 2008. DSN 2008. IEEE International Conference on , vol., no., pp.32-41, 24-27 June 2008
[citation][year=2007]Silvio André Misera, "Simulation von Fehlern in digitalen Schaltungen mit SystemC?, Doktor der Ingenieurwissenschaften, Von der Fakultät für Mathematik, Naturwissenschaften und Informatik der Brandenburgischen Technischen Universität Cottbus, 05. Dezember 2007
[citation][year=2007]Damian Nowroth, "Untersuchungen von akzeptablen Fehlern in einem JPEG-Kompressor?, Diplomarbeit, Albert-Ludwigs-Universit¨at Freiburg, Institut f¨ur Informatik, 18. Oktober 2007
[citation][year=2007]David de Andrés Martínez, "Speeding-Up Model-Based Fault Injection of Deep-Submicron Cmos Fault Models Through Dynamic and Partially Reconfigurable FPGAS?, PhD Thesis, University of Valencia, 2007
[citation][year=2007]E. Touloupis, J. A.  Flint, V. A. Chouliaras, and D. Ward,  "Study of the Effects of SEU-Induced Faults on a Pipeline Protected Microprocessor?, IEEE Transactions on Computers, Vol. 56, issue 12, December 2007.
[citation][year=2007]O. Faurax, A. Tria, L. Freund, F. Bancel, T. Muntean, "PAFI: Outil d'analyse de circuit pour l'accélération de l'injection de fautes en simulation?, Journées Nationales du Réseau Doctoral en Microélectronique, Université des Sciences et Technologies de Lille, 14, 15e 16 Maio 2007.
[citation][year=2006]Roshan G. Ragel, "Architectural Support for Security and Reliability in Embedded Processors?, PhD thesis, The University of New South Wales, Austrália, 2006
[citation][year=2006]S Tixeuil, LM Silva, W Hoarau, "An Overview of Existing Tools for Fault-Injection and Dependability Benchmarking in Grids?, Second CoreGRID Workshop on Grid and Peer to Peer Systems, 2006
[citation][year=2006]William Hoarau and Sébastien Tixeuil, "Easy fault injection and stress testing with fail-fci?, Technical Report, LRI-CNRS 8623 et INRIA Grand Large, January 2006.
[citation][year=2005]William Hoarau Sebastien Tixeuil Fabien Vauchelles, "Easy Fault Injection and Stress Testing with FAIL-FCI?, Technical Report nº 1421, Laboratoire de Recherche en Informatique, UMR 8623 ( CNRS-Université Paris-Sud), 2005.
[citation][year=2005]William Hoarau, Sébastien Tixeuil, and Fabien Vauchelles, "Fault Injection in Distributed Java Applications", Technical Report nº 1420, Laboratoire de Recherche en Informatique, UMR 8623 ( CNRS-Université Paris-Sud), 2005
[citation][year=2005]Jonny Vinter, "On the Effects of Soft Errors in Embedded Control Systems?, PhD Thesis, Department of Computer Science and Engineering, Chalmers University of Technology, Göteborg, Sweden, 2005, ISBN 91-7291-630-3
[citation][year=2005]Cristian Constantinescu, Intel Corporation, "Dependability Benchmarking Using Environmental Test Tools?, Proceedings of IEEE Reliability and Maintainability Symposium, RAMS 2005.
[citation][year=2004]1. B Bastien, "A Technique for Performing Fault Injection in System Level Simulations for Dependability Assessment", MSc Thesis, University of Virginia-USA, Jan 2004.
[citation][year=2004]2. Babak Rahbaran, Andreas Steininger, Thomas Handl, "Built-in Fault Injection in Hardware - The FIDYCO Example?, Second IEEE International Workshop on Electronic Design, Test and Applications  (DELTA 04), 2004.
[citation][year=2004]3. G. Pintér and I. Majzik, "Impact of Statechart Implementation Techniques on the Effectiveness of Fault Detection Mechanisms?, Proceedings of the 30th IEEE EUROMICRO Conference (EUROMICRO"04), Rennes " France, 1. - 3. September 2004.
[citation][year=2004]4. H. R. Zarandi, S. G. Miremadi, S. Hessabi, A. Ejlali, "A Mixed-Mode Simulation-based Environment to Test and Dependability Assessment of HDL Models?, in the Proceedings of International Conference on Embedded Systems and Applications (ESA 2004), USA, June  2004.
[citation][year=2004]5. William Hoarau,  "FAIL - FAult Injection Language?,  Rapport de stage pour le DEA ID, Laboratoire de Recherche en Informatique, Université de Paris-Sud, 2004.
[citation][year=2004]6. D. Gil, J. Garcia, and P. Gil, "Analysis of the influence of processor hidden registers on the accuracy of fault injection techniques? Ninth IEEE International High-Level Design Validation and Test Workshop. 10-12 Nov. 2004.
[citation][year=2003]1. Zarandi, H.R.; Miremadi, S.G.; Ejlali, A.; "Fault injection into verilog models for dependability evaluation of digital systems" Parallel and Distributed Computing, 2003. Proceedings. Second International Symposium on , 13-14 Oct. 2003, Pages:281 - 287.
[citation][year=2003]2. Jean Arlat, Yves Crouzet, Johan Karlsson, Peter Folkesson, Emmerich Fuchs, Günther Leber "Comparison of Physical and Software-Implemented Fault Injection Techniques" IEEE Transactions on Computers, Vol 52, No. 9, September 2003, pp. 1115-1133.
[citation][year=2003]3. Andreas Steininger, Babak Rahbaran, Thomas Handl, "Built-In Fault Injectors - The logical Continuation of BIST?" Proc. of First Workshop on Intelligent Solutions in Embedded Systems (WISES), 2003. pp. 187-196. Reserach Report 56/2003, Real-Time Systems Research Group at the Vienna University of Technology.
[citation][year=2003]4. A. Ejlali, S. G. Miremadi, H. Zarandi, G. Asadi, "A hybrid fault injection approach based on simulation and emulation co-operation", EEE/IFIP International Conference on Dependable Systems and Networks, International Performance and Dependability Symposium, DSN-IPDS 2003, San Francisco, CA, USA, pp. 479-488, June 22-25, 2003.
[citation][year=2003]5. Kaufman L. M., Salinas M. H., Williams R. D., Giras T. C., "Integrate hardware/software device testing for use in a safety-critical application", Annual Reliability and Maintainability Symposium, pp. 132-137, 2003.
[citation][year=2003]6. P. Fortuna, "Exploiting Hybrid Fault Injection Sessions for Maximum Diagnosis and Fault Coverage Levels", Fast Abstract at the International Conference on Dependable Systems and Networks (DSN2003), pp. A40-42, 2003
[citation][year=2003]7. A Pataricza, G Pinter, "Data Mining in Fault Injection", Proc. International IEEE Workshop on Design and Diagnostics of Electronic Circuits and Systems (DDECS), 14-16 Apr , Poznan-Poland, 2003.
[citation][year=2003]8. Constantinescu C., "Experimental evaluation of error-detection mechanisms", IEEE Transactions on Reliability, 52 (1): pp. 53-57, March 2003.
[citation][year=2003]9. Peter Folkesson, Joakim Aidemark, snd Jonny Vinter, "Assessment and Application of Scan-Chain Implemented Fault Injection?, Technical Report 03-21, (27 pages) Chalmers University of Technology, Department of Computer Engineering, Göteborg, Sweden, 2003.
[citation][year=2003]10. Markus Jochim, "Automatische Erzeugung und Bewertung virtueller Duplexsysteme zur Erkennung von Betriebsfehlern in Mikroprozessoren?, Doktor der Naturwissenschaften, Fachbereich 6 des Standorts Essen der Universit¨at Duisburg-Essen am 27.03.2003
[citation][year=2002]1. B. Floering, B. Brothers, Z. Kalbarczyk, R. Iyer, "An adaptive architecture for monitoring and failure analysis of high-speed networks", EEE/IFIP International Conference on Dependable Systems and Networks, DSN-2002, Bethesda, Maryland, USA, pp. 69-78, June 23-26, 2002.
[citation][year=2002]2. M. Jochim, "Detecting processos hardware faults by means of automatically generated virtual duplex systems", EEE/IFIP International Conference on Dependable Systems and Networks, DSN-2002, Bethesda, Maryland, USA, pp. 399-407, June 23-26, 2002.
[citation][year=2002]3. Yangyang Yu, Barry W. Johnson, A Perspective on the State of Research on Fault Injection Techniques, Center for Safety Critical Systems Departments of Electrical and Computer Engineer and Computer Science The University of Virginia Technical Report prepared for U.S. Nuclear Regulatory Commission, May 2002.
[citation][year=2002]4. Steininger A, Scherrer C "Identifying efficient combinations of error detection mechanisms based on results of fault injection experiments" IEEE T COMPUT 51 (2): 235-239 FEB 2002 .
[citation][year=2002]5. Manoel Rodríguez Moreno, "Technologie d'empaquetage pour la sureté de fonctionnement des systemes temps-réel", Thése présentée au Laboratoire d'Analyse et d'Architecture des Sys-té-mes du Centre Centre National de la Recherche Scientifique (LAAS/ CNRS), en vue d'obtenir le titre de Docteur de l'Institut National Polytechnique de Toulouse, numéro d'ordre 1898, Année 2002.
[citation][year=2002]6. Yangyang Yu, Barry W. Johnson, "A Perspective on the State of Research on Fault Injection Techniques", University of Virginia, Center for Safety Critical Systems. Technical Report UVA-CSCS-FIT-001. May 2002.
[citation][year=2001]1. Joakim Aidemark, Jonny Vinter, Peter Folkesson, Johan Karlsson"GOOFI: Generic Object-Oriented Fault In jection Tool" Proceedings of the 2001 International Conference on Dependable Systems and Networks, 1-4 July 2001, Göteborg, Sweden, IEEE Computer Society, ISBN 0-7695-1101-5, pp. 83-88.
[citation][year=2001]2. K Buchacker, V Sieh, " Framework for testing the fault-tolerance of systems including OS and network aspects", Proceedings of the 6th IEEE International Symposium on High-Assurance Systems Engineering: Special Topic: Impact of Networking, Boca Raton, Florida-USA, ISBN:0-7695-1275-5, IEEE 2001.pp. 95-105.
[citation][year=2000]1. Dan Teodosiu "End-To-End Fault Containment In Scalable Shared-Memory Multiprocessors" PhD. Thesis, Stanford University, USA, July 2000.
[citation][year=2000]2. Cristian Constantinescu, "Teraflops supercomputer: Architecture and validation of the fault tolerance mechanisms?, IEEE Transactions On Computers, vol. 49, no. 9, Setembro 2000, pp. 886-894, ISSN 0018-9340.
[citation][year=1999]1. Constantinescu, C.; "Using physical and simulated fault injection to evaluate error detection mechanisms" Pacific Rim International Symposium on Dependable Computing, Proceedings. 1999 , 16-17 Dec. 1999, Pages:186 - 192, IEEE Computer Society.
[citation][year=1999]2. Sosnowski, J.; Gawkowski, P. "Tracing fault effects in system environment" EUROMICRO Conference, 1999. Proceedings. 25th , Volume: 1 , 8-10 Sept. 1999, Pages:481 - 486 vol.1.
[citation][year=1999]3. R. J. Martínez, P. J. Gil, G. Martín, C. Pérez, J.J. Serrano. "Experimental Validation of High-Speed Fault-Tolerant Systems Using Physical Fault Injection". Dependable Computing and Fault Tolerant Systems. Volume 12.A. Avizienis, H. Kopetz, J.C. Laprie Eds. IEEE Computer Society. ISBN 0-7695-0284-9, pp. Pág 249-264, 1999.
[citation][year=1999]4. Cristian Constantinescu, "Assesssing Error Detection Coverage by Simulated Fault Injection?, Third European Dependable Computing Conference, Praga, República Checa, Setembro de 1999, Lecture Notes in Computer Science 1667, Spriger-Verlag, pp. 161-170, 1999;
[citation][year=1998]1. V. Sieh, "Effiziente Erstellung und Auswertung von Rechner-modellen zur detaillierten Zuverlassigkeitsanalyse", PhD Thesis, Technischen Fakultät der Friedrich-Alexander Universität Erlangen-Nürnberg, 1998.
[citation][year=1998]2. Cristian Constantinescu "Validation of the Fault/Error Handling Mechanisms of the Teraflop Computer" Proceedings of the 28th Annual International Symposium on Fault-Tolerant Computing Symposium, FTCS-28, June 1998, Munich, Germany, IEEE Computer Society Press, pp 382-389, ISBN 0-8186-8470-4.
[citation][year=1998]3. P. Folkesson, Sven Svensson, Johan Karlsson "A Comparison of Simulation Based and Scan Chain Implemented Fault Injection" Proceedings of the 28th Annual International Symposium on Fault-Tolerant Computing Symposium, FTCS-28, June 1998, Munich, Germany, IEEE Computer Society Press, pp 284-293, ISBN 0-8186-8470-4.
[citation][year=1998]4. J.Karlsson, P. Folkesson, J.Arlat, Y.Crouzet, G.Leber, J.Reisinger "Application of Three Physical Fault Injection Techniques to the Experimental Assessment of the MARS architecture" Dependable Computing for Critical Applications 5, R.K.Iyer, M.Morganti, W.K.Fuchs,V.Gligor (Eds), IEEE Computer Society Press, 1998, ISBN 0-8186-7803-8 , pp. 267-287.
[citation][year=1997]1. A.Steininger, C. Scherrer "On Finding an Optimal Combination of Error Detection Mechanisms Based on Results of Fault Injection Experiments" Proceedings of the 27th Annual International Symposium on Fault-Tolerant Computing Symposium, FTCS-27, 24-27 June 1997, Seattle, Washington, EUA, IEEE Computer Society Press, pp 238-247, ISBN 0-8186-7831-3.
[citation][year=1997]2. Volkmar Sieh, Oliver Tschäche, Frank Balbach, "System Dependability Analysis using VHDL Models with Integrated Fault Descriptions", Proc. 8th European Workshop on Dependable Computing, EWDC-8, Goeteborg (Sweden), 1997.
[citation][year=1997]3. Jérome Boué "Test de la tolerance aux fautes par injection de fautes dans des modèles de simulation VHDL" Thèse de doctorat de L'Institut Nationale Polytechnique de Toulouse, 1997, Rapport LAAS nº 97503, LAAS-CNRS, Toulouse, França.
[citation][year=1997]4. Uwe Wildner "CASC - Compiler Assisted Self-Checking of Structural Integrity" Tese de doutoramento, Institut für Informatik, Universität Potsdam, Rep. Federal da Alemanha, Outubro 1997.
[citation][year=1997]5. V. Sieh, O. Tschäche, F. Balbach "VERIFY: Evaluation of Reliability Using VHDL-Models with Embedded Fault Descriptions" Proceedings of the 27th Annual International Symposium on Fault-Tolerant Computing Symposium, FTCS-27, 24-27 June 1997, Seattle, Washington, EUA, IEEE Computer Society Press, pp 32-36, ISBN 0-8186-7831-3.
[citation][year=1997]6. V. Sieh, O. Tschäche, F. Balbach "Comparing Different Fault Models Using VERIFY" Proc. 6th IFIP Working Conference on Dependable Computing for Critical Applications (DCCA-6), Grainau, Alemanha, Março 5-7, 1997, IEEE Computer Socienty Press, ISBN 0-8186-8009-1, pp. 63-80.
[citation][year=1997]7. M. Dal Cin, W. Hohl e V. Sieh, "Hardware-Supported Fault Tolerance for Multiprocessors�, Proceedings of the 14. ITG/GI-Fachtagung Architektur von Rechensystemen, Rostock, Alemanha, VDE-Verlag, Setembro de 1997, pp 13-22;
[citation][year=1996]1. V. Sieh, O. Tschäche e F. Balbach, "VHDL based Fault Injection with VERIFY?, Universidade de Erlangen, Alemanha, IMMD III, Internal Report 5/96, Agosto de 1996;
[citation][year=1996]2. Peter Folkesson, "Experimental Validation of a Fault-Tolerant System Using Physical Fault Injection?, Technical Report no. 239L, Chalmers University of Technology, Gotemburgo, Suécia, 1996;
[citation][year=1995]1. Randell, Littlewood, Laprie, Kopetz (ed) "Predictably Dependable Computing Systems", Springer Verlag, 1995, ISBN 3-540-59334-9 (pág. 369).
[citation][year=1995]2. Jean Arlat, "Tutorial on Tools for Analytical and experimental Evaluation of dependable Computer�, 1st IEEE International Computer Performance and Dependability Symposium (IPDS'95), Erlangen, Alemanha, Abril 1995.
[citation][year=1995]3. J. Karlsson, P. Folkesson, J. Arlat, Y. Crouzet, G. Leber, J. Reisinger, "Integration and Comparison of Three Physical Fault Injection Techniques", Predictably Dependable Computing Systems (PDCS), 1995, pp. 615-642.
[citation][year=1995]4. J. Arlat, Y. Crouzet, J. Karlsson, P. Folkesson, and G. Leber, "Evaluation of the MARS Architecture by means of Three Physical Fault Injection Techniques," in 4th International Workshop on Evaluation Techniques for Dependable Systems (ETDS `95), (San Antonio, TX, USA) October 1995.

1993(1 publication)
[publication]Madeira, H. and Moreira, F. and Furtado, P. and Mario Zenha-Rela and Silva, J.G. , "Pin-level Fault Injection for Dependability Validation: Some Research Results at the University of Coimbra", in First IEEE International Workshop on Fault and Error Injection for Dependability Validation, 1993
[citation][year=1997]Sieh, V.; Balbach, F.; Tschäche, O.: "VERIFY: Zuverlässigkeitsanalyse unter Verwendung von VHDL-Modellen mit integrierter Fehlerbeschreibung" Tagungsband 9.Workshop "Testmethoden und Zuverlässigkeit von Schaltungen und Systemen", Universität Bremen, Bremen, Deutschland, 9.-11. März 1997, S. 39-42.
[citation][year=1996]Lovric T., "Detecting hardware faults with systematic and design diversity: Experimental results?, Computer Systems Science and Engineering, vol. 11, no. 2, Março de 1996, pp: 83-92, ISSN: 0267-6192.
[citation][year=1995]Rudi Cuyvers, "User-Adaptable Fault Tolerance for Message Passing Multiprocessors", PhD Thesis, Katholieke Universiteit Leuven (Lovaina), Belgium, May 1995.
[citation][year=1994]Tomislav Lovric, "Systematic and Design Diversity " Software Techniques for Hardware Fault Detection", in "Dependable Computing - EDCC-1", Klaus Echtle, Dieter Hammer, David Powell (Eds.) Lecture Notes in Computer Science 852, Springer Verlag, 1994, pp. 309-326. ISBN 3-540-58426-9.

1992(1 publication)
[publication]Madeira, H. and Mario Zenha-Rela and Furtado, P. and Silva, J.G. , "Time Behaviour Monitoring as an Error Detection Mechanism", in 3rd IFIP Working Conference on Dependable Computing for Critical Applications (DCCA-3), 1992
[citation][year=2005]Amir Rajabzadeh, Seyed Ghassem Miremadi, A Hardware Approach to Concurrent Error Detection Capability Enhancement in COTS Processors , PRDC 2005, Chagsha, Hunan, China, Dec. 12-14, 2005.
[citation][year=2002]1. Oh N., Shirvani P. P., McCluskey E. J., "Control-flow checking by software signatures", IEEE Transactions on Reliability, 51 (1): pp. 111-122, March 2002
[citation][year=1997]1. Uwe Wildner "CASC - Compiler Assisted Self-Checking of Structural Integrity" Tese de doutoramento, Institut für Informatik, Universität Potsdam, Rep. Federal da Alemanha, Outubro 1997.
[citation][year=1995]1. Ghassem Miremadi, Joakim Ohlsson, Marcus Rimén, and Johan Karlsson, "Use of time and Address Signatures for Control Flow Checking", Fifth IFIP Working Conference on Dependable Computing for Critical Applications, Urbana-Champaign, Illinois, EUA, 27 a 29 de Setembro 1995, pp 113-124.
[citation][year=1995]2. Ghassem Miremadi, "Hardware and Software Mechanisms for Control Flow Checking", Tese de Doutoramento, Universidade de Chalmers, Gotemburgo, Suécia, Maio de 1995;
[citation][year=1995]3. Ghassem Miremadi and Johan Karlsson, "Experimental Evaluation of Seven Hardware Mechanisms for Control Flow Checking", Technical Report No. 221, 1995, Department of Computer Engineering, Chalmers University, Sweden;
[citation][year=1995]4. Ghassem Miremadi, Joakim Ohlsson, Marcus Rimén, and Johan Karlsson, "Use of time and Address Signatures for Control Flow Checking", Technical Report No. 224, 1995, Department of Computer Engineering, Chalmers University, Sweden

Book Chapters
2018(1 publication)
[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

2015(2 publications)
[publication]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

[publication]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

Tech Report
2000(1 publication)
[publication]Cunha, J.C. and Mario Zenha-Rela and Silva, J.G. , "Fault-Injection for Real-Time", 2000