Selected Papers
Note: Please, send me an email if the paper you want is not available for download in this page <henrique@dei.uc.pt>
2007
·
Towards
Timely ACID Transactions in DBMS, M. Vieira, A. Costa, and H. Madeira, the 12th International
Conference on Database Systems for Advanced Applications (DASFAA 2007),
· Verification and Validation of (Real Time) COTS Products using Fault Injection Techniques, R. Barbosa, N. Silva, J. Durães, H. Madeira, 6th IEEE International Conference on COTS-based Software Systems, Alberta, Canada, 26 de February 2 - March 2007.
·
Dependability
Benchmarking of Web-Servers, João Durães, Marco Vieira e Henrique
Madeira, Chapter of the book “White Book on Dependability
Benchmarking”, Lisa Spainhower & Karama Kanoun Eds., IEEE Computer
Society, to appear in 2007.
·
Dependability
Benchmarks for OLTP System, Marco Vieira, João Durães e Henrique
Madeira, Chapter of the book “White Book on Dependability
Benchmarking”, Lisa Spainhower & Karama Kanoun Eds., IEEE Computer
Society, to appear in 2007.
2006
·
Emulation
of Software Faults: A Field Data Study and a Practical Approach, João
A. Durães and Henrique S. Madeira, IEEE Transactions on Software Engineering,
Vol. 32, No. 11, November 2006, pp. 849-867.
·
Jaca Tool Improvements for Speeding Up Fault Injection Campaigns,
Naaliel Mendes, Regina Moraes, Eliane Martins, Henrique Madeira, Brazilian
Symposium on Software Engineering, Florianópolis,
Brazil, October 16-20, 2006.
·
Do
injected component interface faults represent software bugs?, R.
Moraes, R. Barbosa, J. Durães, N. Mendes, E. Martins, H. Madeira, 6th European
Dependable Computing Conference – EDCC-6, Coimbra, Portugal, October
2006.
·
Software
Aging and Rejuvenation in a SOAP-based Server, Luís Silva, Henrique
Madeira, João Gabriel Silva, the 5th IEEE International Symposium on Network
Computing and Applications (IEEE NCA06), July 24 - 26, Cambridge, MA, USA,
2006.
·
A
field data study on the use of software metrics to define representative fault
distribution, R. Moraes, J. Durães, E. Martins, H. Madeira, Workshop
on Empirical Evaluation of Dependability and Security (WEEDS), IEEE/IFIP
International Conference on Dependable Systems and Networks, (DSN-2006),
·
An
Empirical Approach to Assess Software Off-The-Shelf Components Using Fault
Injection, Ricardo Barbosa, Diamantino
Costa e Henrique Madeira, International Conference on Data Systems in
Aerospace, DASIA 2006, Berlin, Germany, May 22-25, 2006.
·
Melhorando a Dependabilidade
de Componentes com o uso de Wrappers, Naaliel Mendes, Regina Moraes, Eliane
Martins e Henrique Madeira, VII Workshop de Testes e
Tolerância a Falhas, Curitiba, Brasil, May 29, 2006.
2005
·
Robust
Assertions and Fail-Bounded Behavior, Paula Prata, Mário Rela,
Henrique Madeira, João Gabriel Silva, Special Issue on Dependable Computing of the Journal
of the Brazilian Computer Society, 2005.
·
Detection
of malicious transactions in DBMS, Marco Vieira, Henrique Madeira, the
11th IEEE International Symposium Pacific Rim Dependable Computing, PRDC2005, Changsha, Hunan, China, December-2005.
·
Efficient
compression of text attributes of data warehouse dimensions, Jorge
Vieira, Jorge Bernardino, Henrique Madeira, 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.
·
Xception fault injection and robustness testing framework: a case-study of
testing RTEMS,
Ricardo Maia, Luis Henriques, Ricardo Barbosa, Diamantino
Costa, Henrique Madeira, VI Test and Fault Tolerance Workshop, jointly
organized with the 23rd Brazilian Symposium on Computer Networks (SBRC),
·
TACID
Transactions, Marco Vieira, António Casimiro Costa, and Henrique
Madeira, 1st Workshop on Hot Topics in System Dependability (HotDep-05),
·
Towards
a security benchmark for Database Management Systems, Marco Vieira
and Henrique Madeira, IEEE/IFIP International Conference on Dependable Systems
and Networks, Performance and Dependability Symposium, DSN-PDS 2005, Yokohama,
Japan, June 28 to July 1, 2005.
·
DBench (Dependability Benchmarking, Karama Kanoun, Henrique
Madeira, Mario Dal Cin,
Francisco Moreira, and Juan Carlos Ruiz García, Fifth
European Dependable Computing Conference (EDCC-5), Budapest, Hungary,
April-2005.
· A Data Mining Approach to Identify Key Factors in Dependability Experiments, G. Pintér, Henrique Madeira, Marco Vieira, A. Pataricza, I. Majzik, Fifth European Dependable Computing Conference (EDCC-5), Budapest, Hungary, April-2005.
2004
· Experimental Dependability Evaluation, João Gabriel Silva and Henrique Madeira, Dependable Computing Systems: Paradigms, Performance Issues, and Applications, Edited by Hassan B. Diab, Albert Y. Zomaya, 2004 Wiley & Sons, Inc, 2004.
· How to Specify Dependability Benchmarks for OLTP Application Environments, Marco Vieira, João Durães, Henrique Madeira, IX Conference on Software Engineering and Databases (JISBD 2004), Malaga, Spain, November-2004.
·
Handling
big dimensions in distributed data warehouses using the DWS technique, Marco Costa e Henrique Madeira, ACM Seventh International
Workshop on Data Warehousing and OLAP, DOLAP 2004,
· Portable Faultloads Based on Operator Faults for DBMS Dependability Benchmarking, Marco Vieira and Henrique Madeira, the IEEE 28th Annual International Computer Software and Applications Conference, Hong-Kong, PRC, September 28-30, 2004.
· Dependability Benchmarking of Web-Servers, João Durães, Marco Vieira, and Henrique Madeira, "The 23rd International Conference of Computer Safety, Reliability and Security, SAFECOMP 2004, Potsdam, Germany, September 21-24, 2004.
· Web-server Availability from the End-user Viewpoint: a Comparative Study, João Durães, Henrique Madeira, (Fast Abstract), IEEE/IFIP International Conference on Dependable Systems and Networks - Dependable Computing and Communications, DSN-DCCS 2004, Florence, Italy, June-2004
·
Timely
ACID Transactions in DBMS, Marco Vieira, António Costa, Henrique
Madeira, (Fast Abstract), IEEE/IFIP
International Conference on Dependable Systems and Networks, DSN-2004,
· Generic Faultloads Based on Software Faults for Dependability Benchmarking, João Durães and Henrique Madeira, IEEE/IFIP International Conference on Dependable Systems and Networks, Dependable Computing and Communications, DSN-DCC 2004, Florence, Italy, June 28 to July 1, 2004.
2003
· Multidimensional Characterization of the Impact of Faulty Drivers on the Operating Systems Behavior, J. Durães and H. Madeira, Special Issue on Dependable Computing of the Transactions of IEICE (Institute of the Electronics, Information and Communication Engineers) Journal, Japan, December 2003.
·
iGen: plataforma
de geração de código com ciclo de desenvolvimento completo, A. Marques, B. Rino, and H. Madeira, 8th Conference on Software Engineering and Databases, Alicante, Spain, November 12-14, 2003.
· A middle layer for distributed data warehouses using the DWS-AQA technique, M. Costa, J. Vieira, J. Bernardino, P. Furtado, and H. Madeira, 8th Conference on Software Engineering and Databases, Alicante, Spain, November 12-14, 2003.
· Emulation of Software Faults: Representativeness and Usefulness, H. Madeira, J. Durães, and M. Vieira, First Latin-American Symposium on Dependable Computing, São Paulo, Brasil, 21 a 24 de Outubro de 2003 (invited paper).
· Plug and Play Fault Injector for Dependability Benchmarking, P. Costa, M. Vieira, H. Madeira, and J. Gabriel Silva, First Latin-American Symposium on Dependable Computing, São Paulo, Brasil, October 21-24, 2003.
· A Dependability Benchmark for OLTP Application Environments, M. Vieira and H. Madeira, Proc. of the 29th International Conference on Very Large Databases, VLDB 2003, Berlim, Germany, September 9-12, 2003.
· Software Implemented Fault injection: the XceptionTM approach, D. Costa, H. Madeira, J. Carreira, J. Gabriel, chapter of the book “Fault Injection Technique and Tools for VLSI Reliability Evaluation”, Alfredo Benso and Paolo Prineto Eds., Kluwer Academic Publisher, October 2003.
· Definition of Software Fault Emulation Operators: a Field Data Study, J. Durães and H. Madeira, Proc. IEEE/IFIP International Conference on Dependable Systems and Networks, DSN-DCC 2003, San Francisco, CA, USA, June 2003.
· Joint Evaluation of Recovery and Performance of a COTS DBMS in the Presence of Operator, M. Vieira and H. Madeira, Performance Evaluation Journal, Elsevier Science Publication, fall 2003.
· The OLAP and Data Warehousing Approaches for Analysis and Sharing of Results from Dependability Evaluation Experiments", H. Madeira, J. Costa, and M. Vieira, Proc. IEEE/IFIP International Conference on Dependable Systems and Networks, DSN-DCC 2003, San Francisco, CA, USA, June 2003.
·
Benchmarking
the Dependability of Different OLTP Systems, M. Vieira and H.
Madeira, Proc. IEEE/IFIP International Conference on Dependable Systems and
Networks, DSN-DCC 2003,
2002
· Approximate Query Answering Using Data Warehouse Striping, Jorge Bernardino, Pedro Furtado e Henrique Madeira, "Journal of Intelligent Information Systems- Integrating Artificial Intelligence and Database Technologies", Volume 19, Issue 2, Elsevier Science Publication, September 2002.
·
Characterization
of Operating Systems Behavior in the Presence of Faulty Drivers Through
Software Fault Emulation”, J. Durães and H. Madeira, paper accepted
for the Pacific Rim International Symposium on Dependable Computing (PRDC2002),
·
Definition
of Faultloads Based on Operator Faults for DMBS
Recovery Benchmarking, M. Vieira and H. Madeira, paper accepted for
the Pacific Rim International Symposium on Dependable Computing (PRDC2002),
·
Emulation
of software faults by selective mutations at machine-code level, J.
Durães and H. Madeira, paper accepted for the 13th IEEE International Symposium
on Software Reliability Engineering. ISSRE 2002
·
Adding
a performance-oriented perspective to data warehouse design, Pedro
Bizarro and Henrique Madeira, 4th International
Conference on Data Warehousing and Knowledge Discovery - DaWaK
2002 ,
· DWS-AQA: A Cost Effective Approach for Very Large Data Warehouses, Jorge Bernardino, Pedro Furtado, and Henrique Madeira, paper accepted at the International Database Engineering & Applications Symposium, IDEAS'02, Edmonton, Canada, July 17-19, 2002.
· Experimental evaluation of a COTS system for space applications, Henrique Madeira, Raphael R.Some (Jet Propulsion Laboratory, Pasadena, CA, EUA), F. Moreira, D. Costa (Critical Software, Coimbra), and David Rennels (Univ. Calif. Los Angeles, CA, EUA), IEEE/IFIP International Conference on Dependable Systems and Networks, DSN-2002, Bethesda, Maryland, USA, June 23-26, 2002.
· Recovery and Performance Balance of a COTS DBMS in the Presence of Operator Faults, Marco Vieira and Henrique Madeira, IEEE/IFIP International Performance and Dependability Symposium, IPDS 2002 (jointly organized with the International Conference on Dependable Systems and Networks, DSN-2002), Bethesda, Maryland, USA, June 23-26, 2002.
· A Preliminary Framework for Dependability Benchmarking, Karama Kanoun, Jean Arlat, and Henrique Madeira, Workshop on Dependability Benchmarking, (jointly organized with the IEEE/IFIP International Conference on Dependable Systems and Networks, DSN-2002), Bethesda, Maryland, USA, June 25, 2002.
2001
· A new index for data warehouses, Pedro Bizarro and Henrique Madeira, XVI Brazilian Symposium on Databases (SBBD2001), Rio de Janeiro, Brazil, October 1-3, 2001.
· DBench: Dependability Benchmarking, K. Kanoun, J. Arlat, D. Costa, M. Dal Cin, P. Gil, J-C. Laprie, H. Madeira, and N. Suri, in Supplement of the IEEE/IFIP Int. Conference on Dependable Systems and Networks, DSN-2001, Chalmers University of Technology, Göteborg, Sweden, 2001, pp. D.12-D.15.
· Accuracy of the Emulation of Software Faults by Machine-Code Level Errors, J. Durães, D. Costa and H. Madeira, in Supplement of the IEEE/IFIP Int. Conference on Dependable Systems and Networks (DSN-2001), (Göteborg, Sweden), pp. B.92-B.93, Chalmers University of Technology, Göteborg, Sweden, 2001.
· Optimization of Performance and Recovery of Database Systems in The Presence of Operation Faults, M. Vieira, D. Costa, and H. Madeira, in Supplement of the IEEE/IFIP Int. Conference on Dependable Systems and Networks (DSN-2001), (Göteborg, Sweden), pp. B102-B103, Chalmers University of Technology, Göteborg, Sweden, 2001.
· Dependability Benchmarking: making choices in an n-dimensional problem space, Henrique Madeira and Philip Koopman, paper accepted for presentation at the First Workshop on Evaluating and Architecting System dependability (EASY), organized in conjunction with the ACM/IEEE 28th International Symposium on Computer Architecture (ISCA) and the IEEE International Conference on Dependable Systems and Networks (DSN), Gothenburg, Sweden, July 1, 2001.
·
Approximate
Query Answering Using Data Warehouse Striping, Jorge Bernardino, Pedro Furtado, and Henrique Madeira, Dawak'01, 3rd International Conference on
Data Warehousing and Knowledge Discovery, Dawak'01,
· Experimental Evaluation of a New Distributed Partitioning Technique for Data Warehouses, Jorge Bernardino and Henrique Madeira, IDEAS'2001, International Database Engineering and Applications Symposium, Grenoble, France, July 16-20, 2001.
· ESFFI - A novel technique for the Emulation of Software Faults in COTS Components, Diamantino Costa, Tiago Rilho, and Henrique Madeira, 8th Ann. IEEE Int'l Conference on the Eng. of Computer-Based Systems, ECBS 2001, Washington, D.C., April 17-20, 20001.
2000
· FCompress: A New Technique for Queriable Compression of Facts and Datacubes, Pedro Furtado and Henrique Madeira, IDEAS’2000, International Database Engineering and Applications Symposium, Yokohama, Japan, September 18 - 20, 2000.
·
A
New Technique to Speedup Queries in Data Warehousing, Jorge
Bernardino and Henrique Madeira, ABDIS-DASFA, Symposium on Advances in
Databases and Information Systems - Enlarged Fourth East-European Conference on
Advances in Databases and Information Systems, Praga,
· On the Emulation of Software Faults by Software Fault Injection, Henrique Madeira, Marco Vieira and Diamantino Costa, IEEE/IFIP International Conference on Dependable Systems and Networks – DSN (FTCS-30 e DCCA-8), New York, USA, June 25 - 28, 2000;
· Joint Evaluation of Performance and Robustness of a COTS DBMS Through Fault-Injection, Diamantino Costa, Tiago Rilho, and Henrique Madeira, IEEE/IFIP International Conference on Dependable Systems and Networks – DSN (FTCS-30 e DCCA-8), New York, USA, June 25-28, 2000.
· Data Cube Compression with QuantiCubes, P. Furtado and H. Madeira, 2nd International Conference on Data Warehousing and Knowledge Discovery, Dawak'00, Greenwich, United Kingdom, June, 2000
· VMHIST: Improved Adaptable Multidimensional Histograms, P. Furtado e H. Madeira, 2nd International Conference on Data Warehousing and Knowledge Discovery, Dawak'00, Greenwich, United Kingdom, June, 2000.
·
Run-time
software implemented fault-injection: an approach to emulate software faults in
COTS, Henrique Madeira and Diamantino Costa, 11th European Workshop on Dependable
Computing”,
1999
·
Dependability Benchmarking &
Prediction: A Grand Challenge Technology Problem, Phillip Koopman
and H. Madeira, 1st IEEE International Workshop on Real-Time
Mission-Critical Systems: Grand Challenge Problems;
· Experimental Assessment of COTS DBMS Robustness under Transient Faults, Diamantino Costa and Henrique Madeira, PRDC'99, Pacific Rim Dependable Computing, Hong Kong, 1999.
· Analysis of Accuracy of Data Reduction Techniques, P. Furtado and H. Madeira, First International Conference on Data Warehousing and Knowledge Discovery, Lecture Notes in Computer Science (LNCS), Springer Verlag, August 30 to September 1, 1999, Florence, Italy.
· Summary Grids: Building Accurate Multidimensional Histograms, P. Furtado and H. Madeira, proceedings of Dasfaa'99 - 6th Int. Conference on Database Systems for Advanced Applications, Taiwan, May, 1999.
1998
· WorldView: A System for Information Merging and Sharing, Pedro Furtado, Paula Gonçalves, Paulo Ferro e Henrique Madeira, World Conference on Educational Multimedia and Hypermedia, ED-MEDIA, Freiburg, Germany, July 20 - 25, 1998.
·
Enforcing Strong Typing in Flexible
Hypermedia Systems, Pedro Furtado and Henrique
Madeira, proceedings of ACM Internation Conference on
Hypertext 98,
· Xception: Software Fault Injection and Monitoring in Processor Functional Units, J. Carreira, H. Madeira e João Gabriel Silva, Dependable Computing for Critical Applications 5, R.K.Iyer, M.Morganti, W.K.Fuchs, V.Gligor (Eds), IEEE Computer Society Press, 1998, ISBN 0-8186-7803-8, pp. 245-265 (extended version of the paper published at the 5th IFIP Working Conference on Dependable Computing for Critical Applications, Urbana-Champaign, Illinois, USA, September 27-29, 1995).
·
Practical
Issues in the Use of ABFT and a new Failure Model,
João Gabriel Silva, Paula Prata, Mário Rela and Henrique Madeira,
proceedings of the 28th Annual International Symposium on Fault-Tolerant
Computing Symposium, FTCS-28, June 1998,
· Xception: Software Fault Injection and Monitoring in Processor Functional Units, João Carreira, Henrique Madeira e João Gabriel Silva, IEEE Transactions on Software Engeenering, Vol.24, No.2, February 1998.
1997
· A model for intuitive knowledge sharing, P. Furtado and H. Madeira, Workshop of International Conference on Database and Expert System Application, Toulouse, September 1-5, 1997.
·
Validação Experimental dos Mecanismos de
Detecção de Erros do Computador de Bordo do Satélite SSR, A. C. Pereira, H. Madeira, A. Paula, VII
Simpósio de Computadores Tolerantes a Falhas, VII SCTF, Campo Alegre, Brazil, July 2-4, 1997 (abstract in english);
1996
· Fault Injection Evaluation os Assigned Signatures in a RISC Processor, P. Furtado and H. Madeira 2nd European Dependable Computing Conference- EDCC-2, Taormina, Italy, Oct., 2 to 4, 1996.
· Fault Tolerance in Parallel Systems, · J. G. Silva, H. Madeira, J. Carreira, D. Costa and F. Moreira, IEEE 26th Fault Tolerant Computing Symposium, FTCS-26, Sendai, Japan, June, 25 to 27, 1996 ( abstract, ftcs96a.ps.Z);
· Experimental Evaluation of the Fail Silent Behavior in Programs with Consistency Checks, M. Rela, H. Madeira e J. G. Silva, IEEE 26th Fault Tolerant Computing Symposium, FTCS-26, Sendai, Japan, June, 25 to 27, 1996 (abstract, ftcs96b.ps.Z);
· A scalable implementation of fault tolerance for massively parallel systems, G. Deconinck, J. Vounckx, R. Lauwereins, J. G. Silva, H. Madeira, J. Altmann, F. Balbach, M. Dal Cin, B. Bieker e E. Maehle, 2nd IEEE International Conference on Massively Parallel Computing Systems, MPCS'96, Ischia, Italy, May, 6 to 9, 1996.
1995
· Understanding Communications Faults in Parallel Computers, J. Carreira, D. Costa, H. Madeira, and J. G. Silva, Fault-Tolerant Systems and Software, Ed. Ravi Mittal, C. Muthukrishana e V. Bhatkar, Narosa Publishing House, 1995, pp. 158-164 (abstract, fts95.ps.Z).
· Xception: Software Fault Injection and Monitoring in Processor Functional Units, J. Carreira, H. Madeira, and J. G. Silva, proc. Fifth IFIP Working Conference on Dependable Computing for Critical Applications, DCCA-5, Urbana-Champaign, Illinois, EUA, Sept., 27 to 29, 1995 (the proceedings of DCCA-5 will be published in book by Spriger-Verlag) (abstract, dcca95.ps.Z).
· Injection of faults in complex computers, H. Madeira, J. Carreira, and J. G. Silva, Fourth IEEE International Workshop on Evaluation Techniques for Dependable Systems, San Antonio, Texas, EUA, Oct., 2 to 3, 1995 (wetds95.ps.Z).
·
Experimental
Evaluation of the Impact of Processor Faults on Parallel Applications,
D.Costa, F.Moreira, H.Madeira, M.Rela and João
Gabriel Silva, proc. of 14th IEEE Symposium on Reliable Distributed Systems, SRDS-14,
Bad Neuenahr,
·
Assessing
the Effects of Communication Faults on Parallel Applications, J.
Carreira, H. Madeira, J. G. Silva, proceedings do 1st IEEE International
Computer Performance and Dependability Symposium (IPDS'95),
1994
· Experimental evaluation of the fail-silent behavior in computers without error masking, H. Madeira e J. G. Silva, proceedings do IEEE 24th Fault Tolerant Computing Symposium, FTCS 24, Austin, USA, June, 1994, pp. 350-359 (abstract3, ftcs94.ps.Z);
· RIFLE: a general purpose pin-level fault injector, H. Madeira, M. Rela, F. Moreira e J. G. Silva, in "Dependable Computing - EDCC-1", Klaus Echtle, Dieter Hammer, David Powell (Eds.) Lecture Notes in Computer Science 852, Springer Verlag, 1994, pp. 199-216 (abstract, edcc94.ps.Z) ;
· Fault-Tolerance in a Massively Parallel System, J. Vounckx, B. Bieker, A. Hein, J. G. Silva, H. Madeira, et al., Transputer Communications, Vol 2(4), John Wiley and Sons, December 1994, pp. 241-257. .
· The FTMPS-Project: Design and Implementation of Fault-Tolerance Techniques for Massively Parallel Systems, J. Vounckx, G. Deconinck, R. Lauwereins, G. Viehvver, R. Wagner, H. Madeira, J. G. Silva, F. Balbach, J. Altmann, B. Bieker, H. Willeke, Proceedings of the HPCN conference, Lecture Notes in Computer Science 797, Springer Verlag, Munich, 18-20, April 1994, pp. 401-408;
· A fault tolerant mechanism for simple controllers, J. G. Silva, L. Silva, H. Madeira e J. Bernardino, in "Dependable Computing - EDCC-1", Klaus Echtle, Dieter Hammer, David Powell (Eds.) Lecture Notes in Computer Science 852, Springer Verlag, 1994, pp. 39-55.
1992
· On-line Signature Learning and Checking, Henrique Madeira e João Gabriel Silva, in J.F.Meyer, R.D. Schlichting Eds., "Dependable Computing for Critical Applications 2" Vol 6 in the series "Dependable Computing and Faul-Tolerance", Springer Verlag, Wien, 1992, ISBN 3-211-82330-1 (extended version of the paper published at the 2nd IFIP Working Conference on Dependable Computing for Critical Applications, Tucson, Arizona, USA, February 18-20, 1991)
·
Time
Behaviour Monitoring as an Error Detection Mechanism,
H. Madeira, M. Rela, P. Furtado, and J. G. Silva, Preprints da 3nd IFIP Working Conference on Dependable Computing for
Critical Applications, DCCA-3, Mondello,
1991
· On-line Signature Learning and Checking, H. Madeira, J. Gabriel Silva, 2nd IFIP Working Conference on Dependable Computing for Critical Applications, Tucson, Arizona, USA, February 18-20, 1991.
· On-line Signature Learning and Checking: experimental evaluation and results, H. Madeira e J. Gabriel Silva, proceedings de IEEE CompEuro 91: Advanced Computer Technology, Reliable Systems and Applications, Bolonha, Italy, May, 13 to 16, 1991, pp.642-646.
· A Watchdog Processor for Concurrent Error Detection in Multiple Processor Systems, Henrique Madeira, José Camões e João Gabriel Silva, in Microprocessors and Microsystems, Vol. 15, n.3, April, 1991, pp 123-130, Butterworth & Heinemann Ltd.
· Signature Verification: a New Concept for Building Simple and Effective Watchdog Processors, H. Madeira, J. Camões e J. Gabriel Silva, Proceedings of the IEEE Mediterranean Electrotechnical Conference, Melecon'91, Ljubliana, Jugoslávia, May, 22 to 24, 1991, pp 1188-1191.
1990
· Experimental Evaluation of a Set of Simple Error Detection Mechanisms, H. Madeira, G. Quadros and J. G. Silva, Microprocessing and Microprogramming, The EUROMICRO Journal, Vol. 30, nº 1-5, pp 513-520, Aug., 1990, North-Holland.
· An Integrated Approach to the Management Needs of reliable communication systems, F. Fernandes, H. Madeira, M. Rela, J. G. Silva, IEEE Network Operations and Management Symposium, 14.1-1 a 14.1-10, San Diego, USA, February 11-14, 1990.
1989
· The fault-tolerant architecture of the SAFE system, H. Madeira, B. Fernandes, M. Rela, J. G. Silva, Microprocessing and Microprogramming, The EUROMICRO Journal, Vol. 27, nº 1-5, pp 705-712, Sept., 1989, North-Holland..