Journal Articles 1999(1 publication) [publication]Carreira, J. and Costa, D. and Silva, J.G. , "Fault-Injection spot-checks computer system dependability", IEEE Spectrum, vol. 36, pp. 50-55, 1999 [citation][year=2008]Michael Le, Andrew Gallagher, Yuval Tamir, "Challenges and Opportunities with Fault Injection in Virtualized Systems?, First International Wor kshop on Virtualization Performance: Analysis, Characterization, and Tools, Austin, Texas, April 200 [citation][year=2003]Jarboui T, Arlat J, Crouzet Y, et al. "Impact of internal and external software faults on the Linux kernel" IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS E86D (12): 2571-2578 DEC 2003. [citation][year=2003]Jean Arlat, Yves Crouzet, Johan Karlsson, Peter Folkesson, Emmerich Fuchs, Günther Leber "Comparison of Physical and Software-Implemented Fault Injection Techniques" IEEE Transactions on Computers, Vol 52, No. 9, September 2003, pp. 1115-1133. [citation][year=2002]Jarboui, T.; Arlat, J.; Crouzet, Y.; Kanoun, K.; Marteau, T.; "Analysis of the effects of real and injected software faults: Linux as a case study" Dependable Computing, 2002. Proceedings. 2002 Pacific Rim International Symposium on , 16-18 Dec. 2002, Pages:51 - 58. [citation][year=2002]Jarboui, T.; Arlat, J.; Crouzet, Y.; Kanoun, K.; "Experimental analysis of the errors induced into Linux by three fault injection techniques" Dependable Systems and Networks, 2002. Proceedings. International Conference on , 23-26 June 2002, Pages:331 - 336. [citation][year=2002]Yangyang Yu, Barry W. Johnson, "A Perspective on the State of Research on Fault Injection Techniques", Center for Safety Critical Systems Departments of Electrical and Computer Engineer and Computer Science The University of Virginia Technical Report UVA-CSCS-FIT-001 Prepared for U.S. Nuclear Regulatory Commission, May 2002. [citation][year=2002]David Patterson, Aaron Brown, Pete Broadwell, George Candea, Mike Chen, James Cutler, Patricia Enriquez, Armando Fox, Emre Kıcıman, Matthew Merzbacher, David Oppenheimer, Naveen Sastry, William Tetzlaff, Jonathan Traupman, and Noah Treuhaft, "Recovery Oriented Computing (ROC): Motivation, Definition, Techniques, and Case Studies" Computer Science Technical Report UCB//CSD-02-1175, U.C. Berkeley, March 15, 2002 [citation][year=2002]Arlat, J.; Fabre, J.-C.; Rodriguez, M.; "Dependability of COTS microkernel-based systems" IEEE Transactions on Computers, Volume: 51 , Issue: 2 , Pages:138 - 163, Feb 2002 [citation][year=2002]Jean Arlat "From Experimental Assessment of Fault-Tolerant Systems to Dependability Benchmarking" Proceedings of the International Parallel and Distributed Processing Symposium (IPDPS'02) 2002, 15 - 19 April 2002, Fort Lauderdale, Florida. [citation][year=2001]Kaksonen, Rauli , "A functional method for assessing protocol implementation security" 2001. VTT Electronics, Espoo. 128 p. + app. 15 p., VTT Publications : 448, ISBN 951-38-5873-1; 951-38-5874-X [citation][year=2001]Brown, A. and D.A. Patterson. "Towards Availability and Maintainability Benchmarks: A Case Study of Software RAID Systems."MSc Thesis, Report No. UCB//CSD-01-1132, January 2001, Computer Science Division (EECS), University of California. [citation][year=2000]Benso, A.; Martinetto, S.; Prinetto, P.; Mariani, R.; "A SEU injection tool to evaluate DSP-based architectures for space applications" International Conference on Computer Design, 2000. Proceedings. 2000, 17-20 Sept. 2000, Pages:537 - 538. [citation][year=2000]Aaron B. Brown and David A. Patterson "Towards Availability Benchmarks: A Case Study of Software RAID Systems" Proceedings of the 2000 USENIX Annual Technical Conference, San Diego, CA, June 2000. [citation][year=2000]Jeff Voas "A Tutorial on Software Fault Injection" IEEE Spectrum, 2000 [citation][year=2000]Jean-Baptiste Boullié, Michel Brun "A New Rolling Stock Architecture Using Safety Computers and Networks" Proc. of DSN-2000 - The International Conference on Dependable Systems and Networks (FTCS-30, DCCA-8), 25-28 June 2000, New York, USA, IEEE Computer Society Press, ISBN 0-7695-0707-7, pp. 157-162. 1998(1 publication) [publication]Carreira, J. and Madeira, H. and Silva, J.G. , "Xception: A technique for the evaluation of dependability in modern Computers", IEEE Transactions on Software Engineering, vol. 24, pp. 125-136, 1998 [citation][year=2009]Mithun Puthige Acharya, "Mining API Specifications from Source Code for Improving Software Reliability?, PhD Thesis North Carolina State University, EUA, 2009 [citation][year=2009]Thomas Naughton, Wesley Bland, Geoffroy Vallee, Christian Engelmann, Stephen L. Scott , "Fault injection framework for system resilience evaluation: fake faults for finding future failures?, High Performance Distributed Computing, Proceedings of the 2009 workshop on Resiliency in high performance, Garching, Germany, 2009 [citation][year=2008]Olivier Faurax, "ÿvaluation par simulation de la sécurité des circuits face aux attaques par faute?, Tese de doutoramento, l"Université de la Méditerranée, 2008 [citation][year=2008]Pierre Vanhauwaert, "Analyse de Surete par Injection de Fautes Dans un Environnement de Prototypage a Base de FPGA?, PhD thesis, Institut Polytechnique de Grenoble, 2008 [citation][year=2008]Alexander Gordeyev, Vyacheslav Kharchenko, Anton Andrashov, Boris Konorev, Vladimir Sklyar, and Artem Boyarchuk, "Case-based software reliability assessmentby fault injection unified procedures?, SEESE '08: ACM Proceedings of the 2008 international workshop on Software Engineering in east and south Europe, Leipzig, Germany, 2008 [citation][year=2008]A. Da Silva J. F. Martínez L. López A. B. García V. Hernández, "XML schema based faultset definition to improve faults injection tools interoperability?, Third International Conference on Dependability of Computer Systems DepCoS-RELCOMEX 2008 [citation][year=2008]Lakshmi N. Bairavasundaram, Meenali Rungta, Nitin Agrawal, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau, Michael M. Swift, "Analyzing the Effects of Disk-Pointer Corruption?, Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'08), Anchorage, AK, USA, June 2008 [citation][year=2008]Michael Le, Andrew Gallagher, Yuval Tamir, "Challenges and Opportunities with Fault Injection in Virtualized Systems?, First International Wor kshop on Virtualization Performance: Analysis, Characterization, and Tools, Austin, Texas, April 2008 [citation][year=2008]Andreas Johansson, "Robustness Evaluation of Operating Systems?, PhD thesis, Darmstadt University, 2008. [citation][year=2008]Gabriella Carrozza, "Software Faults Diagnosis in Complex, OTS-Based, Critical Systems?, PhD Thesis, "FEDERICO II? University of Naples, Naples, Italy, November, 2008. [citation][year=2008]Ang Jin, Jianhui Jiang, Jiawei Hu, Jungang Lou, "A PIN-Based Dynamic Software Fault Injection System", The 9th International Conference for Young Computer Scientists, ICYCS 2008, pp.2160-2167, 18-21 November, 2008. [citation][year=2007]S. Potyra, V. Sieh, M. Dal Cin, "Evaluating fault-tolerant system designs using FAUmachine?, ACM Proceedings of the 2007 workshop on Engineering Fault Tolerant Systems, Dubrovnik, Croatia, 2007. [citation][year=2007]WU Lei, LI Xin-ke, WANG Hong, "Research on the Reliability Testing of Web Services Based on Fault Injection Technology?, Journal of Chinese Computer Systems, Vo1 28, No1, 2007. [citation][year=2007]Marta Portela García, "Técnicas de inyección de fallos basadas en FPGAs para la evaluación de la tolerancia a fallos de tipo SEU en circuitos digitales?, tese de doutoramento, Universidad Carlos III de Madrid, 2007 [citation][year=2007]David de Andrés Martínez, "Speeding-Up Model-Based Fault Injection of Deep-Submicron Cmos Fault Models Through Dynamic and Partially Reconfigurable FPGAS?, PhD Thesis, University of Valencia, 2007 [citation][year=2007]Antonio da Silva, José-F Martínez, Lourdes López, Luís Redondo, "Exhaustif®: a fault injection tool for distributed heterogeneous embedded systems?, Proceedings of the 2007 Euro American conference on Telematics and Information Systems, ACM, Faro, Portugal, 2007 [citation][year=2007]LI Ai-guo, HONG Bing-rong, WAN Si, "SAVIE: An environment for identifying vulnerabilities in software?, Journal of Communication and Computer, ISSN1548-7709, Volume 4, No.5 (Serial No.30), USA, May 2007 [citation][year=2007]Cyrille Artho, Armin Biere, and Shinichi Honiden, "Exhaustive Testing of Exception Handlers with Enforcer?, Lecture Notes in Computer Science, Springer Berlin / Heidelberg, Volume 4709/2007, book Formal Methods for Components and Objects, 2007. [citation][year=2007]Daniel Larsson and Reiner Hähnle, "Symbolic Fault Injection?, VERIFY'07, colocated with Conference on Automated Deduction (CADE), Bremen, Germany, 2007. [citation][year=2007]E. Touloupis, J. A. Flint, V. A. Chouliaras, and D. Ward, "Study of the Effects of SEU-Induced Faults on a Pipeline Protected Microprocessor?, IEEE Transactions on Computers, Vol. 56, issue 12, December 2007. [citation][year=2007]M. Portela-Garcia, C. Lopez-Ongil, M. Garcia-Valderas "A Rapid Fault Injection Approach for Measuring SEU Sensitivity in Complex Processors?, 13th IEEE International On-Line Testing Symposium (IOLTS 2007), 2007. [citation][year=2007]Israel Koren and C. Mani Krishna. Fault-tolerant Systems. Morgan Kaufmann, 2007. [citation][year=2007]S. K. Kim, J. Choi, D. Lee, S. H. Noh, S. L. Min, "Virtual framework for testing the reliability of system software on embedded systems?, Proceedings of the 2007 ACM symposium on Applied computing, Seoul, Korea, 2007. [citation][year=2007]A. Benso, A. Bosio, S. D. Carlo, R. Mariani, "A Functional Verification based Fault Injection Environment?, International Symposium on Defect and Fault-Tolerance in VLSI Systems, Rome, Italy, Setembro 2007. [citation][year=2007]M. Alsaeed, N. A. Speirs, "A Wide Area Network Emulator for CORBA Applications?, 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'07), pp. 359-364, May 7-9, 2007. [citation][year=2006]Roshan G. Ragel, "Architectural Support for Security and Reliability in Embedded Processors?, PhD thesis, The University of New South Wales, Austrália, 2006 [citation][year=2006]Mohammod Shamim Hossain, "Web Service Based Software Implemented Fault Injection?, Information Technology Journal, 138-143, 2006 [citation][year=2006]Donald Shawa, Dhamin Al-Khalilib, "Automatic generation of defect injectable VHDL fault models for ASIC standard cell libraries?, Integration, the VLSI Journal, Volume 39, Issue 4, July 2006, Pages 382-406 [citation][year=2006]B. Nicolescu, N. Ignat, Y. Savaria, G. Nicolescu, "Analysis of Real-Time Systems Sensitivity to Transient Faults Using MicroC Kernel?, IEEE Transactions on Nuclear Science, VOL. 53, NO. 4, AUGUST, 2006 [citation][year=2006]G. Lukawski, K. Sapiecha, "Software Functional Fault Injector for SDDS?, GI-Edition Lectures Notes on Informatics, ARCS"06 Workshop proceedings, 2006 [citation][year=2006]U. Wappler, C. Fetzer, G. Dresden, "Hardware fault injection using dynamic binary instrumentation: FITgrind?, Sixth European Dependable Computing Conference (EDCC-6), vol. vol. Proceedings Supplemental Volume, October 2006, pp. 37"38. [citation][year=2006]Joost Visser, J.N. Oliveira, L.S. Barbosa, J.F. Ferreira, and A. Mendes, Camila Revival: VDM meets Haskell. In Fitzgerald, J. S., Larsen, P. G., Plat, N. (eds.), Towards Next Generation Tools for VDM: Contributions to the First International Overture Workshop, Newcastle, July 2005, Technical Report CS-TR969, School of Computing Science, Newcastle University, June 2006 [citation][year=2006]Christian Kobhio Bassek, Samuel Pierre and Alejandro Quintero, "Redundancy Schemes for High Availability Computer Clusters?, Journal of Computer Science 2 (1): 33-47, ISSN 1549-3636, 2006. [citation][year=2006]M. Sonza Reorda, L. Sterpone, M. Violante, M. Portela-Garcia, C. Lopez-Ongil, L. Entrena, "Fault Injection-based Reliability Evaluation of SoPCs," ets, pp. 75-82, Eleventh IEEE European Test Symposium (ETS'06), 2006. [citation][year=2006]V. Wong and M.Horowitz. Soft Error Resilience of Probabilistic Inference Applications. The Second Workshop on System Effects of Logic Soft Errors (SELSE), April 2006. [citation][year=2006]J. Sosnowski, P. Gawkowski, P. Zygulski, A. Tymoczko, "Enhancing Fault Injection Testbench," depcos-relcomex, pp. 76-83, International Conference on Dependability of Computer Systems (DEPCOS-RELCOMEX'06), 2006. [citation][year=2006]Daniel Larsson, "Formal Specification and Verification of Safety-Critical Software?, Thesis for the degree of Licentiate of Philosophy, Department of Computer Science and Engineering, Chalmers University of Technology and Goteborg University, SE-412 96 G¨oteborg, Sweden, October 2006. [citation][year=2006]Nuno Neves, Joao Antunes, Miguel Correia, Paulo Verissimo, Rui Neves, "Using Attack Injection to Discover New Vulnerabilities," dsn, pp. 457-466, International Conference on Dependable Systems and Networks (DSN'06), 2006. [citation][year=2006]CK Bassek, S Pierre, A Quintero, "Redundancy Schemes for High Availability Computer Clusters?, Journal of Computer Science Science 2 (1): 33-47, ISSN 1549-3636, 2006. [citation][year=2006]Jun Jie, Huang Qing-Cheng, Hong Bingmrong, Li Yuan, "Test Fault Sensitivity of a Digital Processor by a Pure Software Approach?, Journal of Astronautics Vo1. 27 No1, January 2006. [citation][year=2006]Cheng-Chun Tu, "Modeling Component Failures in Embedded Systems?, Master's Thesis, International Master´s Program in Dependable Computer Systems, Chalmers University of Technology, Department of Computer Science and Engineering, Goteborg, Sweden, 2006. [citation][year=2005]H. Schlingloff, S. Vulinovic, "Model based dependability evaluation for automotive control functions?, In SimSafe05, Modeling and simulation for public safety, P. Fritzson (ed.), Linköping, May 2005. [citation][year=2005]Alexandersson, Ruben; ÿhman, Peter: A technique for fault tolerance assessment of COTS. International Conference on Computer Safety, Reliability and Security (SAFECOMP), 2005. [citation][year=2005]P. Gawkowski, J. Sosnowski, "Analysing system susceptibility to faults with simulation tools?, XXI Autumn Meeting of Polish Information Processing Society, ISBN 83-922646-0-6, pp. 87-94, PIPS, 2005 [citation][year=2005]N. Looker, M. Munro, J. Xu, "A Comparison of Network Level Fault Injection with Code Insertion?, 29th Annual International Computer Software and Applications Conference, (COMPSAC), 2005. [citation][year=2005]Pete Broadwell Emil Ong, "A Comparison of Static Analysis and Fault Injection Techniques for Developing Robust System Services?, University of Berkely, Tech. Report. http://www.cs.berkeley.edu/~emilong/research/saswifi.pdf, 2005. [citation][year=2005]Q. Xie and A. M. Memon, "Rapid crash testing for continuously evolving GUI-based software applications?, In Proceedings of The International Conference on Software Maintenance, (ICSM'05), 2005. [citation][year=2005]Martin Hiller, Arshad Jhumkas, and Neeraj Suri, "Tracking the Propagation of Data Errors in Software?, Dependable Computing Systems. Edited by Hassan B. Diab and Albert Y. Zomaya, ISBN 0-471-67422-2 John Wiley & Sons, Inc., 2005. [citation][year=2005]Denise Eng, Dimitri Mostinski, and Martin Talbot, "Feasibility and Practical Considerations of Database Self-Managing Technologies?, CS848 Final Project, University of Waterloo, Waterloo, ON, Canada, 2005 (http://www.cs.uwaterloo.ca/~m2talbot/project/CS848-FINAL%20PROJECT.pdf). [citation][year=2005]Joost Visser, J.N. Oliveira, L.S. Barbosa, J.F. Ferreira, and A. Mendes, "Camila Revival: VDM meets Haskell?, In Nico Plat and Peter Gorm Larsen, editors, Overture Workshop (co-located with FM'05), University of Newcastle upon Tyne, UK, July, 2005. [citation][year=2005]R. Moraes, E. Martins, N. Mendes, "Fault injection approach based on dependence analysis?, Computer Software and Applications Conference, 2005. COMPSAC 2005. 29th Annual International, 26-28 July 2005 [citation][year=2005]Hassan Salmani, Seyed Ghassem Miremadi, "Contribution of Controller Area Network Controllers to Masquerade Failures?, in Proc. Of 11th IEEE International Symposium Pacific Rim Dependable Computing, PRDC2005, Changsha, Hunan, China, December 2005. [citation][year=2005]Cristian Constantinescu, Intel Corporation, "Dependability Benchmarking Using Environmental Test Tools?, Proceedings of IEEE Reliability and Maintainability Symposium, RAMS 2005. [citation][year=2005]Juan Pardo, Juan Carlos Ruiz, Jose-Carlos Campelo and Pedro Gil, "A Non-Intrusive SWIFI Technique for RTOS Robustness Testing", in 5th European Dependable Computing Conference, Budapest (Hungary) April 2005. [citation][year=2004]Nik Looker, Malcolm Munro and Jie Xu, "Simulating Errors in Web Services?, International Journal of Simulation: Systems, Sciences and Technology, Vol. 5 No. 5. 29, 2004. [citation][year=2004]Ana " Elena Rugina, "Etalonnage de la sûreté de fonctionnement de systèmes d"exploitation?, Stage de Recherche, Institut National Polytechnique de Toulouse, Ecole Nationale Supérieure d"Electrotechnique, d"Electronique, d"Informatique, d"Hydraulique Et des Télécommunications, 2004. [citation][year=2004]Siewiorek, D.P., Chillarege, R., and, Kalbarcyk. (2004) "Reflections on Industry Trends and Experimental research in Dependability?, IEEE Transactions on Dependable and Secure Computing, Volume 1, Number 2, pp. 109 " 127. IEEE Computer Society, 2004. [citation][year=2004]N. Looker, M. Munro and J. Xu, "Testing Web Services", the 16th IFIP International Conference on Testing of Communicating Systems, Oxford, 2004 [citation][year=2004]H. R. Zarandi, S. G. Miremadi, S. Hessabi, A. Ejlali, "A Mixed-Mode Simulation-based Environment to Test and Dependability Assessment of HDL Models?, in the Proceedings of International Conference on Embedded Systems and Applications (ESA 2004), USA, June 2004. [citation][year=2004]Fetzer C, Felber P, Hogstedt K "Automatic detection and masking of nonatomic exception handling" IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 30 (8): 547-560 AUG 2004. [citation][year=2004]Rajabzadeh, A.; Miremadi, S.G.; Mohandespour, M.; "Experimental evaluation of master/checker architecture using power supply-and software-based fault injection" On-Line Testing Symposium, 2004. IOLTS 2004. Proceedings. 10th IEEE International , 12-14 July 2004, Pages:239 - 244. [citation][year=2004]W Gu, Z Kalbarczyk, RK Iyer "Error Sensitivity of the Linux Kernel Executing on PowerPC G4 and Pentium 4 Processors" Dependable Systems and Networks, 2004 International Conference on , 28 June-1 July 2004. [citation][year=2004]Albinet, A.; Arlat, J.; Fabre, J.-C.; "Characterization of the impact of faulty drivers on the robustness of the Linux kernel" Dependable Systems and Networks, 2004 International Conference on , 28 June-1 July 2004, Pages:867 - 876. [citation][year=2004]Bertrand Bastien "A Technique for Performing Fault Injection in System Level Simulations for Dependability Assessment" MSc Thesis, Univ. of Virginia, USA; January 2004. [citation][year=2004]D. Gil, J. Garcia, and P. Gil, "Analysis of the influence of processor hidden registers on the accuracy of fault injection techniques? Ninth IEEE International High-Level Design Validation and Test Workshop. 10-12 Nov. 2004. [citation][year=2003]1. Peter Folkesson, Joakim Aidemark, snd Jonny Vinter, "Assessment and Application of Scan-Chain Implemented Fault Injection?, Technical Report 03-21, (27 pages) Chalmers University of Technology, Department of Computer Engineering, Göteborg, Sweden, 2003. [citation][year=2003]2. Gawkowski P, Sosnowski J "Dependability evaluation with fault injection experiments" IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS E86D (12): 2642-2649 DEC 2003 [citation][year=2003]3. Zarandi, H.R.; Miremadi, S.G.; Ejlali, A.; "Fault injection into verilog models for dependability evaluation of digital systems" Parallel and Distributed Computing, 2003. Proceedings. Second International Symposium on , 13-14 Oct. 2003, Pages:281 - 287. [citation][year=2003]4. Pedro Yuste, Juan Carlos Ruiz, Lenin Lemus, Pedro Gil "Non-intrusive Software-Implemented Fault Injection in Embedded Systems" Proc. First Latin-American Symposium on Dependable Computing, LADC 2003, 2003, October 2003, So Paulo, Brazil: Springer Verlag, Lecture Notes in Computer Science, LNCS 2847: p. 23-38, ISBN 3-540-20224-2. [citation][year=2003]5. Rajesh Venkatasubramanian; Hayes, J.P.; Murray, B.T.; "Low-cost on-line fault detection using control flow assertions" On-Line Testing Symposium, 2003. IOLTS 2003. 9th IEEE , 7-9 July 2003, Pages:137 - 143. [citation][year=2003]6. Ahyoung Sung, Byoungju Choi, "Interaction Testing in an Embedded System using Hardware Fault Injection and Program Mutation," Formal Approaches to Testing of Software(FATES'03) of the 18th IEEE ASE(Automated Software Engineering)'2003, Quebec Canada, 2003.10. [citation][year=2003]7. Jean Arlat, Yves Crouzet, Johan Karlsson, Peter Folkesson, Emmerich Fuchs, Günther Leber "Comparison of Physical and Software-Implemented Fault Injection Techniques" IEEE Transactions on Computers, Vol 52, No. 9, September 2003, pp. 1115-1133. [citation][year=2003]8. Ehret, Jürgen "Validation of Safety-Critical Distributed Real-Time Systems" PhD Thesis, Fakultät für Elektrotechnik und Informationstechnik , Technische Universität München , 2003. [citation][year=2003]9. P. Yuste, D. Andrés, L. Lemus, J. Serrano, and P. Gil, "INERTE: Integrated NExus-based real-time fault injection tool for embedded systems", EEE/IFIP International Conference on Dependable Systems and Networks, International Performance and Dependability Symposium, DSN-IPDS 2003, San Francisco, CA, USA, June 22-25, 2003. [citation][year=2003]10. P. Yuste, L. Lemus, J. Serrano, and P. Gil, "A methodology for software implemented fault injection using Nexus", Supplemental volume of the IEEE/IFIP International Conference on Dependable Systems and Networks, Dependable Computing and Communications, DSN-DCC 2003, San Francisco, CA, USA, pp. B-12-B-13, June 22-25, 2003. [citation][year=2003]11. A. Ejlali, S. G. Miremadi, H. Zarandi, G. Asadi, "A hybrid fault injection approach based on simulation and emulation co-operation", EEE/IFIP International Conference on Dependable Systems and Networks, International Performance and Dependability Symposium, DSN-IPDS 2003, San Francisco, CA, USA, pp. 479-488, June 22-25, 2003. [citation][year=2003]12. Weining Gu, Z. Kalbarczyk, R. Iyer, Z. Yang, "Characterization of linux kernel behavior under errors", IEEE/IFIP International Conference on Dependable Systems and Networks, International Performance and Dependability Symposium, DSN-IPDS 2003, San Francisco, CA, USA, pp. 459-468, June 22-25, 2003. [citation][year=2003]13. Cristof Fetzer, K. Hogstedt, and P. Felber, "Automatic detection and masking of non-atomic exceptions handling", IEEE/IFIP International Conference on Dependable Systems and Networks, Dependable Computing and Communications, DSN-DCC 2003, San Francisco, CA, USA, pp. 445-454, June 22-25, 2003. [citation][year=2003]14. T. Jarboui, "Surete de Fonctionnement de Systemes Informatiques " ÿtalonage et Representativite des Fautes?, tese de doutoramento de Tahar Jarboui, LAAS-CNRS, Toulouse, França., Maio de 2003, LAAS-CNRS, Toulouse, França. [citation][year=2003]15. Andreas Steininger, Babak Rahbaran, Thomas Handl, "Built-In Fault Injectors - The logical Continuation of BIST?" Proc. of First Workshop on Intelligent Solutions in Embedded Systems (WISES), 2003. pp. 187-196. Reserach Report 56/2003, Real-Time Systems Research Group at the Vienna University of Technology. [citation][year=2003]16. Constantinescu C., "Experimental evaluation of error-detection mechanisms", IEEE Transactions on Reliability, 52 (1): pp. 53-57, March 2003. [citation][year=2003]17. Raviteja Varanasi, "Software Faults and Fault Injection Models?, Project of the coursework for CSC53, Advanced Software Engineering, Lousiana Tech University, USA, 2003 [citation][year=2003]18. Markus Jochim, "Automatische Erzeugung und Bewertung virtueller Duplexsysteme zur Erkennung von Betriebsfehlern in Mikroprozessoren?, Doktor der Naturwissenschaften, Fachbereich 6 des Standorts Essen der Universit¨at Duisburg-Essen am 27.03.2003 [citation][year=2002]1. P. Gawkowski and J. Sosnowski, "Using Software Implemented Fault Inserter in Dependability Analysis", Pacific Rim International Symposium on Dependable Computing, PRDC2002, pp. 81-88,Tsukuba, Japão, 16 a 18 de Dezembro de 2002. [citation][year=2002]2. Astrit Ademaj "A Methodology for Dependability Evaluation of the Time-Triggered Architecture Using Software Fault Injection", Proc. of EDCC-4, Toulouse, October 2002, p. 172-190, LNCS 2002 [citation][year=2002]3. Rezgui S., Swift G. M., Velazco R., Farmanesh F. F., "Validation of an SEU simulation technique for a complex processor: PowerPC7400", IEEE Transactions on Nuclear Science, 49 (6): 3156-3162, Part 1, Dec. 2002. [citation][year=2002]4. Cardarilli, G.C.; Kaddour, F.; Leandri, A.; Ottavi, M.; Pontarelli, S.; Velazco, R.; "Bit flip injection in processor-based architectures: a case study" On-Line Testing Workshop, 2002. Proceedings of the Eighth IEEE International , 8-10 July 2002, Pages:117 - 127. [citation][year=2002]5. Broadwell, P., N. Sastry, J. Traupman. "FIG: A Prototype Tool for Online Verification of Recovery Mechanisms" Proc. Workshop on Self-Healing, Adaptive and Self-MANaged Systems (SHAMAN), New York, NY, June 2002. [citation][year=2002]6. Ademaj, A.; Grillinger, P.; Herout, P.; Hlavicka, J.; "Fault tolerance evaluation using two software based fault injection methods" On-Line Testing Workshop, 2002. Proceedings of the Eighth IEEE International , 8-10 July 2002, Pages:21 - 25. [citation][year=2002]7. Alberto Arazo, "Surete de Fonctionnement de Systemes Logiciels Critiques : Validation Experimentale d"un Systeme de Contrôle-Comande du Commerceâ?, tese de doutoramento, LAAS-CNRS, Toulouse, França, Julho de 2002. [citation][year=2002]8. E Marsden, JC Fabre, J Arlat "Dependability of CORBA Systems: Service Characterization by Fault Injection" Symposium on reliable distributed systems, Osaka, Japan, 2002 [citation][year=2002]9. Rezgui S., Velazco R., Ecoffet R., "New methodology for simulation of soft errors in digital processors", Journal of Spacecraft and Rockets, 39 (4): pp. 495-500, July-Aug., 2002. [citation][year=2002]10. John DeVale and Philip Koopman, "Robust Software - No More Excuses", EEE/IFIP International Conference on Dependable Systems and Networks, DSN-2002, Bethesda, Maryland, USA, pp. 69-78, June 145-153, 2002 (best paper award). [citation][year=2002]11. M. Rodriguez, A. Albinet, and J. Arlat, "MAFALDA-RT, a tool for dependability assessment of real-time systems", EEE/IFIP International Conference on Dependable Systems and Networks, DSN-2002, Bethesda, Maryland, USA, pp. 267-272, June 23-26, 2002. [citation][year=2002]12. M. Jochim, "Detecting processor hardware faults by means of automatically generated virtual duplex systems", EEE/IFIP International Conference on Dependable Systems and Networks, DSN-2002, Bethesda, Maryland, USA, pp. 399-407, June 23-26, 2002. [citation][year=2002]13. E. Martins, C. Rubira, and N. Leme, "Jaca: a reflective fault injection tool based on patterns", EEE/IFIP International Conference on Dependable Systems and Networks, DSN-2002, Bethesda, Maryland, USA, pp. 483-487, June 23-26, 2002. [citation][year=2002]14. E. Marsden, J-C. Fabre, and J. Arlat, "Characterization approaches for CORBA systems by fault injection", supplemental volume of the IEEE/IFIP International Conference on Dependable Systems and Networks, DSN-2002, Bethesda, Maryland, USA, pp. G16-G25, June 23-26, 2002. [citation][year=2002]15. Jun Xu, Zbigniew Kalbarczyk and Ravishankar K. Iyer. "HiPerFI: A High-Performance Fault Injector". In Proc. of IEEE Intl' Conf. on Dependable Systems and Networks (Fast Abstract), Washington DC, June, 2002. [citation][year=2002]16. R. Velazco, S. Rezgui, R. Eccofet, "Predicting Error Rate for Microprocessor-Based Digital Architectures Through CEU Injection", ISSN 1292-862 TIMA Lab. Research Reports, TIMA-RR-02-02-6-FR, 2002. [citation][year=2002]17. Broadwell, P., N. Sastry and J. Traupman., "FIG: A Prototype Tool for Online Verification of Recovery Mechanisms.", Workshop on Self-Healing, Adaptive and self-MANaged Systems (SHAMAN), New York, NY, June 2002. [citation][year=2002]18. Arlat J, Fabre JC, Rodriguez M, et al. "Dependability of COTS microkernel-based systems" IEEE Trans Computers 51 (2): 138-163 FEB 2002 [citation][year=2002]19. Yangyang Yu, Barry W. Johnson, "A Perspective on the State of Research on Fault Injection Techniques", Center for Safety Critical Systems Departments of Electrical and Computer Engineer and Computer Science The University of Virginia Technical Report UVA-CSCS-FIT-001 Prepared for U.S. Nuclear Regulatory Commission, May 2002. [citation][year=2002]20. Hiller M., Jhumka A., Suri N. "PROPANE: An Environment for Examining the Propagation of Errors in Software" International Symposium on Software Testing and Analysis (ISSTA), ACM Press Software Engineering Notes, Vol. 27, No.4, pp. 81-85, 2002 [citation][year=2002]21. A. Ademaj, P. Grillinger, P. Herout, and J. Hlavicka. "Fault tolerance evaluation using two software based fault injection methodsâ?, In Proceedings of IEEE International On-Line Testing Workshop IOLTW, Isle of Benedor, France, 2002. ISBN 0-7695-1641-6. [citation][year=2001]1. John DeVale; "High Performance Robust Computer Systems" PhD Thesis, Carnegie Mellon University, October 2001. [citation][year=2001]2. Piotr Gawkowski and Janusz Sosnowski "Experimental Evaluation of Fault Handling Mechanisms" SAFECOMP 2001, Budapest, Hungary, September 26-28, 2001. [citation][year=2001]3. Sosnowski, J.; "Analyzing BIST robustness" Defect and Fault Tolerance in VLSI Systems, 2001. Proceedings. 2001 IEEE International Symposium on , 24-26 Oct. 2001, Pages:104 - 109 [citation][year=2001]4. Eric Marsden, Jean-Charles Fabre, "Failure analysis of an ORB in presence of faults", deliverable of the project IST-1999-11585, Dependable Systems of Systems - DSoS, October 2001. [citation][year=2001]5. Gawkowski, P.; Sosnowski, J. "Analyzing fault effects in fault insertion experiments" On-Line Testing Workshop, 2001. Proceedings. Seventh International , 9-11 July 2001, Pages:21 - 24 [citation][year=2001]6. John DeVale, Philip Koopman "Performance Evaluation of Exception Handling in I/O Libraries" Proceedings of the 2001 International Conference on Dependable Systems and Networks, 1-4 July 2001, Göteborg, Sweden, IEEE Computer Society, ISBN 0-7695-1101-5, pp. 518-524. [citation][year=2001]7. Joakim Aidemark, Jonny Vinter, Peter Folkesson, Johan Karlsson"GOOFI: Generic Object-Oriented Fault In jection Tool" Proceedings of the 2001 International Conference on Dependable Systems and Networks, 1-4 July 2001, Göteborg, Sweden, IEEE Computer Society, ISBN 0-7695-1101-5, pp. 83-88. [citation][year=2001]8. Raphael R. Some, Won S. Kim, Garen Khanoyan, Leslie Callum, Anil Agrawal, and John J. Beahan "A Software-Implemented Fault Injection Methodology for Design and Validation of System Fault Tolerance" Proceedings of the 2001 International Conference on Dependable Systems and Networks, 1-4 July 2001, Göteborg, Sweden, IEEE Computer Society, ISBN 0-7695-1101-5, pp. 501-506. [citation][year=2001]9. Pascal Chevochot, Isabelle Puaut "Experimental evaluation of the fail-silent behavior of a distributed real-time run-time support built from COTS components" Proceedings of the 2001 International Conference on Dependable Systems and Networks, 1-4 July 2001, Göteborg, Sweden, IEEE Computer Society, ISBN 0-7695-1101-5, pp. 304-313. [citation][year=2001]10. Wee Teck Ng and Peter M. Chen "The Design and Verification of the Rio File Cache" IEEE Transactions on Computers, VOL. 50, NO. 4, APRIL 2001. [citation][year=2001]11. Maitrayi Sabaratnam, "Improving Dependability in Database Management Systems?, tese de doutoramento de Maitrayi Sabaratnam, Novembro de 2001, Universidade de Trondheim, Trondheim, Noruega. [citation][year=2000]1. Almeida C, Arazo A, Crouzet Y, Kanoun K "Dependability of computer control systems in power plants - Analytical and experimental evaluation" COMPUTER SAFETY, RELIABILITY AND SECURITY, PROCEEDINGS, LECTURE NOTES IN COMPUTER SCIENCE, 1943: 165-175 2000. [citation][year=2000]2. Cristian Constantinescu, "Teraflops supercomputer: Architecture and validation of the fault tolerance mechanisms?, IEEE Transactions On Computers, vol. 49, no. 9, Setembro 2000, pp. 886-894, ISSN 0018-9340. [citation][year=2000]3. Velazco R, Rezgui S, Ecoffet R "Predicting error rate for microprocessor-based digital architectures through CEU (Code Emulating Upsets) injection" IEEE T NUCL SCI 47 (6): 2405-2411 Part 3 DEC 2000 [citation][year=2000]4. D Lambright "Experiences in Measuring the Reliability of a Cache-Based Storage System" First Workshop on Industrial Experiences with Systems Software, October 22, 2000, San Diego, California, USA, Usenix. [citation][year=2000]5. S Rezgui, R Velazco, R Ecoffet, S Rodriguez "A New Methodology for the Simulation of Soft Errors in Digital Processors: a Case Study" 3rd annual Military and Aerospace Applications of Programmable Devices and Technologies International Conference, Laurel, Maryland, USA, September 26-28, 2000 [citation][year=2000]6. P. Chevochot and I. Puaut. Experimental evaluation of the fail-silent behavior of a distributed real-time run-time support built from COTS components. Technical Report 1370, IRISA, Oct. 2000 [citation][year=2000]7. Luis Claudio Rodrigues Gonçalves, Taisy Silva Weber " Injeção de Falhas via Depuradores" In: WSL2000, I Workshop de Software Livre (part of I FISL " Fórum Internacional de Software Livre), Porto Alegre, RS, Brasil, 04 e 05 de maio de 2000, SBC. [citation][year=2000]8. Pascal Chevochot, Isabelle Puaut, Gilbert Cabillic, Antoine Colin, David Decotigny, Michel Banatre "HADES: A distributed System for Dependable Hard Real-Time Applications Built from COTS Components", IRISA, RENNES, FRANCE, Tech Rep 1357, 2000, ISSN 1166-8687. [citation][year=2000]9. DT Stott "Automated Fault-Inject Based Dependability Analysis of Distributed Computer Systems" Report for the Preliminary PhD Exam, 2000, Center for Reliable and High-Performance Computing, Coordinated Science Laboratory, University of Illinois at Urbana-Champaign [citation][year=2000]10. Luis Gonçalves e Taisy Weber, "FIDe Injeção de Falhas via Depuração?, 1o. Fórum Internacional Software Livre, 2000 (http://www.inf.ufrgs.br/pos/SemanaAcademica/Semana2000/LuisGoncalves/) [citation][year=1999]Reza Sedaghat, "Fault Emulation: Reconfigurable Hardware-Based Fault Simulation Using Logic Emulation Systems with Optimized Mapping?, PhD thesis, University of Hannover, December 1999 [citation][year=1999]Constantinescu, C.; "Using physical and simulated fault injection to evaluate error detection mechanisms" Pacific Rim International Symposium on Dependable Computing, Proceedings. 1999 , 16-17 Dec. 1999, Pages:186 - 192, IEEE Computer Society. [citation][year=1999]Wee Teck Ng e Peter Chen, "The Systematic Improvement of Fault Tolerance in the Rio File Cache?, Proceedings of the 29th Annual International Symposium on Fault-Tolerant Computing Symposium, FTCS-29, 15 a 18 de Junho de 1999, Madison, Wisconsin, EUA, IEEE Computer Society Press, pp 76-83, ISBN 0-7695-0213-X; [citation][year=1999]Jean Arlat, Jérome Boué, Yves Crouzet "Validation-Based Development of Dependable Systems" IEEE MICRO, Vol. 19, No. 4; JULY-AUGUST 1999, pp. 66-79 [citation][year=1999]D. Powell, J. Arlat, L. Beus-Dukic, A. Bondavalli, P. Coppola, A. Fantechi, E. Jenn, C. Rabéjac, A. Wellings "GUARDS: A Generic Upgradable Architecture for Real-Time Dependable Systems" IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, Vol. 10, No. 6; JUNE 1999, pp. 580-599. [citation][year=1999]Frédéric Salles, M. Rodríguez, Jean-Charles Fabre e Jean Arlat, "MetaKernels anf Fault Containment Wrappers?, Proceedings of the 29th Annual International Symposium on Fault-Tolerant Computing Symposium, FTCS-29, 15 a 18 de Junho de 1999, Madison, Wisconsin, EUA, IEEE Computer Society Press, pp 22-29, ISBN 0-7695-0213-X; [citation][year=1999]Sosnowski, J.; Gawkowski, P. "Tracing fault effects in system environment" EUROMICRO Conference, 1999. Proceedings. 25th , Volume: 1 , 8-10 Sept. 1999, Pages:481 - 486 vol.1. [citation][year=1999]J. Sosnowski, T. Bech "Evaluating FPU tests with fault inserter" Third European Dependable Computing Conference, EDCC3, Praga, República Checa, Setembro de 1999, Fast abstract. [citation][year=1999]Manuel Rodríguez, F. Salles, Jean- Charles Fabre e Jean Arlat, "MAFALDA: Microkernel Assessment by Fault Injection and Design Aid?, Third European Dependable Computing Conference, EDCC3, Praga, República Checa, Setembro de 1999, Lecture Notes in Computer Science 1667, Spriger-Verlag, pp.143-160, 1999. [citation][year=1999]Cristian Constantinescu, "Assesssing Error Detection Coverage by Simulated Fault Injection?, Third European Dependable Computing Conference, Praga, República Checa, Setembro de 1999, Lecture Notes in Computer Science 1667, Spriger-Verlag, pp. 161-170, 1999. [citation][year=1999]Fabre, J.-C.; "On the use of COTS microkernels for dependable systems" Autonomous Decentralized Systems, 1999. Integration of Heterogeneous Systems. Proceedings. The Fourth International Symposium on , 21-23 March 1999, Pages:132 - 139. [citation][year=1999]Fabre, J.-C.; Salles, F.; Moreno, M.R.; Arlat, J. "Assessment of COTS microkernels by fault injection" Dependable Computing for Critical Applications 7, 1999 , 6-8 Jan. 1999, Pages:25 - 44 [citation][year=1999]Wee Teck Ng, "Design and Implementation of Reliable Main Memory?, tese de doutoramento, University of Michigan, USA, 1999. [citation][year=1998]1. John Bates, " The State of the Art in Distributed and Dependable Computing?, A CaberNet-Sponsored Report (CaberNet " Esprit Network of Excellence in distributed computing systems architectures, 21035), Outubro de 1998; 1997(1 publication) [publication]Carreira, J. and Costa, D. and Silva, J.G. , "WinFT: Software Implemented Fault Tolerance for Win32 Applications.", BYTE, pp. 51-52, 1997 [citation][year=1999]1. Peter M. Chen and David E. Lowell "Reliability Hierarchies" 1999 Workshop on Hot Topics in Operating Systems (HotOS), March 29-30, 1999, Rio Rico, Arizona, USA. Conference Articles 1997(1 publication) [publication]Carreira, J. and Silva, J.G. and Langendoen, K. , "Efficient and Portable Parallel Programming: An Open Distributed Shared Memory Implementation", in 10th Int. Conf. on Parallel and Distributed Computing Systems (PDCS'97), 1997 [citation][year=1998]1. Bal HE, Bhoedjang R, Hofman R, et al. "Performance evaluation of the Orca shared-object system" ACM T COMPUT SYST 16 (1): 1-40 FEB 1998 1996(1 publication) [publication]Silva, J.G. and Carreira, J. and Madeira, H. and Costa, D. and Moreira, F. , "Experimental Assessment of Parallel Systems", in Twenty-Six Annual International Symposium on Fault-Tolerant Computing (FTCS-26), 1996 [citation][year=2004]1. Charng-da Lu, Daniel A. Reed, "Assessing Fault Sensitivity in MPI Applicationsâ?, Proceedings of the ACM/IEEE SC2004 Conference (SC'04), Pittsburgh, PA, USA, 2004. [citation][year=2004]2. Gong Su, "MOVE: Mobility with Persistent Network Connectionsâ?, tese de doutoramento, Columbia University, USA, 2004. [citation][year=2004]3. Charng-da Lu; Reed, D.A., "Assessing Fault Sensitivity in MPI Applicationsâ?, Proceedings of the ACM/IEEE SC2004 Supercomputing Conference, (High Performance Computing, Networking and Storage Conference) 2004 Page(s):37 " 37. [citation][year=2003]1. Constantinescu C., "Experimental evaluation of error-detection mechanisms", IEEE Transactions on Reliability, 52 (1): pp. 53-57 March 2003. [citation][year=2003]2. A. Benso, S. Di Carlo, G. Di Natale, P. Prinetto, L. Tagliaferri, "Data Criticality Estimation In Software Applications?, IEEE ITC International Test Conference, 2003. [citation][year=2001]1. Wee Teck Ng and Peter M. Chen "The Design and Verification of the Rio File Cache" IEEE TRANSACTIONS ON COMPUTERS, VOL. 50, NO. 4, APRIL 2001. [citation][year=2000]1. Cristian Constantinescu, "Teraflops supercomputer: Architecture and validation of the fault tolerance mechanisms?, IEEE Transactions on Computers, vol. 49, no. 9, Setembro de 2000, pp. 886-894. [citation][year=2000]2. A. Benso, S. Chiusano, P.Prinetto, L. Tagliaferri "A C/C++ Source-to-Source Compiler for Dependable Applications" Proc. of DSN-2000 - The International Conference on Dependable Systems and Networks (FTCS-30, DCCA-8), 25-28 June 2000, New York, USA, IEEE Computer Society Press, ISBN 0-7695-0707-7, pp. 71-78. [citation][year=1999]1. Constantinescu, C.; "Using physical and simulated fault injection to evaluate error detection mechanisms" Pacific Rim International Symposium on Dependable Computing, Proceedings. 1999 , 16-17 Dec. 1999, Pages:186 - 192, IEEE Computer Society. [citation][year=1999]2. Seungjae Han, Kang G. Shin "Experimental Evaluation of Behavior-Based Failure-Detection Schemes in Real-Time Communication Networks" IEEE Transactions On Parallel And Distributed Systems, Vol. 10, No. 6; JUNE 1999, pp. 613-626, ISSN 1045-9219. [citation][year=1999]3. Lettner R, Prammer M, Scherrer C, Steininger A, "Assessment of computer fault tolerance - a fault-injection toolset and the rationale behind it?, Computer Standards & Interfaces, Elsevier Science BV, Amsterdam, vol. 21, no. 4, Setembro 1999, pp. 357-369, ISSN: 0920-5489. [citation][year=1999]4. Wee Teck Ng e Peter Chen, "The Systematic Improvement of Fault Tolerance in the Rio File Cache?, Proceedings of the 29th Annual International Symposium on Fault-Tolerant Computing Symposium, FTCS-29, 15 a 18 de Junho de 1999, Madison, Wisconsin, EUA, IEEE Computer Society Press, pp 76-83, ISBN 0-7695-0213-X; [citation][year=1999]5. Cristian Constantinescu, "Assesssing Error Detection Coverage by Simulated Fault Injection?, Third European Dependable Computing Conference, EDCC-3, Praga, República Checa, Setembro de 1999, Lecture Notes in Computer Science 1667, Spriger-Verlag, pp. 161-170. [citation][year=1999]6. Alfredo Benso, Maurizio Rebaudengo, Matteo Sonza Reorda "Fault Injection for Embedded Microprocessor-based Systems", Journal of Universal Computer Science, Volume 5 / Issue 10, October 1999, Springer, pp. 693-711. [citation][year=1999]7. Wee Teck Ng, "Design and Implementation of Reliable Main Memory?, tese de doutoramento, University of Michigan, USA, 1999. [citation][year=1998]1. A. Benso, P. Prinetto, M. Rebaudengo and M. Sonza Reorda "EXFI: a low-cost fault injection system for embedded microprocessor-based boards" ACM Transactions on Design Automation of Electronic Systems, Volume 3 , Issue 4 (1998) pp 626-634. [citation][year=1998]2.M. Kaaniche, L. Romano, Z. Kalbarczyk, R.K. Iyer and R. Karcich, "A Hierarchical Approach for Dependability Analysis of a Commercial Cached RAID Storage Architecture?, Center for Reliable and High-Performance Computing, University of Illinois at Urbana-Champaign, Technical Report UILU-ENG-98-2205. ARPA, Fevereiro 1998. [citation][year=1998]3. N. Neves and W. K. Fuchs, "Coordinated Checkpointing without Direct Coordination," Proceedings of IEEE International Computer Performance & Dependability Symposium, pp. 23--31, Sept. 1998. [citation][year=1998]4. Cristian Constantinescu "Validation of the Fault/Error Handling Mechanisms of the Teraflop Computer" Proceedings of the 28th Annual International Symposium on Fault-Tolerant Computing Symposium, FTCS-28, June 1998, Munich, Germany, IEEE Computer Society Press, pp 382-389, ISBN 0-8186-8470-4. [citation][year=1998]5. M. Kaaniche, L. Romano, Z. Kalbarczyk, R. Iyer, R. Karcich " A Hierarchical Approach for Dependability Analysis of a Comercial Cache-Based RAID Storage Architecture" Proceedings of the 28th Annual International Symposium on Fault-Tolerant Computing Symposium, FTCS-28, June 1998, Munich, Germany, IEEE Computer Society Press, pp 6-15, ISBN 0-8186-8470-4. [citation][year=1997]1. Uwe Wildner "CASC - Compiler Assisted Self-Checking of Structural Integrity" Tese de doutoramento, Institut für Informatik, Universität Potsdam, Rep. Federal da Alemanha, Outubro 1997. [citation][year=1997]2. D. T. Stott, M-C Hsueh, G. L. Ries, R. K. Iyer "Dependability Analysis of a Commercial High-Speed Network" Proceedings of the 27th Annual International Symposium on Fault-Tolerant Computing Symposium, FTCS-27, 24-27 June 1997, Seattle, Washington, EUA, IEEE Computer Society Press, pp 248-257, ISBN 0-8186-7831-3. [citation][year=1997]3. D. Blough, T. Torii "Fault-Injection-Based Testing of Fault-Tolerant Algorithms in Message Passing Parallel Computers" Proceedings of the 27th Annual International Symposium on Fault-Tolerant Computing Symposium, FTCS-27, 24-27 June 1997, Seattle, Washington, EUA, IEEE Computer Society Press, pp. 258-267, ISBN 0-8186-7831-3. [citation][year=1997]4. A. Steininger, C. Scherrer "On Finding an Optimal Combination of Error Detection Mechanisms Based on Results of Fault Injection Experiments" Proceedings of the 27th Annual International Symposium on Fault-Tolerant Computing Symposium, FTCS-27, 24-27 June 1997, Seattle, Washington, EUA, IEEE Computer Society Press, pp 238-247, ISBN 0-8186-7831-3. [citation][year=1997]5. Uwe Wildner "Experimental Evaluation of Assigned Signature Checking With Return Address Hashing on Different Platforms" Proc. 6th IFIP Working Conference on Dependable Computing for Critical Applications (DCCA-6), Grainau, Alemanha, Março 5-7, 1997, IEEE Computer Socienty Press, ISBN 0-8186-8009-1, pp. 3-18. [citation][year=1997]6. N. Neves e W. Kent Fuchs, "Fault detection using hints from the socket layer", Proceedings of the IEEE Symposium on Reliable Distributed Systems, Outubro de 1997, pp. 64-71; [citation][year=1997]7. John Chapin, "Hive: Operating System Fault Containment For Shared-Memory Multiprocessors?, Tese de Doutoramento, Technical Report No. CSL-TR-97-712, Computer Systems Laboratory, Dept. of Electrical Engineering and Computer Science, Stanford University, Janeiro de 1997; [citation][year=1996]1. N. Neves e W. K. Fuchs, "Using time to improve the performance of coordinated checkpointing", Proceedings of the International Computer Performance & Dependability Symposium, Setembro de 1996, pp. 282-291; [citation][year=1996]2. David Powell Michel Cukier Jean Arlat e Yves Crouzet, "Estimation of Time-Dependent Coverage?, LAAS-CNRS, 7 avenue du Colonel Roche - 31077 TOULOUSE Cedex 4, France - Research Report 96466 " 4 de Dezembro de 1996; 1995(4 publications) [publication]Madeira, H. and Carreira, J. and Silva, J.G. , "Injection of Faults in Complex Computers", in Workshop on Evaluation Techniques for Dependable Systems, 1995 [citation][year=2004]1. William Hoarau, "FAIL - FAult Injection Language?, Rapport de stage pour le DEA ID, Laboratoire de Recherche en Informatique, Université de Paris-Sud, 2004. [citation][year=1999]1. R. J. Martínez, P. J. Gil, G. Martín, C. Pérez, J.J. Serrano. "Experimental Validation of High-Speed Fault-Tolerant Systems Using Physical Fault Injection". Dependable Computing and Fault Tolerant Systems. Volume 12.A. Avizienis, H. Kopetz, J.C. Laprie Eds. IEEE Computer Society. ISBN 0-7695-0284-9, pp. Pág 249-264, 1999. [publication]Carreira, J. and Madeira, H. and Silva, J.G. , "Xception: Software Fault Injection and Monitoring in Processor Functional Units", in Fifth IFIP Working Conference on Dependable Computing for Critical Applications (DCCA-5), 1995 [citation][year=2008]Mohamed Khalgui, Emanuele Carpanzano, Hans-Michael Hanisch, "An optimised simulation of component-based embedded systems in manufacturing industry?, International Journal of Simulation and Process Modelling, Volume 4, Number 2 / 2008 [citation][year=2008]K Keeton, A Merchant, J Wilkes, "System and method for interposition-based selective simulation of faults for access requests to a data storage system?, US Patent 7,467,333, 2008. [citation][year=2008]A. Bondavalli, A. Ceccarelli, L. Falai, and M. Vadursi. Enhancing the nekostat tool with uncertainty, resolution and intrusiveness evaluation capabilities. In DSN 2008 Workshop on Resilience Assessment and Dependability Benchmarking, June 2008. [citation][year=2008]A. Ejlali, S.G. Miremadi, "Error propagation analysis using FPGA-based SEU-fault injection?, Microelectronics Reliability, 48 (2008), Elsevier, 319"328, 2008 [citation][year=2008]Alexander Gordeyev, Vyacheslav Kharchenko, Anton Andrashov, Boris Konorev, Vladimir Sklyar, and Artem Boyarchuk, "Case-based software reliability assessmentby fault injection unified procedures?, SEESE '08: ACM Proceedings of the 2008 international workshop on Software Engineering in east and south Europe, Leipzig, Germany, 2008 [citation][year=2007]Manuel Mendonça, Nuno Ferreira Neves, Localização de Vulnerabilidades de Segurança em Gestores de Dispositivos Wi-Fi com Técnicas de Fuzzing, Actas da 3ª Conferência Nacional Sobre Segurança Informática nas Organizações (SINO07), Lisboa, Portugal, October, 2007. [citation][year=2007]Damian Nowroth, "Untersuchungen von akzeptablen Fehlern in einem JPEG-Kompressor?, Diplomarbeit, Albert-Ludwigs-Universit¨at Freiburg, Institut f¨ur Informatik, 18. Oktober 2007 [citation][year=2007]Murciano, M.; Violante, M., "Validating the dependability of embedded systems through fault injection by means of loadable kernel modules," High Level Design Validation and Test Workshop, 2007. HLVDT 2007. IEEE International , vol., no., pp.179-186, 7-9 Nov. 2007 [citation][year=2007]Pradipta De, "MiNT: A Reconfigurable Mobile Muli-hopWireless Network Testbed?, PhD thesis, STONY Brook University, USA, 2007 [citation][year=2007]Lorenzo Falai, "Observing, Monitoring and Evaluating Distributed Systems?, PhD Thesis, University of Florence, Italy, 2007 [citation][year=2007]DP Siewiorek, XZ Yang, R Chillarege, ZT Kalbarczyk, "Industry trends and research in dependable computing?, - Jisuanji Xuebao/Chinese Journal of Computers, Vol. 30, no. 10, pp. 1645-1661. Oct. 2007 [citation][year=2007]L. Anghel, M. Rebaudengo, M. Sonza Reorda, and M. Violante, ?Multi-level Fault Effects Evaluation?, in the book "Radiation Effects on Embedded Systems?, Eds. RAOUL VELAZCO, PASCAL FOUILLAT and RICARDO REIS, Springer Netherlands, 10.1007/978-1-4020-5646-8, 2007 [citation][year=2007]Pradipta De, "MiNT: A Reconfigurable Mobile Muli-hop Wireless Network Testbed?, PhD Thesis, Stony Brook University, May 2007. [citation][year=2007]Andrea Bondavalli and Michele Vadursi, "Foundations of measurement theory applied to the evaluation of dependability attributes?, 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, Edinburgo, Reino Unido, 25-28 de Junho de 2007. [citation][year=2006]PENG Jun-jie, HUANG Qing-cheng, HONG Bing-rong, LI Rui, YUAN Cheng-jun, WEI Zhen-hua, "Test Fault Sensitivity of a Digital Processor by a Pure Software Approach?, Journal of Astronautics, China, 2006. [citation][year=2006]Junjie Peng, Jun Ma, Bingrong Hong, "Evaluation of Embedded Operating System by a Software Method?, Journal of Communication and Computer, ISSN1548-7709, USA, Jan. 2006, Volume 3, No.1 (Serial No.14), 2006. [citation][year=2006]Roshan G. Ragel, "Architectural Support for Security and Reliability in Embedded Processors?, PhD thesis, The University of New South Wales, Austrália, 2006 [citation][year=2005]Martin Hiller, Arshad Jhumkas, and Neeraj Suri, "Tracking the Propagation of Data Errors in Software?, Dependable Computing Systems. Edited by Hassan B. Diab and Albert Y. Zomaya, ISBN 0-471-67422-2 John Wiley & Sons, Inc., 2005 [citation][year=2005]Ejlali, A., Al-Hashimi, B. M. and Miremadi, S. G. "Fast Observation Architecture for FPGA-based SEU Analysis?, In Proceedings of the 10th European Test Symposium, Tallinn, Estonia, May 22-25, 2005. [citation][year=2004]William Hoarau, "FAIL - FAult Injection Language?, Rapport de stage pour le DEA ID, Laboratoire de Recherche en Informatique, Université de Paris-Sud, 2004. [citation][year=2004]Paris D. Wiley, "Fault Tolerant Design Verification Through - The Use of Laser Fault Injection?, MSc thesis, Department of Electrical Engineering, College of Engineering, University of South Florida, Feb. 2004. [citation][year=2003]1. Regina Lúcia de Oliveira Morais, Eliane Martins "A strategy for validating an ODBMS Component Using a High-Level Software Fault Injection Tool" Proc. First Latin-American Symposium on Dependable Computing, LADC 2003, 2003, October 2003, São Paulo, Brazil: Springer Verlag, Lecture Notes in Computer Science, LNCS 2847: p. 56-68, ISBN 3-540-20224-2. [citation][year=2003]2. Perez, J.; Sonza Reorda, M.; Violante, M.; "Accurate dependability analysis of CAN-based networked systems" Integrated Circuits and Systems Design, 2003. SBCCI 2003. Proceedings. 16th Symposium on , 8-11 Sept. 2003, Pages:337 - 342. [citation][year=2003]3. Pradipta De, Anindya Neogi, Tzi-cker Chiueh, ``VirtualWire: A Fault Injection and Analysis Tool for Network Protocols', Proceedings of International Conference on Distributed Computing Systems (ICDCS 2003), May 2003. [citation][year=2003]4. António Casimiro, "Timely Actions in the Presence of Uncertain Timeliness?, Tese de doutoramento, Faculdade de Ciências da Universidade de Lisboa, Abril de 2003. [citation][year=2002]1. Volkmar Sieh, Kerstin Buchacker "UMLinux - A Versatile SWIFI Tool", Proc. of EDCC-4, Toulouse, October 2002, p. 159-171, LNCS 2002. [citation][year=2002]2. Civera P, Macchiarulo L, Rebaudengo M, et al. "An FPGA-based approach for speeding-up fault injection campaigns on safety-critical circuits" J ELECTRON TEST 18 (3): 261-271 JUN 2002. [citation][year=2001]1. Saurabh Bagchi, Gautam Kar, Joe Hellerstein "Dependency analysis in distributed systems using fault injection: Application to problem an e-commerce envrironment" in: O. Festor and A. Pras (Eds.) : 12th International Worshop on Distributed Systems: Operations and ManagementDSOM'2001 Nancy France, October 15-17, 2001. [citation][year=2001]2. Thitima Srivatanakul "Mutation Testing for Concurrency" MSc Thesis, The Department of Computer Science, University of York, September 2001. [citation][year=2001]3. Civera, P.; Macchiarulo, L.; Rebaudengo, M.; Reorda, M.S.; Violante, A.; "Exploiting FPGA for accelerating fault injection experiments" On-Line Testing Workshop, 2001. Proceedings. Seventh International , 9-11 July 2001, Pages:9 - 13. [citation][year=2001]4. Nelson Guilherme Mendes Leme, "Um Sistema de Padrões para Injeção de Falhas por Softwareâ?,tese de mestrado, Universidade Estadual de Campinas, Brasil, 2001. [citation][year=2001]5. Kerstin Buchacker, Volkmar Sieh, "Framework for Testing the Fault-Tolerance of Systems Including OS and Network Aspectsâ?, Proceedings of the 6th IEEE International Symposium on High Assurance Systems Engineering (HASE"01), 2001. [citation][year=2000]1. B. Parrotta, M. Rebaudengo, M. Sonza Reorda, M. Violante, "Speeding-up Fault Injection Campaigns in VHDL models", 19th International Conference on Computer Safety, Reliability and Security, Safecomp 2000, Rotterdam, The Nederlands, pp. 27-36, October 2000. [citation][year=2000]2. Timothy Tsai, Navjot Singh "Reliability Testing of Applications on Windows NT" Proc. of DSN-2000 - The International Conference on Dependable Systems and Networks (FTCS-30, DCCA-8), 25-28 June 2000, New York, USA, IEEE Computer Society Press, ISBN 0-7695-0707-7, pp. 427-436. [citation][year=2000]3. Eliane Martins, Amanda C.A. Rosa"A Fault Injection Approach Based on Reflective Programming" Proc. of DSN-2000 - The International Conference on Dependable Systems and Networks (FTCS-30, DCCA-8), 25-28 June 2000, New York, USA, IEEE Computer Society Press, ISBN 0-7695-0707-7, pp. 407-416. [citation][year=2000]4. M. Lajolo, M. Rebaudengo, M. S. Reorda, M. Violante, L. Lavagn, "Evaluating System Dependability In a Co-Design Framework", Proc. of Design, Automation and Test in Europe Conference (DATE2000), pp. 586-601, March 2000. [citation][year=2000]5. David T. Stott, Benjamin Floering, Daniel Burke, Zbigniew Kalbarczyk, Ravishankar K. Iyer "NFTAPE: a framework for assessing dependability in distributed systems with lightweight fault injectors." In Proceedings of the IEEE International Computer Performance and Dependability Symposium, pp. 91-100, March 2000. [citation][year=2000]6. DT Stott "Automated Fault-Inject Based Dependability Analysis of Distributed Computer Systems" Report for the Preliminary PhD Exam, 2000, Center for Reliable and High-Performance Computing, Coordinated Science Laboratory, University of Illinois at Urbana-Champaign [citation][year=2000]7. B. Parrotta and Maurizio Rebaudengo and Matteo Sonza Reorda and Massimo Violante "Speeding-Up Fault Injection Campaigns in {VHDL} Models", SAFECOMP 2000, pages 27-36 [citation][year=1999]1. A. Benso, P.L. Civera, M. Rebaudengo, M. Sonza Reorda "A low-cost programmable board for speeding-up Fault Injection in microprocessor-based systems" Annual Reliability and Maintainability Symposium, 1999, pp. 171-177, 1999. [citation][year=1999]2. M. Rebaudengo, M. Sonza Reorda, "Evaluating the Fault Tolerance Capabilities of Embedded Systems via BDM", VTS'99: 17 th IEEE VLSI Test Symposium, Dana Point (CA), 1999. [citation][year=1999]3. A. Benso, M. Rebaudengo, and M. Sonza Reorda. "FlexFi: A flexible fault injection environment for microprocessor-based systems". In Proc. of the 8th International Conference on Computer Safety, Reliability and Security (SAFECOMP'99), 1999. Lecture Notes in Computer Science, Springer Verlag, A. Pasquini (Ed.) [citation][year=1999]4. Timothy K. Tsai, Mei-Chen Hsueh, Hong Zhao, Zbigniew Kalbarczyk, Ravishankar K. Iyer, "DEPENDABILITY OF COMPUTING SYSTEMS: Stress-Based and Path-Based Fault Injection" IEEE TRANSACTIONS ON COMPUTERS Vol. 48, No. 11; NOVEMBER 1999, pp. 1183-1201 [citation][year=1999]5. Alfredo Benso, Maurizio Rebaudengo, Matteo Sonza Reorda "Fault Injection for Embedded Microprocessor-based Systems", Journal of Universal Computer Science, Volume 5 / Issue 10, October 1999, Springer, pp. 693-711. [citation][year=1999]6. David Stott, Zbigniew Kalbarczyk e R. K. Iyer, "Using NFTAPE for Rapid Development of Automated Fault Injection Experimentsâ?, Fast Abstracts of the 29th Annual International Symposium on Fault-Tolerant Computing Symposium, FTCS-29, 15 a 18 Junho de 1999, Madison, Wisconsin, EUA, pp. 39-40; [citation][year=1999]7. Benso A., Rebaudengo M., Reorda M. S., "FlexFi: A flexible fault injection environment for microprocessor-based systems", Computer Safety, Reliability and Security, Lecture Notes in Computer Science, 1698: pp. 323-335, 1999. [citation][year=1999]8. Alfredo Benso, Maurizio Rebaudengo, Matteo Sonza Reorda "Fault Injection for Embedded Microprocessor-based Systems", Journal of Universal Computer Science, Volume 5 / Issue 10, October 1999, Springer, pp. 693-711. [citation][year=1999]9. A. Bondavalli, A. Fantechi, D. Latella, and L. Simoncini. "Integrated validation of dependable systems". In IDPT '99 4th, Int. Conference on Integrated Design and Process Technology, Kusadasi, Turkey, June 27 - July 2 1999. [citation][year=1999]10. S Freinatis, A Hunger "Assessing the Fault Tolerance of Embedded Software through Application of Machine Instruction Mutations" Proceedings of the IASTED International Conference Modelling and Simulation, May 5-8, 1999 - Philadelphia, Pennsylvania, USA. [citation][year=1999]11. Wee Teck Ng, "Design and Implementation of Reliable Main Memoryâ?, tese de doutoramento, University of Michigan, USA, 1999. [citation][year=1998]1. Benso, A.; Rebaudengo, M.; Reorda, M.S.; Civera, P.L.; "An integrated HW and SW fault injection environment for real-time systems" Defect and Fault Tolerance in VLSI Systems, 1998. Proceedings., 1998 IEEE International Symposium on , 2-4 Nov. 1998, Pages:117 - 122. [citation][year=1998]2. Volkmar Sieh "Effiziente Erstellung und Auswertung von Rechnermodellen zur detaillierten Zuverlässigkeitsanalyse" PhD Thesis, Univ. Erlangen, Germany, 1998. [citation][year=1998]3. Christmansson, J.; Hiller, M.; Rimen, M. "An experimental comparison of fault and error injection" Software Reliability Engineering, 1998. Proceedings. The Ninth International Symposium on , 4-7 Nov. 1998, Pages:369 - 378. [citation][year=1998]4. Benso, A.; Prinetto, P.; Rebaudengo, M.; Reorda, M.S.; "A fault injection environment for microprocessor-based boards" Test Conference, 1998. Proceedings. International , 18-23 Oct. 1998, Pages:768 - 773. [citation][year=1998]5. Prinetto, P.; Rebaudengo, M.; Sonza Reorda, M.; "Exploiting the background debugging mode in a fault injection system" Computer Performance and Dependability Symposium, 1998. IPDS '98. Proceedings. IEEE International , 7-9 Sept. 199, pp. 277. [citation][year=1998]6. Bondavalli, A.; Fantechi, A.; Latella, D.; Simoncini, L.; "Towards a discipline of system engineering: validation of dependable systems" Computer Security, Dependability and Assurance: From Needs to Solutions, 1998. Proceedings , 7-9 July 1998 & 11-13 November 1998, Pages:144 - 165. [citation][year=1998]7. P. Folkesson, Sven Svensson, Johan Karlsson "A Comparison of Simulation Based and Scan Chain Implemented Fault Injection" Proceedings of the 28th Annual International Symposium on Fault-Tolerant Computing Symposium, FTCS-28, June 1998, Munich, Germany, IEEE Computer Society Press, pp 284-293, ISBN 0-8186-8470-4. [citation][year=1998]8. A. Benso, P. Prinetto, M. Rebaudengo and M. Sonza Reorda "EXFI: a low-cost fault injection system for embedded microprocessor-based boards" ACM Transactions on Design Automation of Electronic Systems, Volume 3 , Issue 4 (1998) pp 626-634. [citation][year=1998]9. Amanda Cibele, Apolinário Rosa, Eliane Martins, "Using a Reflective Architecture to Validate Object-oriented Applications by Fault Injection" Proceedings of the Workshop on Reflective Programming in C++ and Java (Vancouver-Canada), Oct 1998 [citation][year=1998]10. Peter Sobe, "A Study of Roll-Forward Recovery from Faults Among Communicating Processes", Research Report, TUD/ FI 98/02, Technical University of Dresden, Alemanha, 1998. [citation][year=1998]11. A. Benso, P. Prinetto, M. Rebaudengo, M. Sonza Reorda "A Fault Injection Approach for Embedded Microprocessor-based Boards" Proc. Ninth European Workshop on Dependable Computing, May 14-16, 1998, Gdansk, Poland, pp. 2-6, Politechnika Gdanska, ISBN 83-907591-1-X. [citation][year=1998]12. Amanda Cibele Apolinário Rosa, Eliane Martins "Using reflective programming to inject faults into object-oriented systems" IFIP WG10.4 Group Meeting 1998, 15 to 17 January 1998, in Waterfrant, Cape Town, South Africa. [citation][year=1998]13. Jean Arlat "Early Validation of Dependable Systems by Fault Injection into VHDL Models" IFIP WG10.4 Group Meeting 1998, 15 to 17 January 1998, in Waterfrant, Cape Town, South Africa. [citation][year=1998]14. Paolo PRINETTO, Maurizio REBAUDENGO, Matteo SONZA REORDA, "Exploiting the Background Debugging Mode in a Fault Injection system?, Proceedings of the IEEE International Computer Performance and Dependability Symposium (IPDS"08), 1998 [citation][year=1997]1. Sieh, V.; Balbach, F.; Tschäche, O.: "VERIFY: Zuverlässigkeitsanalyse unter Verwendung von VHDL-Modellen mit integrierter Fehlerbeschreibung" Tagungsband 9.Workshop "Testmethoden und Zuverlässigkeit von Schaltungen und Systemen", Universität Bremen, Bremen, Deutschland, 9.-11. März 1997, S. 39-42. [citation][year=1997]2. Mei-Chen Hsueh, Timothy K. Tsai, Ravishankar K. Iyer "Fault Injection Techniques and Tools" IEEE Computer, Vol. 30, No. 4, Abril 1997, pp. 75-82, IEEE Computer Society. [citation][year=1997]3. A. Bondavalli, F. Di Giandomenico and I. Mura "Value-Driven Resource Assignment in Object-Oriented Real-Time Dependable Systems," in Proc. WORDS 97, Third International Workshop on Object-oriented Real-time Dependable Systems, Newport Beach, California, USA, IEEE Computer Society Press, 1997, pp. 92-99. [citation][year=1997]4. V. Sieh, O. Tschäche, F. Balbach "VERIFY: Evaluation of Reliability Using VHDL-Models with Embedded Fault Descriptions" Proceedings of the 27th Annual International Symposium on Fault-Tolerant Computing Symposium, FTCS-27, 24-27 June 1997, Seattle, Washington, EUA, IEEE Computer Society Press, pp 32-36, ISBN 0-8186-7831-3. [citation][year=1997]5. F. Salles, J. Arlat, and J. Fabre. Can we rely on COTS microkernels for building fault-tolerant systems ? In Workshop on Future Trends of Distributed Computing Systems, October 1997. [citation][year=1997]6. Jérome Boué "Test de la tolerance aux fautes par injection de fautes dans des modèles de simulation VHDL" Thèse de doctorat de L'Institut Nationale Polytechnique de Toulouse, 1997, Rapport LAAS nº 97503, LAAS-CNRS, Toulouse, França. [citation][year=1997]7. A. Bondavalli, F. Di Giandomenico and I. Mura "A Value-Based Approach to Flexible Decision Making in Real-Time Dependable Systems," in Proc. 2nd Int. Workshop on Mechatronical Computer Systems, Pisa, Italy, 1997, pp. 155-163. [citation][year=1997]8. Emmerich Fuchs "Validating the Fail-Silence Assumption of the MARS Architecture" Proc. 6th IFIP Working Conference on Dependable Computing for Critical Applications (DCCA-6), Grainau, Alemanha, Março 5-7, 1997, IEEE Computer Socienty Press, ISBN 0-8186-8009-1, pp. 225-247. [citation][year=1997]9. Uwe Wildner "CASC - Compiler Assisted Self-Checking of Structural Integrity" Tese de doutoramento, Institut für Informatik, Universität Potsdam, Rep. Federal da Alemanha, Outubro 1997. [citation][year=1997]10. T. Tsai, S.J. Upadhaya, H. Zhao, M.-C. Hsueh, R.K. Iyer, "Path-Based Fault Injection," Proc. 3rd ISSAT Conf. on R&Q in Design, pp. 121--125, 1997. [citation][year=1997]11. V. Sieh, O. Tschäche, F. Balbach "Comparing Different Fault Models Using VERIFY" Proc. 6th IFIP Working Conference on Dependable Computing for Critical Applications (DCCA-6), Grainau, Alemanha, Março 5-7, 1997, IEEE Computer Socienty Press, ISBN 0-8186-8009-1, pp. 63-80. [citation][year=1997]12. Uwe Wildner "Experimental Evaluation of Assigned Signature Checking With Return Address Hashing on Different Platforms" Proc. 6th IFIP Working Conference on Dependable Computing for Critical Applications (DCCA-6), Grainau, Alemanha, Março 5-7, 1997, IEEE Computer Socienty Press, ISBN 0-8186-8009-1, pp. 3-18. [citation][year=1997]13. V. Sieh, O. Tschäche e F. Balbach, "System Dependability Analysis using VHDL Models with Integrated Fault Descriptionsâ?, Proceedings of 8th European Workshop on Dependable Computing, EWDC-8, Gotemburgo, Suécia, 2 a 4 de Abril de 1997; [citation][year=1997]14. M. Dal Cin, W. Hohl e V. Sieh, "Hardware-Supported Fault Tolerance for Multiprocessorsâ?, Proceedings of the 14. ITG/GI-Fachtagung Architektur von Rechensystemen, Rostock, Alemanha, VDE-Verlag, Setembro de 1997, pp 13-22. [citation][year=1997]15. V. Sieh, O. Tschäche, F. Balbach "Comparing Different Fault Models Using VERIFY" Proc. 6th IFIP Working Conference on Dependable Computing for Critical Applications (DCCA-6), Grainau, Alemanha, Março 5-7, 1997, IEEE Computer Socienty Press, ISBN 0-8186-8009-1, pp. 63-80. [citation][year=1997]16. Uwe Wildner "Experimental Evaluation of Assigned Signature Checking With Return Address Hashing on Different Platforms" Proc. 6th IFIP Working Conference on Dependable Computing for Critical Applications (DCCA-6), Grainau, Alemanha, Março 5-7, 1997, IEEE Computer Socienty Press, ISBN 0-8186-8009-1, pp. 3-18. [citation][year=1997]17. Kumar K. Goswami, Ravishankar K. Iyer, Luke Young, "DEPEND: A Simulation-Based Environment for System Level Dependability Analysis" IEEE TRANSACTIONS ON COMPUTERS, Vol. 46, No. 1; JANUARY 1997, pp. 60-74. [citation][year=1996]1. Geert Deconninck, "User-Triggered Checkpointing And Rollback In Massively Parallel Systems", PhD. Thesis, Katholieke Universiteit Leuven, Bélgica, December 1996. [citation][year=1996]2. J.Christmansson, R. Chillarege, "Generation of an Error Set that Emulates Software Faults Based on Field Data" Proc. Twenty-Six Annual International Symposium on Fault-Tolerant Computing (FTCS-26), Junho 25-26, 1996, Sendai, Japão, IEEE Computer Society, ISBN 0-8186-7261-7, pp 304-313. [citation][year=1996]3. I. Mura, F. Di Giandomenico, A. Bondavalli "Real-Time Multiprocessor Systems: Performability Evaluation," IEI-CNR, Pisa, Italy, Internal Report (B4-07-02-96), 1996. [citation][year=1996]4. Uwe Wildner "Compiler Assisted Self-Checking of Structural Integrity Using Return Address Hashing " Proc. Second European Dependable Computing Conference, Taormina, Itália, Outubro 1996, Lecture Notes in Computer Science 1150, Springer Verlag, pp. 161-177, ISBN 3-540-61772-8. [citation][year=1996]5. V. Sieh, O. Tschäche e F. Balbach, "VHDL based Fault Injection with VERIFY?, Universidade de Erlangen, Alemanha, IMMD III, Internal Report 5/96, Agosto de 1996; [citation][year=1996]6. David Powell, Michel Cukier, Jean Arlat e Yves Crouzet, "Estimation of Time-Dependent Coverage?, LAAS-CNRS, 7 avenue du Colonel Roche - 31077 TOULOUSE Cedex 4, France - Research Report 96466, 4 de Dezembro de 1996; [citation][year=1996]7. Uwe Wildner, "SWIFLER: Software Implemented Control Flow Error Injection?, Institut für Informatik, Universität Potsdam, Alemanha, Technical Report MPI-I-96-601, Janeiro de 1996; [publication]Carreira, J. and Madeira, H. and Silva, J.G. , "Assessing the Effects of Communication Faults on Parallel Applications", in 1st IEEE International Performance and Dependability Symposium (IPDS'95), 1995 [citation][year=2008]Alexander Gordeyev, Vyacheslav Kharchenko, Anton Andrashov, Boris Konorev, Vladimir Sklyar, and Artem Boyarchuk, "Case-based software reliability assessmentby fault injection unified procedures?, SEESE '08: ACM Proceedings of the 2008 international workshop on Software Engineering in east and south Europe, Leipzig, Germany, 2008 [citation][year=2005]G. Jacques-Silva, R. J. Drebes, T. S. Weber, E Martins, "Injecting Communication Faults to Experimentally Validate Java Distributed Applications?, Advanced Distributed Systems: 5th International School and symposium, ISSADS 2005, Guadalajara, Mexico, January 24-28, 2005. [citation][year=2004]Jacques-Silva, G. Jung Drebes, R. Gerchman, J. Weber, T.S., "FIONA: a fault injector for dependability evaluation of Java-based network applications?, Proceedings. Third IEEE International Symposium on Network Computing and Applications, Cambridge, MA, USA, 2004. [citation][year=2004]G. Jacques-Silva, R. Moraes, T. S. Weber, E. Martins, "Validando Sistemas Distribu´ıdos Desenvolvidos em Java Utilizando Injeção de Falhas de Comunicação por Software?, In Proc. of V Workshop de Testes e Tolerância a Falhas. Gramado, Brazil. 2004 [citation][year=2004]Charng-da Lu; Reed, D.A., "Assessing Fault Sensitivity in MPI Applications?, Proceedings of the ACM/IEEE SC2004 Supercomputing Conference, (High Performance Computing, Networking and Storage Conference) 2004 Page(s):37 " 37. [citation][year=2001]1. Thitima Srivatanakul "Mutation Testing for Concurrency" MSc Thesis, The Department of Computer Science, University of York, September 2001. [citation][year=1998]Volkmar Sieh "Effiziente Erstellung und Auswertung von Rechnermodellen zur detaillierten Zuverlässigkeitsanalyse" PhD Thesis, Univ. Erlangen, Germany, 1998 [citation][year=1998]Lin J. W., Kuo S. Y., "Efficient recovery from communication errors in distributed shared memory systems", IEICE Transactions on Information and Systems, E81D (11): pp. 1213-1223, Nov., 1998. ( [citation][year=1998]D. T. Stott, G. Ries, M-C. Hsueh, R. K. Iyer "Dependability Analysis of a High-Speed Network Using Software-Implemented Fault Injection and Simulated Fault Injection" IEEE Transactions on Computers, January 1998, Vol. 47, No. 1, pp. 108-119. [citation][year=1998]David Thomas Stott "Software-Implemented Fault Injection For Dependability Analysis Of High-Speed Computer Networks", MSc Thesis, Univ. Illinois Urbana-Champaign, 1998. [citation][year=1998]Peter Sobe, "A Study of Roll-Forward Recovery from Faults Among Communicating Processes", Research Report, TUD/ FI 98/02, Technical University of Dresden, Alemanha, 1998. [citation][year=1997]1. D. Blough, T. Torii "Fault-Injection-Based Testing of Fault-Tolerant Algorithms in Message Passing Parallel Computers" Proceedings of the 27th Annual International Symposium on Fault-Tolerant Computing Symposium, FTCS-27, 24-27 June 1997, Seattle, Washington, EUA, IEEE Computer Society Press, pp. 258-267, ISBN 0-8186-7831-3. [citation][year=1995]1. Jean Arlat, "Tutorial on Tools for Analytical and experimental Evaluation of Dependable Computersâ?, 1st IEEE International Computer Performance and Dependability Symposium (IPDS'95), Erlangen, Alemanha, Abril de 1995. [publication]Alves, A. and Silva, L. and Carreira, J. and Silva, J.G. , "WPVM: Parallel Computing for the People", in International Conference on High-Performance Computing and Networking (HPCN 95), vol. 919, 1995 [citation][year=2002]L. Góes, L. Ramos, C. Martins, "Performance Analysis of Parallel Programs Using Prober as a Single Aid Tool", Proc. 14th Symposium on Computer Architecture and High Performance Computing (SCAB-PAD'02), October 2002, Vitória, Brazil [citation][year=2002]Ramos, L.E.S. Goes, L.F.W. Martins, C.A.P.S., "Teaching and learning parallel processing through performance analysis using Prober", 32nd ASEE/IEEE Frontiers in Education Conference, 2002 [citation][year=2000]J. Barbosa, J. Tavares, A.J. Padilha, "Linear Algebra Algorithms in Heterogeneous Cluster of Personal Computers", Proceedings 9th Heterogeneous Computing Workshop, May 2000, Cancun, Mexico [citation][year=2000]Fadlallah, G. Lavoie, M. Dessaint, L.-A., "Parallel computing environments and methods", Proceedings. International Conference on Parallel Computing in Electrical Engineering, 2000. PARELEC-2000 [citation][year=1999]1. Dino Ahr, Andreas Bäcker, "Project Workspaces for Parallel Computing - The TRAPPER Approach", Proceedings of the 5th International Euro-Par Conference on Parallel Processing, Lecture Notes In Computer Science; Vol. 1685, 1999 [citation][year=1998]1. Mamontov YV, Willander M, "An algorithm to evaluate spectral densities of high-dimensional stationary diffusion stochastic processes with non-linear coefficients: The general scheme and issues on implementation with PVM?, Applied Parallel Computing, Lecture Notes in Computer Science, Springer-Verlag Berlin, Berlin, vol. 1541: 1998, pp. 315-321. [citation][year=1997]Luciano José Senger, "Avaliação de Desempenho do PVM-W95", Dissertação Mestrado, Instituto de Ciências Matemáticas de São Carlos da Universidade de São Paulo (ICMSC/USP), Novembro de 1997 [citation][year=1997]Paulo S. Souza, Luciano J. Senger, Marcos José Santana, Regina Helena Carlucci Santana, "Evaluating Personal High Performance Computing with PVM on Windows and LINUX Environments", Proceedings of the 4th European PVM/MPI Users' Group Meeting on Recent Advances in Parallel Virtual Machine and Message Passing Interface, Lecture Notes In Computer Science; Vol. 1332, 1997 [citation][year=1996]1. Yong Jae Kim, Tag Gon Kim "A Heterogeneous Distributed Simulation Framework Based on DEVS Formalism" AIS'96, pp. 116-121, Mar. 23, 1996, San Diego, CA. 1994(1 publication) [publication]Carreira, J. and Silva, L. and Silva, J.G. , "On the design of Eilean: A Linda-like library for MPI", in IEEE Second Scalable Parallel Libraries Conference, 1994 [citation][year=2004]Russello G, Chaudron M, Van Steen M "Exploiting differentiated tuple distribution in shared data spaces" EURO-PAR 2004 Parallel Processing, Proceedings, Lecture Notes In Computer Science 3149: 579-586 2004 [citation][year=2004]Russello G, Chaudron M, Van Steen M "Dynamic adaptation of data distribution policies in a shared data space system" On The Move To Meaningful Internet Systems 2004: COOPLS, DOA, AND ODBASE, PT 2, Proceedings, Lecture Notes In Computer Science 3291: 1225-1242 2004 [citation][year=2000]Rocco De Nicola, Rosario Pugliese, Antony I. T. Rowstron. "Proving the Correctness of Optimising Destructive and Non-destructive Reads over Tuple Spaces", Lecture Notes In Computer Science; Vol. 1906, 2000, Proceedings of the 4th International Conference on Coordination Languages and Models, Lecture Notes In Computer Science; Vol. 1906, 2000 [citation][year=2000]Antony Rowstron, "Optimising the Linda in primitive: understanding tuple-space run-times", Proceedings of the 2000 ACM symposium on Applied computing, Como, Italy, ACM Press [citation][year=1999]1. Ronaldo Meneses "Resource Management In Tuple Space Systems" PhD. Thesis, University of York, Agosto de 1999. [citation][year=1997]Ronaldo Menezes and Alan Wood. Garbage Collection in Open Distributed Tuple Space Systems. In Proc. of 15th Brazilian Computer Networks Symposium - SBRC'97, pages 525--543, São Carlos - São Paulo - Brazil, May 1997. [citation][year=1997]Pedro Abílio Duarte de Medeiros "Suporte à Execução de Programas em Arquitecturas Paralelas Heterogéneas", Tese de Doutoramento, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa, 1997 [citation][year=1997]Roel van der Goot, Jonathan Schaeffer, Gregory V. Wilson. "Safer Tuple Spaces", Proceedings of the Second International Conference on Coordination Languages and Models, Lecture Notes In Computer Science; Vol. 1282, 1997 Book Chapters 2003(1 publication) [publication]Costa, D. and Madeira, H. and Carreira, J. and Silva, J.G. , "Xception?: a Software Implemented Fault Injection Tool", in Fault Injection Techniques and Tools for Embedded Systems Reliability Evaluation, 2003