People
Joao Duraes
Address
CoimbraMember
Software and Systems EngineeringResearch interests
Fault Injection / Software faultsSoftware reliability
Dependability Benchmarking
Affiliation
CISUCISEC
International Projects
BASE - Biofeedback Augmented Software Engineering
ADVANCE - Addressing Verification and Validation Challenges in Future Cyber-Physical Systems
Past Projects
DBench - Dependability Benchmarking
VAL-COTS-RT - Validation of Real-Time COTS products
mCrash - Dependability Evaluation of Mobile Devices' System Software
WebBench - Dependability benchmarking for web-servers focusing on availability and security
AMBER - Assessing, Measuring, and Benchmarking Resilience
CRITICAL Software Technology for an Evolutionary Partnership (CRITICAL STEP)
Dependability Benchmarking for Software Components
REVVIS – Rede de Especialistas em Verificação e Validação de Software
Critical-Step - Designing Large-Scale Safety-Critical Systems by using Off-The-Shelf software components
Journal Articles
2013
(1 publication)- Joao Duraes and Madeira, H. and Cotroneo, D. and Natella, R. , "On Fault Representativeness of Software Fault Injection", IEEE Transactions on Software Engineering, vol. 39, pp. 80-96, 2013 [ DOI ]
2006
(1 publication)2005
(1 publication)2003
(1 publication)Conference Articles
2019
(7 publications)- Amaro, P. and Barreiros, J. and Coutinho, F. and Joao Duraes and Santos, F. and Alves, A. and Silva, M. and Cunha, J.C. , "Embedded Programming Bootcamp for Career Change", in 18th International Symposium on Ambient Intelligence and Embedded Systems, 2019 [ DOI ]
- Couceiro, R. and Barbosa, R. and Joao Duraes and Duarte, G. and Castelhano, J. and Duarte, C. and Teixeira, C. and Laranjeiro, N. and Medeiros, J. and Castelo-Branco, M. and P. Carvalho and Madeira, H. , "Spotting problematic code lines using nonintrusive programmers’ biofeedback", in 30th International Symposium on Software Reliability Engineering (ISSRE 2019), 2019
- Medeiros, J. and Couceiro, R. and Castelhano, J. and Duarte, G. and Duarte, C. and Joao Duraes and Madeira, H. and Carvalho, P. and Teixeira, C. and Branco, M.L. , "Software code complexity assessment using EEG features", in 2019 41st Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC), 2019 [ DOI ]
- Couceiro, R. and Duarte, G. and Joao Duraes and Castelhano, J. and Duarte, C. and Teixeira, C. and Castelo-Branco, M. and Carvalho, P. and Madeira, H. , "Pupillography as Indicator of Programmers' Mental Effort and Cognitive Overload", in 2019 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2019 [ DOI ]
- Couceiro, R. and Duarte, G. and Joao Duraes and Castelhano, J. and Duarte, C. and Teixeira, C. and Castelo-Branco, M. and P. Carvalho and Madeira, H. , "Pupillography as indicator of programmers’ mental effort and cognitive overload", in DSN, 2019
- Medeiros, J. and Couceiro, R. and Castelhano, J. and Castelo-Branco, M. and Duarte, C. and Joao Duraes and Madeira, H. and P. Carvalho and Teixeira, C. , "Software code complexity assessment using EEG features", in Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC), 2019
- Couceiro, R. and Duarte, G. and Joao Duraes and Castelhano, J. and Duarte, C. and Teixeira, C. and Castelo-Branco, M. and P. Carvalho and Madeira, H. , "Biofeedback augmented software engineering: monitoring of programmers' mental effort", in ICSE 2019, 2019
2015
(1 publication)2014
(2 publications)- Ivano Irrera and Joao Duraes and Marco Vieira , "On the need for training Failure Prediction algorithms in evolving software systems", in 15th IEEE International Symposium on High Assurance Systems Engineering, HASE 2014, 2014
- Mendes, N. and Joao Duraes and Madeira, H. , "Security Benchmarks for Web Serving Systems", in IEEE 25th International Symposium on Software Reliability Engineering (ISSRE 2014), 2014
2013
(1 publication)- Ivano Irrera and Joao Duraes and Marco Vieira and Madeira, H. , "Assessing the Impact of Virtualization on the Generation of Failure Prediction Data ", in Sixth Latin-American Symposium on Dependable Computing (LADC), 2013, 2013 [ DOI ]
2010
(2 publications)- Ivano Irrera and Joao Duraes and Marco Vieira and Madeira, H. , "Towards Identifying the Best Variables for Failure Prediction Using Injection of Realistic Software Faults", in The 16th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2010), 2010 [ DOI ]
- Joao Duraes and Madeira, H. and Cotroneo, D. and Natella, R. , "Representativeness Analysis of Injected Software Faults in Complex Software", in 2010 IEEE/IFIP International Conference on Dependable Systems&Networks; (DSN), 2010 [ DOI ]
2009
(1 publication)2008
(4 publications)- Marco Vieira and Mendes, N. and Joao Duraes and Madeira, H. , "The AMBER Data Repository", in DSN 2008 Workshop on Resilience Assessment and Dependability Benchmarking (DSN-RADB08), IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2008), 2008
- Mendes, N. and Araújo Neto, A.C.d. and Joao Duraes and Marco Vieira and Madeira, H. , "Assessing and Comparing Security of Web Servers", in 14th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC\'08), 2008
- Marco Vieira and Mendes, N. and Joao Duraes , "A Case Study on Using the AMBER Data Repository for Experimental Data Analysis", in SRDS 2008 Workshop on Sharing Field Data and Experiment Measurements on Resilience of Distributed Computing Systems (jointly organized with the 27th International Symposium on Reliable Distributed Systems, IEEE SRDS 2008), 2008
- Mendes, N. and Joao Duraes and Marco Vieira and Madeira, H. , "Security Assessment and Testing Tools Information Repository", in Workshop on Fault Tolerance (WTF2008) in the 26th Brazilian Symposium on Network Computing (SBRC2008), 2008
2007
(2 publications)- Barbosa, R. and Silva, N. and Silva, N. and Joao Duraes and Madeira, H. , "Verification and Validation of (Real Time) COTS Products using Fault Injection Techniques", in 6th IEEE International Conference on COTS-based Software Systems, 2007
- Moraes, R. and Joao Duraes and Barbosa, R. and Martins, E. and Madeira, H. , "Experimental Risk Assessment and Comparison Using Software Fault Injection", in Dependable Computing and Communications Symposium (DCCS), 2007
2006
(2 publications)- Moraes, R. and Joao Duraes and Martins, E. and Madeira, H. , "A field data study on the use of software metrics to define representative fault distribution", in Workshop on Empirical Evaluation of Dependability and Security (WEEDS), 2006
- Moraes, R. and Barbosa, R. and Joao Duraes and Mendes, N. and Martins, E. and Madeira, H. , "Injection of faults at component interfaces and inside the component code: are they equivalent?", in 6th European Dependable Computing Conference â?? EDCC-6, 2006
2005
(2 publications)- Joao Duraes and Madeira, H. , "A methodology for the automated identification of buffer overflow vulnerabilities in executable software without source-code", in Second Latin-American Symposium on Dependable Computing, LADC, 2005
- Mario Zenha-Rela and Marco Vieira and Cunha, J.C. and Joao Duraes , "Dependability Evaluation of Mobile Devices' System Software (Fast Abstract)", in IEEE/IFIP International Conference on Dependable Systems and Networks, DSN2005, 2005
2004
(4 publications)- Joao Duraes and Marco Vieira and Madeira, H. , "Dependability Benchmarking of Web-Servers", in The 23rd International Conference on Computer Safety, Reliability and Security, SAFECOMP 2004, 2004
- Joao Duraes and Madeira, H. , "Generic Faultloads Based on Software Faults for Dependability Benchmarking", in IEEE/IFIP International Conference on Dependable Systems and Networks - Dependable Computing and Communications, DSN-DCCS 2004, 2004
- Joao Duraes and Madeira, H. , "Web-server Availability from the End-user Viewpoint: a Comparative Study (Fast Abstract)", in IEEE/IFIP International Conference on Dependable Systems and Networks - Dependable Computing and Communications, DSN-DCCS 2004, 2004
- Marco Vieira and Joao Duraes and Madeira, H. , "How to Specify Dependability Benchmarks for OLTP Application Environments", in IX Conference on Software Engineering and Databases (JISBD 2004), 2004
2003
(2 publications)- Joao Duraes and Madeira, H. , "Definition of Software Fault Emulation Operators: a Field Data Study", in The International Conference on Dependability Systems and Networks, DSN-2003, 2003
- Madeira, H. and Joao Duraes and Marco Vieira , "Emulation of Software Faults: Representativeness and Usefulness", in First Latin-American Symposium on Dependable Computing, LADC, 2003
2002
(2 publications)- Joao Duraes and Madeira, H. , "Characterization of Operating Systems Behavior in the presence of Faulty Drivers through Software Fault Emulation", in The Pacific Rim International Dependability Symposium, PRDC-2002, 2002
- Joao Duraes and Madeira, H. , "Emulation of Software Faults by Selective Mutations at Machine-Code Level", in The 13th, International Symposium on Software Reliability Engineering, ISSRE-2002, 2002
2001
(1 publication)Book Chapters
2013
(1 publication)- Napolitano, A. and Carrozza, G. and Nuno Antunes and Joao Duraes , "Survey on Software Faults Injection in Java Applications", in Innovative technologies for dependable OTS-based critical systems, vol. 1, pp. 101-114, 2013 [ DOI ]
2012
(1 publication)2008
(2 publications)- Joao Duraes and Marco Vieira and Madeira, H. , "Dependability Benchmarking of Web-Servers", in Dependability Benchmarking for Computer Systems (ISBN: 978-0-470-23055-8), 2008
- Marco Vieira and Joao Duraes and Madeira, H. , "Dependability Benchmarks for OLTP Systems", in Dependability Benchmarking for Computer Systems (ISBN: 978-0-470-23055-8), 2008