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
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
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.
Cerveira, Frederico; Barbosa, Raul; Madeira, Henrique, “Fast local VM migration against hypervisor corruption“, 2019 European Dependable Computing Conference, EDCC, 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.
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, Springer, 391-397, 2019.
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.
Cerveira, Frederico; Fonseca, Alcides; Barbosa, Raul; Madeira, Henrique, “Soft error sensitivity and vulnerability of languages and their implementations“, International Journal of Critical Computer-Based Systems, 9, 4, Inderscience Publishers (IEL), 318-347, 2019.
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 , Springer US, Jan-15, 2018.
Curado, Marilia; Madeira, Henrique; da Cunha, Paulo Rupino; Cabral, Bruno; Abreu, David Perez; Barata, João; Roque, Licínio; Immich, Roge, “Internet of Things”, Cyber Resilience of Systems and Networks, Springer, Cham, 381-401, 2018.
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, IEEE, 2018.
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.
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.
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.
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, River Publishers, 2017.
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.
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.
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, River Publishers, 2017.
Natella, Roberto; Cotroneo, Domenico; Madeira, Henrique, “Assessing Dependability with Software Fault Injection: A Survey“, ACM Computing Surveys, 48, 3, Association for Computing Machinery. 2016.
Pereira, G.; Barbosa, R.; Madeira, H., “Practical Emulation of Software Defects in Source Code“, 12th European Dependable Computing Conference, EDCC 2016, 2016.
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.
Almeida, R.; Madeira, H., “Evolving from Dependability to Resilience Benchmarks: Issues and Possibilities“, Latin-American Symposium on Dependable Computing, LADC 2016, 2016.
Madeira, Henrique, “Por que não temos mais investigação interdisciplinar?” Parte: http://hdl. handle. net/10316.2/40030, Imprensa da Universidade de Coimbra, 2016.
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
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
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
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
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 53-64 2006 IEEE
Moraes, R; Durães, J; Martins, E; Madeira, H; A field data study on the use of software metrics to define representative fault distribution DSN 2006 102 2006 Citeseer
Fonseca, Jose; Vieira, Marco; Madeira, Henrique; Monitoring Database Application Behavior for Intrusion Detection 2006 12th Pacific Rim International Symposium on Dependable Computing (PRDC’06) 383-386 2006 IEEE
Mendes, Naaliel; Moraes, Regina; Martins, Eliane; Madeira, Henrique; Jaca tool improvements for speeding up fault injection campaigns 20th SBES–13th Tools Session, Florianópolis, Brazil 2006
Barbosa, R; Costa, D; Madeira, H; An empirical approach to assess software off-the-shelf components using fault injection DASIA 2006-Data Systems in Aerospace 630 62 2006
Vieira, Marco; Madeira, Henrique; Detection of malicious transactions in DBMS Dependable Computing, 2005. Proceedings. 11th Pacific Rim International Symposium on 8 pp. 2005 IEEE
Pintér, Gergely; Madeira, Henrique; Vieira, Marco; Majzik, István; Pataricza, András; A data mining approach to identify key factors in dependability experiments Dependable Computing-EDCC 5 263-280 2005 Springer
Vieira, Marco; Madeira, Henrique; Towards a security benchmark for Database Management Systems Dependable Systems and Networks, 2005. DSN 2005. Proceedings. International Conference on 592-601 2005 IEEE
Maia, R; Henriques, Luis; Barbosa, Ricardo; Costa, Diamantino; Madeira, Henrique; 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)) 2005
Durães, João; Madeira, Henrique; A methodology for the automated identification of buffer overflow vulnerabilities in executable software without source-code Dependable Computing 20-34 2005 Springer
Vieira, Marco; Duraes, João; Madeira, Henrique; How to Specify and Validate Dependability Benchmarks for Transactional Systems IEEE Latin America Transactions 3 1 72-81 2005 IEEE
VIEIRA, Jorge; BERNARDINO, Jorge; MADEIRA, Henrique; COSTA, Marco; DATA WAREHOUSE DISTRIBUTED SYSTEM AND ARCHITECTURE TO SUPPORT DISTRIBUTED QUERY EXECUTION 2005 WO Patent WO/2005/076,160
Vieira, Marco; Costa, António Casimiro; Madeira, Henrique; TACID transactions Proceedings of the First conference on Hot topics in system dependability 10-Oct 2005 USENIX Association
Marco, Vieira; Henrique, Madeira; Detection of malicious transactions in DBMS Dependable Computing Procecedings 11th Pacific Rim International Symposium (PRDC’05). Los Alamitos, CA: IEEE Computer Society 350-357 2005
Vieira, Jorge; Bernardino, Jorge; Madeira, Henrique; Efficient compression of text attributes of data warehouse dimensions Data Warehousing and Knowledge Discovery 356-367 2005 Springer
Madeira, Henrique; Dependability challenges and education perspectives European Dependable Computing Conference 225-225 2005 Springer, Berlin, Heidelberg
Constantinescu, Cristian; Kanoun, Karama; Madeira, Henrique; Murphy, Brendan; Pramanick, Ira; Brown, Aaron B; panel Statement 2005 International Conference on Dependable Systems and Networks (DSN’05) 400-400 2005 IEEE
Vieira, Marco; Durães, João; Madeira, Henrique; Especificaçao e validaçao de benchmarks de confiabilidade para sistemas transaccionais IEEE Latin America Transactions 2005
Durães, João; Vieira, Marco; Madeira, Henrique; Dependability benchmarking of web-servers Computer Safety, Reliability, and Security 297-310 2004 Springer
Durães, João; Madeira, Henrique; Generic faultloads based on software faults for dependability benchmarking at the Int. Conf. on Dependable Systems and Networks, Dependable Computing and Comm., DSN-04, Florence, Italy 2004
Costa, Marco; Madeira, Henrique; Handling big dimensions in distributed data warehouses using the DWS technique Proceedings of the 7th ACM international workshop on Data warehousing and OLAP 31-37 2004 ACM
Vieira, Marco; Madeira, Henrique; Portable faultloads based on operator faults for DBMS dependability benchmarking Computer Software and Applications Conference, 2004. COMPSAC 2004. Proceedings of the 28th Annual International 202-209 vol. 1 2004 IEEE
Costa, Diamantino; Madeira, Henrique; Carreira, Joao; Silva, Joao Gabriel; Xception™: a Software Implemented Fault Injection Tool Fault Injection Techniques and Tools for Embedded Systems Reliability Evaluation 125-139 2004 Springer
Pestana, G; Silva, M; Madeira, H; A prototype Implementation of a Spatial Data Warehouse for Integrating Business, Historical and Spatial Data Proc. of the 5th International Conference on Intelligent Data Engineering and Automated Learning 2004
Vieira, M; Durães, J; Madeira, H; How to Specify Dependability Benchmarks for OLTP Application Environments Proceedings of the 9th Conference on Software Engineering and Databases, JISBD2004 2004
Prata, Paula; Rela, Mario; Madeira, Henrique; Silva, João Gabriel; Robust assertions and fail-bounded behavior Journal of the Brazilian Computer Society 10 3 18-30 2004 SpringerOpen
Vieira, Marco; Costa, António Casimiro; Madeira, Henrique; Timely ACID Transactions in DBMS Supplemental Volume of the 2004 International Conference on Dependable Systems and Networks 102-103 2004 IEEE Computer Society Press
Vieira, Marco; Madeira, Henrique; Joint evaluation of recovery and performance of a COTS DBMS in the presence of operator faults Performance Evaluation 56 01-Apr 187-212 2004 North-Holland
Vieira, Marco; Madeira, Henrique; A dependability benchmark for OLTP application environments Proceedings of the 29th international conference on Very large data bases-Volume 29 742-753 2003 VLDB Endowment
Duraes, Joao; Madeira, Henrique; Definition of software fault emulation operators: A field data study Dependable Systems and Networks, 2003. Proceedings. 2003 International Conference on 105-114 2003 IEEE
Madeira, Henrique; Costa, Joao; Vieira, Marco; The OLAP and data warehousing approaches for analysis and sharing of results from dependability evaluation experiments International Conference on Dependable Systems and Networks, DSN-DCC 2003
Duraes, Joao; Madeira, Henrique; Multidimensional characterization of the impact of faulty drivers on the operating systems behavior IEICE transactions on information and systems 86 12 2563-2570 2003
Vieira, Marco; Madeira, Henrique; Benchmarking the dependability of different OLTP systems International Conference on Dependable Systems and Networks, DSN-DCC 2003
Costa, Marco; Vieira, Jorge; Bernardino, Jorge; Furtado, Pedro; Madeira, Henrique; A middle layer for distributed data warehouses using the DWS-AQA technique VIII Jornadas de Ingeniería del Software y Bases de Datos, Alicante, Spain 2003
Madeira, Henrique; Duraes, Joao; Vieira, Marco; Emulation of software faults: Representativeness and usefulness Dependable Computing 137-159 2003 Springer
Bizarro, Pedro; Madeira, Henrique; The Dimension-Join: A new index for data warehouses Proc. XVI SBBD 259-273 2003
Costa, D; Madeira, H; Carreira, J; Silva, JG; Benso, A; Prinetto, P; Fault Injection Techniques and Tools for Embedded Systems Reliability Evaluation; 3.2 XCEPTION: A Software Implemented Fault Injection Tool 2003 kluwer
Costa, Pedro; Vieira, Marco; Madeira, Henrique; Silva, Joao Gabriel; Plug and play fault injector for dependability benchmarking Dependable Computing Aug-22 2003 Springer
Bagchi, Saurabh; Madeira, Henrique; Open source software-a recipe for vulnerable software, or the only way to keep the bugs and the bad guys out? 14th International Symposium on Software Reliability Engineering, 2003. ISSRE 2003. 347-347 2003 IEEE Computer Society
Rino, Bruno; Marques, Alcides; Madeira, Henrique; iGen: plataforma de geracao de código com ciclo de desenvolvimiento completo VIII Jornadas de Ingeniería del Software y Bases de Datos: actas (JISBD’03). Alicante, del 12 al 14 de noviembre de 2003 95-106 2003 Universitat d´ Alacant/Universidad de Alicante
Duraes, Joao; Madeira, Henrique; Special Issue on Dependable Computing-Dependable Software-Multidimensional Characterization of the Impact of Faulty Drivers on the Operating Systems Behavior IEICE Transactions on Information and Systems 86 12 2563-2570 2003 Tokyo, Japan: Institute of Electronics, Information and Communication …
Madeira, Henrique; Definition of software fault emulation operators: A field data study 2003 International Conference on Dependable Systems and Networks, 2003. Proceedings. 105-105 2003 IEEE Computer Society
DURAES, Joao; MADEIRA, Henrique; Software Reliability Engineering Software Reliability Engineering, 1996 IEICE transactions on information and systems 86 12 2563-2570 2003
Madeira, Henrique; Some, Raphael R; Moreira, Francisco; Costa, Diamantino; Rennels, David; Experimental evaluation of a COTS system for space applications Dependable Systems and Networks, 2002. DSN 2002. Proceedings. International Conference on 325-330 2002 IEEE
Duraes, Joao; Madeira, Henrique; Characterization of operating systems behavior in the presence of faulty drivers through software fault emulation Dependable Computing, 2002. Proceedings. 2002 Pacific Rim International Symposium on 201-209 2002 IEEE
Duraes, Joao; Madeira, Henrique; Emulation of software faults by educated mutations at machine-code level Software Reliability Engineering, 2002. ISSRE 2002. Proceedings. 13th International Symposium on 329-340 2002 IEEE
Kanoun, Karama; Madeira, Henrique; Arlat, Jean; A preliminary framework for dependability benchmarking 2002 International Conference on Dependable Systems & Networks (DSN’2002). Workshop on Dependability Benchmarking 2002
Bernardino, Jorge R; Furtado, Pedro S; Madeira, Henrique C; Approximate query answering using data warehouse striping Journal of Intelligent Information Systems 19 2 145-167 2002 Springer
Vieira, Marco; Madeira, Henrique; Recovery and Performance Balance of a COTS DBMS in the Presence of Operator Faults Dependable Systems and Networks, 2002. DSN 2002. Proceedings. International Conference on 615-624 2002 IEEE
Vieira, Marco; Madeira, Henrique; Definition of fault loads based on operator faults for DMBS recovery benchmarking Dependable Computing, 2002. Proceedings. 2002 Pacific Rim International Symposium on 265-272 2002 IEEE
Bernardino, Jorge; Furtado, Pedro; Madeira, Henrique; DWS-AQA: a cost effective approach for very large data warehouses Database Engineering and Applications Symposium, 2002. Proceedings. International 233-242 2002 IEEE
Madeira, H; Kanoun, K; Arlat, J; Costa, D; Crouzet, Y; Dal Cin, M; Gil+, P; Suri++, N; Towards a framework for dependability benchmarking Proceedings of the 4th European Dependable Computing Conference on Dependable Computing (EDCC-4) 20 2002
Arlat, J; Kanoun, K; Crouzet, Y; Madeira, H; Dal Cin, M; Gil, P; Costa, D; The DBench Framework for Dependability Benchmarking 2002
Maia, Ricardo; Henriques, Luis; Costa, Diamantino; Madeira, Henrique; XceptionTM-enhanced automated fault-injection environment Dependable Systems and Networks, 2002. DSN 2002. Proceedings. International Conference on 547 2002 IEEE
Bizarro, Pedro; Madeira, Henrique; Adding a performance-oriented perspective to data warehouse design Data Warehousing and Knowledge Discovery 49-65 2002 Springer
Bernardino, Jorge; Madeira, Henrique; Data Warehouse Striping: Improved Query Response Time Enterprise information systems III 3 75 2002 Springer
MAIA, Ricardo; HENRIQUES, Luis; COSTA, Diamantino; MADEIRA, Henrique; a taper DSN: dependable systems and networks (Washington DC, 23-26 June 2002) 2002
Iyer, Ravi; Kalbarczyk, Zbigniew; Koopman, Philip; Madeira, Henrique; Heiner, Gunter; Kanoun, Karama; Levendel, Haim; Murphy, Brendan; Votta, Larry; Wilson, Don; Joint Panel-IPDS and Workshop on Dependability Benchmarking Proceedings of the 2002 International Conference on Dependable Systems and Networks 795 2002
Some, RR; Madeira, H; Moreira, F; Costa, D; Rennels, David; Experimental evaluation of a COTS system for space applications 2002
Dures, J; Madeira, H; Emulation of Software Faults by Selective Mutations at Machine-Code Level Proc. 13th IEEE Int’l Symp. Software Reliability Eng.(ISSRE’02), 2002
Madeira, Henrique; Koopman, Philip; Dependability Benchmarking: making choices in an n-dimensional problem space 2001
Kanoun, Karama; Arlat, Jean; Costa, D; Dal Cin, Mario; Gil, Pedro; Laprie, Jean-Claude; Madeira, Henrique; Suri, Neeraj; DBench: dependability benchmarking Suppl. of the Int. Conference on Dependable Systems and Networks, DSN-2001, Chalmers University of Technology, Göteborg, Sweden 2001
Bernardino, Jorge; Madeira, Henrique; Experimental evaluation of a new distributed partitioning technique for data warehouses Database Engineering & Applications, 2001 International Symposium on. 312-321 2001 IEEE
Costa, Diamantino; Rilho, Tiago; Vieira, M; Madeira, Henrique; ESFFI-A novel technique for the emulation of software faults in COTS components Engineering of Computer Based Systems, 2001. ECBS 2001. Proceedings. Eighth Annual IEEE International Conference and Workshop on the 197-204 2001 IEEE
Bernardino, Jorge; Furtado, Pedro; Madeira, Henrique; Adaptable Similarity Search Using Vector Quantization Lecture Notes in Computer Science (см. в книгах) 2114 0349-0349 2001 Springer-Verlag GmbH
Bernardino, Jorge; Furtado co, Pedro; Madeira, Henrique; Approximate query answering using data warehouse striping Data Warehousing and Knowledge Discovery 349-359 2001 Springer
Durães, J; Costa, D; Madeira, H; Accuracy of the Emulation of Software Faults by Machine-Code Level Errors Supplement of the Int. Conference on Dependable Systems and Networks (DSN-2001) 2001
Costa, Diamantino; Rilho, Tiago; Vieira, M; Madeira, Henrique; ESFFI-A novel technique for the emulation of software faults in COTS Eighth Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems: ECBS 2001: Proceedings: April 17-20, 2001, Washington, DC, USA 197 2001 IEEE
Costa, Diamantino; Rilho, Tiago; Vieira, M; Madeira, Henrique; ESFFI-a novel technique for the emulation of software faults in COTS components”, Eighth Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, 2001., 17-20 April 2001Page (s): 197-204 2001
Madeira, Henrique; Costa, Diamantino; Vieira, Marco; On the emulation of software faults by software fault injection Dependable Systems and Networks, 2000. DSN 2000. Proceedings International Conference on 417-426 2000 IEEE
Costa, Diamantino; Rilho, Tiago; Madeira, Henrique; Joint evaluation of performance and robustness of a COTS DBMS through fault-injection Dependable Systems and Networks, 2000. DSN 2000. Proceedings International Conference on 251-260 2000 IEEE
Bernardino, Jorge; Madeira, Henrique; A new technique to speedup queries in data warehousing Proc. of Chalenges ADBIS-DASFA A Symposium on Advances in Databases and Information Systems 21-32 2000
Bernardino, Jorge; Madeira, Henrique; Data warehousing and OLAP: improving query performance using distributed computing 12th Conference on Advanced Information Systems Engineering. Stockholm, Sweden 2000 Citeseer
Furtado, Pedro; Madeira, Henrique; FCompress: a new technique for queriable compression of facts and datacubes Proceedings 2000 International Database Engineering and Applications Symposium (Cat. No. PR00789) 197-206 2000 IEEE
Furtado and, Pedro; Madeira, Henrique; Data cube compression with quanticubes International Conference on Data Warehousing and Knowledge Discovery 162-167 2000 Springer, Berlin, Heidelberg
Furtado, Pedro; Madeira, Henrique; Vmhist: Efficient multidimensional histograms with improved accuracy International Conference on Data Warehousing and Knowledge Discovery 431-436 2000 Springer, Berlin, Heidelberg
Madeira, H Vieira; M., Costa, D.“On the Emulation of Software Faults by Software Fault Injection.” Proc. of The Int. Conf. on Dependable System and Networks–DSN00, NY, USA 2000
Koopman, Philip; Madeira, Henrique; Dependability benchmarking & prediction: a grand challenge technology problem 1999
Furtado, Pedro; Madeira, Henrique; Analysis of accuracy of data reduction techniques DataWarehousing and Knowledge Discovery 798-798 1999 Springer
Costa, Diamantino; Madeira, Henrique; Experimental assessment of COTS DBMS robustness under transient faults Dependable Computing, 1999. Proceedings. 1999 Pacific Rim International Symposium on 201-208 1999 IEEE
Furtado, Pedro; Madeira, Henrique; Summary grids: building accurate multidimensional histograms Proceedings. 6th International Conference on Advanced Systems for Advanced Applications 187-194 1999 IEEE
Carreira, João; Madeira, Henrique; Silva, João Gabriel; Xception: A technique for the experimental evaluation of dependability in modern computers Software Engineering, IEEE Transactions on 24 2 125-136 1998 IEEE
Carreira, João; Madeira, Henrique; Silva, João Gabriel; Xception: Software fault injection and monitoring in processor functional units Dependable Computing and Fault Tolerant Systems 10 245-266 1998 SPRINGER-VERLAG
Silva, João Gabriel; Prata, Paula; Rela, Mário; Madeira, Henrique; Practical issues in the use of ABFT and a new failure model Fault-Tolerant Computing, 1998. Digest of Papers. Twenty-Eighth Annual International Symposium on 26-35 1998 IEEE
Furtado, Pedro; Madeira, Henrique; Enforcing strong object typing in flexible hypermedia Proceedings of the ninth ACM conference on Hypertext and hypermedia: links, objects, time and space—structure in hypermedia systems: links, objects, time and space—structure in hypermedia systems 171-179 1998
Abraham, Jacob A; Abramovici, Miron; Rob, Aitken; Arlat, Jean; Atiquzzaman, Mohammed; Avresky, Dimitri R; Balakrishnan, Meera; Banerjee, Prithviraj; Bastani, Farokh B; Birman, Ken; List of Reviewers for the Special Issue IEEE TRANSACTIONS ON COMPUTERS 47 1 141 1998
Furtado, Pedro; Madeira, Henrique; A model for intuitive knowledge sharing Database and Expert Systems Applications. 8th International Conference, DEXA’97. Proceedings 570-575 1997 IEEE
Madeira, Henrique; Sanders, William H; Model-and Experiment-Based Evaluation, Part 1 ftcs 270 1997 Published by the IEEE Computer Society
Rela, M Zenha; Madeira, Henrique; Silva, Joao G; Experimental evaluation of the fail-silent behaviour in programs with consistency checks Fault Tolerant Computing, 1996., Proceedings of Annual Symposium on 394-403 1996 IEEE
Silva, Joao G; Carreira, Joao; Madeira, Henrique; Costa, Diamantino; Moreira, P; Experimental assessment of parallel systems Fault Tolerant Computing, 1996., Proceedings of Annual Symposium on 415-424 1996 IEEE
Furtado, Pedro; Madeira, Henrique; Fault injection evaluation of assigned signatures in a RISC Processor Dependable Computing—EDCC-2 55-72 1996 Springer
Silva, JG; Carreira, J; Madeira, H; Costa, D; Moreira, F; ªExperimental Assessment of Parallel Systems º Proc. 1996 Symp. Fault-Tolerant Computing (FTCS) 1996
Dcconinck, Geert; Vounckx, Johan; Lauwereins, Rudy; Altmann, Jorn; Balbach, Frank; A Scalable Implementation of Fault Tolerance for Massively Parallel Systems 1996 IEEE MPCS1996
Rela, Mário Zenha; Madeira, Henrique; Silva, João Gabriel; Experimental Evaluation of the Fail-Silent Behaviour in Programs Proceedings of the Twenty-sixth International Symposium on Fault-Tolerant Computing: June 25-27, 1996, Sendai, Japan 394 1996 IEEE
Silva, João Gabriel; Carreira, João; Madeira, Henrique; Polo, II; ad Wartung 1 Experimental Assessment of Parallel Systems Proceedings of the Twenty-sixth International Symposium on Fault-Tolerant Computing: June 25-27, 1996, Sendai, Japan 415 1996 IEEE
Carreira, João; Madeira, Henrique; Silva, João Gabriel; Assessing the effects of communication faults on parallel applications Computer Performance and Dependability Symposium, 1995. Proceedings., International 214-223 1995 IEEE
Costa, Diamantino; Moreira, Francisco; Madeira, Henrique; Rela, M; Silva, J Gabriel; Experimental evaluation of the impact of processor faults on parallel applications Proceedings. 14th Symposium on Reliable Distributed Systems Oct-19 1995 IEEE
Madeira, Henrique; Carreira, João; Silva, João Gabriel; Injection of faults in complex computers IEEE Workshop on Evaluation Techniques for Dependable Systems 1995
Carreira, J; Madeira, H; Silva, J; Xception: Software fault injection and monitoring in processor functional units, in ‘5th IFIP Working Conference on Dependable Computing for Critical Applications (DCCA-5)’ IFIP Working Group 10 135-149 1995
Carreira, J; Madeira, H; Silva, J; Xception: Software fault injection and monitoring Processor Functional Units, in Pre-prints 5th Int. Working Conf. on Dependable Computing for Critical Applications (DCCA-5),(Urbana-Champaign, IL, USA) 35-49 1995
Carreira, João; Costa, Diamantino; Madeira, Henrique; Silva, J Gabriel; Understanding Communication Faults in Parallel Computers Proc. of the First Conference on Fault Tolerant Systems, ITT Madras, India 1995 Citeseer
Madeira, Henrique; Rela, Mário; Moreira, Francisco; Silva, João; RIFLE: A general purpose pin-level fault injector Dependable Computing—EDCC-1 197-216 1994 Springer
Madeira, Henrique; Silva, Joao G; Experimental evaluation of the fail-silent behavior in computers without error masking Fault-Tolerant Computing, 1994. FTCS-24. Digest of Papers., Twenty-Fourth International Symposium on 350-359 1994 IEEE
Silva, João; Silva, Luís; Madeira, Henrique; Bernardino, Jorge; A fault-tolerant mechanism for simple controllers Dependable Computing—EDCC-1 39-55 1994 Springer
Vounckx, Johan; Deconinck, Geert; Lauwereins, Rudy; Viehöver, G; Wagner, R; Madeira, Henrique; Silva, J; Balbach, Frank; Altmann, Joern; Bieker, Bernd; The FTMPS-project: Design and implementation of fault-tolerance techniques for massively parallel systems High-Performance Computing and Networking 401-406 1994 Springer
Madeira, Henrique Santos do Carmo; Detecção de erros com base no comportamento 1994
Deconinck, Geert; Vounckx, Johan; Cuyvers, Rudi; Lauwereins, Rudy; Bieker, B; Willeke, H; Maehle, E; Hein, A; Balbach, Frank; Altmann, Jörn; Fault tolerance in massively parallel systems Transputer Communications 2 4 241-257 1994 John Wiley & Sons Ltd.
Madeira, Henrique; Rela, Mário; Silvia, JG; Time behavior monitoring as an error detection mechanism Dependable Computing for Critical Applications, Springer-Verlag, JF and RD Schlichting (eds) 1993
Madeira, Henrique; Behaviour based error detection 1993 Phd Thesis, University of Coimbra
Madeira, Henrique; Moreira, F; Rela, M; Furtado, P; Silva, JG; Pin-level fault injection for dependability validation: some research results at the University of Coimbra IEEE Intntl. Workshop on Fault and Error Injection for Dependability Validation of Computer Systems 1993
Madeira, H; Moreira, F; Furtado, P; Rela, M; Silva, JG; Pin-level Fault Injection: Some Research Results at the University of Coimbra Workshop Fault and Error Injection for Dependability Validation, Gothenburg 1993
Madeira, Henrique; Silva, Joao G; On-line signature learning and checking Dependable Computing for Critical Applications, Springer-Verlag, JF and RD Schlichting (eds 6 395-420 1992
Madeira, Henrique; Silva, João Gabriel; On-line signature learning and checking: experimental evaluation CompEuro’91. Advanced Computer Technology, Reliable Systems and Applications. 5th Annual European Computer Conference. Proceedings. 642-646 1991 IEEE
Madeira, Henrique; Camões, José; Silva, João Gabriel; A watchdog processor for concurrent error detection in multiple processor systems Microprocessors and Microsystems 15 3 123-130 1991 Elsevier
Madeira, H; Camoes, J; Silva, JG; Signature verification: a new concept for building simple and effective watchdog processors Electrotechnical Conference, 1991. Proceedings., 6th Mediterranean 1188-1191 vol. 2 1991 IEEE
Fabre, JC; Madeira, H; Silva, JG; Masetti, F; Raffaelli, C; Shapiro, D; Ciaccia, P; Maio, D; Rizzi, S; Calzarossa, M; COMPUTER ARCHITECTURE-FAULT TOLERANCE III Proceedings: advanced computer technology, reliable systems, and applications: 5th Annual European Computer Conference, Bologna, May 13-16, 1991 1991 IEEE Computer Society
Madeira, Henrique; Quadros, Goncalo; Silva, Joao Gabriel; Experimental evaluation of a set of simple error detection mechanisms Microprocessing and Microprogramming 30 01-May 513-520 1990 Elsevier
Madeira, Henrique; Fernandes, Boavida; Rela, Mário; Silva, João G; The fault-tolerant architecture of the safe system Microprocessing and Microprogramming 27 01-May 705-712 1989 Elsevier