[IEEE Comput. Soc. Press 24th International Symposium on Multiple-Valued Logic (ISMVL'94) - Boston, MA, USA (25-27 May 1994)] Proceedings of 24th International Symposium on Multiple-Valued Logic (ISMVL'94) - On T-quantifiers and S-quantifiersThiele, H. · 1994

Xception: a technique for the experimental evaluation of dependability in modern computersCarreira, J.; Madeira, H.; Silva, J.G. · 1998

[IEEE 6th Mediterranean Electrotechnical Conference - LJubljana, Slovenia (22-24 May 1991)] [1991 Proceedings] 6th Mediterranean Electrotechnical Conference - Signature verification: a new concept for building simple and effective watchdog processorsMadeira, H.; Camoes, J.; Silva, J.G. · 1991

[IEEE Comput. Soc. Press [1991] Advanced Computer Technology, Reliable Systems and Applications - Bologna, Italy (13-16 May 1991)] [1991] Proceedings, Advanced Computer Technology, Reliable Systems and Applications - On-line signature learning and checking: experimental evaluationMadeira, H.; Silva, J.G. · 1991

[IEEE Comput. Soc. Press 1995 IEEE International Computer Performance and Dependability Symposium - Erlangen, Germany (24-26 April 1995)] Proceedings of 1995 IEEE International Computer Performance and Dependability Symposium - Assessing the effects of communication faults on parallel applicationsCarreira, J.; Madeira, H.; Silva, J.G. · 1995

[IEEE Comput. Soc. Press Annual Symposium on Fault Tolerant Computing - Sendai, Japan (25-27 June 1996)] Proceedings of Annual Symposium on Fault Tolerant Computing - Experimental evaluation of the fail-silent behaviour in programs with consistency checksRela, M.Z.; Madeira, H.; Silva, J.G. · 1996