Publications
- I. Kocsis, N. Laranjeiro,
L. Gönczy, N. Ivaki, A. Klenik, A.Pataricza,
A. Hajdu, H. Madeira, “Using Fault Injection to Assess Blockchain Systems in
Presence of Faulty Smart Contracts”, paper accepted for publication in the IEEE
Access, 2020.
- F. Cerveira, R.
Barbosa, H. Madeira, F. Araújo, “The Effects of Soft Errors and Mitigation
Strategies for Virtualization Servers”, IEEE Transactions on Cloud Systems, Feb
2020.
- F. Cerveira, R. Oliveira, R. Barbosa
and H. Madeira, “Evaluation of RESTful frameworks under soft errors”, IEEE
International Symposium on Software Reliability Engineering (ISSRE 2020),
October 2020.
- R
Barbosa, F Cerveira, L Gonçalo, H Madeira, “Emulating representative software
vulnerabilities using field data”, Computing 101 (2), 119-138, 2019.
- R
Couceiro, R Barbosa, J Durães, G Duarte, J Castelhano, C Duarte, C Teixeira, N
Laranjeiro, J Medeiros, M Castelo Branco, P Carvalho, H Madeira, “Spotting
problematic code lines using nonintrusive programmers’ biofeedback”, IEEE
International Symposium on Software Reliability Engineering (ISSRE 2019),
Berlin, October 2019.
- J Robin, R Mazo, H Madeira, R
Barbosa, D Diaz, S Abreu, “A Self-certifiable Architecture for Critical Systems
Powered by Probabilistic Logic Artificial Intelligence”, International
Conference on Computer Safety, Reliability and Security, SAFECOM, Turku,
Finland, 10 - 13 September 2019.
- Julio Medeiros, Ricardo Couceiro, João
Castelhano, Miguel Castelo-Branco, Gonçalo Duarte,Catarina
Duarte, João Durães, Henrique Madeira, Paulo de Carvalho, César Teixeira,
“Software Code Complexity Assessment Using EEG Features”, 41st Annual
International Conference of the IEEE Engineering in Medicine & Biology
Society, Berlin, EMBC 2019.
- Ricardo
Couceiro, Gonçalo Duarte, João Durães, João Castelhano, Catarina Duarte, Cesar
Teixeira, Miguel Castelo Branco, Paulo Carvalho, Henrique Madeira,
“Pupillography as predictor of programmers’ mental effort and cognitive
overload”, The 49th Annual IEEE/IFIP International Conference on Dependable
Systems and Networks, DSN 2019, June 2019.
- F. Cerveira, R. Barbosa, H. Madeira,
“Fast local VM migration against hypervisor corruption”, 2019 European Dependable
Computing Conference, EDCC 2019.
- Ricardo
Couceiro, Gonçalo Duarte, João Durães, João Castelhano, Catarina Duarte, Cesar
Teixeira, Miguel Castelo Branco, Paulo Carvalho, Henrique Madeira, “Biofeedback
augmented software engineering: monitoring of programmers' mental effort”,
International Conference on Software Engineering, New Ideas and Emerging
Results, ICSE 2019.
- João
Castelhano, Isabel C. Duarte, Carlos Ferreira, Joao Durães, Henrique Madeira,
Miguel Castelo-Branco, "The role of the insula in intuitive expert bug
detection in computer code: an fMRI study", Brain Imaging and Behavior,
Springer, accepted for publication, 2018.
- D Mendes, N Ivaki, H Madeira,
“Effects of GPS Spoofing on Unmanned Aerial Vehicles”, The 23rd IEEE Pacific Rim
International Symposium on Dependable Computing Symposium, 2018.
- F. Cerveira, A. Fonseca, R. Barbosa,
H. Madeira, "Evaluating the Inherent Sensitivity of Programming Languages
to Soft Errors", 14th European Dependable Computing Conference (EDCC),
65-72, 2018.
- F. Cerveira, I. Kocsisy, R. Barbosa,
H. Madeira, and A.Pataricza, “Exploratory Data Analysis of Fault Injection
Campaigns”, IEEE International Conference on Software Security and Reliability,
QRS 2018, Lisbon, 16-20 July, 2018.
- F. Cerveira, R. Barbosa, H. Madeira,
“Experience Report: On the Impact of Software Faults in the Privileged Virtual
Machine”, IEEE 28th International Software Reliability Engineering (ISSRE),
2017.
- F. Cerveira, R. Barbosa, M. Mercier,
H. Madeira, “On the Emulation of Vulnerabilities through Software Fault
Injection”, 13th European Dependable Computing Conference (EDCC), 73-78, 2017.
- F. Cerveira, R. Barbosa, and H.
Madeira, “Soft Errors Susceptibility of Virtualization Servers”, The 22nd IEEE
Pacific Rim International Symposium on Dependable Computing (PRDC 2017),
Christchurch, New Zealand, January 22-25, 2017.
- R. Almeida, A. Neto, and H. Madeira,
“Resilience Benchmarking of Transactional Systems: Experimental Study of
Alternative Metrics”, The 22nd IEEE Pacific Rim International Symposium on
Dependable Computing (PRDC 2017), Christchurch, New Zealand, January 22-25,
2017.
- J. Duraes, H. Madeira, J. Castelhano,
C. Duarte, M. Castelo Branco, “Understanding the brain at software debugging”,
International Symposium on Software Reliability Engineering (ISSRE 2016),
Ottawa, Canada, October 23-27, 2016.
- G. Pereira, R. Barbosa and H.
Madeira, “Practical Emulation of Software Defects in Source Code”, 12th
European Dependable Computing Conference, Gothenburg, Sweden, September 5-9,
2016.
- I.
Irrera, H. Madeira, A. Zentai, B. Hergovics, “Fault injection validation of a
safety-critical TMR system”, The International Space Systems Engineering
Conference, DASIA 2016, May 10-12, Tallin, Estonia, 2016.
- R.
Natella, D. Cotroneo, and H. Madeira, “Assessing
Dependability with Software Fault Injection: A Survey”, ACM
Computing Surveys, Volume 48 Issue 3, February 2016.
- P.
Costa, J. G. Silva, H. Madeira, “Practical and representative faultloads for large-scale software
systems”, Journal of Systems and Software, Elsevier, accepted for
publication in 2015
- P.
C. Véras, E. Villani, A. M. Ambrosio, M. Vieira, H. Madeira, “A benchmarking process to assess software requirements documentation
for space applications”, Journal of Systems and Software, Vol.100,
pp. 103-116, Elsevier, 2015.
- F.
Cerveira, R. Barbosa, H. Madeira, F. Araujo, “Recovery for Virtualized Environments”, 11th European
Dependable Computing Conference, Paris, September 7-11, 2015.
- O.
Craveiro, J. Macedo, H. Madeira, “Temporal Analysis of CHAVE Collection”, 22nd
Symposium on String Processing and Information Retrieval, SPIRE 2015, Springer
International Publishing, pp. 67-74, 2015.
-
N. Laranjeiro, M. Vieira and H. Madeira, "A Technique for Deploying Robust
Web Services", IEEE Transactions on Services Computing, Volume:7
, Issue: 1, Jan.-March 2014.
-
José Fonseca, Nuno Seixas, Marco Vieira, and Henrique Madeira, "Analysis of Field Data on Web Security Vulnerabilities",
IEEE Transactions on Dependable and Secure Computing, accepted for publication
in 2014.
-
José Fonseca, Marco Vieira, and Henrique Madeira, "Evaluation of Web Security Mechanisms using Vulnerability & Attack
Injection", IEEE Transactions on Dependable and Secure
Computing, accepted for publication in 2014.
- N.
Mendes, J. Durães, H. Madeira, “Security Benchmarks for Web Serving Systems”,
IEEE 25th International Symposium on Software Reliability Engineering (ISSRE),
Naples, November 3-6, 2014.
-O.
Craveiro, J. Macedo, H. Madeira, “Words Temporality for Improving Query
Expansion”, Computational Processing of the Portuguese Language, PROPOR,
October 6-9, 2014, USP-São Carlos, SP, Brazil, Lecture Notes in Computer
Science Vol. 8775, 2014, pp 262-267, 2014.
-O.
Craveiro, J. Macedo, H. Madeira, “Query Expansion with Temporal Segmented
Texts”, Advances in Information Retrieval, 36th European Conference on IR
Research, ECIR 2014, Amsterdam, The Netherlands, Lecture Notes in Computer
Science, Vol. 8416, pp 612-617, April 13-16, 2014.
-P
Pereira, J Macedo, O Craveiro, H Madeira, “Time-Aware Focused Web Crawling”, P.
Pereira, J, Macedo, O. Craveiro, H. Madeira, 36th European Conference on IR
Research, ECIR 2014, Amsterdam, The Netherlands, Lecture Notes in Computer
Science, 534-539, April 13-16, 2014.
-R.
Natella, D. Cotroneo, J. Duraes, H. Madeira, "On Fault Representativeness
of Software Fault Injection", IEEE Transactions on Software Engineering,
vol.39, no.1, pp. 80-96, January 2013
-D.
Cotroneo and H. Madeira, “Introduction to Software Fault Injection”, book
chapter, Innovative Technologies for Dependable OTS-Based Critical Systems,
Jan, Springer Milan, 2013.
-Raquel
Almeida and Vieira, J. and Marco Vieira and Madeira, H. and Jorge Bernardino ,
"Cost-Effective Data Allocation in Data Warehouse Striping",
International Journal of Database Management Systems (IJDMS), ISSN: 0975-5705
(online) - 0975-5985 (print), vol. 4, 2012.
-N.
Laranjeiro, M. Vieira, and H. Madeira, "A robustness testing approach for
SOAP Web services", Journal of Internet Services and Applications, Jan
2012, Springer London
-R.
Barbosa, J. Karlsson, H. Madeira, M Vieira, “Fault Injection”, book chapter, book
title: Resilience Assessment and Evaluation of Computing Systems, Wolter, K.;
Avritzer, A.; Vieira, M.; van Moorsel, A. (Eds.), Springer Berlin Heidelberg,
2012.
-J.
Durães, J. Fonseca, H. Madeira, M. Vieira, “Field Studies on
Resilience: Measurements and Repositories”, book chapter, book title:
Resilience Assessment and Evaluation of Computing Systems, Wolter, K.;
Avritzer, A.; Vieira, M.; van Moorsel, A. (Eds.), Springer Berlin Heidelberg,
2012.
-A.
Bondavalli, H. Madeira, P. Lollini, “Future of Resilience Assessment: The AMBER
Research Roadmap”, book chapter, book title: Resilience Assessment and
Evaluation of Computing Systems, Wolter, K.; Avritzer, A.; Vieira, M.; van
Moorsel, A. (Eds.), Springer Berlin Heidelberg, 2012.
-Z.
Micskei, H. Madeira, A. Avritzer, I. Majzik, M. Vieira, N. Antunes,
“Robustness Testing Techniques and Tools”, book chapter, book title: Resilience
Assessment and Evaluation of Computing Systems, Wolter, K.; Avritzer, A.;
Vieira, M.; van Moorsel, A. (Eds.), Springer Berlin Heidelberg, 2012.
-Olga
Craveiro and Macedo, J. and Madeira, H. , "It is the time for Portuguese
texts!", in International Conference on Computational Processing of
Portuguese (PROPOR ), 2012.
-Nuno
Laranjeiro, Marco Vieira, Henrique Madeira, “Building Web Services with Time
Requirements”, book chapter, Performance and Dependability in Service
Computing: Concepts, Techniques and Research Directions, IGI-Global, (Eds.
Valeria Cardellini, Emiliano Casalicchio, Kalinka Castelo Branco, Julio Cezar
Estrella, Francisco Jose Monaco), 2011.
-Marco
Vieira and Madeira, H. and Cruz, S. and Costa, M. and Cunha, J. ,
"Integrating GQM and Data Warehousing for the Definition of Software Reuse
Metrics", in 34th Annual IEEE Software Engineering Workshop, 2011.
-Nuno
Laranjeiro, Marco Vieira, Henrique Madeira, "A Learning-Based Approach to
Secure Web Services from SQL/XPath Injection Attacks", The 16th IEEE
Pacific Rim International Symposium on Dependable Computing, PRDC 2010, Tokyo,
Japan, December 2010.
-Olga
Craveiro, Joaquim Macedo, Henrique Madeira, “Leveraging temporal expressions
for segmented-based information retrieval”, ISDA 2010, The International
Conference on Intelligent Systems Design and Applications (ISDA), November 29th
– December 1st, Cairo, Egipt, 2010, pp. 754-759.
-Naaliel
Mendes, João Durães, Henrique Madeira: Evaluating and Comparing the Impact of
Software Faults on Web Servers. EDCC 2010, Eighth European Dependable Computing
Conference, EDCC-8 2010, Valencia, Spain, 28-30 April 2010. IEEE Computer
Society 2010.
-Ivano
Irrera, João Duraes, Marco Vieira, Henrique Madeira, " Towards Identifying
the Best Variables for Failure Prediction using Injection of Realistic Software
Faults", The 16th IEEE Pacific Rim International Symposium on Dependable
Computing, PRDC 2010, Tokyo, Japan, December 2010.
-Paulo
C. Veras (Instituto Tecnológico de Aeronáutica, Brasil), Emilia Villani
(Instituto Tecnológico de Aeronáutica, Brasil), Ana Maria Ambrósio (Instituto
Nacional de Pesquisas Espaciais, Brasil), Nuno Silva (Critical Software SA,
Portugal), Marco Vieira, Henrique Madeira, “Errors on Space Software
Requirements: A Field Study and Application Scenarios”, 21st IEEE International
Symposium on Software Reliability Engineering, ISSRE 2010, San Jose, CA, USA,
November 2010.
-José
Fonseca, Marco Vieira, Henrique Madeira, “The Web Attacker Perspective – A
Field Study”, 21st IEEE International Symposium on Software Reliability
Engineering, ISSRE 2010, San Jose, CA, USA, November 2010.
-Paulo
C. Véras, Emilia Villani (Instituto Tecnológico de Aeronáutica, Brasil), Ana
Maria Ambrósio (Instituto Nacional de Pesquisas Espaciais, Brasil), Rodrigo P.
Pontes (Instituto Tecnológico de Aeronáutica, Brasil), Marco Vieira, Henrique
Madeira, “Benchmarking Software Requirements Documentation for Space
Application”, The 29th International Conference on Computer Safety, Reliability
and Security, SAFECOMP 2010, Springer-Verlag, Vienna, Austria, September 2010.
-Raquel
Almeida, Henrique Madeira, Marco Vieira, “Benchmarking the Resilience of
Self-Adaptive Systems: A New Research Challenge”, 1st International Workshop on
Resilience Assessment of COmplex Systems, RACOS 2010 (jointly organized with
29th IEEE International Symposium on Reliable Distributed Systems,
SRDS 2010), Delhi, India, October 2010.
-Raquel
Almeida, Henrique Madeira, Marco Vieira, “From Performance to Resilience
Benchmarking” (short paper), The 2nd Workshop on Sharing Field Data and
Experiment Measurements on Resilience of Distributed Computing Systems, RDCS
2010, jointly organized with The 30th International Conference on Distributed
Computing Systems (ICDCS 2010), Italy, June 2010 (invited paper).
-Nuno
Laranjeiro, Marco Vieira e Henrique Madeira, "Robustness Validation in
Service Oriented Architectures", capítulo do livro “Architecting
Dependable Systems 6”, Editores R. de Lemos, J.-C. Fabre, C. Gacek, F.
Gadducci, M. H. ter Beek, Springer, Lecture Notes on Cumputer Science, 2009.
-Pedro
Costa, João Gabriel Silva, Henrique Madeira, “Dependability Benchmarking Using
Software Faults: How to Create Practical and Representative Faultloads”, 15th
IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2009,
Shanghai, China, 16-18 November 2009. IEEE Computer Society 2009.
-Nuno
Seixas, José Fonseca, Marco Vieira, and Henrique Madeira, “Looking at Web
Security Vulnerabilities from the Programming Language Perspective: A Field
Study”, IEEE 20th Simposium on Software Reliability Engineering, ISSRE 2009,
Mysuru, India, November 2009.
-M.
Vieira and H. Madeira, “From Performance to Dependability Benchmarking: A
Mandatory Path”, In Proc. Transaction Processing Performance Council Technical
Conference, organizada conjuntamente com a 35th International Conference on
Very Large Databases, VLDB09, Springer-Verlag, Lyon, France, August 2009.
-Olga
Craveiro, Joaquim Macedo e Henrique Madeira, “Use of co-occurrences for
temporal expressions annotation”, 16th String Processing and Information
Retrieval Symposium, SPIRE 2009, Saariselkä, Finland, 25–27 August 2009.
-N.
Antunes, N. Laranjeiro, M. Vieira and H. Madeira, "Effective Detection of
SQL/XPath Injection Vulnerabilities in Web Services", IEEE International
Conference on Services Computing (SCC 2009), Bangalore, India, September 2009.
-N.
Laranjeiro, M. Vieira e H. Madeira, "Protecting Database Centric Web
Services against SQL/Xpath Injection Attacks", 20th International
Conference on Database and Expert Systems Applications (DEXA 2009), Linz,
Austria, August 2009.
-N.
Laranjeiro, M. Vieira e H. Madeira, "Improving Web Services
Robustness", IEEE International Conference on Web Services (ICWS 2009),
Los Angeles, USA, July 2009.
-José
Fonseca, Marco Vieira, Henrique Madeira, “Vulnerability & Attack Injection
for Web Applications”, The 39th Annual IEEE/IFIP International Conference on
Dependable Systems (William C. Carter Award), 2009.
-Nuno
Antunes, Marco Vieira, Henrique Madeira, “Using Web Security Scanners to Detect
Vulnerabilities in Web Services”, 39th Annual IEEE/IFIP International
Conference on Dependable Systems and Networks, DSN 2009, Lisboa, Portugal, June
29 – July 2, 2009.
-Marco
Vieira, Henrique Madeira, Ivano Irrera e Miroslaw Malek, “Fault Injection for
Failure Prediction Methods Validation”, Fifth Workshop on Hot Topics in System
Dependability (HotDep 2009), jointly organized with the 39th Annual IEEE/IFIP
International Conference on Dependable Systems and Networks, DSN 2009, Lisboa,
Portugal, June 29 – July 2, 2009.
-Afonso
Araújo Neto, Marco Vieira, Henrique Madeira, “An Appraisal to Assess the
Security of Database Configurations”, The Second International Conference on
Dependability, DEPEND 2009, Athens, Greece, June 14-19, 2009.
-N.
Laranjeiro, M. Vieira e H. Madeira, "Predicting Timing Failures in
Web Services", International Workshop on Managing Data Quality in
Collaborative Information Systems (MCIS 2009) at the International Conference
on Database Systems for Advanced Applications (DASFAA 2009), Brisbane,
Australia, April 2009.
-Pintér,
G. and Madeira, H. and Vieira, M. and Majzik, I. and Pataricza, A. ,
"Integration of OLAP and Data Mining for Analysis of Results from
Dependability Evaluation Experiments", in International Journal of
Knowledge Management Studies (IJKMS), Volume 2 – Issue 4 – 2008, Inderscience
Publishers, July 2008
-Karama
Kanoun, Phil Kopman, Henrique Madeira and Lisa Spainhower, “Prologue -
Dependability Benchmarking: A Reality or a Dream”, 1st chapter of the book
“White Book on Dependability Benchmarking”, Lisa Spainhower & Karama Kanoun
Eds., IEEE Computer Society, 2008.
-João
Durães, Marco Vieira e Henrique Madeira, “Dependability Benchmarking of
Web-Servers”, chapter of the book “White Book on Dependability Benchmarking”,
Lisa Spainhower & Karama Kanoun Eds., IEEE Computer Society, 2008.
-Marco
Vieira, João Durães e Henrique Madeira, “Dependability Benchmarks for OLTP
System”, chapter of the book “White Book on Dependability Benchmarking”, Lisa
Spainhower & Karama Kanoun Eds., IEEE Computer Society, 2008.
-J.
Fonseca, M. Vieira e H. Madeira, "Training Security Assurance Teams
using Vulnerability Injection", 14th IEEE Pacific Rim International
Symposium on Dependable Computing (PRDC'08), Taipei, Taiwan, December 2008.
-N.
Mendes, A. Araújo Neto, J. Durães, M. Vieira e H. Madeira,
"Assessing and Comparing Security of Web Servers", 14th IEEE Pacific
Rim International Symposium on Dependable Computing (PRDC'08), Taipei, Taiwan,
December 2008.
-R.
Almeida, J. Vieira, M. Vieira, H. Madeira e J. Bernardino, "Efficient
Data Distribution for DWS", in Proc. of the Lecture Notes in Computer
Science 5182 Springer 2008, ISBN 978-3-540-85835-5, 10th International
Conference on Data Warehousing and Knowledge Discovery (DaWaK '08 ), Turin,
Italy, September 2008.
-Nuno
Laranjeiro, Marco Vieira, Henrique Madeira, “Timing Failures Detection in Web
Services”, 2008 IEEE Asia-Pacific Services Computing Conference, IEEE APSCC
2008, Yilan, Taiwan, 09 a 12 de Dezembro de 2008.
-Marco
Vieira, Naaliel Mendes, Joao Duraes and Henrique Madeira, “The AMBER Data
Repository”, SN 2008 Workshop on Resilience Assessment and Dependability
Benchmarking (DSN-RADB08), IEEE/IFIP International Conference on Dependable
Systems and Networks (DSN 2008), Anchorage, Alaska, June 2008.
-N.
Laranjeiro, M. Vieira, and H. Madeira, "Experimental Robustness Evaluation
of JMS Middleware", IEEE International Conference on Services Computing
(SCC 2008), Honolulu, Hawaii, USA, July 2008.
-J.
Fonseca, M. Vieira, and H. Madeira, "Online Detection of Malicious
Data Access Using DBMS Auditing", 23rd Annual ACM Symposium on Applied
Computing (ACM SAC 2008), Fortaleza, Ceará, Brazil, March 2008.
-Jorge
Vieira, Marco Vieira, Marco Costa, and Henrique Madeira, “Redundant Array of
Inexpensive Nodes for DWS”, proceedings of the 13th International Conference on
Database Systems for Advanced Application, DASFAA 2008, New Delhi, India, March
19-21, 2008.
-Jorge
Vieira, Marco Vieira, Marco Costa, Henrique Madeira, “RAIN: Always On Data
Warehousing”, the 13th International Conference on Database Systems for
Advanced Application, DASFAA 2008, New Delhi, India, March 19-21, 2008.
-José
Fonseca, Marco Vieira, Henrique Madeira, “Detecting malicious SQL”, 4th
International Conference on Trust, Privacy & Security in Digital Business,
TrustBus 2007, Regensburg, Germany, September 3 – 7, 2007.
-R.
Moraes, J. Durães, E. Martins, H. Madeira, “Component-based Software
Certification based on Experimental Risk Assessment”, Third Latin-American
Symposium on Dependable Computing, Morelia, Mexico - September 26 - 28, 2007.
-José
Fonseca, Marco Vieira, Henrique Madeira, “Integrated Intrusion Detection in
Databases”, Third Latin-American Symposium on Dependable Computing, Morelia,
Mexico - September 26 - 28, 2007.
-R.
Moraes, J. Durães, R. Barbosa, E. Martins, H. Madeira, “Experimental Risk
Assessment and Comparison Using Software Fault Injection”, Dependable Computing
and Communications Symposium (DCCS), 37th Annual IEEE/IFIP International
Conference on Dependable Systems and Networks, Edinburgh, UK, June 25 - 28,
2007.
-N.
Laranjeiro, M. Vieira, H. Madeira, “Assessing Robustness and Recovery Features
of Web-services Infrastructures”, Dependable Computing and Communications
Symposium (DCCS), 37th Annual IEEE/IFIP International Conference on Dependable
Systems and Networks, Edinburgh, UK, June 25 - 28, 2007.
-M.
Vieira, A. Costa, and H. Madeira, "Towards Timely ACID Transactions in
DBMS", The 12th International Conference on Database Systems for Advanced
Applications (DASFAA 2007), Bangkok, Thailand, April 2007.
-R.
Barbosa, N. Silva, J. Durães, H. Madeira, “Verification and Validation of (Real
Time) COTS Products using Fault Injection Techniques”, 6th IEEE International
Conference on COTS-based Software Systems, Alberta, Canada, 26 de February 2 -
March 2007.
-João
A. Durães and Henrique S. Madeira “Emulation of Software Faults: A Field Data
Study and a Practical Approach”, IEEE Transactions on Software Engineering,
vol. 32, no. 11, pp. 849-867, November 2006.
-José
Fonseca, Marco Vieira, and Henrique Madeira, “Monitoring Database Application
Behavior for Intrusion Detection”, The 12th IEEE International Symposium
Pacific Rim Dependable Computing (PRDC'06), Riverside, USA, December 18-20,
2006.
-Naaliel
Mendes, Regina Moraes, Eliane Martins, Henrique Madeira, “Jaca Tool
Improvements for Speeding Up Fault Injection Campaigns”, Brazilian Symposium on
Software Engineering, Florianópolis, Brazil, October 16-20, 2006.
-R.
Moraes, R. Barbosa, J. Durães, N. Mendes, E. Martins, H. Madeira, “Do injected
component interface faults represent software bugs?”, 6th European Dependable
Computing Conference – EDCC-6, Coimbra, Portugal, October 2006.
-Luís
Silva, Henrique Madeira, João Gabriel Silva, “Software Aging and Rejuvenation
in a SOAP-based Server”, The 5th IEEE International Symposium on Network
Computing and Applications (IEEE NCA06), July 24 - 26, Cambridge, MA, USA,
2006.
-R.
Moraes, J. Durães, E. Martins, H. Madeira, “A field data study on the use of
software metrics to define representative fault distribution”, Workshop on
Empirical Evaluation of Dependability and Security (WEEDS), IEEE/IFIP
International Conference on Dependable Systems and Networks, (DSN-2006),
Philadelphia, PA, EUA, July 25-28, 2006.
-Ricardo
Barbosa, Diamantino Costa e Henrique Madeira, “An Empirical Approach to Assess
Software Off-The-Shelf Components Using Fault Injection”, International
Conference on Data Systems in Aerospace, DASIA 2006, Berlin, Germany, May
22-25, 2006.
-Naaliel
Mendes, Regina Moraes, Eliane Martins e Henrique Madeira, “Melhorando a
Dependabilidade de Componentes com o uso de Wrappers”, VII Workshop de Testes e
Tolerância a Falhas, Curitiba, Brasil, May 29, 2006.
-Paula
Prata, Mário Rela, Henrique Madeira, João Gabriel Silva, “Robust Assertions and
Fail-Bounded Behavior”, Special Issue on Dependable Computing of the Journal of
the Brazilian Computer Society, 2005.
-Marco
Vieira, João Durães, Henrique Madeira, "Especificação e Validação de Benchmarks
de Confiabilidade para Sistemas Transaccionais", IEEE Latin America
Transactions, ISSN 1548-0992, IEEE Latin America, June-2005. Extended
Portuguese version of the paper “How to Specify and Validate Dependability
Benchmarks for Transactional Systems”, IX Conference on Software Engineering
and Databases (JISBD 2004), Malaga, Spain, November-2004. This paper was one of
the few JISBD 2004 papers selected to be submitted to the IEEE Latin America
Transactions.
-Marco
Vieira, Henrique Madeira, "Detection of malicious transactions in
DBMS", The 11th IEEE International Symposium Pacific Rim Dependable
Computing, PRDC2005, Changsha, Hunan, China, December-2005.
-Jorge
Vieira, Jorge Bernardino, Henrique Madeira, "Efficient compression of text
attributes of data warehouse dimensions", in Proc. of the Lecture Notes in
Computer Science (LNCS), Springer-Verlag, 7th International Conference on Data
Warehousing and Knowledge Discovery - DaWak, Copenhagen, Denmark, August 22-26,
2005.
-Ricardo
Maia, Luis Henriques, Ricardo Barbosa, Diamantino Costa, Henrique Madeira,
“Xception fault injection and robustness testing framework: a case-study of
testing RTEMS”, VI Test and Fault Tolerance Workshop, jointly organized with
the 23rd Brazilian Symposium on Computer Networks (SBRC), Fortaleza, Brazil,
May 2005.
-M.
Vieira, A. Casimiro Costa, and H. Madeira, “TACID Transactions”, 1st Workshop
on Hot Topics in System Dependability (HotDep-05), Yokohama, Japan, June 30,
jointly organized with the IEEE/IFIP International Conference on Dependable
Systems and Networks, Yokohama, Japan, June 28 to July 1, 2005.
-M.
Vieira and H. Madeira, "Towards a security benchmark for Database
Management Systems", IEEE/IFIP International Conference on Dependable
Systems and Networks, Performance and Dependability Symposium, DSN-PDS 2004,
Yokohama, Japan, June 28 to July 1, 2005.
-K.
Kanoun, H. Madeira, M. Dal Cin, F. Moreira, and J. C. Ruiz García, “DBench
(Dependability Benchmarking)”, Fifth European Dependable Computing Conference
(EDCC-5), Budapest, Hungary, April-2005.
-G.
Pintér, H. Madeira, M. Vieira, A. Pataricza, I. Majzik, "A Data Mining
Approach to Identify Key Factors in Dependability Experiments"H, Fifth
European Dependable Computing Conference (EDCC-5), Budapest, Hungary,
April-2005.
-João
Gabriel Silva and Henrique Madeira, “Experimental Dependability Evaluation”,
chapter 13 of the book “Dependable Computing Systems: Paradigms, Performance
Issues, and Applications”, Edited by Hassan B. Diab, Albert Y. Zomaya, 2004
Wiley & Sons, Inc, 2004.
-M.
Vieira, J. Durães, H. Madeira "How to Specify Dependability Benchmarks for
OLTP Application Environments", IX Conference on Software Engineering and
Databases (JISBD 2004), Malaga, Spain, November-2004.
-Marco
Costa e Henrique Madeira, “Handling big dimensions in distributed data
warehouses using the DWS technique”, ACM Seventh International Workshop on Data
Warehousing and OLAP, DOLAP 2004, Washington, D.C., USA, November 12-13, 2004.
-Marco
Vieira and Henrique Madeira, "Portable Faultloads Based on Operator Faults
for DBMS Dependability Benchmarking", the IEEE 28th Annual International
Computer Software and Applications Conference, Hong-Kong, PRC, September 28-30,
2004.
-João
Durães, Marco Vieira, and Henrique Madeira, “Dependability Benchmarking
ofWeb-Servers”, The 23rd International Conference of Computer Safety,
Reliability and Security, SAFECOMP 2004, Potsdam, Germany, September 21-24,
2004.
-João
Durães and Henrique Madeira, “Generic Faultloads Based on Software Faults for
Dependability Benchmarking”, IEEE/IFIP International Conference on Dependable
Systems and Networks, Dependable Computing and Communications, DSN-DCC 2004,
Florence, Italy, June 28 to July 1, 2004.
-João
Durães and Henrique Madeira, "Multidimensional Characterization of the
Impact of Faulty Drivers on the Operating Systems Behavior", Special Issue
on Dependable Computing, Transactions of IEICE (Institute of the Electronics,
Information and Communication Engineers), Japan, December 2003.
-Diamantino
Costa, Henrique Madeira, and João Gabriel Silva, “Xception Fault Injection
Approach”, chapter of the book "Fault Injection Techniques and Tools for
VLSI Reliability Evaluation”, Alfredo Benso and Paolo Prineto Eds. Kluwer
Academic Publisher, 2003.
-Marco
Vieira e Henrique Madeira, "Joint Evaluation of Recovery and Performance
of a COTS DBMS in the Presence of Operator", “Performance Evaluation
Journal”, Elsevier Science Publication, December 2003.
-Marco
Costa, Jorge Vieira, Jorge Bernardino, Pedro Furtado, and Henrique Madeira,
"A middle layer for distributed data warehouses using the DWS-AQA
technique", 8th Conference on Software Engineering and Databases,
Alicante, Spain, November 12-14, 2003.
-Alcides
Marques, Bruno Rino, and Henrique Madeira, "iGen: plataforma de geração de
código com ciclo de desenvolvimento completo", 8th Conference on Software
Engineering and Databases, Alicante, Spain, November 12-14, 2003.
-Pedro
Costa, Marco Vieira, Henrique Madeira e João Gabriel Silva, “Plug and Play
Fault Injector for Dependability Benchmarking”, First Latin-American Symposium
on Dependable Computing, São Paulo, Brazil, October 21-24, 2003.
-Marco
Vieira, and Henrique Madeira, “A Dependability Benchmark for OLTP Application
Environments”, 29th International Conference on Very Large Databases, VLDB
2003, Berlim, Germany, Sept. 9-12, 2003.
-Henrique
Madeira, João Durães, and Marco Viera, “Emulation of Software Faults:
Representativeness and Usefulness”, First Latin-American Symposium on
Dependable Computing, LADC 2003, S. Paulo, Brazil, October 21-24, 2003 (invited
paper).
-Pedro
Costa, Marco Vieira, Henrique Madeira, and João Gabriel Silva, “Plug and Play
Fault Injector for Dependability Benchmarking”, First Latin-American Symposium
on Dependable Computing, São Paulo, Brazil, October 21-24, 2003.
-João
Durães and Henrique Madeira, "Definition of Software Fault Emulation
Operators: a Field Data Study", IEEE/IFIP International Conference on
Dependable Systems and Networks, DSN2003, San Francisco, CA, USA, June 22-25,
2003.
-Marco
Vieira and Henrique Madeira, "Benchmarking the Dependability of Different
OLTP Systems", IEEE/IFIP International Conference on Dependable Systems
and Networks, DSN2003, San Francisco, USA, June 22-25, 2003.
-Henrique
Madeira, João Costa and Marco Vieira, "The OLAP and Data Warehousing
Approaches for Analysis and Sharing of Results from Dependability Evaluation
Experiments", IEEE/IFIP International Conference on Dependable Systems and
Networks, DSN2003, San Francisco, USA, June 22-25, 2003.
-Jorge
Bernardino, Pedro Furtado e Henrique Madeira, “Approximate Query Answering
Using Data Warehouse Striping”, "Journal of Intelligent Information
Systems- Integrating Artificial Intelligence and Database Technologies",
Volume 19, Issue 2, Elsevier Science Publication, September 2002.
-J.
Durães and H. Madeira, “Characterization of Operating Systems Behavior in the
Presence of Faulty Drivers Through Software Fault Emulation”, Pacific Rim
International Symposium on Dependable Computing (PRDC2002), Tsukuba, Japan,
December 16-18, 2002.
-M.
Vieira and H. Madeira, “Definition of Faultloads Based on Operator Faults for
DMBS Recovery Benchmarking”, Pacific Rim International Symposium on Dependable
Computing (PRDC2002), Tsukuba, Japan, December 16-18, 2002.
-J.
Durães and H. Madeira, “Emulation of software faults by selective mutations at
machine-code level”, paper accepted for the 13th International Symposium on
Software Reliability Engineering. ISSRE 2002 Annapolis, MD, USA, November
12-15, 2002.
-P.
Bizarro and H. Madeira, “Adding a performance-oriented perspective to data
warehouse design”, 4th International Conference on Data Warehousing and
Knowledge Discovery - DaWaK 2002, Aix-en-Provence, France, September 2-6, 2002.
-Jorge
Bernardino, Pedro Furtado, and Henrique Madeira, "DWS-AQA: A Cost Effective
Approach for Very Large Data Warehouses", International Database
Engineering & Applications Symposium, IDEAS2002, Edmonton, Canada, July
17-19, 2002.
-Henrique
Madeira, Raphael R.Some (Jet Propulsion Laboratory, Pasadena, CA, USA), F.
Moreira, D. Costa (Critical Software, Coimbra), David Rennels (Univ. Calif. Los
Angeles, CA, USA), “Experimental evaluation of a COTS system for space
applications”, International Conference on Dependable Systems and Networks,
DSN-2002, Bethesda, Maryland, USA, June 23-26, 2002.
-Marco
Vieira and Henrique Madeira, “Recovery and Performance Balance of a COTS DBMS
in the Presence of Operator Faults”, International Performance and
Dependability Symposium (jointly organized with DSN-2002), Bethesda, Maryland,
USA, June 23-26, 2002.
-Karama
Kanoun (LAAS-CNRS, France), Jean Arlat (LAAS-CNRS, France), and Henrique
Madeira, “A Preliminary Framework for Dependability Benchmarking”, Workshop on
Dependability Benchmarking (jointly organized with DSN-2002), Bethesda, Maryland,
USA, June 25, 2002.
-Pedro
Bizarro and Henrique Madeira, "A new index for data warehouses", XVI
Brazilian Symposium on Databases (SBBD2001), Rio de Janeiro, Brazil, October
1-3, 2001.
-K.
Kanoun, J. Arlat, D. Costa, M. Dal Cin, P. Gil, J-C. Laprie, H. Madeira, and N.
Suri, “DBench: Dependability Benchmarking”, in Supplement of the Int.
Conference on Dependable Systems and Networks, DSN-2001, Chalmers University of
Technology, Gothenburg, Sweden, July 1-4, 2001, pp. D.12-D.15.
-Henrique
Madeira and Philip Koopman, “Dependability Benchmarking: making choices in an
n-dimensional problem space”, First Workshop on Evaluating and Architecting
System Dependability (EASY), jointly organized with the 28th International
Symposium on Computer Architecture (ISCA) and the International Conference on
Dependable Systems and Networks (DSN), Gothenburg, Sweden, July 1, 2001.
-Jorge
Bernardino, Pedro Furtado, and Henrique Madeira, “Approximate Query Answering
Using Data Warehouse Striping”, Dawak'01, 3rd International Conference on Data
Warehousing and Knowledge Discovery, Dawak'01, Munich, Germany, September 5-7,
2001.
-Jorge
Bernardino and Henrique Madeira, “Data Warehouse Striping: Improved Query
Warehouse Striping Response Time”, International Conference on Enterprise
Information Systems, ICEIS-2001, Setúbal, Portugal, July 7-10, 2001.
-Jorge
Bernardino and Henrique Madeira, “Experimental Evaluation of a New Distributed
Partitioning Technique for Data Warehouses”, IDEAS’01, Int. Symposium on
Database Engineering and Applications, Grenoble, France, June 16-20, 2001.
-Diamantino
Costa, Tiago Rilho and Henrique Madeira, “ESFFI - A novel technique for the
Emulation of Software Faults in COTS Components”, 8th Annual IEEE International
Conference on the Engineering of Computer-Based Systems, ECBS 2001, Washington,
D.C., USA, April 17-20, 2001.
-Pedro
Furtado and Henrique Madeira, “FCompress: A New Technique for Queriable
Compression of Facts and Datacubes”, IDEAS’2000, International Database
Engineering and Applications Symposium, Yokohama, Japan, September 18-20, 2000.
-P.
Furtado and H. Madeira, "Data Cube Compression with QuantiCubes", 2nd
International Conference on Data Warehousing and Knowledge Discovery, Dawak'00,
Greenwich, United Kingdom, September 4-8, 2000.
-P.
Furtado and H. Madeira, "VMHIST: Improved Adaptable Multidimensional
Histograms", 2nd International Conference on Data Warehousing and
Knowledge Discovery, Dawak'00, Greenwich, United Kingdom, September 4-8, 2000.
-Jorge
Bernardino and Henrique Madeira, "A New Technique to Speedup Queries in
Data Warehousing”, ABDIS-DASFA, Symposium on Advances in Databases and
Information Systems - Enlarged Fourth East-European Conference on Advances in
Databases and Information Systems, Prague, Check Republic, September 5-8, 2000.
-Henrique
Madeira, Marco Vieira, and Diamantino Costa, “On the Emulation of Software
Faults by Software Fault Injection”, Dependable Systems and Networks Conference
– DSN-2000, New York, USA, June 25-28, 2000.
-Diamantino
Costa, Tiago Rilho, and Henrique Madeira, “Joint Evaluation of Performance and
Robustness of a COTS DBMS Through Fault-Injection”, Dependable Systems and
Networks Conference – DSN-2000, New York, USA, June 25-28, 2000.
-Henrique
Madeira and Diamantino Costa, “Run-time software implemented fault-injection:
an approach to emulate software faults in COTS”, “11th European Workshop on
Dependable Computing”, Budapest, Hungary, May 11-13, 2000.
-Phillip
Koopman (Carnegie Mellon University) and H. Madeira, “Dependability
Benchmarking & Prediction: A Grand Challenge Technology Problem”, 1st
International Workshop on Real-Time Mission-Critical Systems: Grand Challenge
Problems; Phoenix, Arizona, USA, November 30, 1999.
-Diamantino
Costa and H. Madeira, “Experimental Assessment of COTS DBMS Robustness Under
Transient Faults”, Pacific Rim International Symposium on Dependable Computing,
PRDC-99, Hong Kong, December 16-17, 1999.
-P.
Furtado and H. Madeira, "Analysis of Accuracy of Data Reduction
Techniques”, First International Conference on Data Warehousing and Knowledge
Discovery, Florence, Italy, August 30 to September 1, 1999.
-P.
Furtado and H. Madeira, "Summary Grids: Building Accurate Multidimensional
Histograms", proceedings de Dasfaa'99 - 6th Int. Conference on
Database Systems for Advanced Applications, Taiwan, Taiwan, ROC, April 19-21,
1999.
-João
Carreira, Henrique Madeira e João Gabriel Silva, “Xception: Software Fault
Injection and Monitoring in Processor Functional Units", IEEE Transactions
on Software Engineering, Vol.24, No.2, February de 1998.
-Pedro
Furtado and Henrique Madeira, “Enforcing Strong Typing in Flexible Hypermedia
Systems”, proceedings of ACM International Conference on Hypertext 98,
Pittsburgh, USA, June 20-24, 1998.
-João
Gabriel Silva, Paula Prata, Mário Rela, and Henrique Madeira, "Practical
Issues in the Use of ABFT and a new Failure Model", 28th IEEE Annual
International Symposium on Fault-Tolerant Computing Symposium, FTCS-28, Munich,
Germany, June 23-25, 1998, pp 26-35.
-Pedro
Furtado, Paula Gonçalves, Paulo Ferro, and Henrique Madeira, “WorldView: A
System for Information Merging and Sharing", World Conf. on Educational
Multimedia and Hypermedia, ED-MEDIA, Freiburg, Germany, June 20-25, 1998.
-Pedro
Furtado and Henrique Madeira, “A model for intuitive knowledge sharing”,
International Conference and Workshop on Database and Expert System Application
(DEXA), Toulouse, France, September 1-5, 1997.
-António
Pereira, Henrique Madeira, and Alderico De Paula, “Experimental Validation of
the Error Detection Mechanisms of the On-board Computer of the SSR Brazilian
Satellite”, (in Portuguese) VII Symposium on Fault Tolerant Computing, SCTF-7,
Paraíba, Brazil, 1997.
-João
Gabriel Silva, Henrique Madeira, João Carreira, Diamantino Costa, and Francisco
Moreira, “Fault Tolerance in Parallel Systems", 26th Fault Tolerant
Computing Symposium, FTCS-26, Sendai, Japan, June 25-27, 1996, pp. 415-425.
-Mário
Rela, Henrique Madeira, and João G. Silva, “Experimental Evaluation of the Fail
Silent Behavior in Programs with Consistency Checks ", 26th Fault Tolerant
Computing Symp., FTCS-26, Sendai, Japan, June 25-27, 1996, pp. 415-425.
-Pedro
Furtado and Henrique Madeira, “Fault Injection Evaluation of Assigned
Signatures in a RISC Processor", 2nd European Dependable Computing
Conference- EDCC-2, Taormina, Italy, October 2-4, 1996.
-G.
Deconinck, J. Vounckx, R. Lauwereins, J. G. Silva, H. Madeira, J. Altmann, F.
Balbach, M. Dal Cin, B. Bieker, and E. Maehle, “A scalable implementation of
fault tolerance for massively parallel systems”, 2nd IEEE International
Conference on Massively Parallel Computing Systems, MPCS’96, Ischia, Italy, May
6-9, 1996.
-J.
Carreira, Henrique Madeira, and João Gabriel Silva, "Xception: Software
Fault Injection and Monitoring in Processor Functional Units", 5th IFIP
Working Conference on Dependable Computing for Critical Applications, DCCA-5,
Urbana-Champaign, Illinois, USA, September 27-29, 1995.
-João
Carreira, D. Costa, H. Madeira, and João Gabriel Silva, “Understanding
Communications Faults in Parallel Computers”, Fault-Tolerant Systems and
Software, Ed. Ravi Mittal, C. Muthukrishana e V. Bhatkar, Narosa Publishing
House, Proc. First Conference on Fault-Tolerant Systems, Madras, India,
December 20-23, 1995, pp. 158-164.
-Henrique
Madeira, João Carreira, and João Gabriel Silva, “Injection of faults in complex
computers", Fourth IEEE International Workshop on Evaluation Techniques
for Dependable Systems, San Antonio, Texas, USA, October 2-3, 1995.
-D.Costa,
F.Moreira, H.Madeira, M.Rela, and João Gabriel Silva, "Experimental
Evaluation of the Impact of Processor Faults on Parallel Applications",
14th IEEE Symposium on Reliable Distributed Systems, SRDS-14, Bad Neuenahr,
Germany, September 13-15, 1995, pp. 10-19.
-João
Carreira, Henrique Madeira, and João Gabriel Silva. "Assessing the Effects
of Communication Faults on Parallel Applications", 1st IEEE Int. Computer
Performance and Dependability Symposium (IPDS'95), Erlangen, Germany, April
1995, pp.214-223.
-Johan
Vounckx, G. Deconinck, R. Lauwereins, G. Viehvver, R. Wagner, H. Madeira, J. G.
Silva, F. Balbach, J. Altmann, B. Bieker, H. Willeke, "The FTMPS-Project:
Design and Implementation of Fault-Tolerance Techniques for Massively Parallel
Systems", proc. of HPCN Conference, Lecture Notes in Computer Science 797,
Springer Verlag, pp. 401-406, Munich, Germany, April 18-20, 1994.
-H.
Madeira and J. G. Silva, "Experimental evaluation of the fail-silent
behavior in computers without error masking", IEEE 24th Fault Tolerant
Computing Symposium, FTCS 24, Austin, USA, June 15-17, 1994, pp. 350-359.
-H.
Madeira, M. Rela, F. Moreira, and J. G. Silva, "RIFLE: a general purpose
pin-level fault injector", in "Dependable Computing - EDCC-1",
Klaus Echtle, Dieter Hammer, David Powell (Eds.) Lecture Notes in Computer
Science 852, Springer Verlag, 1994, pp. 199-216.
-João
Gabriel Silva, Luis Silva, H. Madeira, and Jorge Bernardino, "A fault
tolerant mechanism for simple controllers", in "Dependable Computing
- EDCC-1", Klaus Echtle, Dieter Hammer, David Powell (Eds.) Lecture Notes
in Computer Science 852, Springer Verlag, 1994, pp. 39-55.
-Henrique
Madeira, Mário Rela, Pedro Furtado, and João Gabriel Silva, "Time behavior
Monitoring as an Error Detection Mechanism", 3rd IFIP Working Conference
on Dependable Computing for Critical Applications, DCCA-3, Mondello, Palermo,
Sicily, Italy, September 14-16, 1992, pp. 121-132.
-Henrique
Madeira, José Camões e João Gabriel Silva "A Watchdog Processor for Concurrent
Error Detection in Multiple Processor Systems", in Microprocessors and
Microsystems, Vol. 15, n.3, April 1991, pp 123-130, Butterworth & Heinemann
Ltd.
-Henrique
Madeira and João Gabriel Silva "On-line Signature Learning and
Checking", in J.F.Meyer, R.D. Schlichting (ed.) "Dependable Computing
for Critical Applications 2" Vol. 6 in the series "Dependable
Computing and Fault-Tolerance", Springer Verlag, Vienna, 1992, pp.
395-420. (final version of the paper initially published in the preprints of
2nd IFIP Working Conference on Dependable Computing for Critical Applications,
Tucson, Arizona, USA, February 18-20, 1991.
-Henrique
Madeira and João Gabriel Silva "On-line Signature Learning and Checking:
experimental evaluation and results", IEEE CompEuro 91: Advanced Computer
Technology, Reliable Systems and Applications Conference, Bologna, Italy, May
13-16, 1991, pp.642-646.
-Henrique
Madeira, José Camões e João Gabriel Silva "Signature Verification: a New
Concept for Building Simple and Effective Watchdog Processors”, proc. of IEEE
Mediterranean Electrotechnical Conference, Melecon'91, Ljubliana, Yugoslav, May
22-24, 1991, pp 1188-1191.
-Fernando
Fernandes, Henrique Madeira, Mário Rela, and João G.. Silva "Layer-Service
Integrated Management - A basis for the structured conception, maintenance and
operation of reliable communication systems", proc. of IEEE 1990 Network
Operations and Management Symposium, 14.1-1 a 14.1-10, San Diego, USA, February
11-14, 1990.