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                        &