Search results for "software fault tolerance"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
4	Hyun C. Kim, V. S. S. Nair	Application layer software fault tolerance for distributed object-oriented systems. (PDF / PS)	COMPSAC	1995	DBLP DOI BibTeX RDF	application layer software fault tolerance, object failures, active object replication schemes, common interface, object-oriented programming, distributed processing, software fault tolerance, encapsulation, replicated objects, data encapsulation, distributed object-oriented systems, hardware failures
3	Patrick Rogers, Andy J. Wellings	The Application of Compile-Time Reflection to Software Fault Tolerance Using Ada 95.	Ada-Europe	2005	DBLP DOI BibTeX RDF	Ada, Reflection, conversations, software fault tolerance, atomic actions, recovery blocks, backward error recovery
3	Jörg Kienzle	Software Fault Tolerance: An Overview.	Ada-Europe	2003	DBLP DOI BibTeX RDF	concurrency, failures, Software fault tolerance, exceptions
3	Timothy J. Shimeall, Nancy G. Leveson	An Empirical Comparison of Software Fault Tolerance and Fault Elimination.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	fault elimination, run-time assertions, multiversion voting, stepwise abstraction, static data-flow analysis, project resources, fault tolerant computing, software reliability, software reliability, program testing, software fault tolerance, functional testing, structural testing, code reading
2	Patrick H. S. Brito, Cecília M. F. Rubira, Rogério de Lemos	Verifying architectural variabilities in software fault tolerance techniques.	WICSA/ECSA	2009	DBLP DOI BibTeX RDF
2	Xue Liu, Hui Ding, Kihwal Lee, Qixin Wang, Lui Sha	ORTEGA: An Efficient and Flexible Software Fault Tolerance Architecture for Real-Time Control Systems.	ECRTS	2008	DBLP DOI BibTeX RDF
2	Peter T. Popov, Lorenzo Strigini, A. Kostov, V. Mollov, D. Selensky	Software Fault-Tolerance with Off-the-Shelf SQL Servers.	ICCBSS	2004	DBLP DOI BibTeX RDF
2	Kai-Yuan Cai, Xiang-Yun Wang	Towards a Control-Theoretical Approach to Software Fault-Tolerance.	QSIC	2004	DBLP DOI BibTeX RDF
2	Neeraj Mittal, Vijay K. Garg	Software Fault Tolerance of Distributed Programs Using Computation Slicing.	ICDCS	2003	DBLP DOI BibTeX RDF	pruning search-space, software-fault tolerance, testing and debugging, predicate detection, partial-order methods
2	Michael R. Lyu, Zubin Huang, Sam K. S. Sze, Xia Cai	An Empirical Study on Testing and Fault Tolerance for Software Reliability Engineering.	ISSRE	2003	DBLP DOI BibTeX RDF	data flow coverage testing, empirical study, software fault tolerance, mutation testing
2	Vincenzo De Florio, Geert Deconinck	REL: A Fault Tolerance Linguistic Structure for Distributed Applications. (PDF / PS)	ECBS	2002	DBLP DOI BibTeX RDF	linguistic support to software fault tolerance, dependability, software fault tolerance, error recovery
2	Christof Fetzer, Zhen Xiao	A Flexible Generator Architecture for Improving Software Dependability.	ISSRE	2002	DBLP DOI BibTeX RDF	security, reliability, middleware, software fault-tolerance, wrappers, wrapper generator
2	Ann T. Tai, Kam S. Tso, Leon Alkalai, Savio N. Chau, William H. Sanders	Low-Cost Error Containment and Recovery for Onboard Guarded Software Upgrading and Beyond.	IEEE Trans. Computers	2002	DBLP DOI BibTeX RDF	Guarded software upgrading, message-driven confidence-driven, global state consistency and recoverability, performance overhead, software fault tolerance, distributed embedded systems
2	Ann T. Tai, Kam S. Tso, William H. Sanders, Leon Alkalai, Savio N. Chau	Low-Cost Flexible Software Fault Tolerance for Distributed Computing.	ISSRE	2001	DBLP DOI BibTeX RDF
2	Maurizio Rebaudengo, Matteo Sonza Reorda, Massimo Violante, Ph. Cheynet, B. Nicolescu, Raoul Velazco	Evaluating the Effectiveness of a Software Fault-Tolerance Technique on RISC- and CISC-Based Architectures.	IOLTW	2000	DBLP DOI BibTeX RDF	Fault Injection, Software Fault-Tolerance
2	Maurizio Rebaudengo, Matteo Sonza Reorda, Marco Torchiano, Massimo Violante	Soft-Error Detection through Software Fault-Tolerance Techniques. (PDF / PS)	DFT	1999	DBLP DOI BibTeX RDF	Code Redundancy, Fault Detection, Fault Injection, Soft Errors, Software Fault-Tolerance
2	Sachin Garg, Yennun Huang, Chandra M. R. Kintala, Kishor S. Trivedi, Shalini Yajnik	Performance and Reliability Evaluation of Passive Replication Schemes in Application Level Fault Tolerance.	FTCS	1999	DBLP DOI BibTeX RDF	Distributedm Systems, Performability Modeling, Software Fault Tolerance
2	Jörg Kienzle, Alfred Strohmeier	Shared Recoverable Objects.	Ada-Europe	1999	DBLP DOI BibTeX RDF	Recoverable Objects, Controlled Types, Abort Deferred Regions, Concurrency, Object-Oriented Programming, Transactions, Software Fault Tolerance, Ada 95
2	Eltefaat Shokri, Herbert Hecht	Matching Software Fault Tolerance with Application Needs. (PDF / PS)	HASE	1998	DBLP DOI BibTeX RDF
2	Piyush Maheshwari, Jinsong Ouyang	Supporting fault-tolerance in heterogeneous distributed applications.	Heterogeneous Computing Workshop	1997	DBLP DOI BibTeX RDF	heterogeneous distributed applications, reliable distributed heterogeneous computing, run time performance, library prototype, H-Libra, distributed consistent checkpointing, user-level network communication protocol, high-level message-passing interface, parallel processing, interconnection network, programming, software fault tolerance, software fault-tolerance, rollback-recovery, algorithm design, low cost, parallel task scheduling
2	Andy J. Wellings, Alan Burns	Implementing Atomic Actions in Ada 95.	IEEE Trans. Software Eng.	1997	DBLP DOI BibTeX RDF	exception handling, conversations, Software fault tolerance, Ada 95, atomic actions, recovery blocks
2	Kevin A. Kwiat, Warren Debany, Salim Hariri	Software Fault Tolerance Using Dynamically Reconfigurable FPGAs.	Great Lakes Symposium on VLSI	1996	DBLP DOI BibTeX RDF
2	Katerina Goseva-Popstojanova, Aksenti Grnarov	N-Version Programming: A Unified Modeling Approach.	EUROMICRO	1996	DBLP DOI BibTeX RDF	N version system, versions failures, Markov model, software fault tolerance, software fault tolerance, execution times, N-version programming
2	Jeffrey M. Voas, Frank Charron, Keith W. Miller	Investigating rare-event failure tolerance: reductions in future uncertainty. (PDF / PS)	HASE	1996	DBLP DOI BibTeX RDF	rare-event failure tolerance, computer assurance, failure tolerance assessment technique, software fault tolerance, software fault tolerance, operational profile
2	Andrea Clematis, Vittoria Gianuzzi	CPVM - Extending PVM for Consistent Checkpointing.	PDP	1996	DBLP DOI BibTeX RDF	CPVM, consistent checkpointing, global checkpoint-restart algorithms, job-swapping, parallel programming, software tools, concurrency control, migration, deadlocks, termination, software fault tolerance, software fault-tolerance, software libraries, software library, PVM, Parallel Virtual Machine, software portability, nonblocking
2	Inhwan Lee, Ravishankar K. Iyer	Software Dependability in the Tandem GUARDIAN System.	IEEE Trans. Software Eng.	1995	DBLP DOI BibTeX RDF	fault categorization, operational phase, Tandem GUARDIAN System, Measurement, software reliability, software fault tolerance, recurrence
2	Ricky W. Butler, George B. Finelli	The Infeasibility of Quantifying the Reliability of Life-Critical Real-Time Software.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	life-critical real-time software, multiversion software experiments, real-time systems, reliability, fault tolerant computing, software reliability, safety, software fault tolerance, statistical methods, fault-tolerant software, growth models
2	Lorrie A. Tomek, Jogesh K. Muppala, Kishor S. Trivedi	Modeling Correlation in Software Recovery Blocks.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	software recovery blocks, software fault-tolerance technique, successive acceptance tests, correct module outputs, pairwise correlation, beta-binomial density, Stochastic Reward Network, Stochastic Petri Net Package, SPNP, Petri nets, fault tolerant computing, software reliability, software reliability, statistical analysis, correlation, Markov models, stochastic modeling, system recovery, stochastic Petri nets, recovery blocks, functional specification
1	R. K. Choudhary, R. A. Khan	Testing software fault tolerance techniques: future direction.	ACM SIGSOFT Software Engineering Notes	2011	DBLP DOI BibTeX RDF
1	Rogério de Lemos	On Architecting Software Fault Tolerance using Abstractions.	Electr. Notes Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
1	Lu Yang, Zhanqi Cui, Xuandong Li	A Case Study for Fault Tolerance Oriented Programming in Multi-core Architecture.	HPCC	2009	DBLP DOI BibTeX RDF
1	Ping Guo, Xin Liu, Qian Yin	Methodology for Reliability Evaluation of N-Version Programming Software Fault Tolerance System.	CSSE	2008	DBLP DOI BibTeX RDF
1	Vincenzo De Florio, Chris Blondia	A survey of linguistic structures for application-level fault tolerance.	ACM Comput. Surv.	2008	DBLP DOI BibTeX RDF	Language support for software-implemented fault tolerance, reconfiguration and error recovery, separation of design concerns, software fault tolerance
1	Abhishek Dubey, Sandeep Neema, Jim Kowalkowski, Amitoj Singh	Scientific Computing Autonomic Reliability Framework.	eScience	2008	DBLP DOI BibTeX RDF	Reliability, Workflows, Cluster Computing, Software fault-tolerance
1	David P. Pereira, Ana Cristina Vieira de Melo	A formal architectural model for exception handling coordination.	SAC	2008	DBLP DOI BibTeX RDF	exception handling coordination, CSP, fault-tolerant architecture
1	Alexei Iliasov, Alexander Romanovsky	Refinement Patterns for Fault Tolerant Systems.	EDCC	2008	DBLP DOI BibTeX RDF
1	Francisco Afonso, Carlos A. Silva, Adriano Tavares, Sergio Montenegro	Application-level fault tolerance in real-time embedded systems.	SIES	2008	DBLP DOI BibTeX RDF
1	Sri Hari Krishna Narayanan, Mahmut T. Kandemir	A Systematic Approach to Automatically Generate Multiple Semantically Equivalent Program Versions.	Ada-Europe	2008	DBLP DOI BibTeX RDF
1	Debdoot Mukherjee, Pankaj Jalote, Mangala Gowri Nanda	Determining QoS of WS-BPEL Compositions.	ICSOC	2008	DBLP DOI BibTeX RDF	Quality of Service, workflows, BPEL, composite web services
1	Marek Reformat, Xinwei Chai, James Miller	On the possibilities of (pseudo-) software cloning from external interactions.	Soft Comput.	2008	DBLP DOI BibTeX RDF	Software mutants, Fault tolerance, Complexity, Testing, Genetic programming, Automatic programming, Software cloning
1	Dong Liu, Weiyan Xing, Rui Li, Chunyuan Zhang, Haiyan Li	A Fault-Tolerant Real-Time Scheduling Algorithm in Software Fault-Tolerant Module.	International Conference on Computational Science	2007	DBLP DOI BibTeX RDF	real-time system, scheduling algorithm, software fault-tolerance
1	Alexander Romanovsky	A looming fault tolerance software crisis?	ACM SIGSOFT Software Engineering Notes	2007	DBLP DOI BibTeX RDF	fault tolerance, software engineering
1	Ilir Gashi, Peter T. Popov, Lorenzo Strigini	Fault Tolerance via Diversity for Off-the-Shelf Products: A Study with SQL Database Servers.	IEEE Trans. Dependable Sec. Comput.	2007	DBLP DOI BibTeX RDF	Error processing, fault records, non-crash failures, database availability, Fault tolerance, Reliability, Relational databases, experimental results, design diversity, availability and serviceability, COTS software
1	Glen Dobson	Using WS-BPEL to Implement Software Fault Tolerance for Web Services.	EUROMICRO-SEAA	2006	DBLP DOI BibTeX RDF
1	Xia Cai, Michael R. Lyu, Mladen A. Vouk	An Experimental Evaluation on Reliability Features of N-Version Programming.	ISSRE	2005	DBLP DOI BibTeX RDF	fault correlation, reliability, empirical study, software fault tolerance, N-version programming
1	Neeraj Mittal, Vijay K. Garg	Techniques and applications of computation slicing.	Distributed Computing	2005	DBLP DOI BibTeX RDF	analyzing distributed computation, predicate control, global property evaluation, software fault tolerance, testing and debugging, predicate detection
1	Mattan Erez, Nuwan Jayasena, Timothy J. Knight, William J. Dally	Fault Tolerance Techniques for the Merrimac Streaming Supercomputer.	SC	2005	DBLP DOI BibTeX RDF
1	Deepti Srivastava, Priya Narasimhan	Architectural support for mode-driven fault tolerance in distributed applications.	ACM SIGSOFT Software Engineering Notes	2005	DBLP DOI BibTeX RDF	COTS systems, fault tolerance, distributed systems, software architecture, CORBA, replication, modes
1	Neeraj Mittal, Vijay K. Garg	Finding missing synchronization in a distributed computation using controlled re-execution.	Distributed Computing	2004	DBLP DOI BibTeX RDF	Controlled re-execution, Predicate control, Distributed system, Debugging, Software-fault tolerance
1	Ilir Gashi, Peter T. Popov, Lorenzo Strigini	Fault Diversity among Off-The-Shelf SQL Database Servers.	DSN	2004	DBLP DOI BibTeX RDF
1	Peng Wen, Yan Li	The real-time computing model for a network based control system.	ICARCV	2004	DBLP DOI BibTeX RDF
1	Lawrence Bernstein	Software fault tolerance forestalls crashes: To err is human; to forgive is fault tolerant.	Advances in Computers	2003	DBLP DOI BibTeX RDF
1	Marta Patiño-Martínez, Ricardo Jiménez-Peris, Alexander B. Romanovsky	Transactions and Groups as Generic Building Blocks for Software Fault Tolerance.	Ada-Europe	2003	DBLP DOI BibTeX RDF
1	Changyeol Choi, Sungsoo Kim	Self-configuring Algorithm for Software Fault Tolerance in (n, k)-way Cluster Systems.	ICCSA	2003	DBLP DOI BibTeX RDF
1	Peter T. Popov, Lorenzo Strigini, John H. R. May, Silke Kuball	Estimating Bounds on the Reliability of Diverse Systems.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	demand space partitioning, common-mode failure, Software fault-tolerance, design diversity, subdomain testing
1	Paolo Ballarini, Lorenzo Capra, Giuliana Franceschinis, Massimiliano De Pierro	Memory Fault Tolerance Software Mechanisms: Design and Configuration Support through SWN Models.	ACSD	2003	DBLP DOI BibTeX RDF
1	Marek Reformat, Xinwei Chai, James Miller	Experiments in Automatic Programming for General Purposes.	ICTAI	2003	DBLP DOI BibTeX RDF
1	Kai-Yuan Cai, João W. Cangussu, Raymond A. DeCarlo, Aditya P. Mathur	An Overview of Software Cybernetics.	STEP	2003	DBLP DOI BibTeX RDF
1	Avelino F. Zorzo, Panayiotis Periorellis, Alexander Romanovsky	Using Co-ordinated Atomic Actions for Building Complex Web Applications: A Learning Experience.	WORDS	2003	DBLP DOI BibTeX RDF
1	Ching-Chih Han, Kang G. Shin, Jian Wu	A Fault-Tolerant Scheduling Algorithm for Real-Time Periodic Tasks with Possible Software Faults.	IEEE Trans. Computers	2003	DBLP DOI BibTeX RDF	deadline mechanisms, notification time, primary, backwards-RM algorithm, CAT algorithm, EIT algorithm, Real-time systems, alternate
1	Joohan Lee, Steve J. Chapin, S. Taylor	Reliable heterogeneous applications.	IEEE Transactions on Reliability	2003	DBLP DOI BibTeX RDF
1	Andrea Bondavalli, Silvano Chiaradonna, Felicita Di Giandomenico, J. Xu	An adaptive approach to achieving hardware and software fault tolerance in a distributed computing environment.	Journal of Systems Architecture	2002	DBLP DOI BibTeX RDF
1	Dong Chen, Selvamuthu Dharmaraja, Dongyan Chen, Lei Li, Kishor S. Trivedi, Raphael R. Some, Allen P. Nikora	Reliability and Availability Analysis for the JPL Remote Exploration and Experimentation System.	DSN	2002	DBLP DOI BibTeX RDF	Fault-tolerance, Distributed systems, Markov chains, Transient faults, Hierarchical modeling, Fault trees, Dependability modeling, Stochastic reward nets
1	João Durães, Henrique Madeira	Emulation of Software Faults by Educated Mutations at Machine-Code Level.	ISSRE	2002	DBLP DOI BibTeX RDF
1	Jeffrey M. Voas	Guest Editor's Introduction: Software Fault Tolerance-Making Software Behave.	IEEE Software	2001	DBLP DOI BibTeX RDF
1	Bev Littlewood, Peter T. Popov, Lorenzo Strigini	Modeling software design diversity.	ACM Comput. Surv.	2001	DBLP DOI BibTeX RDF	N-version software, functional diversity, multiple version programming, protection systems, safety, software fault tolerance, control systems
1	Oliver E. Theel	A New Verification Technique for Self-Stabilizing Distributed Algorithms based on Variable Structure Systems and Ljapunov Theory. (PDF / PS)	HICSS	2001	DBLP DOI BibTeX RDF	Verification Methodology, Non-Linear Dynamic Systems, Ljapunov Theory, Distributed Computing, Stability, Self-Stabilization, Software Fault Tolerance
1	Simona Bernardi, Susanna Donatelli	Performance Validation of Fault-Tolerance Software: A Compositional Approach.	DSN	2001	DBLP DOI BibTeX RDF
1	Raphael R. Some, Won S. Kim, Garen Khanoyan, Leslie Callum, Anil Agrawal, John J. Beahan	Software-Implemented Fault Injection Methodology for Design and Validation of System Fault Tolerance.	DSN	2001	DBLP DOI BibTeX RDF
1	Valérie Issarny, Jean-Pierre Banâtre	Architecture-based Exception Handling. (PDF / PS)	HICSS	2001	DBLP DOI BibTeX RDF	Software architecture, CORBA, Exception handling, Architecture Description Language
1	Shih-Jeh Chang, Prudence T. Zacarias Kapauan	Modeling and Analysis of Using Memory Management Unit to Improve Software Reliability.	ISSRE	2001	DBLP DOI BibTeX RDF
1	Chun Hung Cheng, Jian Tang, Ada Wai-Chee Fu, Irwin King	Hierarchical Classification of Documents with Error Control.	PAKDD	2001	DBLP DOI BibTeX RDF	Hierarchical document classification, naive Bayesian classifier, class taxonomy, parallel algorithm, error control
1	Hany H. Ammar, Bojan Cukic, Ali Mili, Christopher P. Fuhrman	A comparative analysis of hardware and software fault tolerance: Impact on software reliability engineering.	Ann. Software Eng.	2000	DBLP DOI BibTeX RDF
1	Patrick Rogers, Andy J. Wellings	State restoration in Ada 95: a portable approach to supporting software fault tolerance.	Journal of Systems and Software	2000	DBLP DOI BibTeX RDF
1	Masayuki Hirayama, Jiro Okayasu, Tetsuya Yamamoto, Osamu Mizuno, Tohru Kikuno	Generating test items for checking illegal behaviors in software testing.	Asian Test Symposium	2000	DBLP DOI BibTeX RDF	illegal behaviors, test items, electrical appliances, case notation, deviation analysis technique, software fault tree, software testing, fault diagnosis, program testing, software fault tolerance, fault trees
1	Jean-Charles Fabre, Manuel Rodríguez, Jean Arlat, J.-M. Sizun	Building dependable COTS microkernel-based systems using MAFALDA.	PRDC	2000	DBLP DOI BibTeX RDF	dependable COTS, microkernel-based systems, MAFALDA, COTS microkernels, error confinement wrappers, fault injection, software fault tolerance, operating system kernels
1	Hakan Aydin, Rami G. Melhem, Daniel Mossé	Optimal scheduling of imprecise computation tasks in the presence of multiple faults.	RTCSA	2000	DBLP DOI BibTeX RDF	imprecise computation tasks, real-time computing models, nondecreasing reward function, FT Optimal framework, transient fault tolerance, scheduling, real-time systems, image processing, multimedia, software fault tolerance, multiple faults, speech processing, optimal scheduling
1	Pedro Mejía-Alvarez, Hakan Aydin, Daniel Mossé, Rami G. Melhem	Scheduling optional computations in fault-tolerant real-time systems.	RTCSA	2000	DBLP DOI BibTeX RDF	optional computation scheduling, fault-tolerant real-time systems, failure hypothesis, combinatorial space, synthetic task sets, simulation, scheduling, real-time systems, computational complexity, heuristic algorithms, schedulability analysis, software fault tolerance, deadlines, run-time
1	Bev Littlewood	The Use of Proof in Diversity Arguments.	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	reliability, verification, probability, safety, Software fault tolerance, proof
1	Ray Giguette, Johnette Hassell	A relational database model of program execution and software components.	ACM Southeast Regional Conference	2000	DBLP DOI BibTeX RDF
1	Bev Littlewood, Lorenzo Strigini	Fault tolerance via diversity against design faults (tutorial session): design principles and reliability assessment.	ICSE	2000	DBLP DOI BibTeX RDF
1	Kishor S. Trivedi	Proactive Fault-Management in Software System.	Annual Simulation Symposium	2000	DBLP DOI BibTeX RDF
1	K. H. Kim, Chittur Subbaraman	The PSTR/SNS Scheme for Real-Time Fault Tolerance via Active Object Replication and Network Surveillance.	IEEE Trans. Knowl. Data Eng.	2000	DBLP DOI BibTeX RDF	Time-triggered message-triggered object, primary-shadow TMO replication, PSTR, recovery time bound, real-time systems, TMO, SNS, point-to-point networks, network surveillance, NS
1	D. Basu, R. Paramasivam	An Approach to Software Assisted Recovery from Hardware Transient Faults for Real Time Systems.	SAFECOMP	2000	DBLP DOI BibTeX RDF
1	Ray Giguette, Johnette Hassell	Toward a resourceful method of software fault tolerance.	ACM Southeast Regional Conference	1999	DBLP DOI BibTeX RDF
1	Ashis Tarafdar, Vijay K. Garg	Software Fault Tolerance of Concurrent Programs Using Controlled Re-execution.	DISC	1999	DBLP DOI BibTeX RDF
1	Aki W. Tomita, Ken Sakamura	Improving Design Dependability by Exploiting an Open Model-Based Specification.	IEEE Trans. Computers	1999	DBLP DOI BibTeX RDF	formal specification, Software testing, Z, software fault tolerance, specification-based testing, on-line error detection
1	Daniel Audet, Steve Masson, Yvon Savaria	Reducing Fault Sensitivity of Microprocessor-Based Systems by Modifying Workload Structure. (PDF / PS)	DFT	1998	DBLP DOI BibTeX RDF	bit flip, fault-tolerance, memory, microprocessor, fault injection, software fault-tolerance, transient faults
1	Henning Pagnia, Oliver E. Theel	Improving Replication Protocols through Priorities. (PDF / PS)	HPDC	1998	DBLP DOI BibTeX RDF	Replication Control Protocols, Performance Optimization, Software Fault Tolerance
1	Sachin Garg, Antonio Puliafito, Miklós Telek, Kishor S. Trivedi	Analysis of Preventive Maintenance in Transactions Based Software Systems.	IEEE Trans. Computers	1998	DBLP DOI BibTeX RDF	transactions based software systems, Markov regenerative models, software fault tolerance, reliability modeling, software rejuvenation, Preventive maintenance
1	Robert Feldt	Generating Multiple Diverse Software Versions with Genetic Programming.	EUROMICRO	1998	DBLP DOI BibTeX RDF
1	Hyun C. Kim, V. S. S. Nair	Software fault tolerance for distributed object based computing.	Journal of Systems and Software	1997	DBLP DOI BibTeX RDF
1	Alexander B. Romanovsky, Avelino F. Zorzo	On Distribution of Coordinated Atomic Actions.	Operating Systems Review	1997	DBLP DOI BibTeX RDF
1	K. H. Kim, Chittur Subbaraman, Eltefaat Shokri	High-Coverage Fault Tolerance in Real-Time Systems Based on Point-to-Point Communication. (PDF / PS)	HASE	1997	DBLP DOI BibTeX RDF	Distributed recovery block, recovery time bound, fault-tolerance, real-time systems, fault coverage, point-to-point networks, network surveillance
1	Kam S. Tso, Eltefaat Shokri, Roger J. Dziegiel Jr.	ReSoFT: A Reusable Testbed for Development and Evaluation of Software Fault-Tolerant Systems. (PDF / PS)	HASE	1997	DBLP DOI BibTeX RDF
1	Matthias Werner, Andreas Polze, Miroslaw Malek	The Unstoppable Orchestra: a responsive distributed application.	CDS	1996	DBLP DOI BibTeX RDF	Unstoppable Orchestra demonstration program, responsive distributed application, real-time behavior, high-performance responsive computing, NeXTSTEP workstation network, orchestra simulation, musicians, uninterrupted performance, programming framework, software engineering, real-time systems, synchronization, programming, reconfiguration, local area networks, music, synchronisation, digital simulation, faults, software fault tolerance, workstations, distributed computing systems, networked systems, speakers
1	Andrew M. Tyrrell	Recovery Blocks and Algorithm-Based Fault Tolerance.	EUROMICRO	1996	DBLP DOI BibTeX RDF	numerical processing, added redundancy, acceptability check, error detection, software fault tolerance, algorithm-based fault tolerance, recovery blocks, time overhead
1	Farokh B. Bastani, Bojan Cukic	Impact of program transformation on software reliability assessment. (PDF / PS)	HASE	1996	DBLP DOI BibTeX RDF	statistical sampling method, complete program paths, partial proofs, reliability assessment procedure, formal methods, program transformation, program verification, correctness, software fault tolerance, safety critical software, test cases, operational profile, reliability estimate, software reliability assessment
1	Scott Dawson, Farnam Jahanian, Todd Mitton	Fault injection experiments on real-time protocols using ORCHESTRA. (PDF / PS)	HASE	1996	DBLP DOI BibTeX RDF	fault injection experiments, ORCHESTRA software fault injection environment, Unix sockets, Real Time Mach, fault injection mechanism, timing intrusiveness, fault tolerance, software fault tolerance, timing behavior, real time protocols, operating system support
1	Jyhjong Lin, David Chenho Kung, Pei Hsia	Top-down development of real-time software specification. (PDF / PS)	HASE	1996	DBLP DOI BibTeX RDF	fault tolerance specification, system dependability, system repair, input output automata, fire control system, combat vehicle, software fault tolerance, deadlines, temporal properties, I/O automata, mission critical systems