Publications
See my publications at Google Scholar page
Some publications
- Hijazi, Haytham; Couceiro, Ricardo; Castelhano, João; Carvalho, Paulo; Castelo-Branco, Miguel; Madeira, Henrique, Intelligent Biofeedback Augmented Content Comprehension (TellBack), IEEE Access, 9, Jan-14, 2021
- Cerveira, Frederico; Barbosa, Raul; Madeira, Henrique; Araújo, Filipe, The Effects of Soft Errors and Mitigation Strategies for Virtualization Servers, IEEE Transactions on Cloud Computing, 2020
- Hajdu, Ákos; Ivaki, Naghmeh; Kocsis, Imre; Klenik, Attila; Gönczy, László; Laranjeiro, Nuno; Madeira, Henrique; Pataricza, András, Using Fault Injection to Assess Blockchain Systems in Presence of Faulty Smart Contracts, IEEE Access, 8, 190760-190783 , 2020
- Martins, Joao; Barbosa, Raul; Lourenço, Nuno; Robin, Jacques; Madeira, Henrique, Online Verification through Model Checking of Medical Critical Intelligent Systems, 2020, 50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W), 32-37, 2020
- Cerveira, Frederico; Oliveira, Rui André; Barbosa, Raul; Madeira, Henrique, Evaluation of RESTful frameworks under soft errors, 2020 IEEE 31st International Symposium on Software Reliability Engineering (ISSRE),369-379 , 2020
- Barbosa, Raul; Cerveira, Frederico; Gonçalo, Luís; Madeira, Henrique, Emulating representative software vulnerabilities using field data, Computing, Springer Vienna, 101, 2, 119-138, 2019
- Couceiro, Ricardo; Duarte, Gonçalo; Durães, João; Castelhano, João; Duarte, Catarina; Teixeira, Cesar; Castelo Branco, Miguel; Carvalho, Paulo; Madeira, Henrique; Biofeedback augmented software engineering: monitoring of programmers’ mental effort International Conference on Software Engineering, New Ideas and Emerging Results, ICSE 2019, 2019
- Couceiro, Ricardo; Gonçalo, Duarte; Durães, João; Castelhano, João; Duarte, Catarina; Teixeira, Cesar; Castelo Branco, Miguel; Carvalho, Paulo; Madeira, Henrique; Pupillography as predictor of programmers’ mental effort and cognitive overload The 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2019, 2019
- Cerveira, Frederico; Barbosa, Raul; Madeira, Henrique; Fast local VM migration against hypervisor corruption 2019 European Dependable Computing Conference, EDCC 2019 2019
- Medeiros, Julio; Couceiro, Ricardo; Castelhano, João; Castelo-Branco, Miguel; Duarte, Gonçalo; Duarte, Catarina; Durães, João; Madeira, Henrique; Carvalho, Paulo; Teixeira, César; Software Code Complexity Assessment Using EEG Features 41st Annual International Conference of the IEEE Engineering in Medicine & Biology Society, Berlin, 2019 2019
- Robin, Jacques; Mazo, Raul; Madeira, Henrique; Barbosa, Raul; Diaz, Daniel; Abreu, Salvador; A Self-certifiable Architecture for Critical Systems Powered by Probabilistic Logic Artificial Intelligence International Conference on Computer Safety, Reliability, and Security 391-397 2019 Springer, Cham
- Barbosa, Raul; Cerveira, Frederico; Goncalo, Luis; Madeira, Henrique; The most frequent programming mistakes that cause software vulnerabilities arXiv preprint arXiv:1912.01948 2019
- Couceiro, R; Barbosa, R; Durães, J; Duarte, G; Castelhano, J; Duarte, C; Teixeira, C; Laranjeiro, N; Medeiros, J; Castelo Branco, M; Spotting problematic code lines using nonintrusive programmers’ biofeedback 30th International Symposium on Software Reliability Engineering (ISSRE 2019) 2019
- Cerveira, Frederico; Fonseca, Alcides; Barbosa, Raul; Madeira, Henrique S; Soft error sensitivity and vulnerability of languages and their implementations International Journal of Critical Computer-Based Systems 9 4 318-347 2019 Inderscience Publishers (IEL)
- Castelhano, João; Duarte, Isabel C.; Ferreira, Carlos; Duraes, João; Madeira, Henrique; Castelo-Branco, Miguel; The role of the insula in intuitive expert bug detection in computer code: an fMRI study Brain Imaging and Behavior https://link.springer.com/article/10.100 Jan-15 2018 Springer US
- Curado, Marilia; Madeira, Henrique; da Cunha, Paulo Rupino; Cabral, Bruno; Abreu, David Perez; Barata, João; Roque, Licínio; Immich, Roger; Internet of Things Cyber Resilience of Systems and Networks 381-401 2018 Springer, Cham
- Cerveira, Frederico; Kocsis, Imre; Barbosa, Raul; Madeira, Henrique; Pataricza, András; Exploratory Data Analysis of Fault Injection Campaigns 2018 IEEE International Conference on Software Quality, Reliability and Security (QRS) 191-202 2018 IEEE
- Cerveira, Frederico; Fonseca, Alcides; Barbosa, Raul; Madeira, Henrique; Evaluating the inherent sensitivity of programming languages to soft errors 2018 14th European Dependable Computing Conference (EDCC) 65-72 2018 IEE
- Mendes, Daniel; Ivaki, Naghmeh; Madeira, Henrique; Effects of GPS Spoofing on Unmanned Aerial Vehicles The 23rd IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2018) 2018
- Almeida, Raquel; Neto, Afonso; Madeira, Henrique; Resilience Benchmarking of Transactional Systems: Experimental Study of Alternative Metrics The 22nd IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2017) 2017 IEEE
- Cerveira, Frederico; Barbosa, Raul; Madeira, Henrique; Soft Errors Susceptibility of Virtualization Servers The 22nd IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2017) 2017 IEEE
- Irrera, Ivano; Zentai, András; Cunha, Joao Carlos; Madeira, Henrique; Validating a Safety Critical Railway Application Using Fault Injection Certifications of Critical Systems-The CECRIS Experience 227 2017 River Publishers
- Cerveira, Frederico; Barbosa, Raul; Madeira, Henrique; Experience report: On the impact of software faults in the privileged virtual machine 2017 IEEE 28th International Symposium on Software Reliability Engineering (ISSRE) 136-145 2017 IEEE
- Cerveira, Frederico; Barbosa, Raul; Mercier, Marta; Madeira, Henrique; On the emulation of vulnerabilities through software fault injection 2017 13th European dependable computing conference (EDCC) 73-78 2017 IEEE
- Laranjeiro, Nuno; Pereira, Goncalo; Soydemir, Seyma Nur; Barbosa, Raul; Bernardino, Jorge; Areias, Cristiana; Madeira, Henrique; Robustness and Fault Injection for the Validation of Critical Systems Certifications of Critical Systems-The CECRIS Experience 247 2017 River Publishers
- Natella, Roberto; Cotroneo, Domenico; Madeira, Henrique; Assessing Dependability with Software Fault Injection: A Survey ACM Computing Surveys 48 3 2016 Association for Computing Machinery. Copyright © 2016 ACM, Inc.
- Pereira, G.; Barbosa, R.; Madeira, H.; Practical Emulation of Software Defects in Source Code 12th European Dependable Computing Conference, EDCC 2016 2016 IEEE
- Irrera, I.; Madeira, H.; Zentai, A.; Hergovics, B.; Fault injection validation of a safety-critical TMR system The International Space Systems Engineering Conference, DASIA 2016 2016
- Durães, J.; Madeira, H.; Castelhano, J.; Duarte, C.; Branco, M. Castelo; WAP: Understanding the brain at software debugging 27th International Symposium on Software Reliability Engineering, ISSRE 2016 2016 IEEE
- Almeida, R.; Madeira, H.; Evolving from Dependability to Resilience Benchmarks: Issues and Possibilities Latin-American Symposium on Dependable Computing, LADC 2016 2016 IEEE
- Pereira, Goncalo Silva; Evaluating the robustness of the Cloud 2016 Universidade de Coimbra
- Madeira, Henrique; Por que não temos mais investigação interdisciplinar? Parte: http://hdl. handle. net/10316.2/40030 2016 Imprensa da Universidade de Coimbra
- Véras, Paulo C; Villani, Emilia; Ambrosio, Ana Maria; Vieira, Marco; Madeira, Henrique; A benchmarking process to assess software requirements documentation for space applications Journal of Systems and Software 100 103-116 2015 Elsevier
- Costa, Pedro; Silva, João Gabriel; Madeira, Henrique; Practical and representative faultloads for large-scale software systems Journal of Systems and Software 103 182-197 2015 Elsevier
- Craveiro, Olga; Macedo, Joaquim; Madeira, Henrique; Temporal analysis of CHAVE collection International Symposium on String Processing and Information Retrieval 67-74 2015 Springer, Cham
- Cerveira, Frederico; Barbosa, Raul; Madeira, Henrique; Araujo, Filipe; Recovery for Virtualized Environments 11th European Dependable Computing Conference 2015 IEEE CS
- Prize, Schnell László; Zoltán Micskei| Curriculum Vitae International Conference on Testing Software and Systems (ICTSS) 2012 2016 2014
- Fonseca, José; Seixas, Nuno; Vieira, Marco; Madeira, Henrique; Analysis of field data on web security vulnerabilities IEEE Transactions on Dependable and Secure Computing 11 2 89-100 2014 IEEE
- Pereira, Pedro; Macedo, Joaquim; Craveiro, Olga; Madeira, Henrique; Time-aware focused web crawling European Conference on Information Retrieval 534-539 2014 Springer, Cham
- Craveiro, Olga; Macedo, Joaquim; Madeira, Henrique; Query expansion with temporal segmented texts European Conference on Information Retrieval 612-617 2014 Springer, Cham
- Craveiro, Olga; Macedo, Joaquim; Madeira, Henrique; Words temporality for improving query expansion International Conference on Computational Processing of the Portuguese Language 262-267 2014 Springer, Cham
- Mendes, Naaliel; Madeira, Henrique; Duraes, Joao; Security benchmarks for web serving systems 2014 IEEE 25th International Symposium on Software Reliability Engineering 01-Dec 2014 IEEE
- Natella, Roberto; Cotroneo, Domenico; Duraes, Joao A; Madeira, Henrique S; On Fault Representativeness of Software Fault Injection IEEE Transactions on Software Engineering 2013 Published by the IEEE Computer Society
- Cotroneo, Domenico; Madeira, Henrique; Introduction to software fault injection Innovative Technologies for Dependable OTS-Based Critical Systems Jan-15 2013 Springer, Milano
- Irrera, Ivano; Duraes, Joao; Madeira, Henrique; Vieira, Marco; Assessing the impact of virtualization on the generation of failure prediction data 2013 Sixth Latin-American Symposium on Dependable Computing 92-97 2013 IEEE
- Fonseca, Jose; Vieira, Marco; Madeira, Henrique; Evaluation of web security mechanisms using vulnerability & attack injection IEEE Transactions on dependable and secure computing 11 5 440-453 2013 IEEE
- Laranjeiro, Nuno; Vieira, Marco; Madeira, Henrique; Building Web Services with Time Requirements Performance and Dependability in Service Computing: Concepts, Techniques and Research Directions 317-339 2012 IGI Global
- Craveiro, Olga; Macedo, Joaquim; Madeira, Henrique; It is the time for Portuguese texts! International Conference on Computational Processing of the Portuguese Language 106-112 2012 Springer, Berlin, Heidelberg
- Laranjeiro, Nuno; Vieira, Marco; Madeira, Henrique; A robustness testing approach for SOAP Web services Journal of Internet Services and Applications 3 2 215-232 2012 Springer London
- Vieira, Marco; Madeira, Henrique; Sachs, Kai; Kounev, Samuel; Resilience benchmarking Resilience Assessment and Evaluation of Computing Systems 283-301 2012 Springer, Berlin, Heidelberg
- Figueira, Jorge; Coimbra, U; De Gonçalves, M; Costa, M; Programa estratégico inovC—o ecossistema de inovação da região centro 14o Workshop APDR: Empreendedorismo e desenvolvimento regional 114-122 2012
- Almeida, Raquel; Vieira, Jorge; Vieira, Marco; Madeira, Henrique; Bernardino, Jorge; Cost-Effective Data Allocation in Data Warehouse Striping International Journal of Database Management Systems 4 5 119 2012 Academy & Industry Research Collaboration Center (AIRCC)
- Barbosa, Raul; Karlsson, Johan; Madeira, Henrique; Vieira, Marco; Fault injection Resilience Assessment and Evaluation of Computing Systems 263-281 2012 Springer, Berlin, Heidelberg
- Duraes, Joao; Fonseca, José; Madeira, Henrique; Vieira, Marco; Field Studies on Resilience: Measurements and Repositories Resilience Assessment and Evaluation of Computing Systems 213-237 2012 Springer, Berlin, Heidelberg
- Bondavalli, Andrea; Madeira, Henrique; Lollini, Paolo; Future of Resilience Assessment: The AMBER Research Roadmap Resilience Assessment and Evaluation of Computing Systems 415-439 2012 Springer, Berlin, Heidelberg
- Micskei, Zoltán; Madeira, Henrique; Avritzer, Alberto; Majzik, István; Vieira, Marco; Antunes, Nuno; Robustness testing techniques and tools Resilience Assessment and Evaluation of Computing Systems 323-339 2012 Springer, Berlin, Heidelberg
- Laranjeiro, Nuno; Vieira, Marco; Madeira, Henrique; A technique for deploying robust web services IEEE Transactions on Services Computing 7 1 68-81 2012 IEEE
- Fonseca, José Carlos; Durães, João; Madeira, Henrique; Vieira, Marco; Field Studies on Resilience: Measurements and Repositories 2012
- Véras, Paulo; Villani, Emilia; Ambrósio, Ana; Pontes, Rodrigo; Vieira, Marco; Madeira, Henrique; Benchmarking software requirements documentation for space application Computer Safety, Reliability, and Security 112-125 2011 Springer
- Mendes, Naaliel; Duraes, Joao; Madeira, Henrique; Benchmarking the security of web serving systems based on known vulnerabilities 2011 5th Latin-American Symposium on Dependable Computing 55-64 2011 IEEE
- Vieira, Marco; Madeira, Henrique; Cruz, Sergio; Costa, Marco; Cunha, Joao Carlos; Integrating GQM and Data Warehousing for the Definition of Software Reuse Metrics 2011 IEEE 34th Software Engineering Workshop 112-116 2011 IEEE
- Madeira, HSC; 2. AH OMAGE TO RUY C OUCEIRO DA C OSTA Quantal aspects in chemistry and physics: a tribute to the memory of Professor Couceiro da Costa 13 2011 Imprensa da Universidade de Coimbra/Coimbra University Press
- Irrera, Ivano; Duraes, Joao; Vieira, Marco; Madeira, Henrique; Towards Identifying the Best Variables for Failure Prediction Using Injection of Realistic Software Faults Dependable Computing (PRDC), 2010 IEEE 16th Pacific Rim International Symposium on 03-Oct 2010 IEEE
- Fonseca, José; Vieira, Marco; Madeira, Henrique; The web attacker perspective-a field study Software Reliability Engineering (ISSRE), 2010 IEEE 21st International Symposium on 299-308 2010 IEEE
- Véras, Paulo C; Villani, Emilia; Ambrosio, Ana Maria; Silva, Nuno; Vieira, Marco; Madeira, Henrique; Errors on Space Software Requirements: A Field Study and Application Scenarios Software Reliability Engineering (ISSRE), 2010 IEEE 21st International Symposium on 61-70 2010 IEEE
- Natella, Roberto; Cotroneo, Domenico; Duraes, Joao; Madeira, Henrique; Representativeness analysis of injected software faults in complex software Dependable Systems and Networks (DSN), 2010 IEEE/IFIP International Conference on 437-446 2010 IEEE
- Craveiro, Olga; Macedo, Joaquim; Madeira, Henrique; Leveraging temporal expressions for segmented-based information retrieval 2010 10th International Conference on Intelligent Systems Design and Applications 754-759 2010 IEEE
- Yufeng, Zhang; Jie, Mao; Analysis of Tripartite Game in Audit of Government-invested Projects International Conference on E-Business and E-Government 1512-1515 2010 IEEE Computer Society
- Almeida, Raquel; Mendes, Naaliel; Madeira, Henrique; Sharing experimental and field data: the amber raw data repository experience 2010 IEEE 30th International Conference on Distributed Computing Systems Workshops 313-320 2010 IEEE
- Almedia, Raquel; Madeira, Henrique; Vieira, Marco; From Performance to Resilience Benchmarking 2010 IEEE 30th International Conference on Distributed Computing Systems Workshops 286-287 2010 IEEE
- Almeida, Raquel; Madeira, Henrique; Vieira, Marco; Benchmarking the Resilience of Self-Adaptive Systems: A New Research Challenge 2010 29th IEEE Symposium on Reliable Distributed Systems 348-352 2010 IEEE
- Laranjeiro, Nuno; Vieira, Marco; Madeira, Henrique; A learning-based approach to secure web services from SQL/XPath Injection attacks 2010 IEEE 16th Pacific Rim International Symposium on Dependable Computing 191-198 2010 IEEE
- Mendes, Naaliel; Duraes, Joao; Madeira, Henrique; Evaluating and comparing the impact of software faults on web servers 2010 European Dependable Computing Conference 33-42 2010 IEEE
- Craveiro, Olga; Macedo, Joaquim; Madeira, Henrique; Towards a segment-based temporal information retrieval model 2010 IEEE
- Véras, Paulo; Villani, Emilia; Madeira, Henrique; Ambrosio, Ana; Dependability Benchmark for PUS-Based Satellite Onboard Software SpaceOps 2010 Conference Delivering on the Dream Hosted by NASA Marshall Space Flight Center and Organized by AIAA 2288 2010
- Antunes, Nuno; Laranjeiro, Nuno; Vieira, Marco; Madeira, Henrique; Effective Detection of SQL/XPath Injection Vulnerabilities in Web Services Services Computing, 2009. SCC’09. IEEE International Conference on 260-267 2009 IEEE
- Fonseca, José; Vieira, Marco; Madeira, Henrique; Vulnerability & attack injection for web applications Dependable Systems & Networks, 2009. DSN’09. IEEE/IFIP International Conference on 93-102 2009 IEEE
- Laranjeiro, Nuno; Vieira, Marco; Madeira, Henrique; Protecting Database Centric Web Services against SQL/XPath Injection Attacks Database and Expert Systems Applications 271-278 2009 Springer
- Seixas, Nuno; Fonseca, José; Vieira, Marco; Madeira, Henrique; Looking at web security vulnerabilities from the programming language perspective: a field study 2009 20th International Symposium on Software Reliability Engineering 129-135 2009 IEEE
- Laranjeiro, Nuno; Vieira, Marco; Madeira, Henrique; Improving web services robustness Web Services, 2009. ICWS 2009. IEEE International Conference on 397-404 2009 IEEE
- Vieira, Marco; Madeira, Henrique; From Performance to Dependability Benchmarking: A Mandatory Path Performance Evaluation and Benchmarking 67-83 2009 Springer
- Vieira, Marco; Antunes, Nuno; Madeira, Henrique; Using web security scanners to detect vulnerabilities in web services Dependable Systems & Networks, 2009. DSN’09. IEEE/IFIP International Conference on 566-571 2009 IEEE\
- Araújo Neto, A; Vieira, M; Madeira, H; An Appraisal to Assess the Security of Database Configurations 2nd Intl Conference on Dependability, DEPEND 2009
- Laranjeiro, Nuno; Vieira, Marco; Madeira, Henrique; Predicting Tim-ing Failures in Web Services. ISBN: 978-3-642-04204-1 2009 Springer-Verlag Berlin, Heidelberg l
- Vieira, Marco; Madeira, Henrique; Irrera, Ivano; Malek, Miroslaw; Fault injection for failure prediction methods validation Proc. 40th IEEE/IFIP Int’l Conference on Dependable Systems and Networks (5th Workshop on Hot Topics in System Dependability) 2009
- Costa, Pedro; Silva, João Gabriel; Madeira, Henrique; Dependability benchmarking using software faults: How to create practical and representative faultloads 2009 15th IEEE Pacific Rim International Symposium on Dependable Computing 289-294 2009 IEEE
- Madeira, Henrique; Majzik, Istvan; From assessment to standardised benchmarking: Will it happen? What could we do about it? DSN 295-296 2009
- Esposito, Lorenzo Falai; Karlsson, Johan; Lollini, Paolo; Madeira, Henrique; Majzik, Istvan; Pinter, Gergely; Stankovic, Vladimir; Strigini, Lorenzo; Vadursi, Michele; Vieira, Marco; Table of Versions 2009
- Craveiro, Olga; Macedo, Joaquim; Madeira, Henrique; Use of co-occurrences for temporal expressions annotation International Symposium on String Processing and Information Retrieval 156-164 2009 Springer, Berlin, Heidelberg
- Kocsis, I; Kovi, A; Madeira, H; Majzik, I; Montecchi, L; van Moorsel, A; Strigini, L; Vadursi, M; Vieira, M; Final Research Roadmap 2009
- Bondavalli, João Durães; Esposito, Rosaria; Falai, Lorenzo; Karlsson, Johan; Lollini, Paolo; Madeira, Henrique; Majzik, Istvan; Micskei, Zoltán; Montecchi, Leonardo; Pinter, Gergely; Table of Versions 2009
- Laranjeiro, Nuno; Vieira, Marco; Madeira, Henrique; Robustness validation in service-oriented architectures Architecting Dependable Systems VI 98-123 2009 Springer, Berlin, Heidelberg
- Fonseca, José; Vieira, Marco; Madeira, Henrique; Online detection of malicious data access using DBMS auditing Proceedings of the 2008 ACM symposium on Applied computing 1013-1020 2008 ACM
- Pintér, Gergely; Madeira, Henrique; Vieira, Marco; Majzik, István; Integration of OLAP and data mining for analysis of results from dependability evaluation experiments International Journal of Knowledge Management Studies 2 4 480-498 2008 Inderscience
- Mendes, Naaliel; Neto, Afonso Araújo; Durães, João; Vieira, Marco; Madeira, Henrique; Assessing and comparing security of web servers Dependable Computing, 2008. PRDC’08. 14th IEEE Pacific Rim International Symposium on 313-322 2008 IEEE
- Almeida, Raquel; Vieira, Jorge; Vieira, Marco; Madeira, Henrique; Bernardino, Jorge; Efficient data distribution for DWS Data Warehousing and Knowledge Discovery 75-86 2008 Springer
- Vieira, JD Marco; Mendes, Naaliel; Madeira, H; The AMBER data repository University of Coimbra, Coimbra, Portugal, Tech. Rep 2008
- Kanoun, Karama; Spainhower, Lisa; Dependability benchmarking for computer systems 2008 Wiley-IEEE Computer Society Pr
- Fonseca, José; Vieira, Marco; Madeira, Henrique; Henrique, M; Training Security Assurance Teams using Vulnerability Injection Dependable Computing, 2008. PRDC’08. 14th IEEE Pacific Rim International Symposium on 297-304 2008 IEEE
- Laranjeiro, Nuno; Vieira, Marco; Madeira, Henrique; Experimental Robustness Evaluation of JMS Middleware Services Computing, 2008. SCC’08. IEEE International Conference on 1 119-126 2008 IEEE
- Vieira, Jorge; Vieira, Marco; Costa, Marco; Madeira, Henrique; Redundant array of inexpensive nodes for DWS Proceedings of the 13th international conference on Database systems for advanced applications 580-587 2008 Springer-Verlag
- Vieira, Marco; Durães, João; Madeira, Henrique; Dependability Benchmark for OLTP Systems Dependability Benchmarking for Computer Systems 63-90 2008 Wiley Online Library
- Laranjeiro, Nuno; Vieira, Marco; Madeira, Henrique; Timing Failures Detection in Web Services Asia-Pacific Services Computing Conference, 2008. APSCC’08. IEEE 554-559 2008 IEEE
- Vieira, Marco; Vieir, Jorge; Madeir, Henrique; Towards Data Security in Affordable Data Warehouses 2008
- Vieira, Jorge; Vieira, Marco; Costa, Marco; Madeira, Henrique; RAIN: always on data warehousing Database Systems for Advanced Applications 678-681 2008 Springer
- Madeira, H; Majzik, I; Montecchi, L; van Moorsel, A; Strigini, L; Vadursi, M; Vieira, M; Preliminary Research Roadmap 2008
- Koopman, Philip; Madeira, Henrique; Message from the conference general chair and coordinator. DSN 2008
- Vieira, Marco; Vieira, Jorge; Madeira, Henrique; Towards data security in affordable data warehouse 7th European dependable computing conference 149-157 2008
- Craveiro, Olga; Macedo, Joaquim; Madeira, Henrique; PorTexTO: sistema de anotação/extracção de expressões temporais Sl]: Cristina Mota and Diana Santos 159-170 2008
- Kanoun, K; Koopman, P; Dependability Benchmarking: A Reality or A Dream IEEE Computer Society 1 519 2008
- Kanoun, Karama; Koopman, Philip; Madeira, Henrique; and Lisa Spainhower Dependability Benchmarking for Computer Systems 72 2008 Wiley-IEEE Computer Society Press
- Fonseca, Jose; Vieira, Marco; Madeira, Henrique; Testing and comparing web vulnerability scanning tools for SQL injection and XSS attacks Dependable Computing, 2007. PRDC 2007. 13th Pacific Rim International Symposium on 365-372 2007 Ieee
- Moraes, R; Duraes, Joao; Barbosa, R; Martins, Eliane; Madeira, Henrique; Experimental risk assessment and comparison using software fault injection Dependable Systems and Networks, 2007. DSN’07. 37th Annual IEEE/IFIP International Conference on 512-521 2007 IEEE
- Vieira, Marco; Laranjeiro, Nuno; Madeira, Henrique; Assessing robustness of web-services infrastructures Dependable Systems and Networks, 2007. DSN’07. 37th Annual IEEE/IFIP International Conference on 131-136 2007 IEEE
- Vieira, Marco; Laranjeiro, Nuno; Madeira, Henrique; Benchmarking the robustness of web services Dependable Computing, 2007. PRDC 2007. 13th Pacific Rim International Symposium on 322-329 2007 IEEE
- Moraes, Regina; Durães, João; Martins, Eliane; Madeira, Henrique; Component-based software certification based on experimental risk assessment Dependable Computing 179-197 2007 Springer
- Fonseca, José; Vieira, Marco; Madeira, Henrique; Integrated intrusion detection in databases Dependable Computing 198-211 2007 Springer
- Fonseca, José; Vieira, Marco; Madeira, Henrique; Detecting malicious SQL Trust, Privacy and Security in Digital Business 259-268 2007 Springer
- Barbosa, R; Silva, N; Duraes, J; Madeira, H; Verification and validation of (real time) COTS products using fault injection techniques Commercial-off-the-Shelf (COTS)-Based Software Systems, 2007. ICCBSS’07. Sixth International IEEE Conference on 233-242 2007 IEEE
- Vieira, Marco; Costa, António; Madeira, Henrique; Towards timely ACID transactions in DBMS Advances in Databases: Concepts, Systems and Applications 262-274 2007 Springer
- Vieira, Marco; Madeira, Henrique; Do You Know… How to Analyze and Share Results from Dependability Evaluation Experiments? Latin-American Symposium on Dependable Computing 231-232 2007 Springer, Berlin, Heidelberg
- Casimiro, António; Vieira, Marco; Madeira, Henrique; Middleware Support for Time-Elastic Database Applications Supplemental Volume of the 2007 International Conference on Dependable Systems and Networks 406-407 2007 IEEE Computer Society Press
- Madeira, Henrique; Assessing, measuring, and benchmarking dependability and resilience Latin-American Symposium on Dependable Computing 238-238 2007 Springer, Berlin, Heidelberg
- Vieira, Marco; Madeira, H; Dependable Computing IEEE. Dec 2007
- Fonseca, José Carlos; Vieira, Marco; Madeira, Henrique; Correlating security vulnerabilities with software faults 2007
- Moraes, Regina; Duraes, Joao; Martins, Eliane; Madeira, Henrique; Experimental Dependability Evaluation-Component-Based Software Certification Based on Experimental Risk Assessment Lecture Notes in Computer Science 4746 179-197 2007 Berlin: Springer-Verlag, 1973-
- Duraes, Joao A; Madeira, Henrique S; Emulation of software faults: A field data study and a practical approach Software Engineering, IEEE Transactions on 32 11 849-867 2006 IEEE
- Silva, Luis; Madeira, Henrique; Silva, Joao Gabriel; Software Aging and Rejuvenation in a SOAP-based Server Fifth IEEE International Symposium on Network Computing and Applications (NCA’06) 56-65 2006 IEEE
- Moraes, R; Barbosa, R; Duraes, J; Mendes, N; Martins, E; Madeira, H; Injection of faults at component interfaces and inside the component code: are they equivalent? Dependable Computing Conference, 2006. EDCC’06. Sixth European &