An Assessment of Techniques for Proving Program Correctness
ACM Computing Surveys (CSUR)
Data Flow Analysis in Software Reliability
ACM Computing Surveys (CSUR)
An Introduction to Proving the Correctness of Programs
ACM Computing Surveys (CSUR)
Fault Tolerant Operating Systems
ACM Computing Surveys (CSUR)
The notions of consistency and predicate locks in a database system
Communications of the ACM
Exception handling: issues and a proposed notation
Communications of the ACM
Dynamic verification of operating system decisions
Communications of the ACM
The structure of the “THE”-multiprogramming system
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
Operating Systems, An Advanced Course
A program structure for error detection and recovery
Operating Systems, Proceedings of an International Symposium
Response to undesired events in software systems
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
Process structuring, synchronization, and recovery using atomic actions
Proceedings of an ACM conference on Language design for reliable software
Reliable hardware-software architecture
Proceedings of the international conference on Reliable software
A view of program verification
Proceedings of the international conference on Reliable software
Data base contamination and recovery
SIGFIDET '74 Proceedings of the 1974 ACM SIGFIDET (now SIGMOD) workshop on Data description, access and control
Program structures for exceptional condition handling.
Program structures for exceptional condition handling.
SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
ACM SIGARCH Computer Architecture News
A mechanism for efficient debugging of parallel programs
PLDI '88 Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation
From defects to failures: a view of dependable computing
ACM SIGARCH Computer Architecture News - Special Issue: Architectural Support for Operating Systems
Fault tolerant distributed Ada
IRTAW '88 Proceedings of the second international workshop on Real-time Ada issues
A mechanism for efficient debugging of parallel programs
PADD '88 Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and distributed debugging
Fault tolerant distributed Ada
ACM SIGAda Ada Letters
Some Results of the Earliest Deadline Scheduling Algorithm
IEEE Transactions on Software Engineering
A Distributed Commit Protocol for a Multicomputer System
IEEE Transactions on Computers
High-Performance Fault-Tolerant VLSI Systems Using Micro Rollback
IEEE Transactions on Computers
High-Availability Computer Systems
Computer
What are race conditions?: Some issues and formalizations
ACM Letters on Programming Languages and Systems (LOPLAS)
Detecting Unsafe Error Recovery Schedules
IEEE Transactions on Software Engineering
Performance of Synchronous and Asynchronous Schemes for VLSI Systems
IEEE Transactions on Computers
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
Damage Assessment for Optimal Rollback Recovery
IEEE Transactions on Computers
Specification and verification of fault-tolerance, timing, and scheduling
ACM Transactions on Programming Languages and Systems (TOPLAS)
The simulation of a fault tolerant computer system
ANSS '85 Proceedings of the 18th annual symposium on Simulation
Checkpointing and rollback-recovery for distributed systems
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
A Low Overhead Logging Scheme for Fast Recovery in Distributed Shared Memory Systems
The Journal of Supercomputing
Recovery Techniques for Database Systems
ACM Computing Surveys (CSUR)
A Survey of Techniques for Synchronization and Recovery in Decentralized Computer Systems
ACM Computing Surveys (CSUR)
Fail-stop processors: an approach to designing fault-tolerant computing systems
ACM Transactions on Computer Systems (TOCS)
A Roll-Forward Recovery Scheme for Solving the Problem of Coasting Forward for Distributed Systems
ACM SIGOPS Operating Systems Review
An Efficient Protocol for Checkpointing Recovery in Distributed Systems
IEEE Transactions on Parallel and Distributed Systems
An Efficient Optimistic Message Logging Scheme for Recoverable Mobile Computing Systems
IEEE Transactions on Mobile Computing
Verification of fault tolerance and real time
FTCS '96 Proceedings of the The Twenty-Sixth Annual International Symposium on Fault-Tolerant Computing (FTCS '96)
Process oriented logic simulation
DAC '81 Proceedings of the 18th Design Automation Conference
A recovery mechanism for modular software
ICSE '79 Proceedings of the 4th international conference on Software engineering
Synchronization and recovery of actions
PODC '83 Proceedings of the second annual ACM symposium on Principles of distributed computing
Error Scope on a Computational Grid: Theory and Practice
HPDC '02 Proceedings of the 11th IEEE International Symposium on High Performance Distributed Computing
A Model for the Analysis of the Fault Injection Process
FTCS '95 Proceedings of the Twenty-Fifth International Symposium on Fault-Tolerant Computing
An Efficient Logging Scheme for Lazy Release Consistent Distributed Shared Memory Systems
IPPS '98 Proceedings of the 12th. International Parallel Processing Symposium on International Parallel Processing Symposium
On designing direct dependency: based fast recovery algorithms for distributed systems
ACM SIGOPS Operating Systems Review
Adding database management to Ada
ACM SIGMOD Record
Adding database management to Ada
ACM SIGAda Ada Letters
Component Failure Mitigation According to Failure Type
COMPSAC '04 Proceedings of the 28th Annual International Computer Software and Applications Conference - Volume 01
Synchronization and recovery of actions
ACM SIGOPS Operating Systems Review
The Guardian Model and Primitives for Exception Handling in Distributed Systems
IEEE Transactions on Software Engineering
A high performance Erlang Tcp/Ip stack
Proceedings of the 2005 ACM SIGPLAN workshop on Erlang
Rx: treating bugs as allergies---a safe method to survive software failures
Proceedings of the twentieth ACM symposium on Operating systems principles
Log-based rollback recovery without checkpoints of shared memory in software DSM
The Journal of Supercomputing
Developing a functional Tcp/Ip stack oriented towards Tcp connection replication
LANC '05 Proceedings of the 3rd international IFIP/ACM Latin American conference on Networking
Treating bugs as allergies: a safe method for surviving software failures
HOTOS'05 Proceedings of the 10th conference on Hot Topics in Operating Systems - Volume 10
Rx: Treating bugs as allergies—a safe method to survive software failures
ACM Transactions on Computer Systems (TOCS)
Strategies for handling transactions in distributed data base systems during recovery
VLDB '80 Proceedings of the sixth international conference on Very Large Data Bases - Volume 6
Design and Evaluation of a Fault-Tolerant Multiprocessor Using Hardware Recovery Blocks
IEEE Transactions on Computers
Exception Handling and Software Fault Tolerance
IEEE Transactions on Computers
Aspect-oriented fault tolerance for real-time embedded systems
Proceedings of the 2008 AOSD workshop on Aspects, components, and patterns for infrastructure software
Residual Checking of Safety Properties
SPIN '08 Proceedings of the 15th international workshop on Model Checking Software
On handling insider attacks in wireless sensor networks
Information Security Tech. Report
Multi-resource Load Optimization Strategy in Agent-Based Systems
KES-AMSTA '07 Proceedings of the 1st KES International Symposium on Agent and Multi-Agent Systems: Technologies and Applications
The DCS: a new approach to multisystem data-sharing
AFIPS '84 Proceedings of the July 9-12, 1984, national computer conference and exposition
Software reliability in real-time systems
AFIPS '81 Proceedings of the May 4-7, 1981, national computer conference
Utility-driven proactive management of availability in enterprise-scale information flows
Proceedings of the ACM/IFIP/USENIX 2006 International Conference on Middleware
Self-recovery in server programs
Proceedings of the 2009 international symposium on Memory management
Tamper-Tolerant Software: Modeling and Implementation
IWSEC '09 Proceedings of the 4th International Workshop on Security: Advances in Information and Computer Security
Integrating automotive applications using overlay networks on top of a time-triggered protocol
Proceedings of the 13th Monterey conference on Composition of embedded systems: scientific and industrial issues
A novel strategy for multi-resource load balancing in agent-based systems
International Journal of Intelligent Information and Database Systems
Incorporating graceful degradation into embedded system design
Proceedings of the Conference on Design, Automation and Test in Europe
Lightweight logging and recovery for distributed shared memory over virtual interface architecture
ISPDC'03 Proceedings of the Second international conference on Parallel and distributed computing
Model-based analysis and development of dependable systems
MBEERTS'07 Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems
Architecting dependable systems with proactive fault management
Architecting dependable systems VII
Resilience is more than availability
Proceedings of the 2011 workshop on New security paradigms workshop
Utility-driven proactive management of availability in enterprise-scale information flows
Middleware'06 Proceedings of the 7th ACM/IFIP/USENIX international conference on Middleware
Exception handling in CSCW applications in pervasive computing environments
Advanced Topics in Exception Handling Techniques
Future Generation Computer Systems
Parallelism and fault-tolerance in the CHORUS
Journal of Systems and Software
Communications in distributed fault-tolerant computing systems
Journal of Systems and Software
Recovery within long-running transactions
ACM Computing Surveys (CSUR)
Proceedings of the 25th Australian Computer-Human Interaction Conference: Augmentation, Application, Innovation, Collaboration
Hi-index | 0.05 |