Verification of Concurrent Control Flow in Distributed Computer Systems
IEEE Transactions on Software Engineering
Resourceful systems and software fault tolerance
IEA/AIE '88 Proceedings of the 1st international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2
An Approach to Experimental Evaluation of Real-Time Fault-Tolerant Distributed Computing Schemes
IEEE Transactions on Software Engineering
Resourceful systems for fault tolerance, reliability, and safety
ACM Computing Surveys (CSUR)
Use of Common Time Base for Checkpointing and Rollback Recovery in a Distributed System
IEEE Transactions on Software Engineering
Providing fault-tolerant services to distributed Ada 95 applications
Proceedings of the conference on TRI-Ada '96: disciplined software development with Ada
Implementing Atomic Actions in Ada 95
IEEE Transactions on Software Engineering
Reliability Issues in Computing System Design
ACM Computing Surveys (CSUR)
Exception handling: issues and a proposed notation
Communications of the ACM
Recovery and crash resistance in a filing system
SIGMOD '77 Proceedings of the 1977 ACM SIGMOD international conference on Management of data
Implementation of the Conversation Scheme in Message-Based Distributed Computer Systems
IEEE Transactions on Parallel and Distributed Systems
A Distributed Recovery Block Approach to Fault-Tolerant Execution of Application Tasks in Hypercubes
IEEE Transactions on Parallel and Distributed Systems
IEEE Transactions on Software Engineering
Design and Verification of Distributed Recovery Blocks with CSP
Formal Methods in System Design
On the Effect of Recovery Block Scheme on System Performance
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
An Incremental RecoveryCache Supporting Sotware Fault Tolerance
Ada-Europe '99 Proceedings of the 1999 Ada-Europe International Conference on Reliable Software Technologies
Statecharts Supervision Models for Soft Real-Time Systems
ASSET '98 Proceedings of the 1998 IEEE Workshop on Application - Specific Software Engineering and Technology
Combining tags with error codes
ISCA '83 Proceedings of the 10th annual international symposium on Computer architecture
Structure of an efficient duplex memory for processing fault-tolerant programs
ISCA '78 Proceedings of the 5th annual symposium on Computer architecture
Process backup in producer-consumer systems
SOSP '77 Proceedings of the sixth ACM symposium on Operating systems principles
An approach to error-resistant software design
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Recovery blocks in action: A system supporting high reliability
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Software reliability: The role of programmed exception handling
Proceedings of an ACM conference on Language design for reliable software
System structure for software fault tolerance
Proceedings of the international conference on Reliable software
On the connections between range of variable and control structure testing
Proceedings of the international conference on Reliable software
Time-bounded cooperative recovery with the distributed real-time conversation scheme
WORDS '97 Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems - (WORDS '97)
Rationale for the design of the Ada programming language
ACM SIGPLAN Notices - Rationale for the deisgn of the Ada programming language
Hardware/software tradeoffs: a general design principle?
ACM SIGARCH Computer Architecture News
Design and Evaluation of a Fault-Tolerant Multiprocessor Using Hardware Recovery Blocks
IEEE Transactions on Computers
A Recovery Cache for the PDP-11
IEEE Transactions on Computers
Exception Handling and Software Fault Tolerance
IEEE Transactions on Computers
Watchdog Processors and Structural Integrity Checking
IEEE Transactions on Computers
Towards fault tolerance in web services compositions
Proceedings of the 2007 workshop on Engineering fault tolerant systems
Setting checkpoints in legacy code to improve fault-tolerance
Journal of Systems and Software
A Systematic Approach to Automatically Generate Multiple Semantically Equivalent Program Versions
Ada-Europe '08 Proceedings of the 13th Ada-Europe international conference on Reliable Software Technologies
Failure-tolerant parallel programming and its supporting system architecture
AFIPS '76 Proceedings of the June 7-10, 1976, national computer conference and exposition
Crash-proof systemic computing: a demonstration of native fault-tolerance and self-maintenance
ACST '08 Proceedings of the Fourth IASTED International Conference on Advances in Computer Science and Technology
Software fault tolerance: an overview
Ada-Europe'03 Proceedings of the 8th Ada-Europe international conference on Reliable software technologies
Runtime checking for program verification
RV'07 Proceedings of the 7th international conference on Runtime verification
A transactional model for automatic exception handling
Computer Languages, Systems and Structures
A real-time PES supporting runtime state restoration after transient hardware-faults
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
Making exception handling work
HotDep'06 Proceedings of the Second conference on Hot topics in system dependability
Occurrence nets then and now: the path to structured occurrence nets
PETRI NETS'11 Proceedings of the 32nd international conference on Applications and theory of Petri Nets
Idealized fault-tolerant components in requirements engineering
SERENE'11 Proceedings of the Third international conference on Software engineering for resilient systems
An adaptive fault tolerance scheme for applications on real-time embedded system
ICESS'04 Proceedings of the First international conference on Embedded Software and Systems
Transactions: from local atomicity to atomicity in the cloud
Dependable and Historic Computing
Dependable and Historic Computing
Carrying goals to newcastle: a tribute to brian randell
Dependable and Historic Computing
Exception handlers for healing component-based systems
ACM Transactions on Software Engineering and Methodology (TOSEM) - Testing, debugging, and error handling, formal methods, lifecycle concerns, evolution and maintenance
Hi-index | 0.04 |