Journal Articles 2015(2 publications) [publication]Costa, J.P. and Silva, J.G. and Madeira, H. , "Practical and Representative Faultloads for Large-Scale Software Systems", Journal of Systems and Software, vol. 103, pp. 182-197, 2015 [publication]Costa, P. .N.d. and Silva, J.G. and Madeira, H. , "Practical and representative faultloads for large-scale software systems", Journal of Systems and Software, vol. 103, pp. 182-197, 2015 2005(1 publication) [publication]Prata, P. and Mario Zenha-Rela and Madeira, H. and Silva, J.G. , "Robust Assertions and Fail-Bounded Behavior", Journal of the Brazilian Computer Society (Special Issue on Dependable Computing), 2005 2002(1 publication) [publication]Marques, P. and Silva, L. and Silva, J.G. , "M&M's: Building Binary Software Components for Supporting Mobile-Agent Enabled Applications", Journal of Autonomous Agents and Multi-Agents Systems, vol. 5, pp. 101-109, 2002 [citation][year=2005]1. H. Wang and B. Feng, "Research of the Chinese Meta-Search Engine Model Based on Intelligent Agent", in Proc. of the 19th International Conference on Advanced Information Networking and Applications (AINA"05), IEEE Press, Taiwan, March 2005 [citation][year=2004]1. Yingjie Z.; Liling G., "Using the philosophy of mobile agent technology for e-service in the field of reverse engineering applications", Rapid Prototyping Journal, 1 March 2004, vol. 10, no. 3, pp. 158-165(8), Publisher: Emerald Group Publishing Limited 2000(1 publication) [publication]Silva, L. and Martins, P. and Silva, J.G. , "Heterogeneous Parallel Computing using Java and WMPI", special issue of Concurrency Practice and Experience, vol. 12, pp. 1077-1091, 2000 [citation][year=2002]1. Butrylo, B. Musy, F. Nicolas, L. Scorretti, R. Vollaire, C. , "New trends in parallel electromagnetic fields computation", International Conference on Parallel Computing in Electrical Engineering (PARELEC'02), September 2002, Warsaw, Poland 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(5 publications) [publication]Echtle, K. and Silva, J.G. , "Fehlerinjektion - ein Mittel zur Bewertung der Maÿnahmen gegen Fehler in komplexen Rechensystemen", Informatik Spektrum, vol. 21, pp. 328-336, 1998 [citation][year=1999]1. Felix C. Gartner. A survey of transformational approaches to the specification and verification of fault-tolerant systems. Technical Report TUD-BS-1999-04, Darmstadt University of Technology, Darmstadt, Germany, April 1999 [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; [publication]Bizarro, P. and Silva, L. and Silva, J.G. , "JWARP: a Java library for parallel discrete event simulations", Concurrency: Practice and Experience, vol. 10, pp. 999-1005, 1998 [citation][year=2006]MPJ Express Meets Gadget: Towards a Java Code for Cosmological Simulations M Baker, B Carpenter, A Shafi LECTURE NOTES IN COMPUTER SCIENCE, 2006 - Springer Recent Advances in Parallel Virtual Machine and Message Passing Interface Volume 4192/2006, Pages 358-365, September 21, 2006 [citation][year=2006]MPJ: Enabling Parallel Simulations in Java Mark Baker, Bryan Carpenter and Aamir Sha Technical Report, Distributed Systems Group, University of Portsmouth [citation][year=2006]CoJava: Optimization Modeling by Nondeterministic Simulation Lecture Notes in Computer Science Springer Berlin / Heidelberg Volume 4204/2006, Pages 91-106, September 29, 2006 Principles and Practice of Constraint Programming - CP 2006 [citation][year=2002]Teo, Y.M., Ng, Y.K., Onggo, B.S.S., "Conservative simulation using distributed-shared memory", Proceedings. 16th Workshop on Parallel and Distributed Simulation, 2002. [citation][year=2002]Yong Meng Teo, Yew Kwong Ng, "SPaDES/Java: object-oriented parallel discrete-event simulation", Proceedings. 35th Annual Simulation Symposium, April 2002. [publication]Silva, L. and Silva, J.G. , "Using two-level stable storage for efficient checkpointing", IEE Software Engineering Journal, vol. 145, 1998 [publication]Bizarro, P. and Silva, J.G. and Silva, L. , "JWARP: A Java Library for Parallel Discrete-Event Simulations", Concurrency: Practice and Experience, vol. 10, 1998 1997(4 publications) [publication]Silva, L. and Silva, J.G. and Chapple, S. , "Implementation and Performance of DSMPI", Scientific Programming Journal, vol. 6, pp. 201-214, 1997 [citation][year=2000]1. Mourao E, Booth S "Single sided communications in multi-protocol MPI" RECENT ADVANCES IN PARALLEL VIRTUAL MACHINE AND MESSAGE PASSING INTERFACE, PROCEEDINGS, LECTURE NOTES IN COMPUTER SCIENCE, 1908: 176-183 2000 [publication]Pedroso, H. and Pedroso, H. and Silva, L. and Silva, J.G. , "Web - based Metacomputing with JET", Concurrency: Practice and Experience, vol. 9, 1997 [citation][year=2004]1. Kondo, D. Taufer, M. Brooks, C.L. Casanova, H. Chien, A.A., "Characterizing and evaluating desktop grids: an empirical study", Proceedings. 18th International Parallel and Distributed Processing Symposium, 2004. [citation][year=2002]1. Fabian Breg, "DSJOS: Distributed Scalable Java Operating System for Cluster Architectures", Technical Report Center for Supercomputing Research and Development, University of Illinois, May 2002 [citation][year=2001]G. Fedak and C. Germain and V. N'eri and F. Cappello, "XtremWeb: A Generic Global Computing System", In IEEE Int. Symp. on Cluster Computing and the Grid, 2001. [citation][year=2001]C. Germain and G. Fedak and V. Néri and F. Cappello, "Global Computing Systems", Lecture Notes in Computer Science, 2179, pp.218--??, 2001. [citation][year=2001]Luis F. G. Sarmenta, "Volunteer Computing", PhD Thesis MIT, USA, June 2001 [citation][year=2001]Philipp Drum, "Effiziente Methoden für global verteiltes wissenschaftliches Rechnen", PhD Dissertation, Technischen Universität München, May 2001 [citation][year=1999]1. G. Judd, M. Clement, Q. Snell, V. Getov. "Design Issues for Efficient Implementation of MPI in Java" ACM 1999 Java Grande Conference, ACM Press, June 1999, pp. 58--65. [citation][year=1998]1. Glenn Judd, Mark Clement and Quinn Snell "DOGMA: Distributed Object Group Metacomputing Architecture', Concurrency: Practice and Experience, Vol 10(1),1-7 (1998). [publication]Silva, L. and Silva, J.G. , "Checkpointing Distributed Shared Memory", n/a, vol. 11, pp. 137-158, 1997 [citation][year=2004]1. Katsinis, C. Hecht, D., "Fault-tolerant DSM on the SOME-Bus multiprocessor architecture with message combining", Proceedings 18th International Parallel and Distributed Processing Symposium, April 2004. [citation][year=2003]1. Diana Hecht, Constantine Katsinis, "Performance Analysis of a Fault-Tolerant Distributed-Shared-Memory Protocol on the SOME-Bus Multiprocessor Architecture", Proceedings of the 17th International Symposium on Parallel and Distributed Processing, 2003 [citation][year=2002]1. Hecht, D. Katsinis, C., "Protocols for fault-tolerant distributed-shared-memory on the SOME-bus multiprocessor architecture" , Proceedings 16th International Parallel and Distributed Processing Symposium, IPDCS- 2002 [citation][year=2000]1. Kyue-Sup Byun and Jai-Hoon Kim, "Determining Checkpointing Intervals for Fault Tolerant Real-Time Systems," PDPTA'2000, Las Vegas, Nevada, pp. 2795-2801, June 2000. [citation][year=1999]1. Vivekanand Vellanki, Nissim Harel, Namgeun Joeng, Joonwon Lee and Umakishore Ramachandran, "High Availability for Software DSM Systems", Workshop on Scalable Shared Memory Systems, May 1999. [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. 1996(1 publication) [publication]Magalhães, A.P. and Mario Zenha-Rela and Silva, J.G. , "On the Nature of Deadlines", Microprocessors and Microsystems, vol. 20, pp. 79-88, 1996 1990(1 publication) [publication]Madeira, H. and Quadros, G. and Silva, J.G. , "Experimental Evaluation of a Set of Simple Error Detection Mechanisms", Microprocessing and Microprogramming, The EUROMICRO Journal, pp. 513-520, 1990 [citation][year=2002]1. Steininger A., Scherrer C., "Identifying efficient combinations of error detection mechanisms based on results of fault injection experiments", IEEE Transactions on Computers, 51 (2): pp. 235-239, Feb. 2002. [citation][year=1997]1. Ismaeel A.A., Bhatnagar. R., "Test for detection & location of intermittent faults in combinational circuits?, IEEE Transactions on Reliability, No. 46, Vol. 2, pp. 269-274, Junho1997. [citation][year=1997]2. 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=1996]1. Jürgen Bohne, Reny Grönberg "Adaptable Fault Tolerance for Distributed Process Control Using Exclusively Standard Components" Proc. Second European Dependable Computing Conference, Taormina, Itália, Outubro 1996, Lecture Notes in Computer Science 1150, Springer Verlag, pp. 21-34, ISBN 3-540-61772-8. [citation][year=1995]1. Rudi Cuyvers, "User-Adaptable Fault Tolerance for Message Passing Multiprocessors", tese de doutoramento, Katholieke Universiteit Leuven (Lovaina), Bélgica, Maio de 1995: [citation][year=1994]1. Janusz Sosnowski "Transient Fault-Tolerance in Digital Systems" IEEE Micro, Vol. 14, N. 1, Fevereiro de 1994, pp. 24-35. [citation][year=1993]1. Andreas Steininger, "Evaluation of Error Detection Mechanisms by Fault Injection: Literature Survey and Definition of an Experiment", Internal Report 93/05, Vienna University of Technology, Viena, Maio de 1993 [citation][year=1992]1. Eliane Martins, "Validation de Systèmes Répartis par Injection de Fautes", Tese de Doutoramento, LAAS - Laboratoire d'Automatique et d'Analyse des Systèmes du CNRS, Toulouse, Julho de 1992. Conference Articles 2009(1 publication) [publication]Costa, P. .N.d. and Silva, J.G. and Madeira, H. , "Dependability Benchmarking using Software Faults: How to create practical and representative faultloads", in Proc. IEEE 15th Pacific Rim International Symposium on Dependable Computing (PRDC’09), 2009 2006(2 publications) [publication]Domingues, P. and Silva, J.G. and Silva, L. , "Sharing Checkpoints to Improve Turnaround Time in Desktop Grid", in Advanced Information Networking and Applications (AINA\'06), vol. 1, 2006 [citation][year=2011]Zoran Constantinescu and Monica Vladoiu (2011). Using Open Source Desktop Grids in Scientific Computing and Visualization, Advances in Grid Computing, Zoran Constantinescu (Ed.), ISBN: 978-953-307-301-9, InTech, Available from: http://www.intechopen.com/articles/show/title/using-open-source-desktop-grids-in-scientific-computing-and-visualization [citation][year=2009]J.M. Gil, U.S Song, H.C. Yu, “Performance Evaluation of Scheduling Mechanism with Checkpoint Sharing and Task Duplication in P2P-Based PC Grid Computing?”, Advances in Grid and Pervasive Computing: 4th International Conference, GPC 2009, Geneva, Switzerland, May 4-8, 2009. [citation][year=2009]Anglano, C. and Canonico, M.,” Knowledge-Free Scheduling Algorithms for Multiple Bag-of-Task Applications on Desktop Grids”, 2009 [citation][year=2008]Constantinescu-Fuløp, Zoran, "A Desktop Grid Computing Approach for Scientific Computing and Visualization?, PhD Thesis, Norwegian University of Science and Technology, May 2008.( http://urn.ub.uu.se/resolve?urn=urn:nbn:no:ntnu:diva-2191) [publication]Silva, L. and Madeira, H. and Silva, J.G. , "Software Aging and Rejuvenation in a SOAP-based Server", in IEEE-NCA, Network Computing and Applications, 2006 [citation][year=2007]Salvatore Orlando, "Software Aging Analysis of Off The Shelf Software Items?, PhD Thesis Salvatore Orlando, "FEDERICO II? University of Naples, Naples, Italy, October, 2007. 2005(1 publication) [publication]Rodríguez, M. and Silva, J.G. and Rodríguez-Dapena, P. and Loon, H.v. and Aldea-Montero, F. , "Proposed Approach and Extensions to Product Assurance and Software Engineering Standards", in 4th International Conference on COTS-Based Software Systems - ICCBSS 2005, 2005 2004(2 publications) [publication]Silva, J.G. and Rodríguez, M. and Costa, D. and Loon, H.v. and Rodríguez-Dapena, P. and Pedersen, K. and Aldea-Montero, F. , "Product Assurance of Software Reuse in the SPICE for Space Framework", in 4th International SPICE Conference on Process Assessment and Improvement, 2004 [publication]Christensen, A.L. and Brito, J. and Silva, J.G. , "The Architecture and Performance of WMPI II", in 11th European PVM/MPI Users' Group Meeting - Recent Advances in Parallel Virtual Machine and Message Passing Interface, 2004 2003(3 publications) [publication]Domingues, P. and Silva, L. and Silva, J.G. , "DRMonitor - A Distributed Resource Monitoring System", in 11th Euromicro Parallel, Distributed and Network-Based Processing, 2003 [citation][year=2013]Tie, Zhixin, ”Mobile-C Based Agent System for Detecting Improper Computer Usage at Computer Laboratories”, Journal of Software, 8(9), pp. 2262-2271, 2013. [citation][year=2012]Sarada Prasad Gochhayat, Pallapa Venkataram, ”Performance analysis of a node monitoring protocol in ubiquitous networks”, 2012. [citation][year=2012]Orozco, J Mart´ ?n Serrano,”Convergence in IT and Telecommunications”, Applied Ontology Engineering in Cloud Services, Networks and Management Systems, pp. 1-9, 2012 (DOI: 10.1007/978-1-4614-2236-5 1). [citation][year=2012]Orozco, J Mart´ ?n Serrano, ”The Role of Semantics in ICT at the Cloud Era”, Applied Ontology Engineering in Cloud Services, Networks and Management Systems, pp 11-53, 2012, Springer. [citation][year=2012]Gochhayat, Sarada Prasad and Venkataram, Pallapa, ”A method of developing an agent based ubiquitous node monitoring protocol”, Conference on Communications (NCC), 2012. [citation][year=2011]Iglesias, J.O.; Thorburn, J.; Parsons, T.; Murphy, J.; O'Sullivan, P.; , "Scoring System Utilization through Business Profiles," Cloud Computing Technology and Science (CloudCom), 2011 IEEE Third International Conference on , vol., no., pp.482-488, Nov. 29 2011-Dec. 1 2011, doi: 10.1109/CloudCom.2011.71 [citation][year=2009]Gao, C. and Li, Z. and Chen, L., “Host risk evaluation framework based on multi-source information”, Computing, Communication, Control, and Management, 2009. CCCM 2009. ISECS International Colloquium on, volume 1, pp. 249-252, 2009 [citation][year=2009]Yang, G. and Wang, K. and Zhou, X.,” An Adaptive Resource Monitoring Method for Distributed Heterogeneous Computing Environment”, 2009 IEEE International Symposium on Parallel and Distributed Processing with Applications, pp. 40-44, 2009 [citation][year=2009]Gao, C. and Li, Z. and Song, H., “Security Evaluation Method Based on Host Resource Availability”, 2009 Third International Conference on Multimedia and Ubiquitous Engineering, pp. 499-504, 2009 [citation][year=2008]EH Song, LT Yang, YS Jeong, “3-Hierarchical resource management model on web grid service architecture”, The Journal of Supercomputing, 46(3), pp 257-275, Springer Verlag, 2008. [citation][year=2006]J. Wang, Xingshe Zhou, Xiaoan Shi, "Policy-based Distributed Resource Monitoring Technology", Computer Engineering, 32(1), pp 34-36, 2006. [citation][year=2005]Hai-jing Zhang, Yao-wu Chen, Le-Yu Wang, "The Software Design of Network-based Elevator Alarm System", Modern Machinery, (3), pp 40-41, 2005. [citation][year=2005]Córdoba, A. and Villadangos, J. and Astrain, JJ and Armendáriz, JE, “A b2b replication service”, Parallel, Distributed and Network-Based Processing, 2005. PDP 2005. 13th Euromicro Conference on, pp. 337-343, 2005 [publication]Fonseca, N. and Fonseca, N. and Silva, J.G. , "MPI Farm programs on non-dedicated clusters", in 10th European PVM/MPI Users' Group Meeting, 2003 [publication]Costa, P. .N.d. and Marco Vieira and Madeira, H. and Silva, J.G. , "Plug and Play Fault Injector for Dependability Benchmarking", in First Latin-American Symposium on Dependable Computing, LADC, 2003 [citation][year=2013]Stefan Winter, Michael Tretter, Benjamin Sattler, and Neeraj Suri, “simFI: From Single to Simultaneous Software Fault Injections”, The 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, Budapest, Hungary, June 2013. [citation][year=2011]1. Gianpiero Cabodi, Marco Murciano, Massimo Violante, “Boosting software fault injection for dependability analysis of real-time embedded applications”, ACM Transactions on Embeded Computing Systems, Vol. 10, Issue 2, January 2011. 2002(6 publications) [publication]Marques, P. and Fonseca, R. and Simões, P. and Silva, L. and Silva, J.G. , "A Component-Based Approach for Integrating Mobile Agents Into the Existing Web Infrastructure", 2002 [citation][year=2015]M. M. Nasr, "A proposed paradigm for tracing the effect of security threats in various mobile agent systems," 2015 5th National Symposium on Information Technology: Towards New Smart World (NSITNSW), Riyadh, 2015, pp. 1-8. doi: 10.1109/NSITNSW.2015.7176428 [citation][year=2013]Mauro Dragone, Building Self-adaptive Software Systems with Component, Services & Agents Technologies: Self-OSGi, Agents and Artificial Intelligence, Communications in Computer and Information Science Volume 358, 2013, pp 300-316, http://dx.doi.org/10.1007/978-3-642-36907-0_20 [citation][year=2010]Qusay H. Mahmoud and Leslie Yu, Integrating the Havana agent platform into the existing web infrastructure, International Journal of Wireless and Mobile Computing, Volume 4, Number 4 / 2010, pp. 290–304, Indescience. [citation][year=2009]Oscar Urra, Sergio Ilarri, Raquel Trillo and Eduardo Mena, Mobile Agents and Mobile Devices: Friendship or Difficult Relationship?, Journal of Physical Agents, Vol. 3 No. 2 May 2009. [citation][year=2008]Tong-Seng Quah, Chye-Huang Leow, Linking Business for Competitive Advantage: a Mobile Agent-Based Approach. In Electronic Business: Concepts, Methodologies, Tools, and Applications, I. Lee (Ed.), pp. 117-141, Idea Group Inc (IGI), 2008. [citation][year=2007]WANG Xiaohu, WU Jianbin, Research of an Agent platform based on Web services, Journal of Zheijiang Normal University (Natural Sciences), 2007 (30)2, 10.3969/j.issn.1001-5051.2007.02.014 [citation][year=2007]1. I.E. Foukarakis, A.I. Kostaridis, C.G. Biniaris, D.I. Kaklamani, and I.S. Venieris; "Webmages: An agent platform based on web services"; in Computer Communications, Volume 30, Issue 3, February 2007 [citation][year=2005]Mona Nasr, A Simulation-based Model for Tracing the Effect of Masquerading Security Threat in Mobile Agent Systems; In Proc the 13th Int. Conf. on Artificial Applications, ICAIA’05, American University in Cairo (AUC), Egypt, February 2005. [citation][year=2005]1. M. Eid, H. Artail, A. Kayssi, and A. Chehab, "Trends in Mobile Agent Applications", in Journal of Research and Practice in Information Technology, Vol. 37, No. 4, November 2005 [citation][year=2004]V. Tan, "Interaction Tracing for Mobile Agent Security", PhD Thesis, University of Southampton, Southampton, UK, March 2004 [citation][year=2003]I.E. Foukarakis, A.I. Kostaridis, C.G. Biniaris, D.I. Kaklamani, I.S. Venieris, "Implementation of a Mobile Agent Platform Based on Web Services", Proc. Mobile Agents for Telecommunication Applications MATA-03, Lecture Notes in Computer Science, Volume 2881 / 2003, Springer-Verlag Heidelberg. [citation][year=2003]Odysseas Papapetrou, Location Aware Web-Crawling With the Use of Migrating Crawlers, Master Thesis, University of Cyprus, Department of Computer Science, December 2003. [publication]Santos, N. and Marques, P. and Silva, L. and Silva, J.G. , "A Framework for Smart Proxies and Interceptors in RMI", 2002 [citation][year=2008]1. A. Stevenson and S. MacDonald, "Smart Proxies in Java RMI with Dynamic Aspect-Oriented Programming", in Proceedings of the 10th International Workshop on Java and Components for Parallelism, Distribution, and Concurrency (IWJPDC 2008), Miama, FL, April 2008. [citation][year=2008]2. A. Stevenson and S. MacDonald, "Dynamic Aspect-Oriented Load Balancing in Java RMI", in Proceedings of the 2008 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA 2008), Las Vegas, NV, July 2008, pages 485-491. [citation][year=2008]3. A. Stevenson, "Aspect-Oriented Smart Proxies in Java RMI", M.Sc. Thesis, University of Waterloo, Waterloo, Ontario, Canada, 2008 [citation][year=2007]1. Buyya, R. Venugopal, S., " Smart Proxies for Accessing Replicated Web Services", in IEEE Distributed Systems Online, Vol. 8(12), IEEE, December 2007 [citation][year=2006]1. J. Junior, G. Carmo, M. Valente, \\\"Invocation of replicated web services using smart proxies\\\", in Proceedings of the 12th Brazilian symposium on Multimedia and the Web, ACM Press, Natal, Rio Grande do Norte, Brazil, November 2006 [citation][year=2006]2. Y. Wang, J. Wei, Z. Wang. \"An architecture for extensible and configurable event notification service\", in Journal of Software, Vol. 17(3), pgs. 638-648, 2006. [citation][year=2005]1. Güray Yilmaz and Nadia Erdogan, "DCOBE: Distributed Composite Object-Based Environment?, in The Computer Journal, Vol. 48(3):273-291, 2005 [citation][year=2005]2. R. Kapitza, M. Kirstein, H. Schmidt, F. Hauck, "FORMI: an RMI extension for adaptive applications", in Proceedings of the 4th Workshop on Reflective and Adaptive Middleware Systems, ACM Press, Grenoble, France, 2005 [citation][year=2004]1. M. Keidl and A. Kemper, "Towards Context-Aware Adaptable Web Services?, in Proc. 13th International Conference on World Wide Web (WWW"04), ACM Press, New York, USA, May 2004 [citation][year=2003]H. Reiser, F. Hauck, R. Kapitza, and A. Schmied, "Integrating Fragmented Objects into a CORBA Environment?, in Proc. Net.Objects Days 2003, Erfurt, Germany, September 2003. [citation][year=2003]S. Schulz, M. Friedrich, W. Küchlin, and T. Hüttner, "A RMI-Security-Extension Using the PERMI Framework?, in Proc. Net.Objects Days 2003, Erfurt, Germany, September 2003. [citation][year=2003]J. Hallstrom, W. Leal, A. Arora, "Scalable Evolution of Highly Available Systems?, in IEICE/IEEE Joint Special Issue on Assurance Systems and Networks, E86-D(10), 2154 " 2166 (October 2003) [publication]Marques, P. and Santos, P. and Silva, L. and Silva, J.G. , "Supporting Disconnected Computing in Mobile Agent Systems", 2002 [publication]Tiago Baptista and Pedroso, H. and Silva, J.G. , "The Implementation of One-Sided Communications for WMPI II", in Euro PVM/MPI 2001, 2002 [publication]Cunha, J.C. and Mario Zenha-Rela and Silva, J.G. , "On the Use of Disaster Prediction for Failure-Tolerance in Feedback Control Systems", in The International Conference on Dependable Systems and Networks, DSN-2002, 2002 [citation][year=2010]1. Piotr Gawkowski, Maciej ?awry?czuk, Piotr Marusak, Janusz Sosnowski and Piotr Tatjewski, “Fail-bounded implementations of the numerical model predictive control algorithms”, Control and Cybernetics vol. 39 (2010) No. 4 [citation][year=2008]Daniel Skarin, Johan Karlsson, "Software Implemented Detection and Recovery of Soft Errors in a Brake-by-Wire System," Dependable Computing Conference, 2008. EDCC 2008. Seventh European , vol., no., pp.145-154, 7-9 May 2008 [citation][year=2008]P. Gawkowski, J. Sosnowski, "Developing Fault Injection Environment for Complex Experiments," On-Line Testing Symposium, 2008. IOLTS '08. 14th IEEE International , vol., no., pp.179-181, 7-9 July 2008 [citation][year=2008]Dawid Trawczynski, Janusz Sosnowski and Piotr Gawkowski, “Analyzing Fault Susceptibility of ABS Microcontroller”, SAFECOMP '08 Proceedings of the 27th international conference on Computer Safety, Reliability, and Security, 2008 [citation][year=2006]1. Sumant Kowshik, Grigore Rosu, Lui Sha, "Static Analysis to Enforce Safe Value Flow in Embedded Control Systems", International Conference on Dependable Systems and Networks (DSN'06), 2006 [citation][year=2006]2. Sumant Kowshik, "Static Analysis for Architecture Implementation Conformance in Robust Embedded Systems", PhD Thesis, Computer Science Department, University of Illinois at Urbana-Champaign, USA, 2006 [citation][year=2005]1. Jonny Vinter, "On the Effects of Soft Errors in Embedded Control Systems?, PhD Thesis, Department of Computer Science and Engineering, Chalmers University of Technology, Göteborg, Sweden, 2005, ISBN 91-7291-630-3 [citation][year=2005]2. Sumant Kowshik, Girish Baliga, Scott Graham, Lui Sha, "Co-design Based Approach to Improve Robustness in Networked Control Systems?, IEEE/IFIP International Conference on Dependable Systems and Networks, Performance and Dependability Symposium, DSN-PDS 2005, Yokohama, Japão, 28 de Junho a 1 de Julho de 2005. [citation][year=2005]3. Girish Baliga, "A Middleware Framework for Networked Control Systems," PhD Thesis, Department of Cumputer Science, University of Illinois at Urbana-Champaign, USA, 2005 [citation][year=2004]Juan-Carlos Ruiz, Pedro Yuste, Pedro Gil, Lenin Lemus, "On Benchmarking the Dependability of Automotive Engine Control Applications�, the International Conference on Dependable Systems and Networks (DSN'2004), Florence, Italy, June 2004 [citation][year=2004]Paulo José Lopes Machado Portugal, “Avaliação da Confiança no Funcionamento de Redes de Campo”, Dissertação submetida para a obtenção do grau de Doutor em Engenharia Electrotécnica e de Computadores pela Faculdade de Engenharia da Universidade do Porto, 2004 [citation][year=2004]Scott R. Graham, “Fault Tolerance in Networked Control Systems Through Real-Time Restarts”, Report, University of Illinois at Urbana, Air Force Inst of Tech Wright-Pattersonafb OH, 2004 [citation][year=2003]1. ÿrjan Askerdal "On Impact and Tolerance of Data Errors with Varied Duration in Microprocessors" PhD Thesis, Departament of Computer Engineering, Chalmers University of Technology, Sweden, 2003, ISBN 91-7291-285-5. [publication]Cunha, J.C. and Henriques, J. and Mario Zenha-Rela and Silva, J.G. , "Reset-Driven Fault Tolerance", in 4th European Dependable Computing Conference (EDCC-4), vol. 2485, 2002 [citation][year=2013]Trawczynski, D. and Zalewski, J., "Application of Accelerated Processing Units in Safety-Critical Systems," SAE Int. J. Passeng. Cars – Electron. Electr. Syst. 6(1):93-101, 2013, doi:10.4271/2013-01-0179 [citation][year=2010]• Daniel Skarin, Raul Barbosa, Johan Kar1.sson, "Comparing and Validating Measurements of Dependability Attributes," Dependable Computing Conference (EDCC), 2010 European , vol., no., pp.3-12, 28-30 April 2010 [citation][year=2009]1. Daniel Skarin, Johan Karlsson, "Evaluation of low-cost detection and recovery of soft errors in an ABS controller”, Proceedings of the 2009 IEEE Workshop on Silicon Errors in Logic - System Effects (SELSE 5), 2009 [citation][year=2004]1. Yuste Pérez Pedro, “Contribución a la Validación de la Confiabilidad en los Sistemas Empotrados Tolerantes a Fallos”, Phd Thesis, Universidad: Politecnica De Valencia, 2004 2001(7 publications) [publication]Marques, P. and Simões, P. and Silva, L. and Silva, J.G. and Boavida, F. , "Towards Manageable Mobile Agent Infrastructures", 2001 [citation][year=2004]Emmanuel Reuter, Agents Mobiles: Itinéraires pour l"administration système et réseau, PhD thesis, Université de Nice Sophia Antipolis, May 2004. [citation][year=2003]1. Rui Pedro Lopes, José Luis Oliveira, "A Mobile Agent Manager", Proc. MATA-2003, Mobile Agents for Telecommunication Applications, Oct 2003, Lecture Notes in Computer Science, Volume 2881 / 2003, Springer-Verlag [publication]Marques, P. and Simões, P. and Silva, L. and Boavida, F. and Silva, J.G. , "Providing Applications With Mobile Agent Technology", 2001 [citation][year=2016]Muhammad Saleh Kaukab, Sabih Khan Afridi, Yaqoob Wani and Khalid Hussain, A Comprehensive Analysis of Agent Based Backup Management System, International Journal of Scientific & Engineering Research, Volume 7, Issue 3, pp. 530-536, March-2016, ISSN 2229-5518 [citation][year=2015]Nai-Ching Chao, A Research on the Implementation of Enterprise BOYD Policy, These for Master of Business Administration – Department of Information Management, Tatung University, January 2015. [citation][year=2014]Miada Al-masre, Fathy Alburi. Manager Architecture for Mobile Cloud Computing-Cloudlet based. Asian Journal of Computer and Information Systems (ISSN: 2321 – 5658), Vol. 02 – Issue 01, February 2014. [citation][year=2013]Atul Srivastava, Manpreet Singh, Mamta Sharma and Manali Aggarwal, Mobile Agents and their Application in Distributed Crawling, Proceedings of the 2nd National Conference on Recent Trends in Computer Science and Information Technology (RTCSIT-2013), Excel India Publishers, pp. 68-70, October 2013. [citation][year=2012]Bhattacharya, A., Mobile agent based elastic executor service, Computer Science and Software Engineering (JCSSE), 2012 Int. Joint Conf. on, 2012, pp. 351-356, DOI: 10.1109/JCSSE.2012.6261978 [citation][year=2010]Mohammad Hasan Samadani and Mehdi Shajari. 2010. Path reduction in complex grid service provision. In Proceedings of the 12th International Conference on Electronic Commerce: Roadmap for the Future of Electronic Business (ICEC '10). ACM, New York, NY, USA, 88-93. DOI=10.1145/2389376.2389388 http://doi.acm.org/10.1145/2389376.2389388 [citation][year=2010]Saifur Rahman, Manisa Pipattanasomporn, Modeling and Simulation of a Distributed Generation-Integrated Intelligent Microgrid, SERDP Project SI-1650 (Final Report), Virginia Tech, February 2010. [citation][year=2009]Zhiqiang Wei; Yewei Feng, "A Mobile Agent Sub-optimal Migration Algorithm Based on Probability," Web Information Systems and Mining, 2009. WISM 2009. International Conference on, vol., no., pp.413,417, 7-8 Nov. 2009, doi: 10.1109/WISM.2009.90 [citation][year=2009]Hassan Feroze, "Multi-Agent Systems in Microgrids: Design and Implementation?, Masters thesis in Electrical Engineering, Faculty of the Virginia Polytechnic Institute and State University, USA, August 2009. [citation][year=2009]B. Molina, S.F. Pileggi, M. Esteve, C.E. Palau, "A negotiation framework for content distribution in mobile transient networks?, Journal of Network and Computer Applications, Volume 32, Issue 5, September 2009. [citation][year=2009]Daniele Puccinelli (editor), Specification of the ADULT-Haggle, Haggle Deliverable D1.4, European Union FP6 Project 027918, http://www.haggleproject.org/, September 2009. [citation][year=2008]Molina, B., Pileggi, S. F., Palau, C. E., and Esteve, M. 2008. A social framework for content distribution in mobile transient networks. In Proceedings of the Third international Workshop on Use of P2p, Grid and Agents For the Development of Content Networks (Boston, MA, USA, June 23 - 23, 2008). UPGRADE '08. ACM, New York, NY, 29-36. DOI= http://doi.acm.org/10.1145/1384209.1384216. [citation][year=2008]Shamila Makki, Subbarao Wunnava, Next Generation Networks and Code Mobility. ISAST Transactions on Communications and Networking, No.1 Vol. 2, 2008. [citation][year=2007]Liam Cragg, Huosheng Hu and Norbert Voelker, Modularity and Mobility of Distributed Control Software for Networked Mobile Robots, Software Engineering for Experimental Robotics, Springer Tracts in Advanced Robotics, 2007, Volume 30/2007, 459-484, DOI: 10.1007/978-3-540-68951-5_26 [citation][year=2006]Jinghao Ju; Dong Wang; Huanye Sheng. RFID Data Collection and Integration Based on Mobile Agent," IEEE Conference on Cybernetics and Intelligent Systems (ICCIS 2006), June 2006 [citation][year=2006]D. Gavalas, C. Politi, Low-Cost Itineraries for Multi-Hop Agents Designed for Scalable Monitoring of Multiple Subnets, Computer Networks, Elsevier Science , 50(16), pp. 2937-2952, November 2006. [citation][year=2006]Xi-Cheng Tan and Fu-Ling Bian, "P2P and Agent Service Based On-Line 3DGIS�?�, Lecture Notes in Computer Science Volume 4295/2006 Book Web and Wireless Geographical Information Systems ISBN978-3-540-49466-9, 2006. [citation][year=2005]1. J Ko, BD Gerardo, J Lee, JJ Hwang, The Information Search System Using Neural Network and Fuzzy Clustering Based on Mobile Agent, in O. Gervasi et al. (Eds.): ICCSA 2005, LNCS 3481, pp. 205"214, Springer-Verlag Berlin Heidelberg 2005. [citation][year=2005]2. X Wang, A Jiang, S Wang; Mobile agent based wireless sensor network for intelligent maintenance, in DS Huang, XP Zhang, GB Huang (Eds.): Advances in Intelligent Computing, International Conference on Intelligent Computing, ICIC 2005, Hefei, China, August 23-26, 2005, Part II, LNCS 3645, pp. 316"325, Springer-Verlag Berlin Heidelberg 2005. [citation][year=2005]3. Christophe Cubat Dit Cros, Agents Mobiles Coopérants pour les Environnements Dynamiques, PhD thesis, Institut National Polytechnique de Toulouse, France, December 2005. [citation][year=2005]4. W. Buchanan, J. Graves, L. Saliou, H. Al Sebea, N. Migas, Agent-based Forensic Investigations with an Integrated Framework, Proc. of the Proceedings of the 5th European Conference on Information Warfare and Security (ECIW 2005), Academic Conferences, 2005. [citation][year=2005]5. C. Diaz, SWAM: Un lengua je para la programacíon de agentes móviles inteligentes en la Web Semántica, Tesis sometida a evaluacíon como requisito parcial para la obtencíon del grado de Magister en Ingeniería de Sistemas, Universidad Nacional Del Centro de la Provincia de Buenos Aires, Argentina, 2005. [citation][year=2004]1. Aneiba, J. Rees, "Mobile Agent Technology and Mobility?, in Proc. of the 5th Annual Postgraduate Symposium on the Convergence of Telecommunications (PGNet 2004), Networking and Broadcasting, pp. 14-20, Liverpool, June 2004 [citation][year=2004]2. S. S. Manvi, P. Venkataram: "Applications of agent technology in communications: a review". Computer Communications 27(15): 1493-1508 (2004) [citation][year=2004]3. Damianos Gavalas, "Network Management Itineraries for Mobile Agents?, Proceedings of the 2nd Internation Working Conference on Performance Modelling and Evaluation of Heterogeneous Networks (HET-NETs"04), Ilkley, West Yorkshire, UK, 26-28 July, 2004. [citation][year=2003]L. Cragg, P. Tsui, and H. Hu, "Building a Fault Tolerant Architecture for Internet Robots Using Mobile Agentsâ?, in Proc. 1st British Workshop on Internet and Online Robots (IORW"03), Reading, UK, 2003 [citation][year=2003]C. Hsu, H. Hsu, D. Yang, and F. Wang, "Constructing a Multiple Mobile-BDI Agent Systemâ?, in Proc. of 14th Workshop on Object-Oriented Technology and Applications (OOTA'2003), 2003. [citation][year=2003]M. Chuang and W. Chang, "Performance Monitoring Web Applications via a Mobile-Agent Approachâ?, in Tunghai Science Journal, Vol. 5, pp. 21-41, July 2003 [citation][year=2003]A. Boulis, C.-C. Han, and M.B. Srivastava, "Design and Implementation of a Framework for Efficient and Programmable Sensor Networks", in Proceedings of First International Conference on Mobile Systems, Applications, and Services (MobiSys), May 2003. [citation][year=2002]A. Boulis and M. B. Srivastava, "A Framework for Efficient and Programmable Sensor Networksâ?, in Proc. 5th IEEE International Conference on Open Architectures and Network Programming (OpenArch'02), IEEE Computer Press, New York, June, 2002 [citation][year=2002]Required reading in the graduate course "Desenvolvimento de Software Baseado em Agentes Móveisâ?, of the Universidade Federal de Campina Grande, Brazil. 2002. (http://www.dsc.ufcg.edu.br/~patricia/ma/) [citation][year=2001]Damianos Gavalas, Mobile Software Agents for Network Monitoring and Performance Management, PhD Thesis, University of Essex, UK, 2001. [publication]Marques, P. and Santos, N. and Silva, L. and Silva, J.G. , "The Security Architecture of the M&M Mobile Agent Framework", 2001 [citation][year=2007]1. Adam Pridgen and Christine Julien; "SMASH: Modular Security for Mobile Agents"; in Lecture Notes in Computer Science 4408, Springer-Verlag, August 2007 [citation][year=2006]1. A. Pridgen and C. Julien, "A Secure Modular Mobile Agent System", Technical Report TR-UTEDGE-2006-003, University of Texas at Austin, 2006 [citation][year=2006]2. Adam Pridgen and Christine Julien; "A Secure Modular Mobile Agent System?; in Proceedings of the 2006 International Workshop on Software Engineering for Large-Scale Multi-agent Systems; ACM, May 2006 [citation][year=2004]1. Elmarie Biermann, "A Framework for the Protection of Mobile Agents Against Malicious Hosts?, Ph.D Thesis, University of South Africa, September 2004 [publication]Marques, P. and Fonseca, R. and Simões, P. and Silva, L. and Silva, J.G. , "Integrating Mobile Agents into Off-the-Shelf Web Servers: The M&M Approach", in Munich, Germany, 2001 [citation][year=2005]R.D.G Jayarathne, Dynamic Server Access by Mobile Agents Using Attribute Certificates, 7th International Information Technology Conference (IITC), Sri Lanka, 9-10 November 2005. [citation][year=2005]1. Qusay H. Mahmoud, Leslie Yu, "An Architecture and Business Model for Making Software Agents Commercially Viable", in Proc. of the 38th Hawaii International Conference on System Sciences, 2005 [citation][year=2004]Q. Mahmoud, L. Yu, "Havana: a mobile agent platform for seamless integration with the existing Web infrastructure", in Proc. of the 2004 Canadian Conference on Electrical and Computer Engineering, Niagara Falls, Ontario, Canada, May 2004. [citation][year=2002]S. Arumugam, A. Helal, A. Nalla, "aZIMAs: Web Mobile Agent System", in Proceedings of the 6th IEEE International Conference on Mobile Agents (MA'02), Barcelona, Spain, October, 2002 [citation][year=2002]Subramanian Arumugam, "aZIMAS: Web Mobile Agent Systemâ?, MsC Thesis, Science University of Florida, 2002. [publication]Cunha, J.C. and Silva, J.G. , "Software-Implemented Stable Storage in Main Memory", in IX Brazilian Symposium on Fault-Tolerant Computing (SCTF'2001), 2001 [citation][year=2015]Vankeirsbilck, Jens, Hans Hallez, and Jeroen Boydens. "Soft Error Protection in Safety Critical Embedded Applications: An Overview." P2P, Parallel, Grid, Cloud and Internet Computing (3PGCIC), 2015 10th International Conference on. IEEE, 2015. [citation][year=2002]1. Francisco Brasileiro, Walfredo Cirne, Erick B. Passos, Tatiana S. Stanchi, "Using Remote Memory to Stabilise Data Efficiently on an EXT2 Linux File System�, Anais do SBRC 2002 - 20° Simpósio Brasileiro de Redes de Computadores (Proceedings of the SBRC 2002 - 20th Brazilian Symposium on Computer Networks), May 2002 [citation][year=2002]2. Francisco Assis da Silva, “Recuperação com Base em Checkpointing: uma Abordagem Orientada a Objetos”, Dissertação (Mestrado), Universidade Federal do Rio Grande do Sul. Programa de Pós-Graduação em Computação, Porto Alegre, 2002 [publication]Cunha, J.C. and Mario Zenha-Rela and Silva, J.G. , "A Study of Failure Models in Feedback Control Systems", in The International Conference on Dependable Systems and Networks, DSN-2001, 2001 [citation][year=2019]M. A. Gamarra, S. Shetty, O. R. Gonzalez, L. Njilla, M. Pendleton and C. Kamhoua, "Dual Redundant Cyber-Attack Tolerant Control Systems Strategy for Cyber-Physical Systems," ICC 2019 - 2019 IEEE International Conference on Communications (ICC), Shanghai, China, 2019, pp. 1-7. [citation][year=2019]Gamarra, Marco A.. "A Multi-Agent Systems Approach for Analysis of Stepping Stone Attacks" (2019). Doctor of Philosophy (PhD), Dissertation, Electrical/Computer Engineering, Old Dominion University, DOI: 10.25777/5yvw-zd91 [citation][year=2018]V. Fratin, D. Oliveira, C. Lunardi, F. Santos, G. Rodrigues and P. Rech, "Code-Dependent and Architecture-Dependent Reliability Behaviors," 2018 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), Luxembourg City, 2018, pp. 13-26. doi: 10.1109/DSN.2018.00015 [citation][year=2013]Josef Nilsson, Niklas Strandy, Paolo Falconez and Jonny Vinter, "Driver performance in the presence of adaptive cruise control related failures: Implications for safety analysis and fault tolerance," the International Conference on Dependable Systems and Networks (DSN'2013), Budapest, Hungary, June 2013 [citation][year=2011]Iwinski, Marcin, and Sosnowski, Janusz, "Testing Fault Susceptibility of a Satellite Power Controller", in Dependable Computer Systems, Wojciech Zamojski, Janusz Kacprzyk, Jacek Mazurkiewicz, Jaroslaw Sugier, and Tomasz Walkowiak (Eds.), in Springer Berlin / Heidelberg, Advances in Intelligent and Soft Computing series, Volume 97, pages 63-74. [citation][year=2011]Vadlamudi, S.G.; Chakrabarti, P.P.; Das, D.; Sinha, P. “A framework for early stage quality-fault tolerance analysis of embedded control systems”, in the International Conference on Dependable Systems and Networks (DSN'2011), Hong Kong, June 2011, IEEE Computer Society Press, ISBN 978-1-4244-9232-9, pages 315 - 322 [citation][year=2011]Dawid Trawczy?ski, Janusz Sosnowski, “Fault Injection Testing of Safety-Critical Applications”, Computer Science and Information Systems, Technical transaction, Issue 9, Year 108, 1-I/2011 [citation][year=2010]Roger A Kisner, Wayne W Manges, Lawrence Paul MacIntyre, James J Nutaro, John K Munro Jr, Paul D Ewing, Mostofa Howlader, Phani Teja Kuruganti, Richard M Wallace, Mohammed M Olama, "Cybersecurity through Real-Time Distributed Control Systems";, Technical Report, Oak Ridge National Laboratory (ORNL), 2010 [citation][year=2010]Dawid Trawczy?ski, Janusz Sosnowski, Piotr Gawkowski, “Testing Distributed ABS System with Fault Injection”, Innovations in Computing Sciences and Software Engineering, 2010, pp 201-206, Springer [citation][year=2009]Daniel Skarin, Johan Karlsson, "Software mechanisms for tolerating soft errors in an automotive brake-controller", Proc. WDSN, pp. D34 2009 [citation][year=2009]Daniel Skarin, Johan Karlsson, "Evaluation of low-cost detection and recovery of soft errors in an ABS controller”, Proceedings of the 2009 IEEE Workshop on Silicon Errors in Logic - System Effects (SELSE 5), 2009 [citation][year=2009]Dawid Trawczyński, Janusz Sosnowski and Piotr Gawkowski, “Testing Distributed ABS System with Fault Injection”, Proceedings of the 2009 International Conference on Systems, Computing Sciences and Software Engineering (SCSS), 2009 [citation][year=2008]1. Daniel Skarin, Johan Karlsson, "Software Implemented Detection and Recovery of Soft Errors in a Brake-by-Wire System," Dependable Computing Conference, 2008. EDCC 2008. Seventh European , vol., no., pp.145-154, 7-9 May 2008 [citation][year=2007]1. Daniel Skarin, Martin Sanfridson, Johan Karlsson, “Impact of Soft Errors in a Brake-by-Wire System”. Proceedings of the 2007 IEEE Workshop on Silicon Errors in Logic - System Effects (SELSE 3), 2007 [citation][year=2005]Jonny Vinter, "On the Effects of Soft Errors in Embedded Control Systems?, PhD Thesis, Department of Computer Science and Engineering, Chalmers University of Technology, Göteborg, Sweden, 2005, ISBN 91-7291-630-3 [citation][year=2005]Sumant Kowshik, Girish Baliga, Scott Graham, Lui Sha, "Co-design Based Approach to Improve Robustness in Networked Control Systems?, IEEE/IFIP International Conference on Dependable Systems and Networks, Performance and Dependability Symposium, DSN-PDS 2005, Yokohama, Japão, 28 de Junho a 1 de Julho de 2005. [citation][year=2005]Jonny Vinter, Olaf Hannius, Torbjorn Norlander, Peter Folkesson, Johan Karlsson, ?Experimental Dependability Evaluation of a Fail-Bounded Jet Engine Control Syste,m for Unmanned Aerial Vehicles", IEEE/IFIP International Conference on Dependable Systems and Networks, Performance and Dependability Symposium, DSN-PDS 2005, Yokohama, Japão, 28 de Junho a 1 de Julho de 2005. [citation][year=2004]Juan-Carlos Ruiz, Pedro Yuste, Pedro Gil, Lenin Lemus, "On Benchmarking the Dependability of Automotive Engine Control Applications�, the International Conference on Dependable Systems and Networks (DSN'2004), Florence, Italy, June 2004 [citation][year=2004]J. Kaiser and E. Nett, "Resolving the Trade-Offs in Designing QoS Communication Services for Control Applications on CAN�, Workshop on Architectures for Cooperative Embedded Real-Time Systems (WACERTS'04), in conjunction with the 25th IEEE International Real-Time Systems Symposium (RTSS04), Lisbon, Portugal, December 2004 [citation][year=2004]Paulo José Lopes Machado Portugal, “Avaliação da Confiança no Funcionamento de Redes de Campo”, Dissertação submetida para a obtenção do grau de Doutor em Engenharia Electrotécnica e de Computadores pela Faculdade de Engenharia da Universidade do Porto, 2004 [citation][year=2003]Jonny Vinter, Andreas Johansson, Peter Folkesson, Johan Karlsson "On the Design of Robust Integrators for Fail-Bounded Control Systems" Proc. 2003 International Conference on Dependable Systems and Networks (DSN'03), June 22 - 25, 2003, San Francisco, California, IEEE Computer Society Press, ISBN 0-7695-1952-0, pp. 415-424. [citation][year=2003]Orjan Askerdal "On Impact and Tolerance of Data Errors with Varied Duration in Microprocessors" PhD Thesis, Departament of Computer Engineering, Chalmers University of Technology, Sweden, 2003, ISBN 91-7291-285-5. [citation][year=2003]IDA, Cesar Ossamu; WEBER, Taisy Silva. Uma Arquitetura Altamente Disponível Aplicada a Sistemas de Controle Embutidos de Tempo Real. In: WORKSHOP DE TESTES E TOLER�NCIA A FALHAS - WTF 2003, 2003, Natal. IV Workshop de Testes e Tolerância a Falhas (WTF). Natal - RN: Sociedade Brasileira de Computação e UFRN, 2003. v. 1, p. 79-86. [citation][year=2003]O Askerdal, M Gaefvert, M Hiller, "Analyzing the Impact of Data Errors in Safety-Critical Control Systems", IEICE Trans. Inf. & Syst., Special Issue on Dependable Computing, VOL E86-D, No 12, Dec. 2003. [citation][year=2003]M Gafvert, B Wittenmark, O Askerdal, "On the Effect of Transient Data-Errors in Controller Implementations", Proceedings of the American Control Conference, 2003. [citation][year=2003]Magnus Gäfvert, "Topics in Modeling, Control, and Implementation in Automotive Systems," PhD Thesis, Department of Automatic Control, Lund Institute of Technology, Lund, Sweden, 2003 [citation][year=2002]O Askerdal, M Gaefvert, M Hiller, N Suri, "A Control Theory Approach for Analyzing the Effects of Data Errors in Safety-Critical Control Systems", Proceedings of the 2002 Pacific Rim International Symposium on Dependable Computing (PRDC02), 16-18 Dec.2002, pp. 105- 114. [citation][year=2002]Cesar Ida, Taisy Weber, “Controller Duplication for Fault Tolerance in Embedded Control Systems”, I Simpósio de Informática da Região Centro/RS – 2002 [citation][year=2001]1. Per-Arne Wiberg, Urban Bilstrup, "Wireless technology in industry-applications and user scenarios," Emerging Technologies and Factory Automation, 2001. Proceedings. 2001 8th IEEE International Conference on , vol., no., pp.123-131 vol.1, 2001 [publication]Marques, P. and Fonseca, R. and Silva, L. and Silva, J.G. , "Integrating Mobile Agents With Off-the-shelf Web-servers", in Systems and Applications (INBOSA\'2001), 2001 2000(8 publications) [publication]Marques, P. and Silva, L. and Silva, J.G. , "A Flexible Mobile-Agent Framework for Accessing Information Systems in Disconnected Computing Environments", 2000 [citation][year=2004]1. M. Ho, Y. Chang, S. Yuan, "EMARE: An Email-based Mobile Agent Runtime Environment for Information Retrieval on the Internet?, in Proc. 2nd IEEE International Workshop on Wireless and Mobile Technologies in Education, Taoyuan, TAIWAN, March 2004. [citation][year=2002]S. Choudhury, A. Dan, "Downloadable Service Contracts for Disconnected Transactionsâ?, in Proc. 12th International Workshop on Research Issues in Data Engineering: Engineering E-Commerce/E-Business Systems (RIDE'02), San Jose, California, February 2002 [citation][year=2002]S da Costa Cortes, Sérgio Lifschitz, "Sistemas de Gerencia de Banco de Dados baseados em Agentes para um Ambiente de Computacao Movel", Technical Report MCC1/02, Departamento de Informática da Universidade PUC-Rio, Rio de Janeiro, Brasil, Junho 2002 [citation][year=2001]1. S da Costa Cortes, CJP de Lucena, "Um Framework para construcao de Sistemas de Banco de Dados Movel com Regras Ativas", Technical Report MCC35/01, Departamento de Informática da Universidade PUC-Rio, Rio de Janeiro, Brasil, Outubro 2001 [publication]Marques, P. and Silva, L. and Silva, J.G. , "Building Domain-Specific Mobile Agent Platforms from Reusable Software Components", 2000 [publication]Marques, P. and Silva, L. and Silva, J.G. , "Going Beyond Mobile Agent Platforms: Component-Based Development of Mobile Agent Systems", 2000 [citation][year=2004]1. V. Tan, "Interaction Tracing for Mobile Agent Security", PhD Thesis, University of Southampton, Southampton, UK, March 2004. [publication]Marques, P. and Silva, L. and Silva, J.G. , "Addressing the Question of Platform Extensibility in Mobile Agent Systems", 2000 [publication]Marques, P. and Simões, P. and Silva, L. and Boavida, F. and Silva, J.G. , "Mobile Agent Systems: From Technology to Applications", in OOPSLA'2000 Workshop on Experiences with Autonomous Mobile Objects and Agent Based Systems, 2000 [citation][year=2003]1. M. Bisignano, G. Di Modica, and O. Tomarchio, "Mobile Agent Location Management: a Comparison Between CORBA and P2P Based Systems?, in Proc. 8th IEEE International Symposium on Computers and Communication (ISCC"2003), KEMER, TURKEY, June 2003. [citation][year=2001]1. O. Tomarchio, L. Vita, A. Puliafito, "Mobile Agents and Legacy Systems: How to Integrate Alternative Communication Paradigms?. in Proceedings of the 3rd International Workshop on Mobile Agents for Telecommunication Applications (MATA2001), Montreal (Canada), August 2001. [publication]Silva, L. and Batista, V. and Silva, J.G. , "Fault-Tolerant Execution of Mobile Agents", in DSN-00 - International Conference on Dependable Systems and Networks, 2000 [citation][year=2004]1. Taesoon Park, Ilsoo Byun and Heon Y. Yeom "Lazy Agent Replication and Asynchronous Consensus for the Fault-Tolerant Mobile Agent System" NETWORKING 2004, Third International IFIP-TC6 Networking Conference, Athens, Greece, May 9-14, 2004. [citation][year=2004]2. Sung Jin Choi, Maeng Soon Baik, Hong Soo Kim, Jun Weon Yoon, Jin Gon Shon, Chong Sun Hwang, "Region-based stage construction protocol for fault tolerant execution of mobile agent", Proc. 18th International Conference on Advanced Information Networking and Applications, 2004. AINA 2004. March 2004 [citation][year=2003]Marin, O.; Bertier, M.; Sens, P.; "DARX - a framework for the fault-tolerant support of agent software" Software Reliability Engineering, 2003. ISSRE 2003. 14th International Symposium on , 17-20 Nov. 2003, Pages:406 - 416. [citation][year=2003]Toan Phung; Loke, S.W.; Harland, J.; "Adding flexibility using structured goals: the case of itinerant mobile agents" Intelligent Agent Technology, 2003. IAT 2003. IEEE/WIC International Conference on , 13-16 Oct. 2003, Pages:562 - 565 [citation][year=2003]Maeng Soon Baik, In Sung Kang, Yun Hee Kang and Chong Sun Kang, "Optimistic Fault-Tolerant Approach for Mobile Agent in Multi-Region Mobile Agent Computing Environment", In the International Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA-03, 2003 [citation][year=2003]Pears, S. Jie Xu Boldyreff, C., "A dynamic shadow approach for mobile agents to survive crash failures", Sixth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, May 2003. [citation][year=2003]Zahia Guessoum, Jean-Pierre Briot, Olivier Marin, Athmane Hamel, Pierre Sens. "Dynamic and Adaptive Replication for Large-Scale Reliable Multi-agent Systems", in Software Engineering for Large-Scale Multi-Agent Systems: Research Issues and Practical Applications, Lecture Notes in Computer Science, Volume 2603 / 2003, August 2003, Springer-Verlag Heidelberg [citation][year=2003]Overeinder, B. Brazier, F. Marin, O., "Fault tolerance in scalable agent support systems: integrating DARX in the AgentScape framework", 3rd IEEE/ACM International Symposium onCluster Computing and the Grid, 2003. Proceedings. CCGrid 2003, May 2003 [citation][year=2003]Pears, S., Jie Xu, Boldyreff, C., "Mobile agent fault tolerance for information retrieval applications: an exception handling approach", The Sixth International Symposium on Autonomous Decentralized Systems, 2003. ISADS April 2003. [citation][year=2003]Pleisch, S., Schiper, A., "Fault-tolerant mobile agent execution", IEEE Transactions on Computers, Feb. 2003, pages 209-222, Volume: 52, Issue: 2 [citation][year=2002]1. Hyunjoo Kim, Heon Y. Yeom, Taesoon Park , "The Cost of Checkpointing , Logging and Recovery for the Mobile Agent Systems", Pacific Rim International Symposium on Dependable Computing(PRDC02), Dec. 2002, Tokyo, Japan [citation][year=2002]2. Taesoon Park, Ilsoo Byun, Hyunjoo Kim, Heon Y. Yeom, "The Performance of Checkpointing and Replication Schemes for Fault Tolerant Mobile Agent Systems", Proc. 21st IEEE Symposium on Reliable Distributed Systems (SRDS'02), October 2002, Osaka University, Suita, Japan [citation][year=2002]3. P. Dasgupta, "Fault tolerance in MAgNET: A Mobile Agent E-commerce System," Proceedings of the Sixth International Conference on Internet Computing, Las Vegas, NV, June 2002, pp. 733-739 [citation][year=2002]4. Jian Chen "A Hierarchical Fault-Tolerance Framework for Mobile Intelligent Agent Systems" PhD Thesis, The University of British Columbia, Canada, April 2002. [citation][year=2002]5. Stefan Pleisch "Fault-Tolerant and Transactional Mobile Agent Execution" PhD Thesis, Ã?cole Polytechnique Fédérale de Lausanne, Thèse nr. 2654 (2002). [citation][year=2001]1. Stefan Pleisch, André Schiper "FATOMAS - A Fault-Tolerant Mobile Agent System Based on the Agent-Dependent Approach" 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. 215-224. [citation][year=2001]2. Erica Y. Tang, Jie Xu, Keith Bennett "The SeCode Approach: Towards Fault-Tolerant and Secure Execution of Mobile Code" Supplement of the 2001 International Conference on Dependable Systems and Networks, 1-4 July 2001, Göteborg, Sweden, IEEE Computer Society, pp B-74,B-75. [citation][year=2001]3. Prithviraj(Raj) Dasgupta "Mobile Software Agent Enabled E-commerce: System Design and Profit Maximizing Algorithms" PhD Thesis, University of California, Santa Barbara, June 2001. [citation][year=2001]4. S. Mishra, "Agent Fault Tolerance Using Group Communication". Proceedings of the 2001 International Conference on Parallel and Distributed Processing Techniques and Application (PDPTA 2001), Las Vegas, NV (June 2001). [citation][year=2001]5. Daria Chacón, Benjamin Bell, and John McCormick "Using Autonomous Agents to Improve Efficiency and Robustness in Slow, Unreliable, Networks," AAAI 2001 Spring Symposium on robust Autonomy, March 2001 Stanford University. [citation][year=2001]6. Stefan Pleisch, Andre Schiper "Approaches to Fault-Tolerant Mobile Agent Execution" Research Report, IBM Research, RZ 3333 (# 93379) 03/19/01 [publication]Távora, V.M.N. and Silva, L. and Silva, J.G. , "Distributed Checkpointing Mechanism for a Parallel File System", in EuroPVM/MPI\'2000, 2000 [publication]Távora, V.M.N. and Silva, L. and Silva, J.G. , "Fault Tolerance for Parallel Systems", in Proc. Int. Conference on Parallel and Distributed Computing and Systems, 2000 1999(12 publications) [publication]Prata, P. and Silva, J.G. , "Fault-Detection by Result-Checking for the Eigenproblem", in EDDC-3, 1999 [publication]Prata, P. and Silva, J.G. , "Algorithm Based Fault Tolerance versus Result-Checking for Matrix Computations", in FTCS - 29, 1999 [citation][year=2003]1. ÿrjan Askerdal "On Impact and Tolerance of Data Errors with Varied Duration in Microprocessors" PhD Thesis, Departament of Computer Engineering, Chalmers University of Technology, Sweden, 2003, ISBN 91-7291-285-5. [citation][year=2001]Ahmad A. Al-Yamani, Nahmsuk Oh, Edward J. McCluskey " Performance Evaluation of Checksum-Based ABFT" IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems (DFT'01), October 24 - 26, 2001, San Francisco, California. [citation][year=2001]Behrooz Parhami "Approach to component-based synthesis of fault-tolerant software" Informatica 25 (2001) 533"543 [citation][year=2001]John A. Gunnels, Daniel S. Katz, Enrique S. Quintana"Ortí, Robert A. van de Geijn "Fault"Tolerant High"Performance Matrix Multiplication: Theory and Practice" 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. 47-56. [citation][year=2001]Ahmad A. Al-Yamani, Nahmuk Oh, Edward J. McCluskey "Algorithm-Based Fault Tolerance: A performance perspective based error rate" Supplement of the 2001 International Conference on Dependable Systems and Networks, 1-4 July 2001, Göteborg, Sweden, IEEE Computer Society, pp B-108,B-109. [citation][year=2000]1. Michael Turmon, Robert Granat, Daniel S. Katz, "Software-Implemented Fault Detection for High-Performance Space 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. 107-116. [publication]Marques, P. and Silva, L. and Silva, J.G. , "Security Mechanisms for Using Mobile Agents in Electronic Commerce", 1999 [citation][year=2006]1. T. Chen, \"A Noval Key Management and Access Control Method for Mobile Agent\", Master\'s Thesis, Institute of Communicational Engineering, 2006. [citation][year=2005]1. W Qu, H Shen, J Sum, ""Stochastic analysis of mobile agent-based e-shopping", in International Journal of Electronic Business, Vol. 3, Nos. 3/4, 2005 [citation][year=2004]1. S. Guan, F. Zhu, and M. Maung, "A Factory-based Approach to Support E-Commerce Agent Fabrication?, in Electronic Commerce Research and Applications Journal, Vol. 3(1), Elsevier Science, pp. 39-53, Spring 2004 [citation][year=2003]S. Guan, T. Wang, S. Ong, "Migration Control for Mobile Agents Based on Passport and Visa?, in Future Generation Computer Systems, pp. 173-186, Elsevier Science, ISSN:0167-739X, 2003 [citation][year=2003]C. Wang, F. Zhang and Y. Wang, "Secure Web Transaction with Anonymous Mobile Agent over the Internet?, in Journal of Science and Technology, Vol. 18(1), pp. 84-89, ISSN 1000-9000, January 2003. [citation][year=2002]L. Korba "Privacy in Distributed Electronic Commerce" Proceedings of th 35th Hawaii International Conference on System Science, Hawaii, January 7-11, 2002, NRC 44891. [citation][year=2002]Wang TH, Guan SU, Chan TK, "Integrity protection for Code-on-Demand mobile agents in e-commerce" JOURNAL OF SYSTEMS AND SOFTWARE 60 (3): 211-221 FEB 15 2002. [citation][year=2002]S. Guan, T. Wang and S. Ong, "A Secure Approach for Mobile Agent Migration Control?, in Proc. of the Seventh International Symposium on Computers and Communications (ISCC"02), IEEE Press, Taormina/Giardini Naxos, Italy, July 2002 [citation][year=2002]O. Tomarchio and A. Puliafito. "Design and development of a practical security model for a mobile agent system?, in IEEE Symposium on Computer Communications (ISCC2002), Taormina (Italy), July 2002. [citation][year=2002]I. Lin, H. Ou, and M Hwang, "Two Secure Transportation Schemes for Mobile Agents?, in Information & Security Journal, Vol. 8(1), pp. 87-97, ISSN 1311-1493, 2002. [citation][year=2002]Required reading in the graduate courses "COS496V/W?, "INF414H? and "INF416H? ("Special Topic with Focus: Mobile Agent Security?), of the University of South Africa, South Africa. Fall 2002. (http://osprey.unisa.ac.za/~elsabe/download/MAsecurityInstructions.pdf) [citation][year=2002]SHENG-UEI GUAN and FANGMING ZHU, "Agent Fabrication and Its Implementation for Agent-Based Electronic Commerce?, in International Journal of Information Technology & Decision Making, Vol. 1, No. 3 (2002) 473"489, World Scientific Publishing Company, 2002 [citation][year=2001]1. O. Onbilger, R. Newman, and R. Chow, "A Distributed and Compromise-tolerant Mobile Agent Protection Schemeâ?, in International Conference on Intelligent Agents, Web Technology and Internet Commerce (IAWTIC'2001), Las Vegas, USA, July 2001. [citation][year=2000]S. Guan, F. Zhu, and C. Ko, "Agent Fabrication and Authorization in Agent-based Electronic Commerce?, in Proc. International ICSC Congress on Intelligent Systems and Applications, Wollongong, Australia, December 2000. [citation][year=2000]Required reading in the "EE657: Parallel Processing? course at the University of Southern California, USA. Fall 2000. (http://www-classes.usc.edu/engr/ee-s/657h/) [citation][year=2000]IEEE Chiper Reader"s Guide to Security and Privacy Conference Papers (http://www.ieee-security.org/Cipher/ReadersGuide/conferences-save.html) [publication]Cunha, J.C. and Mario Zenha-Rela and Silva, J.G. , "Can Software Implemented Fault-Injection be used on Real-Time Systems?", in EDDC-3, vol. 1667, 1999 [citation][year=2016]Horst Benjamin Schirmeier, "Efficient Fault-Injection-based Assessment of Software-Implemented Hardware Fault Tolerance", PhD thesis, Technischen Universität Dortmund, 2016 [citation][year=2015]J. Frtunikj, J. Fröhlich, T. Rohlfs and A. Knoll, "Qualitative evaluation of fault hypotheses with non-intrusive fault injection," 2015 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), Gaithersburg, MD, 2015, pp. 160-167 [citation][year=2011]1. Marko Miklo, Carl R. Elks, Ronald D. Williams,Charles L. Brown, “Design of a high performance FPGA based fault injector for real-time safety-critical systems,” 2011 IEEE International Conference on Application-Specific Systems, Architectures and Processors (ASAP), Santa Monica, CA, USA, pp. 243 – 246, 11-14 Sept. 2011 [citation][year=2011]2. Rickard Svenningsson, Jonny Vinter, Henrik Eriksson and Martin Törngren, “MODIFI: A MODel-Implemented Fault Injection Tool”, in COMPUTER SAFETY, RELIABILITY, AND SECURITY, Lecture Notes in Computer Science, 2010, Volume 6351/2010, 210-222, DOI: 10.1007/978-3-642-15651-9_16 [citation][year=2011]3. Rickard Svenningsson, “Model-Implemented Fault Injection for Robustness Assessment”, Licentiate thesis, 9/12/2011, KTH Royal Institute of Technology [citation][year=2010]Daniel Skarin, Raul Barbosa, Johan Karlsson, "GOOFI-2: A tool for experimental dependability assessment," Dependable Systems and Networks (DSN), 2010 IEEE/IFIP International Conference on , vol., no., pp.557-562, June 28 2010-July 1 2010 [citation][year=2010]Daniel Skarin, Raul Barbosa, Johan Karlsson, "Comparing and Validating Measurements of Dependability Attributes," Dependable Computing Conference (EDCC), 2010 European , vol., no., pp.3-12, 28-30 April 2010 [citation][year=2010]Rickard Svenningsson, Jonny Vinter, Henrik Eriksson, Martin Törngren, “MODIFI: A MODel-Implemented Fault Injection Tool”. SAFECOMP 2010, 210–222. Springer, 2010 [citation][year=2008]1. Bernhard Aichernig, “MOGENTES, Model-Based Generation of Test-Cases for Embedded Systems”, FP7 proposal, 2008 [citation][year=2005]1. Jonny Vinter, "On the Effects of Soft Errors in Embedded Control Systems?, PhD Thesis, Department of Computer Science and Engineering, Chalmers University of Technology, Göteborg, Sweden, 2005, ISBN 91-7291-630-3 [citation][year=2004]1. Yuste Pérez Pedro, “Contribución a la Validación de la Confiabilidad en los Sistemas Empotrados Tolerantes a Fallos”, Phd Thesis, Universidad: Politecnica De Valencia, 2004 [citation][year=2003]1. Peter Foolkesson, Joakim Aidemark, Jonny Vinter, "Assessment and Application of Scan-Chain Implemented Fault Injection.�, Technical Report 03-21, Chalmers University of Technology, Department of Computer Engineering, Göteborg 2003 [citation][year=2003]2. 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, São Paulo, Brazil: Springer Verlag, Lecture Notes in Computer Science, LNCS 2847: p. 23-38, ISBN 3-540-20224-2. [citation][year=2003]3. Alfredo Benso, Paolo Prinetto, "Fault injection techniques and tools for embedded systems reliability evaluation�, Boston: Kluwer Academic Publishers, 2003. [citation][year=2003]4. Jean Arlat, Jean-Charles Fabre, Manuel Rodríguez and Frédéric Salles, “MAFALDA: A Series of Prototype Tools for the Assessment of Real Time Cots Microkernel-Based Systems”, A. Benso and P. Prinetto (eds.), “Fault Injection Techniques and Tools for Embedded Systems Reliability Evaluation”, pp. 141-156, Kluwer Academic Publishers, 2003 [citation][year=2002]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]Manoel Rodríguez Moreno, "Technologie d'empaquetage pour la sureté de fonctionnement des systemes temps-réel", Thése présentée au Laboratoire d'Analyse et d'Architecture des Systémes du Centre Centre National de la Recherche Scientifique (LAAS/ CNRS), en vue d'obtenir le titre de Docteur de l'Institut National Polytechnique de Toulouse, numéro d'ordre 1898, Année 2002. [citation][year=2002]Manuel Rodríguez, Arnaud Albinet and Jean Arlat, "MAFALDA-RT: A Tool for Dependability Assessment of Real-Time Systems�, the International Conference on Dependable Systems and Networks (DSN'2002), Washington D.C., USA, June 2002 [citation][year=2002]Idriz Smaili and Astrit Ademaj, “Setting break-points in distributed time-triggered architecture”, in Proceedings of the Seventh IEEE International High-Level Design Validation and Test Workshop (HLDVT '02). IEEE Computer Society, Washington, DC, USA, 2002 [publication]Silva, P. and Silva, P. and Silva, J.G. , "Implementing MPI-2 Extended Collective Operations", in 6th European PVM/MPI Users' Group Meeting, vol. 1697, 1999 [citation][year=2003]1. Yoshiyuki Iwamoto , Koichi Suga , Kanemitsu Ootsu , Takashi Yokota , Takanobu Baba, Receiving message prediction method, Parallel Computing, v.29 n.11-12, p.1509-1538, November/December 2003. [publication]Silva, L. and Silva, J.G. , "An Experimental Evaluation of Coordinated Checkpointing in a Parallel Machine", in Third European Dependable Computing Conference (EDCC-3), vol. 1667, 1999 [citation][year=2000]1. Julia L. Lawall, Gilles Muller, "Efficient Incremental Checkpointing of Java Programs" 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. 61-70. [publication]Silva, L. and Silva, J.G. , "The Performance of Coordinated and Independent Checkpointing", in IPPS/SPDP 1999, 1999 [citation][year=2003]1. Himadri Sekhar Paul, Arobinda Gupta, R. Badrinath "Performance comparison of checkpoint and recovery protocols", Concurrency and Computation: Practice and Experience, Volume 15, Issue 15, Date: 25 December 2003, Pages: 1363-1386 [publication]Mourão, F.E. and Silva, J.G. , "Implementing MPI-2 One-Sided Communications for WMPI", in 6th European PVM/MPI Users' Group Meeting, vol. 1697, 1999 [citation][year=2004]Rajeev Thakur, William D. Gropp, and Brian Toonen "Minimizing Synchronization Overhead in the Implementation of MPI One-Sided Communications" Proc. 11th European PVM/MPI Users' Group Meeting - Recent Advances in Parallel Virtual Machine and Message Passing Interface, 2004, September 19-22, Budapest, Hungary: Springer Verlag, Vol. LNCS 3241: p. 57-67, ISBN 3-540-23163-3. [citation][year=2004]Weihang Jiang, Jiuxing Liu, Hyun-Wook Jin, Dhabaleswar K. Panda, Darius Buntinas, Rajeev Thakur and William D. Gropp "Efficient Implementation of MPI-2 Passive One-Sided Communications on Infiniband Clusters" Proc. 11th European PVM/MPI Users' Group Meeting - Recent Advances in Parallel Virtual Machine and Message Passing Interface, 2004, September 19-22, Budapest, Hungary: Springer Verlag, Vol. LNCS 3241: p. 68-76, ISBN 3-540-23163-3. [publication]Marques, P. and Silva, L. and Silva, J.G. , "Establishing a Secure Open-Environment for the Computations of Mobile Agents", in In Proceedings of ASA/MAâ??99, 1999 [publication]Silva, L. and Silva, J.G. , "An Experimental Evaluation of Coordinated Checkpointing in a Parallel Machine", in In Proceedings of EDCC-3, European Dependable Computing Conference, vol. 1667, 1999 [publication]Silva, L. and Silva, J.G. , "Using Message Semantics for Fast-Output Commit in Checkpointing-and-Rollback Recovery", in Proceedings of the Hawaii International Conference on System Sciences, IEEE, 1999 [publication]Silva, L. and Silva, J.G. , "Using Mobile Agents for the Management of Telecommunications", in Proceedings of ConfTele99, 1999 1998(12 publications) [publication]Marinho, J.M. and Silva, J.G. , "WMPI - Message Passing Interface for Win32 Clusters", in EuroPVM/MPI98, 1998 [citation][year=1999]Rossem Dimitrov, Anthony Skjellum "An Efficient MPI Implementationfor Virtual Interface (VI) Architecture Enabled Cluster Computing" Proceedings of the Third Message Passing Interface Developer's and User's Conference, A.Skjellum (ed.), March 10-12, 1999, Atlanta, USA,MPI Software Technology Press, Mississippi, USA, pp. 15-24. [citation][year=1999]K. Takeda, N.K. Allsopp, J.C. Hardwick, P.C. Macey, D.A.Nicole, S.J.Cox, and D.J.Lancaster "Cluster Computing An Assessment of MPI Environments for Windows NT" 1999 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'99), Workshop on Cluster Computing Technologies, Environments, and Applications (CC-TEA), Monte Carlo Resort, Las Vegas, Nevada, USA, June 28 - July 1, 1999. [citation][year=1998]1. L. Shane Hebert, Walter G. Seefeld, Anthony Skjellum, Clayborne D. Taylor Jr. "MPI for Windows NT: Two Generations of Implementations and Experience with the Message Passing Interface for Clusters and SMP Environments" 1998 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'98), July 13th - 16th, 1998, Las Vegas, USA. [publication]Silva, J.G. and Prata, P. and Mario Zenha-Rela and Madeira, H. , "Practical Issues in the Use of ABFT and a new Failure Model", in FTCS - 28, 1998 [citation][year=2009]Robert Granat, Kiri L. Wagstaff, Benjamin Bornstein, Benyang Tang, and Michael Turmon. Simulating and Detecting Radiation-Induced Errors for Onboard Machine Learning. Proceedings of the Third IEEE International Conference on Space Mission Challenges for Information Technology (SMC-IT), 19 a 23 de July, Pasadena, CA, EUA, 2009 [citation][year=2008]Daniel Skarin, Johan Karlsson, "Software Implemented Detection and Recovery of Soft Errors in a Brake-by-Wire System?, Seventh European Dependable Computing Conference, EDCC 2008, Kaunas, Lituánia, 07 a 09 de Maio de 2008 [citation][year=2005]Sumant Kowshik, Girish Baliga, Scott Graham, Lui Sha, "Co-design Based Approach to Improve Robustness in Networked Control Systems?, IEEE/IFIP International Conference on Dependable Systems and Networks, Performance and Dependability Symposium, DSN-PDS 2005, Yokohama, Japão, 28 de Junho a 1 de Julho de 2005. [citation][year=2005]Jonny Vinter, Olaf Hannius, Torbjorn Norlander, Peter Folkesson, Johan Karlsson, ?Experimental Dependability Evaluation of a Fail-Bounded Jet Engine Control Syste,m for Unmanned Aerial Vehicles", IEEE/IFIP International Conference on Dependable Systems and Networks, Performance and Dependability Symposium, DSN-PDS 2005, Yokohama, Japão, 28 de Junho a 1 de Julho de 2005. [citation][year=2005]Jonny Vinter, "On the Effects of Soft Errors in Embedded Control Systems?, PhD Thesis, Department of Computer Science and Engineering, Chalmers University of Technology, Göteborg, Sweden, 2005, ISBN 91-7291-630-3 [citation][year=2004]Christoforos N. Hadjicostis, "Coding Techniques for Fault-Tolerant Parallel Prefix Computations in Abelian Groups?, The Computer Journal, 47(3):329-341, © The British Computer Society, 2004 [citation][year=2003]J. Z. Lou, "Tests and Tolerances for High-Performance Software-Implemented Fault Detection?, IEEE Transactions on Computers 0018-9340/03, © 2003 IEEE Published by the IEEE Computer Society Vol. 52, No. 5; MAY 2003, pp. 579-591. (Science Citation Index Expanded) [citation][year=2003]M. Turmon, R. Granat, D. S. Katz, J. Z. Lou, "Tests and Tolerances for High-Performance Software-Implemented Fault Detection,? IEEE Trans. Computers, 2003. Volume 52, Issue 5, May 2003 Page(s):579 - 591 (Science Citation Index Expanded) [citation][year=2003]ÿrjan Askerdal, "On Impact and Tolerance of Data Errors with Varied Duration in Microprocessors", tese de doutoramento, Chalmers University of Technology, Gotemburgo, Suécia, ISBN 91-7291-285-5, 2003. [citation][year=2003]Jonny Vinter, A. Johansson, P. Folkesson, and J. Karlsson, "On the design of robust integrators for fail-bounded control systems", IEEE/IFIP International Conference on Dependable Systems and Networks, Dependable Computing and Communications, DSN-DCC 2003, San Francisco, CA, USA, pp. 415-424, 22 a 25 de Junho de 2003 [citation][year=2002]1. J. Norberg, T. Ersson, J. Vinter, M. Torngren, P. Folkesson, J. Karlsson, "A co-design approach for error handling in computer control systems", supplemental volume of the IEEE/IFIP International Conference on Dependable Systems and Networks, DSN-2002, Bethesda, Maryland, USA, pp. B-22-B23, June 23-26, 2002. [publication]Bizarro, P. and Silva, L. and Silva, J.G. , "JWarp: A Java Library For Parallel Discrete-Event Simulations", 1998 [publication]Bizarro, P. and Silva, L. and Silva, J.G. , "Implementing the Time-Warp Simulation Model in Java", in VECPARâ??98 - 3rd International Meeting on Vector and Parallel Processing, 1998 [publication]Batista, V. and Silva, L. and Silva, J.G. , "Checkpointing Java-based Parallel Applications", in 11th Parallel and Distributed Computing Systems, PDCS'98, 1998 [citation][year=2002]Bohn CA, Lamont GB, "Load balancing for heterogeneous clusters of PCs" FUTURE GENER COMP SY 18 (3): 389-400 JAN 2002 [publication]Silva, L. and Silva, J.G. , "System-Level versus User-Defined Checkpointing", in 17th IEEE Symposium on Reliable Distributed Systems, SRDS'98, 1998 [citation][year=2004]Sriram Krishnan and Dennis Gannon. Checkpoint and Restart for Distributed Components in XCAT3. In Grid 2004, 5th IEEE/ACM International Workshop on Grid Computing. IEEE Computer Society Press, November 2004. [citation][year=2004]Pawel Czarnul, Arkadiusz Urbaniak, Marcin Fraczak, Maciej Dyczkowski, Bartlomiej Balcerek, "Towards Easy-to-Use Checkpointing of MPI Applications within CLUSTERIX", International Conference on Parallel Computing in Electrical Engineering, PARELEC'04, September 2004, Dresden, Germany [citation][year=2004]Ashwin Raju Jeyakumar, "Metamori: A library for Incremental File Checkpointing", MSc Thesis Faculty of the Virginia Polytechnic Institute and State University, Virginia Tech, Blacksburg, VA, June 3, 2004 [citation][year=2004]J. T. Rough, A. M. Goscinski, "The development of an efficient checkpointing facility exploiting operating systems services of the GENESIS cluster operating system ", Future Generation Computer Systems, Special issue: Advanced services for clusters and internet computing, Volume 20 , Issue 4 (May 2004) [citation][year=2003]1. Yuan Zijing, "Load Management System for Distributed Simulation", MSc Thesis School of Computer Engineering Nanyang Technological University, July 2003 [citation][year=2000]E. Gendelman, L. F. Bic, M. Dillencourt. "An Application-Transparent, Platform Independent Approach to Rollback-Recovery for Mobile Agent Systems" 20 th IEEE International Conference on Distributed Computing Systems. Taipei, Taiwan 2000. [citation][year=2000]Kuo-Feng Ssu, "HETEROGENEOUS AND MOBILE RECOVERY", PhD Thesis University of Illinois at Urbana-Champaign, 2000 [citation][year=2000]Xinfeng Ye, "A Checkpointing Scheme for Internet-based Computing Systems", Proceedings of International Conference on Software of 16th IFIP Congress, pp.539-546, 2000 [citation][year=1999]K. F. Ssu, B. Yao and W. K. Fuchs. An Adaptive Checkpointing Protocol to Bound Recovery Time with Message Logging. In Proceeding of the 18th IEEE Symposium on Reliable Distributed Systems, Lausanne, Switzerland, October, 1999. [citation][year=1999]Mootaz Elnozahy, Lorenzo Alvisi, Yi-Min Wang, David B. Johnson "A Survey of Rollback-Recovery Protocols in Message Passing Systems", CMU Technical Report CMU-CS-99-148, June 1999, Carbegie-Mellon University, USA. [publication]Silva, L. and Martins, P. and Silva, J.G. , "Merging Web-based with Cluster-based Computing", in Second International Symposium on Computing in Object-Oriented Parallel Environments ISCOPE'98, 1998 [citation][year=2002]Patrick H. Fry. "Nomadic Metacomputing". PhD Thesis Proposal Department of Computer Science, Rensselaer Polytechnic Institute, NY, USA, 2002 [publication]Martins, P. and Silva, L. and Silva, J.G. , "A Java Interface for WMPI", in EuroPVM/MPI 98, 1998 [citation][year=2003]1. Taboada GL, Tourino J, Doallo R "Performance modeling and evaluation of Java message-passing primitives on a cluster" RECENT ADVANCES IN PARALLEL VIRTUAL MACHINE AND MESSAGE PASSING INTERFACE LECTURE NOTES IN COMPUTER SCIENCE 2840: 29-36 2003 [citation][year=2002]1. M. Lobosco, C. Amorim, O. Loques "Java for high-performance network-based computing: a survey", Concurrency and Computation: Practice and Experience, Volume 14, Issue 1, Date: January 2002, Pages: 1-31. [citation][year=2000]J. A. Mathew and H. A. James and K. A. Hawick, "Development Routes for Message Passing Parallelism in Java", Proc. of the ACM Java Grande 2000 Conference, 2000. [citation][year=1999]Mark Baker, Bryan Carpenter, Geoffrey Fox, Sung Hoon Ko, Sang Lim "mpiJava: An object-oriented Java interface to MPI" in "Parallel and Distributed Processing" José Rolim (Ed.)Lecture Notes in Computer Science - 1586, 1999, pp 748-761, ISBN 3-540-65831-9. [citation][year=1999]K. A. Hawick and H. A. James. A Java-Based Parallel Programming Support Environment. Technical Report DHPC-0xx, Department of Computer Science, The University of Adelaide, November 1999. [publication]Silva, L. and Silva, J.G. , "An Experimental Study about Diskless Checkpointing", in Euromicro Workshop on Dependable Computer Systems, 1998, 1998 [citation][year=1999]1. Mootaz Elnozahy, Lorenzo Alvisi, Yi-Min Wang, David B. Johnson "A Survey of Rollback-Recovery Protocols in Message Passing Systems", CMU Technical Report CMU-CS-99-148, June 1999, Carbegie-Mellon University, USA. [publication]Soares, F. and Silva, L. and Silva, J.G. , "How to Get Volunteers for Web-based Computing", in DCW'98, Workshop on Distributed Computing on the Web, 1998 [citation][year=2002]1. Patrick H. Fry. "Nomadic Metacomputing". PhD Thesis Proposal Department of Computer Science, Rensselaer Polytechnic Institute, NY, USA, 2002 [publication]Silva, L. and Silva, J.G. , "Avoiding Checkpoint Contamination in Parallel Systems", in 28th Annual International Symposium on Fault-Tolerant Computing Symposium, FTCS-28, 1998 [citation][year=2004]1. Hadjicostis CN "Coding techniques for fault-tolerant parallel prefix computations in Abelian groups" Computer Journal, 47 (3): 329-341 May 2004. [citation][year=2000]1. Peter Sobe, "Reaching Efficient Fault-Tolerance for Cooperative Applications". Proc. 4th International Computer Performance & Dependability Symposium IPDS, March 27-29, Proceedings, 48-57, IEEE Computer Society, Chicago, IL, USA 2000 [citation][year=1999]Mootaz Elnozahy, Lorenzo Alvisi, Yi-Min Wang, David B. Johnson "A Survey of Rollback-Recovery Protocols in Message Passing Systems", CMU Technical Report CMU-CS-99-148, June 1999, Carbegie-Mellon University, USA. [citation][year=1999]Peter Sobe, "Forward Error Recovery of Parallel Processes", Proc. 29th Annual International Symposium on Fault Tolerant Computing - FTCS-29, 1999 [publication]Pedroso, H. and Pedroso, H. and Silva, J.G. and Silva, L. , "JET: Massively Parallel Computing with Java", in Proc. 3rd Int. Conference on Massively Parallel Computing Systems, MPCSâ??98, 1998 1997(3 publications) [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 [publication]Pedroso, H. and Pedroso, H. and Silva, L. and Silva, J.G. , "Web-based Metacomputing with JET", in ACM 1997 Workshop on Java for Science and Engineering Computation, 1997 [citation][year=1999]Michael May "Locust: A Brokerage System for Accessing Idle Resources for Web-Computing" 25th Euromicro Conference (EUROMICRO '99) 8 - 10 September, 1999, Milan, Italy. [citation][year=1999]Mark Clement, Quinn Snell, Glenn Judd "High Performance Computing for the Masses" in "Parallel and Distributed Processing" José Rolim (Ed.)Lecture Notes in Computer Science - 1586, 1999, pp 748-761, ISBN 3-540-65831-9. [citation][year=1999]Michael May, "Idle Computing Resources as Micro-Currencies - Bartering CPU Time for Online Content", WebNet 1999: Honolulu, Hawaii, USA - Volume 1, pp. 723-728, 1999. [citation][year=1999]Michael May, "Distributed RC5 Decrypting as a Consumer for Idle-time Brokerage" DCW 99, Workshop on Distributed Computing on the Web, Rostock, Germany, June, 21nd-23rd 1999 [citation][year=1998]1. G. Judd, M. Clement, Q. Snell, "The DOGMA Approach to High-Utilization Supercomputing", The Seventh IEEE International Symposium on High Performance Distributed Computing, July 1998, Chicago, Illinois [publication]Silva, L. and Pedroso, H. and Pedroso, H. and Silva, J.G. , "The Design of JET: A Java Library for Embarrassingly Parallel Applications", in Wotug-20 - Parallel Programming and Java, vol. 50, 1997 [citation][year=2001]1. Philipp Drum, "Effiziente Methoden für global verteiltes wissenschaftliches Rechnen", PhD Dissertation, Technischen Universität München, May 2001 [citation][year=1998]Weidmann M, Drum P, Thomson N, Luksch P, "Towards real-world scientific Web computing?, Object-Oriented Technology Lecture Notes in Computer Science, Springer-Verlag Berlin, 1543, 1998, pp. 472-473. [citation][year=1998]Takagi H, Matsuoka S, Nakada H, Sekiguchi S, Satoh M, Nagashima U, "Ninflet: a migratable parallel objects framework using Java?, Concurrency-Practice and Experience, John Wiley & Sons Ltd, W Sussex, vol. 10, no.11-13, SEP-NOV 1998, pp. 1063-1078. [citation][year=1998]Glenn Judd, Mark Clement and Quinn Snell "DOGMA: Distributed Object Group Metacomputing Architecture' Concurrency: Practice and Experience, Vol 10(1),1-7 (1998). [citation][year=1998]H.Takagi, S. Matsuoka, H. Nakada, S. Sekiguchi, M. Satoh, U. Nagashima. "Ninflet: a Migratable Parallel Objects Framework using Java", ACM 1998 Workshop on Java for High-Performance Network Computing, Palo Alto California, February 1998. [citation][year=1997]1. 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. 1996(6 publications) [publication]Mario Zenha-Rela and Madeira, H. and Silva, J.G. , "Experimental Evaluation of the Fail-Silent Behaviour in Programs with Consistency Checks", in 26th Symposium on Fault Tolerant Computer Systems (FTCS-26), 1996 [citation][year=2007]Karthik Pattabiraman, "Automated Derivation of Application-aware Error and Attack Detectors?, PhD Preliminary Examination Report, Department of Computer Science, University of Illinois (Urbana-Champaign), USA, January, 2007 [citation][year=2007]A. Garg, "Soft error fault tolerant systems: cs456 survey," http://www.ece.rochester.edu/~garg/documents/garg.cs456survey05.pdf [citation][year=2007]AG Jorgensen, G Moruz, T Molhave, "Priority Queues Resilient to Memory Faults?, volume 4619/2007, Book Algorithms and Data Structures, Lecture Notes in Computer Science, Springer Berlin / Heidelberg, 2007 [citation][year=2007]Mattan Erez, "MERRIMAC " High-Performance and Highly-Efficient Scientific Computing With Streams?, PhD thesis, Stanford University, May 2007 [citation][year=2007]Gerth Stølting Brodal, Rolf Fagerberg, Irene Finocchi, Fabrizio Grandoni, Giuseppe F. Italiano, Allan Grønlund Jørgensen, Gabriel Moruz, and Thomas Mølhave, "Optimal Resilient Dynamic Dictionaries?, volume 4698/2007, Book Algorithms " ESA 2007, Lecture Notes in Computer Science, Springer Berlin / Heidelberg, 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]Meine J. P. van der Meulen and Miguel A. Revilla. Experiences with the design of a run-time check. In Janusz G´orski, editor, Computer Safety, Reliability, and Security. 25th International Conference, SAFECOMP 2006. Proceedings, pages 302"315, Gdansk, September 2006. Springer [citation][year=2006]Goutam Kumar Saha, "Software based fault tolerant computing?, ACM Journal of Ubiquity, volume 6, no. 40, 2006. [citation][year=2006]Pattabiraman, K.; Saggese, G.P.; Chen, D.; Kalbarczyk, Z.; Iyer, R.K., "Dynamic Derivation of Application-Specific Error Detectors and their Implementation in Hardware," Dependable Computing Conference, 2006. EDCC '06. Sixth European , vol., no., pp.97-108, 18-20 Oct. 2006 [citation][year=2006]Goutam Kumar Saha, "Application Semantic Driven Assertions toward Fault Tolerant Computing?, ACM Ubiquity, 7(22), June 2006, ACM Press, USA [citation][year=2006]Goutam Kumar Saha, "Software based fault tolerance: a survey?, ACM Ubiquity, 7(25), 2006, ACM Press, USA. [citation][year=2005]M.J.P. van der Meulen, L. Strigini, and M. Revilla. On the effectiveness of runtime checks. In B.A. Gran and R. Winter, editors, Computer Safety, Reliability and Security, Proceedings of the 23nd international conference, Safecomp 2005, pages 151"64, Fredrikstad, Norway, September 2005 [citation][year=2005]Goutam Kumar Saha, "Transient Fault Tolerance in Mobile Agent Based Computing,? INFOCOMP Journal of Computer Science, Vol. 4, no.4, UFLA, Brazil, 2005, pp. 1-11 [citation][year=2005]Armengaud, E.; Rothensteiner, F.; Steininger, A.; Pallierer, R.; Horauer, M.; Zauner, M., "A structured approach for the systematic test of embedded automotive communication systems," Test Conference, 2005. Proceedings. ITC 2005. IEEE International , vol., no., pp.8 pp.-8, 8-8 Nov. 2005 [citation][year=2005]Goutam Kumar Saha, "Software based fault tolerant computing?, ACM Journal of Ubiquity, volume 6, no. 40, 2006 [citation][year=2005]Mattan Erez, Nuwan Jayasena, Timothy J. Knight, William J. Dally, "Fault Tolerance Techniques for the Merrimac Streaming Supercomputer?, Proceedings of the 2005 ACM/IEEE conference on Supercomputing SC '05, November 2005. [citation][year=2005]F. Li, G. Chen, M. Kandemir, I. Kolcu, "Improving scratch-pad memory reliability through compiler-guided data block duplication?, Proceedings of the 2005 IEEE/ACM International conference on Computer-aided design ICCAD '05, May 2005. [citation][year=2005]Sri Hari Krishna N, Seung Woo Son, Mahmut Kandemir, Feihui Li, "Using loop invariants to fight soft errors in data caches?, Proceedings of the 2005 conference on Asia South Pacific design automation ASP-DAC '05, January 2005. [citation][year=2003]1. 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]2. Ã?rjan Askerdal "On Impact and Tolerance of Data Errors with Varied Duration in Microprocessors" PhD Thesis, Departament of Computer Engineering, Chalmers University of Technology, Sweden, 2003, ISBN 91-7291-285-5. [citation][year=2003]3. J. Sellberg, "Saekerhetskrav och Feltolerans", Master's Thesis, Department of Information Technology, Computing Science division, Uppsala University, Sweden, April 2003 [citation][year=2003]4. 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. 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]2. 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. 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]2. Maurizio Rebaudengo, Matteo Sonza Reorda, Marco Torchiano, Massimo Violante, "An Experimental Evaluation of the Effectiveness of Automatic Rule-Based Transformations for Safety-Critical Applications", IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems (DFT'00), Yamanashi, Japan, October 25 - 27, 2000 [citation][year=2000]3. Steininger A "Testing and built-in self-test - A survey" J SYST ARCHITECT 46 (9): 721-747 JUL 2000 [citation][year=2000]4. 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=2000]5. M Rebaudengo, MS Reorda, "Evaluating cost and effectiveness of software redundancy techniques for hardware errors detection", International On-Line Test Workshop (IOLTW2000), Mallorca, 2000 [citation][year=1999]1. 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]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 [citation][year=1999]3. M.Rebaudengo, M.Sonza Reorda, M.Torchiano, M.Violante, "Soft-error detection through software fault-tolerance techniques" in Proc. of 1999 IEEE Int. Symp. on Defect and Fault Tolerance in VLSI Systems (DFT'99), Albuquerque, USA, November 1-3, 1999. [citation][year=1999]4. Wee Teck Ng, "Design and Implementation of Reliable Main Memoryâ?, tese de doutoramento, University of Michigan, USA, 1999. [citation][year=1998]David Thomas Stott "Software-Implemented Fault Injection ForDependability Analysis Of High-Speed Computer Networks", MSc Thesis, Univ. Illinois Urbana-Champaign, 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]Christopher Temple "Avoiding the Babbling-Idiot Failure in a Time-Triggered Communication System" Proceedings of the 28th Annual International Symposium on Fault-Tolerant Computing Symposium, FTCS-28, June 1998, Munich, Germany, IEEE Computer Society Press, pp 218-227, ISBN 0-8186-8470-4. [citation][year=1998]M. Rebaudengo, M. Sonza Reorda "Evaluating cost and effectiveness of software redundancy techniques for hardware error detection" Digest of Fast Abstracts of the 28th Annual International Symposium on Fault-Tolerant Computing Symposium, FTCS-28, June 1998, Munich, Germany, IEEE Computer Society Press, pp. 88-89, ISBN 0-8186-8588-3. [citation][year=1997]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]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]S. Han, K. G. Shin "Experimental Evaluation of Failure Detection Schemes in Real-Time Communication Networks" 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 122-131, ISBN 0-8186-7831-3. [citation][year=1997]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]John Chapin, "Hive: Operating System Fault Containment For Shared-Memory Multiprocessors?, Ph.D Thesis, Technical Report No. CSL-TR-97-712, Computer Systems Laboratory, Dept. of Electrical Engineering and Computer Science, Stanford University, Janeiro de 1997; [citation][year=1997]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. [publication]Silva, L. and Silva, J.G. , "A Checkpoint Facility for an Heterogeneous DSM System", in Ninth ISCA International Conference on Parallel and Distributed Computing Systems (PDCS 96), 1996 [citation][year=1999]1. Mootaz Elnozahy, Lorenzo Alvisi, Yi-Min Wang, David B. Johnson "A Survey of Rollback-Recovery Protocols in Message Passing Systems", CMU Technical Report CMU-CS-99-148, June 1999, Carbegie-Mellon University, USA. [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; [publication]Silva, L. and Silva, J.G. and Chapple, S. , "Implementing Distributed Shared Memory on top of MPI: the DSMPI library", in 4th Euromicro Workshop on Parallel and Distributed Processing (PDP'96), 1996 [citation][year=1998]1. Djemame K, Gilles DC, Mackenzie LM, Bettaz M, "Performance comparison of high-level algebraic nets distributed simulation protocols?, Journal of Systems Architecture, vol. 44, no. 6-7, MAR 1998, pp. 457-472. [publication]Silva, L. and Silva, J.G. , "Portable Transparent Checkpointing for Distributed Shared Memory", in Fifth IEEE International Symposium on High Performance Distributed Computing (HPDC-5), 1996 [citation][year=1999]1. Mootaz Elnozahy, Lorenzo Alvisi, Yi-Min Wang, David B. Johnson "A Survey of Rollback-Recovery Protocols in Message Passing Systems", CMU Technical Report CMU-CS-99-148, June 1999, Carbegie-Mellon University, USA. [citation][year=1998]1. Nitin H. Vaidya "A Case for Two-Level Recovery Schemes" IEEE TRANSACTIONS ON COMPUTERS Vol. 47, No. 6; JUNE 1998, pp. 656-666 [publication]Silva, L. and Távora, V.M.N. and Silva, J.G. , "Mechanisms of File-Checkpointing for Unix Applications", in 14th IASTED International Conference on Applied Informatics, 1996 [citation][year=1999]1. Mootaz Elnozahy, Lorenzo Alvisi, Yi-Min Wang, David B. Johnson "A Survey of Rollback-Recovery Protocols in Message Passing Systems", CMU Technical Report CMU-CS-99-148, June 1999, Carbegie-Mellon University, USA. 1995(7 publications) [publication]Costa, D. and Moreira, F. and Madeira, H. and Mario Zenha-Rela and Silva, J.G. , "Experimental Evaluation of the Impact of Processor Faults on Parallel Applications", in 14th IEEE Symposium on Reliable Distributed Systems (SRDS-14), 1995 [citation][year=2004]1. Hadjicostis CN "Coding techniques for fault-tolerant parallel prefix computations in Abelian groups" Computer Journal, 47 (3): 329-341 May 2004. [citation][year=1997]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]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]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]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=1996]Geert Deconninck, "User-Triggered Checkpointing And Rollback In Massively Parallel Systems", PhD. Thesis, Katholieke Universiteit Leuven, Bélgica, December 1996. [citation][year=1996]I. Mura, F. Di Giandomenico, A. Bondavalli "Real-Time Multiprocessor Systems: Performability Evaluation," IEI-CNR, Pisa, Italy, Internal Report (B4-07-02-96), 1996. [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]Silva, L. and Silva, J.G. and Chapple, S. and Clarke, L. , "Portable Checkpointing and Recovery", in 4th IEEE International Symposium on High Performance Distributed Computing (HPDC-4), 1995 [citation][year=2002]1. Karablieh, F. Bazzi, R.A., "Heterogeneous checkpointing for multithreaded applications", Proceedings. 21st IEEE Symposium on Reliable Distributed Systems, 2002, Tempe, Arizona, USA [citation][year=2001]1. F. Karablieh, R. Bazzi, M. Hicks, "Compiler-Assisted Heterogeneous Checkpointing", Proc. 20th IEEE Symposium on Reliable Distributed Systems (SRDS'01), October 2001, New Orleans, Louisiana [citation][year=1999]Casanova, H., Kim, M., Plank, J., Dongarra, J., "Adaptive Scheduling for Task Farming with Grid Middleware" International Journal of Supercomputer Applications and High-Performance Computing, Sage Publications Inc, Thousand Oaks, pp 231-240, Volume 13, Number 3, Fall 1999. [citation][year=1999]Mootaz Elnozahy, Lorenzo Alvisi, Yi-Min Wang, David B. Johnson "A Survey of Rollback-Recovery Protocols in Message Passing Systems", CMU Technical Report CMU-CS-99-148, June 1999, Carbegie-Mellon University, USA. [citation][year=1999]James S. Plank, Henri Casanova, Micah Beck and Jack Dongarra, "Deploying Fault Tolerance and Task Migration with NetSolve", Future Generation Computer Systems, Volume 15, 1999, pages 745 - 755. Elsevier. [citation][year=1999]Casanova H, Kim MH, Plank JS, Dongarra JJ, "Adaptive scheduling for task farming with Grid middlewareâ?, EURO-PAR'99: Parallel Processing Lecture Notes in Computer Science, 1685, 1999, pp. 30-43. [citation][year=1999]Plank JS, Chen YQ, Li K, Beck M, Kingsley G, "Memory exclusion: Optimizing the performance of checkpointing systemsâ?, Software-Practice & Experience, John Wiley & Sons Ltd, W Sussex, vol. 29, no. 2, FEB 1999, pp. 125-142. [citation][year=1999]Mootaz Elnozahy, Lorenzo Alvisi, Yi-Min Wang, David B. Johnson "A Survey of Rollback-Recovery Protocols in Message Passing Systems", CMU Technical Report CMU-CS-99-148, June 1999, Carbegie-Mellon University, USA. [citation][year=1998]Russ SH, Robinson J, Flachs BK, Heckel B, "The hector distributed run-time environment?, IEEE Transactions on Parallel and Distributed Systems, vol. 9, no. 11, NOV 1998, pp. 1102-1114. [citation][year=1998]J. A. Kohl, P. M. Papadopoulos, ``Efficient and Flexible Fault Tolerance and Migration of Scientific Simulations Using CUMULVS,' 2nd SIGMETRICS Symposium on Parallel and Distributed Tools, Welches, OR, August 1998. [citation][year=1998]Plank JS, Casanova H, Beck M, Dongarra J, "Deploying fault-tolerance and task migration with NetSolve?, Applied Parallel Computing, Lecture Notes in Computer Science, Springer-Verlag Berlin, 1541, 1998, pp. 418-432. [citation][year=1997]Samuel H. Russ, Jonathan Robinson, Matt Gleeson, Jose Figueroa "Dynamic Communication Mechanism Switching in Hector" Technical Report No. MSSU--EIRS--ERC--97--8 Mississippi State University, USA, 1997. [citation][year=1997]V. K. Naik, S. P. Midkiff, and J. E. Moreira, " A Checkpointing Strategy for Scalable Recovery on Distributed Parallel Systems," in the Proceedings of SC97:High Performance Networking and Computing, (San Jose, CA), Nov 1997. [citation][year=1997]James S. Plank and Youngbae Kim and Jack J. Dongarra"Fault-Tolerant Matrix Operations for Networks of Workstations Using Diskless Checkpointing", Journal of Parallel and Distributed Computing, Academic Press Inc, San Diego, vol. 43, no. 2, pp 125-138., Junho 15- 1997. [citation][year=1997]James S. Plank, "An Overview of Checkpointing in Uniprocessor and Distributed Systems, Focusing on Implementation and Performance", Technical Report of University of Tennessee, UT-CS-97-372, Jul. 1997. [citation][year=1997]Y.Kim, J.S.Plank, J.Dongarra. "Fault-Tolerant Matrix Operations for Networks of Workstations Using Multiple Checkpointing", Prof. High-Performance Computing on the Information Superhighway, HPC Asia'97, Seoul, Korea, April 1997 [citation][year=1997]V.Naik, S.Midkiff, J.Moreira: "A Checkpointing Strategy for Scalable Recovery on Distributed Parallel Systems", Proceedings of Supercomputing'97, 1997 [citation][year=1997]Bazzi, R.A. "Portable memory", Proceedings of the Sixth IEEE Computer Society Workshop on Future Trends of Distributed Computing Systems, 1997., Tunis , Tunisia [citation][year=1996]Y. Kim, J. S. Plank, and J. J. Dongarra. Fault tolerant matrix operations using checksum and reverse computation. In The 6th Symposium of The Frontiers of Massively Parallel Computation, pages 70--77, Annapolis MD, October 1996. [citation][year=1996]Youngbae Kim "Fault Tolerant Matrix Operations for Parallel and Distributed Systems" PhD Thesis, The University of Tennessee, USA, August 1996. [citation][year=1995]1. Samuel Russ, Brian Flachs,Jonathan Robinson, Bjorn Heckel "Hector: Automated Task Allocation for MPI" Mississipi State University Technical Report, MSSU-EIRS-ERC-95-6, September 19, 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. [publication]Silva, L. and Silva, J.G. and Clarke, L. and Chapple, S. , "Fault-Tolerance for Regular Decomposition Grid Applications", in Proceedings of the 3rd Euromicro Workshop on Parallel and Distributed Processing PDPâ??95, 1995 1994(11 publications) [publication]Madeira, H. and Mario Zenha-Rela and Moreira, F. and Silva, J.G. , "RIFLE: a general purpose pin-level fault injector", in 1st European Dependable Computing Conference (EDCC-1), vol. 852, 1994 [citation][year=2008]Peter Ming-Han Lee, Reza Sedaghat, FPGA-based switch-level fault emulation using module-based dynamic partial reconfiguration, Microelectronics Reliability, Volume 48, Issue 10, October 2008, Pages 1724-1733, ISSN 0026-2714 [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]Nowroth, D.; Polian, I.; Becker, B., "A study of cognitive resilience in a JPEG compressor," Dependable Systems and Networks With FTCS and DCC, 2008. DSN 2008. IEEE International Conference on , vol., no., pp.32-41, 24-27 June 2008 [citation][year=2007]Silvio André Misera, "Simulation von Fehlern in digitalen Schaltungen mit SystemC?, Doktor der Ingenieurwissenschaften, Von der Fakultät für Mathematik, Naturwissenschaften und Informatik der Brandenburgischen Technischen Universität Cottbus, 05. Dezember 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]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]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]O. Faurax, A. Tria, L. Freund, F. Bancel, T. Muntean, "PAFI: Outil d'analyse de circuit pour l'accélération de l'injection de fautes en simulation?, Journées Nationales du Réseau Doctoral en Microélectronique, Université des Sciences et Technologies de Lille, 14, 15e 16 Maio 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]S Tixeuil, LM Silva, W Hoarau, "An Overview of Existing Tools for Fault-Injection and Dependability Benchmarking in Grids?, Second CoreGRID Workshop on Grid and Peer to Peer Systems, 2006 [citation][year=2006]William Hoarau and Sébastien Tixeuil, "Easy fault injection and stress testing with fail-fci?, Technical Report, LRI-CNRS 8623 et INRIA Grand Large, January 2006. [citation][year=2005]William Hoarau Sebastien Tixeuil Fabien Vauchelles, "Easy Fault Injection and Stress Testing with FAIL-FCI?, Technical Report nº 1421, Laboratoire de Recherche en Informatique, UMR 8623 ( CNRS-Université Paris-Sud), 2005. [citation][year=2005]William Hoarau, Sébastien Tixeuil, and Fabien Vauchelles, "Fault Injection in Distributed Java Applications", Technical Report nº 1420, Laboratoire de Recherche en Informatique, UMR 8623 ( CNRS-Université Paris-Sud), 2005 [citation][year=2005]Jonny Vinter, "On the Effects of Soft Errors in Embedded Control Systems?, PhD Thesis, Department of Computer Science and Engineering, Chalmers University of Technology, Göteborg, Sweden, 2005, ISBN 91-7291-630-3 [citation][year=2005]Cristian Constantinescu, Intel Corporation, "Dependability Benchmarking Using Environmental Test Tools?, Proceedings of IEEE Reliability and Maintainability Symposium, RAMS 2005. [citation][year=2004]1. B Bastien, "A Technique for Performing Fault Injection in System Level Simulations for Dependability Assessment", MSc Thesis, University of Virginia-USA, Jan 2004. [citation][year=2004]2. Babak Rahbaran, Andreas Steininger, Thomas Handl, "Built-in Fault Injection in Hardware - The FIDYCO Example?, Second IEEE International Workshop on Electronic Design, Test and Applications (DELTA 04), 2004. [citation][year=2004]3. G. Pintér and I. Majzik, "Impact of Statechart Implementation Techniques on the Effectiveness of Fault Detection Mechanisms?, Proceedings of the 30th IEEE EUROMICRO Conference (EUROMICRO"04), Rennes " France, 1. - 3. September 2004. [citation][year=2004]4. 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]5. 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]6. 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. 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]2. 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]3. 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]4. 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]5. Kaufman L. M., Salinas M. H., Williams R. D., Giras T. C., "Integrate hardware/software device testing for use in a safety-critical application", Annual Reliability and Maintainability Symposium, pp. 132-137, 2003. [citation][year=2003]6. P. Fortuna, "Exploiting Hybrid Fault Injection Sessions for Maximum Diagnosis and Fault Coverage Levels", Fast Abstract at the International Conference on Dependable Systems and Networks (DSN2003), pp. A40-42, 2003 [citation][year=2003]7. A Pataricza, G Pinter, "Data Mining in Fault Injection", Proc. International IEEE Workshop on Design and Diagnostics of Electronic Circuits and Systems (DDECS), 14-16 Apr , Poznan-Poland, 2003. [citation][year=2003]8. Constantinescu C., "Experimental evaluation of error-detection mechanisms", IEEE Transactions on Reliability, 52 (1): pp. 53-57, March 2003. [citation][year=2003]9. 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]10. 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. B. Floering, B. Brothers, Z. Kalbarczyk, R. Iyer, "An adaptive architecture for monitoring and failure analysis of high-speed networks", EEE/IFIP International Conference on Dependable Systems and Networks, DSN-2002, Bethesda, Maryland, USA, pp. 69-78, June 23-26, 2002. [citation][year=2002]2. M. Jochim, "Detecting processos 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]3. 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 prepared for U.S. Nuclear Regulatory Commission, May 2002. [citation][year=2002]4. Steininger A, Scherrer C "Identifying efficient combinations of error detection mechanisms based on results of fault injection experiments" IEEE T COMPUT 51 (2): 235-239 FEB 2002 . [citation][year=2002]5. Manoel Rodríguez Moreno, "Technologie d'empaquetage pour la sureté de fonctionnement des systemes temps-réel", Thése présentée au Laboratoire d'Analyse et d'Architecture des Sys-té-mes du Centre Centre National de la Recherche Scientifique (LAAS/ CNRS), en vue d'obtenir le titre de Docteur de l'Institut National Polytechnique de Toulouse, numéro d'ordre 1898, Année 2002. [citation][year=2002]6. Yangyang Yu, Barry W. Johnson, "A Perspective on the State of Research on Fault Injection Techniques", University of Virginia, Center for Safety Critical Systems. Technical Report UVA-CSCS-FIT-001. May 2002. [citation][year=2001]1. 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]2. K Buchacker, V 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: Special Topic: Impact of Networking, Boca Raton, Florida-USA, ISBN:0-7695-1275-5, IEEE 2001.pp. 95-105. [citation][year=2000]1. Dan Teodosiu "End-To-End Fault Containment In Scalable Shared-Memory Multiprocessors" PhD. Thesis, Stanford University, USA, July 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=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. 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]3. 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. [citation][year=1999]4. 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=1998]1. V. Sieh, "Effiziente Erstellung und Auswertung von Rechner-modellen zur detaillierten Zuverlassigkeitsanalyse", PhD Thesis, Technischen Fakultät der Friedrich-Alexander Universität Erlangen-Nürnberg, 1998. [citation][year=1998]2. 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]3. 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]4. J.Karlsson, P. Folkesson, J.Arlat, Y.Crouzet, G.Leber, J.Reisinger "Application of Three Physical Fault Injection Techniques to the Experimental Assessment of the MARS architecture" 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. 267-287. [citation][year=1997]1. 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]2. Volkmar Sieh, Oliver Tschäche, Frank Balbach, "System Dependability Analysis using VHDL Models with Integrated Fault Descriptions", Proc. 8th European Workshop on Dependable Computing, EWDC-8, Goeteborg (Sweden), 1997. [citation][year=1997]3. 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]4. 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]5. 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]6. 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]7. 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=1996]1. 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]2. Peter Folkesson, "Experimental Validation of a Fault-Tolerant System Using Physical Fault Injection?, Technical Report no. 239L, Chalmers University of Technology, Gotemburgo, Suécia, 1996; [citation][year=1995]1. Randell, Littlewood, Laprie, Kopetz (ed) "Predictably Dependable Computing Systems", Springer Verlag, 1995, ISBN 3-540-59334-9 (pág. 369). [citation][year=1995]2. Jean Arlat, "Tutorial on Tools for Analytical and experimental Evaluation of dependable Computerâ?, 1st IEEE International Computer Performance and Dependability Symposium (IPDS'95), Erlangen, Alemanha, Abril 1995. [citation][year=1995]3. J. Karlsson, P. Folkesson, J. Arlat, Y. Crouzet, G. Leber, J. Reisinger, "Integration and Comparison of Three Physical Fault Injection Techniques", Predictably Dependable Computing Systems (PDCS), 1995, pp. 615-642. [citation][year=1995]4. J. Arlat, Y. Crouzet, J. Karlsson, P. Folkesson, and G. Leber, "Evaluation of the MARS Architecture by means of Three Physical Fault Injection Techniques," in 4th International Workshop on Evaluation Techniques for Dependable Systems (ETDS `95), (San Antonio, TX, USA) October 1995. [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 [publication]Madeira, H. and Silva, J.G. , "Experimental evaluation of the fail-silent behavior in computers without error masking", in 24th Fault Tolerant Computing Symposium FTCS-24, 1994 [citation][year=2007]Khanna, G.; Mike Yu Cheng; Varadharajan, P.; Bagchi, S.; Correia, M.P.; Verissimo, P.J., "Automated Rule-Based Diagnosis Through a Distributed Monitor System," Dependable and Secure Computing, IEEE Transactions on , vol.4, no.4, pp.266-279, Oct.-Dec. 2007 [citation][year=2007]Raul Barbosa, "Multi-Layer Fault Tolerance for Distributed Real-Time Systems?, Thesis for the Degree of Licentiate of Engineering, Thesis for the Degree of Licentiate of Engineering, Göteborg, Sweden 2007 [citation][year=2006]Basile, C.; Kalbarczyk, Z.; Iyer, R.K., "Active replication of multithreaded applications," Parallel and Distributed Systems, IEEE Transactions on , vol.17, no.5, pp. 448-465, May 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]1. Barbosa, J. Vinter, P. Folkesson, J. Karlsson, "Assembly-Level Pre-Injection Analysis for Improving Fault Injection Efficiency," to appear in Proc. Fifth European Dependable Computing Conference (EDCC-5), (Budapest, Hungary) April 2005 [citation][year=2004]1. R. Barbosa, J. Vinter, P. Folkesson and J. Karlsson, "Fault Injection Optimization through Assembly-Level Pre-Injection Analysis", Tech. Report No. 04-07, Dept. of Comp. Eng., Chalmers University of Technology, Göteborg, Sweden, 2004. [citation][year=2003]1. Claudio Basile, Z. Kalbarczyk, R. Iyer, "A preemptive deterministic scheduling algorithm for multithreaded replicas", IEEE/IFIP International Conference on Dependable Systems and Networks, Dependable Computing and Communications, DSN-DCC 2003, San Francisco, CA, USA, pp. 149-158, June 22-25, 2003. [citation][year=2003]2. R. Iyer, "Design of Reliable Systems and Networks", ECE 442/CS 436, Course Papers, Spring 2003, Center for Reliable and High-Performance Computing, Coordinated Science Laboratory, University of Illinois at Urbana-Champaign, 1308 W. Main Street, Urbana, IL 61801. (http://courses.ece.uiuc.edu/ece442/papers.htm) [citation][year=2003]3. Kaufman L. M., Salinas M. H., Williams R. D., Giras T. C., "Integrate hardware/software device testing for use in a safety-critical application", Annual Reliability and Maintainability Symposium, pp. 132-137 2003. [citation][year=2003]4. S. Bagchi, Z. Kalbarczyk, R. Iyer, Y. Levendel, "Design and Evaluation of Preemptive Control Signature (PECOS) Checking for Distributed Applications?, in IEEE Transactions on Computers, 2003. (Science Citation Index Expanded). [citation][year=2003]5. Claudio Basile, Long Wang, Zbigniew Kalbarczyk, Ravi Iyer, "Group Communication Protocols under Errors?, Proceedings of the 22nd IEEE International Symposium on Reliable Distributed Systems (SRDS"03), 2003. [citation][year=2002]1. Ravishankar K. Iyer, Zbigniew Kalbarczyk, "Hardware and Software Error Detection", Book Chapter (44 pages), used in classes at the Center for Reliable and High-Performance Computing, Coordinated Science Laboratory, University of Illinois at Urbana-Champaign, 1308 W. Main Street, Urbana, IL 61801, 2002. [citation][year=2002]2. Steininger A, Scherrer C "Identifying efficient combinations of error detection mechanisms based on results of fault injection experiments" IEEE T COMPUT 51 (2): 235-239 FEB 2002 [citation][year=2001]1. 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]2. Paul L. Springer "Assessing Application Vulnerability to Radiation Induced DEUs in Memory" Supplement of the 2001 International Conference on Dependable Systems and Networks, 1-4 July 2001, Göteborg, Sweden, IEEE Computer Society, pp B-98,B-99. [citation][year=2001]3. David T. Stott, Neil A. Speirs, Zbigniew Kalbarczyk, Saurabh Bagchi, Jun Xu, Ravishankar K. Iyer "Comparing Fail-Silence Provided by Process Duplication versus Internal Error Detection for DHCP Server" in Proc. of Intl' Parallel and Distributed Processing Symp. (IPDPS), San Francisco, CA, April. 2001. [citation][year=2001]4. I-Ling Yen, Farokh B. Bastani, David J. Taylor, "Design of Multi-Invariant Data Structures for Robust Shared Accesses in Multiprocessor Systems" IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. 27, NO. 3, MARCH 2001, pp. 193-207. [citation][year=2000]1. Yutao He, Algirdas Avizienis "Assessment of the Aplicability of COTS Microprocessors in High-Confidence Computing Systems: A Case Study" 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. 81-86. [citation][year=2000]2. 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]3. Subhachandra Chandra "An Evaluation of the Recovery-Related Properties of Software Faults" PhD Thesis, University of Michigan, 2000. [citation][year=2000]4. 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=1999]1. I. L. Yen, I. Ahmed, R. Jagannath, S. Kundu, "The design and implementation of a customizable fault tolerance framework?, International Journal of Software Engineering and Knowledge Engineering, vol. 9, no. 2, Abril 1999, pp. 181-202, World Scientific Publisher, ISSN 0218-1940. [citation][year=1999]2. 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]3. 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. [citation][year=1999]4. Carlos Pérez, Germán Fabergat, R. J. Martínez e G. Martín, "Incremental Messages: Micro-Kernel Services for Flexible and Efficient Management of Replicated Data?, 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 56-63, ISBN 0-7695-0213-X. [citation][year=1999]5. 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 [citation][year=1998]2. I-L. Yen, I. Ahmed, R. Jagannath, and S. Kundu, "Implementation of a Customizable Fault Tolerance Framework" in The First IEEE International Symposium on Object-Oriented RealTime Distributed Computing, Kyoto, Japan, April, 1998. [citation][year=1998]3. A. Benso, M. Rebaudengo, L. Impagliazzo, P. Marmo, "Fault-List Collapsing for Fault Injection Experiments", RAMS98: Annual Reliability and Maintainability Symposium, Anaheim, CA (USA), pp. 383-388, January 1998. [citation][year=1998]1. Christopher Temple "Avoiding the Babbling-Idiot Failure in a Time-Triggered Communication System" Proceedings of the 28th Annual International Symposium on Fault-Tolerant Computing Symposium, FTCS-28, June 1998, Munich, Germany, IEEE Computer Society Press, pp 218-227, ISBN 0-8186-8470-4. [citation][year=1997]1. A. Bondavalli, S. Chiaradonna, F. Di Giandomenico and S. La Torre "Modelling the Effects of Input Correlation in Iterative Software," in Reliability Engineering and System Safety Journal, Elsevier Science, 1997, number 57, pp. 189-202. [citation][year=1997]2. 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]3. 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]4. S. Han, K. G. Shin "Experimental Evaluation of Failure Detection Schemes in Real-Time Communication Networks" 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 122-131, ISBN 0-8186-7831-3. [citation][year=1997]5. I.-L. Yen, "An Object-Oriented Fault Tolerance Framework Based on Specialization Techniques,? Proc. Third IEEE Computer Soc. Workshop Object-Oriented Real-Time Dependable Systems, pp. 291-297, Newport Beach, Calif., Feb. 1997. [citation][year=1996]1. Lovric T., "Detecting hardware faults with systematic and design diversity: Experimental results?, Computer Systems Science and Engineering, vol. 11, no. 2, Março de 1996, pp: 83-92, ISSN: 0267-6192. [citation][year=1996]2. Emmerich Fuchs "An Evaluation of the Error Detection Mechanisms in MARS Using Software-Implemented Fault Injection" Proc. Second European Dependable Computing Conference, Taormina, Itália, Outubro 1996, Lecture Notes in Computer Science 1150, Springer Verlag, pp. 73-90, ISBN 3-540-61772-8. [citation][year=1996]3. Jürgen Bohne, Reny Grönberg "Adaptable Fault Tolerance for Distributed Process Control Using Exclusively Standard Components" Proc. Second European Dependable Computing Conference, Taormina, Itália, Outubro 1996, Lecture Notes in Computer Science 1150, Springer Verlag, pp. 21-34, ISBN 3-540-61772-8. [citation][year=1996]4. Benso A, Corno F, Prinetto P, Rebaudengo M, Reorda MS, "Role of fault injection techniques in system dependability analysis?, AEI Automazione Energia Informazione, UTET Periodici Scientifici, Milano vol. 83, no. 10, Outubro 1996, pp. 63-69, ISSN: 0013-6131. [citation][year=1995]1. Jens Guethoff, Volkmar Sieh "Combining Software-Implemented and Simulation-Based Fault-Injection into a Single Fault Injection Method" Proceedings of the 25th International Symposium on Fault-Tolerant Computing (FTCS-25), California, USA, June 1995, pp. 196-206, IEEE Computer Society. [citation][year=1995]2. Rudi Cuyvers, "User-Adaptable Fault Tolerance for Message Passing Multiprocessors", tese de doutoramento, Katholieke Universiteit Leuven (Lovaina), Bélgica, Maio de 1995. [citation][year=1995]3. Carlos Pérez Conde, "Aportaciones a los Entornos de Desarrollo de Aplicaciones Tolerantes a Fallos?, tese de doutoramento, Departamento de Informática e Electrónica, Universidade de Valência, Espanha, 1995; [publication]Silva, J.G. and Silva, L. and Madeira, H. and Jorge Bernardino , "A fault-tolerant mechanism for simple controllers", in First European Dependable Computing Conference, 1994 [citation][year=2013]1 "A fault-tolerant mechanism for simple controllers [citation][year=2013]" 10763542558783255532 An evaluation of the error detection mechanisms in MARS using software-implemented fault injection http://link.springer.com/chapter/10.1007/3-540-61772-8_31 E Fuchs Dependable Computing?EDCC-2 1996 Springer 2 "A fault-tolerant mechanism for simple controllers [citation][year=2013]" 10763542558783255532 Roll-forward error recovery in embedded real-time systems http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=517589 J Xu, B Randell Parallel and Distributed Systems, 1996. … 1996 ieeexplore.ieee.org 3 "A fault-tolerant mechanism for simple controllers [citation][year=2013]" 10763542558783255532 On structuring cooperative and competitive concurrent systems http://comjnl.oxfordjournals.org/content/42/8/627.short A Romanovsky The Computer Journal 1999 Br Computer Soc 4 "A fault-tolerant mechanism for simple controllers [citation][year=2013]" 10763542558783255532 Responsive Roll-Forward Recovery in Embedded Real-Time Systems http://www.cs.ncl.ac.uk/publications/trs/papers/515.pdf J Xu, B Randell Publication/NA 1995 cs.ncl.ac.uk 5 "A fault-tolerant mechanism for simple controllers [citation][year=2013]" 10763542558783255532 Software diversity as a way to well-structured concurrent software http://dl.acm.org/citation.cfm?id=206848 AB Romanovsky ACM SIGOPS Operating Systems Review 1995 dl.acm.org 6 "A fault-tolerant mechanism for simple controllers [citation][year=2013]" 10763542558783255532 Computing Science http://www.cs.ncl.ac.uk/publications/trs/papers/682.pdf OS Cooperative Publication/NA 1999 cs.ncl.ac.uk 7 "A fault-tolerant mechanism for simple controllers [citation][year=2013]" 10763542558783255532 An Efficient Forward Recovery Checkpointing Scheme in Dissimilar Redundancy Computer System http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5366252 W Guodong, Z Zhengjun, H Tao… … , 2009. CiSE 2009. … 2009 ieeexplore.ieee.org 8 "A fault-tolerant mechanism for simple controllers [citation][year=2013]" 10763542558783255532 Adaptable fault tolerance for distributed process control using exclusively standard components http://link.springer.com/chapter/10.1007/3-540-61772-8_28 J Bohne, R Grönberg Dependable Computing?EDCC-2 1996 Springer [citation][year=1999]1. Romanovsky A, "On structuring cooperative and competitive concurrent systems?, Computer Journal, Oxford Univ Press, Oxford, vol. 42, no. 8, 1999, pp. 627-637, ISSN: 0010-4620 [citation][year=1998]1. Romanovsky AB, "Predictable toleration of design faults: recovery blocks in real time systems?, Computer Systems Science and Engineering, CRL Publishing Ltd, Market Harborough, vol. 13, no. 6, Novembro 1998, pp. 369-377, ISSN: 0267-6192 [citation][year=1996]1. Emmerich Fuchs "An Evaluation of the Error Detection Mechanisms in MARS Using Software-Implemented Fault Injection" Proc. Second European Dependable Computing Conference, Taormina, Itália, Outubro 1996, Lecture Notes in Computer Science 1150, Springer Verlag, pp. 73-90, ISBN 3-540-61772-8. [citation][year=1996]2. J. Xu and B. Randell, "Roll-Forward Error Recovery in Embedded Real-Time Systems", Proc. Int. Conf. on Parallel & Distributed Systems. Tokyo, Japan. June,1996, pages 414--421. [citation][year=1996]3. Jürgen Bohne, Reny Grönberg "Adaptable Fault Tolerance for Distributed Process Control Using Exclusively Standard Components" Proc. Second European Dependable Computing Conference, Taormina, Itália, Outubro 1996, Lecture Notes in Computer Science 1150, Springer Verlag, pp. 21-34, ISBN 3-540-61772-8. [citation][year=1995]1. J. Xu and B. Randell. "Responsive Roll--Forward Recovery in Embedded Real--Time Systems" Technical report, Dept. of Computer Science.- University of Newcastle upon Tyne, UK, 1995 [publication]Silva, L. and Silva, J.G. , "On the Optimum Recovery of Distributed Programs", in 20th EUROMICRO Conference, 1994 [citation][year=1999]1. Mootaz Elnozahy, Lorenzo Alvisi, Yi-Min Wang, David B. Johnson "A Survey of Rollback-Recovery Protocols in Message Passing Systems", CMU Technical Report CMU-CS-99-148, June 1999, Carbegie-Mellon University, USA. [citation][year=1998]1. N. Neves and W. K. Fuchs, "Coordinated Checkpointing without Direct Coordination," Proceedings of IEEE International Computer Performance & Dependability Symposium, pp. 23--31, Sept. 1998. [publication]Silva, L. and Silva, J.G. , "Checkpointing Pipeline Applications", in 1994 World Transputer Congress, vol. 41, 1994 [citation][year=1999]1. Mootaz Elnozahy, Lorenzo Alvisi, Yi-Min Wang, David B. Johnson "A Survey of Rollback-Recovery Protocols in Message Passing Systems", CMU Technical Report CMU-CS-99-148, June 1999, Carbegie-Mellon University, USA [publication]Silva, L. and Veer, B. and Silva, J.G. , "Checkpointing SPMD Applications on Transputer Networks", in 1994 Scalable High Performance Computing Conference (SHPCC 94), 1994 [citation][year=1999]Mootaz Elnozahy, Lorenzo Alvisi, Yi-Min Wang, David B. Johnson "A Survey of Rollback-Recovery Protocols in Message Passing Systems", CMU Technical Report CMU-CS-99-148, June 1999, Carbegie-Mellon University, USA. [citation][year=1999]James S. Plank, Henri Casanova, Micah Beck and Jack Dongarra, "Deploying Fault Tolerance and Task Migration with NetSolve", Future Generation Computer Systems, Volume 15, 1999, pages 745 - 755. Elsevier. [citation][year=1999]Hsu ST, Chang RC, "An implementation of using remote memory to checkpoint processes?, Software-Practice & Experience, John Wiley & Sons Ltd, W Sussex, vol. 29, no, 11, SEP 1999, pp. 985-1004. [citation][year=1998]Plank JS, Casanova H, Beck M, Dongarra J, "Deploying fault-tolerance and task migration with NetSolve?, Applied Parallel Computing Lecture Notes in Computer Science, Springer-Verlag Berlin, 1541, 1998, pp. 418-432. [citation][year=1998]James S. Plank, Kai Li, Michael Puening "Diskless Checkpointing" IEEE Trans. on Parallel and Distributed Systems, Vol.9, No.10, Outubro 1998, pp. 972-986 [citation][year=1997]Y.Chen, J.Plank, K.Li: "CLIP: A Checkpointing Tool for Message-Passing Parallel Programs", Proceedings of Supercomputing'97, 1997 [citation][year=1997]V.Naik, S.Midkiff, J.Moreira: "A Checkpointing Strategy for Scalable Recovery on Distributed Parallel Systems", Proceedings of Supercomputing'97, 1997. [citation][year=1997]Adam Beguelin, Erik Seligman and Peter Stephan "Application Level Fault Tolerance in Heterogeneous Networks of Workstations", Journal of Parallel and Distributed Computing, vol. 43, no. 2, pp.147--155,1997 [citation][year=1996]J. S. Plank. Improving the performance of coordinated checkpointers on networks of workstations using RAID techniques. In 15th Symposium on Reliable Distributed Systems, pages 76--85, October 1996. [citation][year=1996]Tzi-cker Chiueh, Peitao Deng "Evaluation of Checkpoint Mechanisms for Massively Parallel Machines" 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 370-371. [citation][year=1996]J. Gehring, A. Reinefeld. "MARS - A Framework for Minimizing the Job Execution Time in a Metacomputing Environment" Future Generation Computer Systems, FGCS-12,1 (1996), Elsevier, pp. 87-99. [citation][year=1996]J. Arabe, A. Beguelin, B. Lowekamp, E. Seligman, M. Starkey, and P. Stephan "Dome: Parallel programming in a heterogeneous multi-user environment?, Proceedings of the International Parallel Processing Symposium (IPPS), April 1996, Honolulu, Hawaii. [citation][year=1996]Youngbae Kim, "Fault Tolerant Matrix Operations for Parallel and Distributed Systems?, Phd Thesis, University of Tennessee, Knoxville, 1996 [citation][year=1995]J.Planck, Y. Kim, J.J.Dongarra "Algorithm-Based Diskless Checkpointing for Fault-Tolerant Matrix Operations" Proceedings of the 25th International Symposium on Fault-Tolerant Computing(FTCS-25), California, USA, June 1995, pp. 151-360, IEEE Computer Society. [citation][year=1995]José Nagib Cotrim Árabe, Adam Beguelin, Bruce Lowekamp, Erik Seligman, Michael Starkey, and Peter Stephan. "Dome: Parallel programming in a heterogeneous multi-user environment". Technical Report CMU-CS95 -137, Carnegie Mellon University, April 1995. [citation][year=1995]J.Plank, M.Beck, G.Kingley, K.Li "Libckpt: Transparent Checkpointing under Unix" Proceedings of the Usenix Winter 1995 Technical Conference, New Orleans, January 1995. [citation][year=1994]Seligman E., Beguelin A. High-Level Fault Tolerance in Distributed Programs. Technical Report CMU-CS-94-223, Carnegie-Mellon University, December 1994. [citation][year=1994]E.Seligman, A.Beguelim "High-Level Fault-Tolerance in Distributed Programs" Tech Report Carnegie Mellon University, CMU-CS-94-223. [citation][year=1994]M.Beck, J.Plank, G.Kingsley. "Compiler-Assisted Checkpointing" University of Tennessee, Tech. Report CS-94-269, December 1994. [publication]Silva, L. and Silva, J.G. and Veer, B. , "The Helios Tuple Space Library", 1994 [publication]Silva, L. and Silva, J.G. , "Integrating a Checkpointing and Rollback-Recovery Algorithm with a Causal Order Protocol", 1994 [publication]Silva, L. and Silva, J.G. , "PipeLib: A Parallel Library for Writing Pipeline Applications", 1994 [publication]Silva, L. and Silva, J.G. and Veer, B. , "A Fault-Tolerant Tuple Space Library", vol. 41, 1994 1993(3 publications) [publication]Silva, L. and Silva, J.G. , "How to Get a Fault-Tolerant Farm", in 1993 World Transputer Congress, vol. 2, 1993 [citation][year=2004]1. Valentino Pietrobon, Salvatore Orlando, "Resource Fault Prediction Models", Technical Report CS-2004-3, Università Ca" Foscari di Venezia, May 2004 [citation][year=2001]1. Wael R. Elwasif, James S. Plank, Rich Wolski, "Data Staging Effects in Wide Area Task Farming Applications", Proc. 1st International Symposium on Cluster Computing and the Grid, May 2001, Brisbane, Australia [citation][year=1999]Casanova, H., Kim, M., Plank, J., Dongarra, J., "Adaptive Scheduling for Task Farming with Grid Middleware" International Journal of Supercomputer Applications and High-Performance Computing, pp 231-240, Volume 13, Number 3, Fall 1999. [citation][year=1999]Casanova H, Kim MH, Plank JS, Dongarra JJ, "Adaptive scheduling for task farming with Grid middlewareâ?, EURO-PAR'99: Parallel Processing Lecture Notes in Computer Science, 1685, 1999, pp. 30-43. [citation][year=1998]1. Richard Laundy, "Implementation of Parallel Branch and BoundAlgorithms in XPRESS-MP", Dash Internal Report no. DA/TR-101, January 1998, www.dashoptimization.com [publication]Madeira, H. and Moreira, F. and Furtado, P. and Mario Zenha-Rela and Silva, J.G. , "Pin-level Fault Injection for Dependability Validation: Some Research Results at the University of Coimbra", in First IEEE International Workshop on Fault and Error Injection for Dependability Validation, 1993 [citation][year=1997]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=1996]Lovric T., "Detecting hardware faults with systematic and design diversity: Experimental results?, Computer Systems Science and Engineering, vol. 11, no. 2, Março de 1996, pp: 83-92, ISSN: 0267-6192. [citation][year=1995]Rudi Cuyvers, "User-Adaptable Fault Tolerance for Message Passing Multiprocessors", PhD Thesis, Katholieke Universiteit Leuven (Lovaina), Belgium, May 1995. [citation][year=1994]Tomislav Lovric, "Systematic and Design Diversity " Software Techniques for Hardware Fault Detection", in "Dependable Computing - EDCC-1", Klaus Echtle, Dieter Hammer, David Powell (Eds.) Lecture Notes in Computer Science 852, Springer Verlag, 1994, pp. 309-326. ISBN 3-540-58426-9. [publication]Silva, L. and Silva, J.G. , "DIP: Distributed Diagnosis Protocol", in Microprocessing and Microprogramming, vol. 38, 1993 1992(2 publications) [publication]Madeira, H. and Mario Zenha-Rela and Furtado, P. and Silva, J.G. , "Time Behaviour Monitoring as an Error Detection Mechanism", in 3rd IFIP Working Conference on Dependable Computing for Critical Applications (DCCA-3), 1992 [citation][year=2005]Amir Rajabzadeh, Seyed Ghassem Miremadi, A Hardware Approach to Concurrent Error Detection Capability Enhancement in COTS Processors , PRDC 2005, Chagsha, Hunan, China, Dec. 12-14, 2005. [citation][year=2002]1. Oh N., Shirvani P. P., McCluskey E. J., "Control-flow checking by software signatures", IEEE Transactions on Reliability, 51 (1): pp. 111-122, March 2002 [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=1995]1. Ghassem Miremadi, Joakim Ohlsson, Marcus Rimén, and Johan Karlsson, "Use of time and Address Signatures for Control Flow Checking", Fifth IFIP Working Conference on Dependable Computing for Critical Applications, Urbana-Champaign, Illinois, EUA, 27 a 29 de Setembro 1995, pp 113-124. [citation][year=1995]2. Ghassem Miremadi, "Hardware and Software Mechanisms for Control Flow Checking", Tese de Doutoramento, Universidade de Chalmers, Gotemburgo, Suécia, Maio de 1995; [citation][year=1995]3. Ghassem Miremadi and Johan Karlsson, "Experimental Evaluation of Seven Hardware Mechanisms for Control Flow Checking", Technical Report No. 221, 1995, Department of Computer Engineering, Chalmers University, Sweden; [citation][year=1995]4. Ghassem Miremadi, Joakim Ohlsson, Marcus Rimén, and Johan Karlsson, "Use of time and Address Signatures for Control Flow Checking", Technical Report No. 224, 1995, Department of Computer Engineering, Chalmers University, Sweden [publication]Silva, L. and Silva, J.G. , "Global Checkpointing for Distributed Programs", in IEEE 11th Symposium on Reliable Distributed Systems SRDS-11, 1992 [citation][year=2003]Hai Jin, Kai Hwang, "Distributed Checkpointing on Clusters with Dynamic Striping and Staggering", Lecture Notes in Computer Science, Springer-Verlag Heidelberg,Volume 2550 / 2002, July 2003 [citation][year=2003]G Cao, M Singhal, "Checkpointing with mutable checkpoints", in Theoretical Computer Science 290 (2003) 1127"1148 [citation][year=2003]Weigang Ni, Vrbsky, S.V. Ray, S., "Low-cost coordinated non-blocking checkpointing in mobile computing systems", Proceedings. Eighth IEEE International Symposium on Computers and Communication, 2003. (ISCC 2003), June 2003 [citation][year=2001]Guohong Cao, Mukesh Singhal "Mutable Checkpoints: A New Checkpointing Approach for Mobile Computing Systems" IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, VOL. 12, NO. 2, FEBRUARY 2001. [citation][year=2001]Osada S, Higaki H "QoS-based checkpoint protocol for multimedia network systems" ADVANCES IN MUTLIMEDIA INFORMATION PROCESSING - PCM 2001, PROCEEDINGS LECTURE NOTES IN COMPUTER SCIENCE, 2195: 574-581 2001 [citation][year=2001]Yoshinori Morita, Hiroaki Higaki, "Hybrid Checkpoint Protocol for Supporting Mobile-to-Mobile Communication", The 15th International Conference on Information Networking (ICOIN'01), January 2001, Beppu City, Oita, Japan [citation][year=2001]Kengo Hiraga, Hiroaki Higaki, "Consistent Global Checkpoints in Multimedia Network Systems", The 15th International Conference on Information Networking (ICOIN'01), January 2001, Beppu City, Oita, Japan [citation][year=2001]Yoshinori Morita, Hiroaki Higaki, "Checkpoint-Recovery for Mobile Computing Systems", 21st International Conference on Distributed Computing Systems Workshops (ICDCSW '01), April 2001, Mesa, Arizona [citation][year=2000]E. Gendelman, L. F. Bic, M. Dillencourt. "An Application-Transparent, PlatformIndependent Approach to Rollback-Recovery for Mobile Agent Systems" 20 th IEEE International Conference on Distributed Computing Systems. Taipei, Taiwan 2000. [citation][year=2000]Kalaiselvi S, Rajaraman V "A survey of checkpointing algorithms for parallel and distributed computers" SADHANA-ACADEMY PROCEEDINGS IN ENGINEERING SCIENCES 25: 489-510 Part 5 OCT 2000 [citation][year=2000]JW Lin, SY Kuo, "Resolving error propagation in distributed systems", Information Processing Letters 74 (2000) 257"262. [citation][year=2000]T Osman, A Bargiela, "FADI: A fault tolerant environment for open distributed computing", Software Journal, IEE Proceedings, June 2000, Volume 147, Issue 3 [citation][year=2000]Kuo-Feng Ssu, "HETEROGENEOUS AND MOBILE RECOVERY". PhD Thesis, University of Illinois at Urbana-Champaign, 2000 [citation][year=1999]D. Manivannan, Mukesh Singhal "Quasi-Synchronous Checkpointing: Models, Characterization, and Classification" IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, Vol. 10, No. 7; JULY 1999, pp. 703-713. [citation][year=1999]B. Yao, K. F. Ssu, and W. K. Fuchs, "Message Logging in Mobile Computing," Proceedings of IEEE Fault-Tolerant Computing Symposium, pp. 294--301, June 1999. [citation][year=1999]Mootaz Elnozahy, Lorenzo Alvisi, Yi-Min Wang, David B. Johnson "A Survey of Rollback-Recovery Protocols in Message Passing Systems", CMU Technical Report CMU-CS-99-148, June 1999, Carbegie-Mellon University, USA. [citation][year=1999]E. Gendelman, L. F. Bic, M. Dillencourt. "An Efficient Checkpointing Algorithm for Distributed Systems Implementing Reliable Communication Channels." 18th Symposium on Reliable Distributed Systems, Lausanne, Switzerland 1999, pp 290-291. [citation][year=1999]Lorenzo Alvisi, Sriram Rao, Syed Amir Husain, Asanka de Mel, Elmootazbellah Elnozahy, "An Analysis of Communication-Induced Checkpointing", Twenty-Ninth Annual International Symposium on Fault-Tolerant Computing, June 1999, Madison, Wisconsin [citation][year=1998]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]Guohong Cao, Mukesh Singhal "On Coordinated Checkpointing in Distributed Systems" IEEE Transactions on Parallel and Distributed Systems, Vol 9, no 12, December 1998, pp 1213,1225. [citation][year=1998]B. Ramamurthy, S.J.Upadhyaya "Hardware Assisted Fast Recovery in Distributed Systems" 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. 224-241. [citation][year=1998]Denis Conan, Guy Bernard, "La reprise sur erreur par recouvrement arrière automatique dans les systèmes répartis", em: ""Parallèlisme et Répartition', Ed. J.-F. Myoupo, Hermès, pages 91-123, Avril 1998. [citation][year=1998]Guohong Cao, Mukesh Singhal, "On the Impossibility of Min-Process Non-Blocking Checkpointing and An Efficient Checkpointing Algorithm for Mobile Computing Systems", 1998 International Conference on Parallel Processing, August 1998, Minneapolis, Minnesota [citation][year=1997]Adam Beguelin, Erik Seligman and Peter Stephan "Application Level Fault Tolerance in Heterogeneous Networks of Workstations", Journal of Parallel and Distributed Computing, vol. 43, no. 2, pp.147--155,1997 [citation][year=1997]G.G.Richard III, M. Singhal "Complete Process Recovery: Using Vector Time to Handle Multiple Failures in Distributed Systems" IEEE Concurrency, Vol. 5, No. 2, April-June 1997, pp. 50-59. [citation][year=1997]Marc Zweiacker "The Persistent Object Group Service: An Approach to Fault Tolerance of Open Distributed Applications" Proc. 1997 IFIG WG 6.1 International Conference on Open Distributed Processing (ICODP'97) 27-30 Maio 1997, Toronto, Canada. [citation][year=1997]N. Neves and W. K. Fuchs. Adaptive recovery for mobile environments. Communications of the ACM, 40(1):68--74, January 1997 [citation][year=1996]E. N. Elnozahi, D.B. Johnson, Y.M.Wang "A Survey of Rollback-Recovery Protocols in Message-Passing Systems" Carnegie Mellon University, School of Computer Science, Report CMU-CS-96-181, October 1996. [citation][year=1996]N.Neves, W.K.Fuchs. "Using Time to Improve the Performance of Coordinated Checkpointing", Proceedings of the International Performance and Dependability Symposium, IPDS96, Illinois, September 1996. [citation][year=1996]A. Moustefaoui, Michel Raynal "Efficient Message Logging for Uncoordinated Checkpointing Protocols" Proc. Second European Dependable Computing Conference, Taormina, Itália, Outubro 1996, Lecture Notes in Computer Science 1150, Springer Verlag, pp. 353-364, ISBN 3-540-61772-8. [citation][year=1996]G. Muller, M. Banâtre , N. Peyrouz and B. Rochat. "Lessons from FTM: an experiment in design and implementation of a low-cost fault-tolerant system." In IEEE Transactions on Reliability, 45(2):332---340, Jun. 1996 [citation][year=1996]Knop P, Rego V, Sunderam V, "Fail-safe concurrency in the EcliPSe system?, Concurrency-Practice and Experience, John Wiley & Sons Ltd, W Sussex, vol. 8, no. 4, MAY 1996, pp. 283-312. [citation][year=1996]D. Manivannan and M. Singhal, "Quasi-synchronous checkpointing: Models, characterization, and classification ", Ohio State University, Tech. Rep. OSU-CISRC-5/96TR33, 1996. [citation][year=1996]J. Arabe, A. Beguelin, B. Lowekamp, E. Seligman, M. Starkey, and P. Stephan "Dome: Parallel programming in a heterogeneous multi-user environment?, Proceedings of the International Parallel Processing Symposium (IPPS), April 1996, Honolulu, Hawaii. [citation][year=1995]Ganesha Beedubail, Anish Karmarkar, Anil Gurijala, Willis Marti and Udo Pooch, "An Algorithm for Supporting Fault Tolerant Objectsin Distributed Object Oriented Operating Systems", Technical Report (TR 95-019) April 1995, Department of Computer Science, Texas A&M University,College Station, TX - 77843. [citation][year=1995]G. Cabillic, G.Muller, I. Puaut "The Performance of Consistent Checkpointing in Distributed Shared Memory Systems" IEEE 14th Symposium on Reliable Distributed Systems, Bad Neuenhar, RFA - 13-15 de Setembro, 1995, IEEE Computer Society Press, ISBN 0-8186-7153-X. [citation][year=1995]G.Deconinck, J.Vounckx, R.Lauwereins, J.A.Peperstraete. "A User-Triggered Checkpointing Library for Computation-Intensive Applications", Proc. 7th Int. Conf. on Parallel and Distributed Computing and Systems, Washington DC, pp. 321-324, Oct. 1995 [citation][year=1995]J. Ouyang and G. Heiser, "Checkpointing and Recovery for Distributed Shared Memory Applications", Proc. of the Fourth Int'l Workshop on Object Orientation in Operating Systems ({IWOOOS}'95), pp 191-199, 1995. [citation][year=1995]G. Beedubail et al., "An algorithm for supporting fault tolerant objects in distributed object oriented operating systems," In Proc. of International Workshop on Object-Orientation in Operating Systems, August 1995. [citation][year=1995]José Nagib Cotrim Árabe, Adam Beguelin, Bruce Lowekamp, Erik Seligman, Michael Starkey, and Peter Stephan. Dome: Parallel programming in a heterogeneous multi-user environment. Technical Report CMU-CS95 -137, Carnegie Mellon University, April 1995. [citation][year=1995]Y. Yong "Replay and Distributed Breakpoints in an OSF DCE Environment" M.Math Thesis, University of Waterloo, Ontario, Canada, 1995. [citation][year=1994]Seligman E., Beguelin A. High-Level Fault Tolerance in Distributed Programs. Technical Report CMU-CS-94-223, Carnegie-Mellon University, December 1994. [citation][year=1994]E. N. Elnozahi, W. Zaenepoel "On the Use and Implementation of Message Logging" Proceedings of the 24th Annual International Symposium on Fault-Tolerant Computing (FTCS-24), Austin, Texas, USA, 15-17 June 1994, pp. 298-307, IEEE Computer Society Press, ISBN 0-8186-5520-8. [citation][year=1994]Gilles Muller, Mireille Hue, Nadine Peyrouze "Performance of Consistent Checkpointing in a Modular Operating System: Results of the FTM Experiment" in "Dependable Computing - EDCC-1" Klaus Echtle, Dieter Hammer, David Powell (Eds.) Lecture Notes in Computer Science 852, Springer Verlag, 1994, pág. 491-508. ISBN 3-540-58426-9. [citation][year=1994]J.Leon, "An Application-Oriented Toolkit for Highly Available Distributed Scientific Computing", PhD Thesis Proposal, Department of Computer Science, Carnegie-Mellon University, 1994. [citation][year=1994]K.S.Toi, C.J.Hou "Effective and Concurrent Checkpointing and Rollback Recovery in Distributed Systems" Tech. Report TR-ECE-94-05, Univ. of Wisconsin, Madison, March 1994. [citation][year=1994]P.Krishna, N.H.Vaidya, D.K.Pradhan "Recovery in Multicomputers with Finite Error Detection Latency" Proceedings of the 23rd International Conference on Parallel Processing, August 1994 [citation][year=1994]E.Seligman, A.Beguelim "High-Level Fault-Tolerance in Distributed Programs" Tech Report Carnegie Mellon University, CMU-CS-94-223 [citation][year=1993]David B. Johnson "Efficient Transparent Optimistic Rollback Recovery for Distributed Application Programs" Proceedings of the 12th Symposium on Reliable Distributed Systems, IEEE Computer Society, October 1993. [citation][year=1993]P. Krishna, Nitin H. Vaidya, D.K.Pradhan "Independent Checkpointing and Recovery Scheme for Fail-Slow Processors" Technical Report 93-028, Dept. of Computer Science, Texas A&M University, College Station, USA. [citation][year=1993]G. Deconinck, J. Vounckx, R. Lauwereins, and J. A. Peperstraete. Survey of backward error recovery techniques for multicomputers based on checkpointing and rollback. In Proc. IASTED Int. Conf. on Modelling and Simulation, pages 262--265, May 1993. [citation][year=1993]Nitin H. Vaydya "Dynamic Cluster-Based Recovery: Pessimistic and Optimistic Schemes" Technical Report 93-027, Dept. of Computer Science, Texas A&M University, College Station, USA. [citation][year=1993]G.Richard III, M.Singhal "Complete Process Recovery in Distributed Systems using Vector Time" Tech Report, Dept. Computer and Information Science, The Ohio State University. USA. 1991(1 publication) [publication]Madeira, H. and Silva, J.G. , "On-line Signature Learning and Checking: Experimental Evaluation", 1991 [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]Roshan G. Ragel, Sri Parameswaran, "Embedded security and reliability: Hardware assisted pre-emptive control flow checking for embedded processors to improve reliability?, Proceedings of the 4th international conference on Hardware/software codesign and system synthesis CODES+ISSS '06, October 2006. [citation][year=2005]Amir Rajabzadeh, Seyed Ghassem Miremadi, "A Hardware Approach to Concurrent Error Detection Capability Enhancement in COTS Processors?, in Proc. Of 11th IEEE International Symposium Pacific Rim Dependable Computing, PRDC2005, Changsha, Hunan, China, December 2005 [citation][year=2005]João Paulo Dias da Rosa, "Implementação de um pré-processador assembly para detecção de erros de fluxo de controle através da técnica CFCSS?, Tese de fim de curso, Pontifícia Universidade Católica do Rio Grande do Sul, Brasil, 2005 [citation][year=2004]A. A. Rajabzadeh, SGA Miremadi, MA Mohandespour, "Error Detection Enhancement in COTS Superscalar Processors with Performance Monitoring Features?, Journal of Electronic Testing, 2004 [citation][year=1997]C520. 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 Edited Books 2006(1 publication) [publication]Silva, J.G. and Karlsson, J. , "Proceedings of the Sixth European Dependable Computing Conference (EDCC-6)", 2006 2005(1 publication) [publication]Maziero, C.A. and Silva, J.G. and Andrade, A.M.S. and Silva, F.M.d.A. , "Dependable Computing - Second Latin-American Symposium, LADC 2005", vol. 3747, 2005 Book Chapters 2005(1 publication) [publication]Silva, J.G. and Madeira, H. , "Experimental Dependability Evaluation", in Dependable Computing Systems: Paradigms, Performance Issues, and Applications, 2005 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 1992(1 publication) [publication]Madeira, H. and Silva, J.G. , "On-line Signature Learning and Checking", in Dependable Computing for Critical Applications 2, 1992 [citation][year=2006]Yasser Sedaghat, Seyed Ghassem Miremadi, Mahdi Fazeli, "A Software-Based Error Detection Technique Using Encoded Signatures," dft, pp. 389-400, 21st IEEE International Symposium on Defect and Fault-Tolerance in VLSI Systems (DFT'06), 2006. [citation][year=2004]1. B. Nicolescu, Y. Savaria, and R. Velazco, "Software Detection Mechanisms Providing Full Coverage Against Single Bit-Flip Faults?, IEEE TRANSACTIONS ON NUCLEAR SCIENCE, VOL. 51, NO. 6, DECEMBER 2004. [citation][year=2003]1. S. Bagchi, Z. Kalbarczyk, R. Iyer, Y. Levendel, "Design and Evaluation of Preemptive Control Signature (PECOS) Checking for Distributed Applications?, in IEEE Transactions on Computers, 2003. [citation][year=2003]2. B. Nicolescu, Y. Savaria, and R. Velazco, "SIED: Software implemented error detection,? in Proc. 18th IEEE Int. Symp. Defect Fault Tolerant VLSI Systems, Nov. 3"5, 2003, pp. 589"596. [citation][year=2002]1. Nahmsuk Oh, Philip P. Shirvani, and Edward J. McCluskey, "Control-Flow Checking by Software Signatures?, IEEE TRANSACTIONS ON RELIABILITY, VOL. 51, NO. 2, MARCH 2002. [citation][year=2002]2. Nahmsuk Oh, Philip P. Shirvani, and Edward J. McCluskey, "Error Detection by Duplicated Instructions in Super-Scalar Processors?, I IEEE TRANSACTIONS ON RELIABILITY, VOL. 51, NO. 1, MARCH 2002. [citation][year=2002]3. Ravishankar K. Iyer, Zbigniew Kalbarczyk, "Hardware and Software Error Detection", Book Chapter (44 pages), used in classes at the Center for Reliable and High-Performance Computing, Coordinated Science Laboratory, University of Illinois at Urbana-Champaign, 1308 W. Main Street, Urbana, IL 61801, 2002. [citation][year=2001]1. A. Benso, S. Di Carlo, G. Di Natale, P. Prinetto, L. Tagliaferri, "Control-Flow Checking Via Regular?, Expressions, IEEE Asian Test Symposium (ATS 2001), Kyoto (J), November 2001. [citation][year=2001]2. S. Bagchi, Y. Liu, K. Whisnant, Z. Kalbarczyk, R. K Iyer , "A Framework for Database Audit and Control Flow Checking for a Wireless Telephone Network Contr.oller?, IEEE/IFIP Int. Conference on Dependable Systems and Networks, DSN-2001, Chalmers University of Technology, Gotemburgo, Suécia, 1 a 4 de Julho de 2001. [citation][year=2001]3. A. Benso, S Di Carlo, G. Di Natale, L. Tagliaferri, P. Prinetto, "Validation of a software dependability tool via fault injection experiments?, Proceedings of 7th IEEE Int. On-line Testing Workshop, 2001, [citation][year=2000]1. 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), New York, USA, IEEE Computer Society Press, ISBN 0-7695-0707-7, pp. 71-78., 25-28 June 2000. [citation][year=2000]2. S. Bagchi, B. Srinivasan, K. Whisnant, Z. Kalbarczyk, and R. Iyer, "Hierarchical Error Detection in a SIFT Environment,? IEEE Transactions on Knowledge and Data Engineering 12, No. 2, 203"224, March/April 2000. [citation][year=1998]1. Bernd Bieker, Erik Maehle "User Transparent Checkpointing and Restart for Parallel Computers" in "Fault Tolerant Parallel and Distributed Systems", D.R.Avresky, D.R. Kaeli (Ed.), Kluwer Academic Publishers, 1998, ISBN 0-7923-8069-X, pp.385-389. [citation][year=1998]2. B. Ramamurthy, S.J.Upadhyaya "Hardware Assisted Fast Recovery in Distributed Systems" 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. 224-241. [citation][year=1998]3. K. Whisnant, S. Bagchi, B. Srinivasan, Z. Kalbarczyk, R.K. Iyer, "Incorporating Reconfigurability, Error Detection and Recovery into the Chameleon ARMOR Architecture?, University of Illinois, Coordinated Science Laboratory, Thechical Report UILU-ENG-98-2227, Dezembro 1998. [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=1995]1. Miremadi G, Torin J, "Evaluating Processor-Behavior and 3 Error-Detection Mechanisms Using Physical Fault-Injection?, IEEE Transactions on Reliability vol. 44, no. 3, Setembro 1995, pp. 441-454. [citation][year=1995]2. Joakim Ohlsson, Marcus Rimen "Implicit Signature Checking" Proceedings of the 25th International Symposium on Fault-Tolerant Computing (FTCS-25), California, USA, June 1995, pp. 218-226, IEEE Computer Society. [citation][year=1995]3. Ghassem Miremadi, "Hardware and Software Mechanisms for Control Flow Checking", Tese de Doutoramento, Universidade de Chalmers, Gotemburgo, Suécia, Maio de 1995; [citation][year=1995]4. Carlos Pérez Conde, "Aportaciones a los Entornos de Desarrollo de Aplicaciones Tolerantes a Fallos?, tese de doutoramento, Departamento de Informática e Electrónica, Universidade de Valência, Espanha, 1995. [citation][year=1993]1. Ghassem Miremadi and Jan Torin, "Effects of Physical Injection of Transient Faults on Processor Behaviour and Evaluation of Three Error Detection Mechanisms: An Extended Study", Technical Report No. 173, 1993, Department of Computer Engineering, Chalmers University, Sweden; [citation][year=1992]1. Nasser A. Kanawati, Ghani A. Kanawati, and Jacob A. Abraham "Control Flow Checking in Object-Based Distributed Systems", Preprints da 3nd IFIP Working Conference on Dependable Computing for Critical Applications, DCCA-3, Mondello, Palermo, Sicilia, Itália, 14 a 16 de Setembro de 1992, pp. 111-120; [citation][year=1992]2. Pedro-Joaquín G. Vicente, "Sistema Tolerante a Fallos con Procesador de Guardia: Validación mediante Inyección Física de Fallos", Tese de Doutoramento, Universidad Politécnica de Valencia, Valencia, Setembro de 1992. [citation][year=1992]3. Sam K. Oh e Glenn H. MacEwen, "Toward Fault-Tolerant Adaptive Real-Time Distributed Systemsâ?, Department of Computing and Information Science - Queen's University - Kingston, Ontario K7L 3N6, ISSN-0836-022792 -325, Janeiro de 1992. Tech Report 2000(1 publication) [publication]Cunha, J.C. and Mario Zenha-Rela and Silva, J.G. , "Fault-Injection for Real-Time", 2000