ACM Computing Surveys (CSUR) - The MIT Press scientific computation series
Software safety: why, what, and how
ACM Computing Surveys (CSUR)
A message-based fault diagnosis procedure
SIGCOMM '86 Proceedings of the ACM SIGCOMM conference on Communications architectures & protocols
The consistent comparison problem in N-version software
ACM SIGSOFT Software Engineering Notes
On switching policies for modular redundancy fault-tolerant computing systems
IEEE Transactions on Computers
ACM SIGARCH Computer Architecture News
An Experimental Study to Determine Task Size for Rollback Recovery Systems
IEEE Transactions on Computers
Modeling and Measurement of Error Propagation in a Multimodule Computing System
IEEE Transactions on Computers
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
Sheaved memory: architectural support for state saving and restoration in pages systems
ASPLOS III Proceedings of the third international conference on Architectural support for programming languages and operating systems
Coverage Modeling for Dependability Analysis of Fault-Tolerant Systems
IEEE Transactions on Computers
Programming atomic actions in Ada
ACM SIGAda Ada Letters
The Consistent Comparison Problem in N-Version Software
IEEE Transactions on Software Engineering
The Use of Self Checks and Voting in Software Error Detection: An Empirical Study
IEEE Transactions on Software Engineering
Analysis of Faults in an N-Version Software Experiment
IEEE Transactions on Software Engineering
Resourceful systems for fault tolerance, reliability, and safety
ACM Computing Surveys (CSUR)
Real-time Ada: outstanding problem areas
IRTAW '89 Proceedings of the third international workshop on Real-time Ada issues
A Bayesian approach to fault classification
SIGMETRICS '90 Proceedings of the 1990 ACM SIGMETRICS conference on Measurement and modeling of computer systems
Real-time, concurrent checkpoint for parallel programs
PPOPP '90 Proceedings of the second ACM SIGPLAN symposium on Principles & practice of parallel programming
Understanding fault-tolerant distributed systems
Communications of the ACM
An Empirical Comparison of Software Fault Tolerance and Fault Elimination
IEEE Transactions on Software Engineering
An Experimental Evaluation of Software Redundancy as a Strategy for Improving Reliability
IEEE Transactions on Software Engineering
An exception handling model for parallel programming and its verification
SIGSOFT '91 Proceedings of the conference on Software for citical systems
EOS: an object-oriented operating system for embedded real-time applications
CSC '93 Proceedings of the 1993 ACM conference on Computer science
About conversations for concurrent OO languages
ACM SIGPLAN Notices
Programming Language Support for Writing Fault-Tolerant Distributed Software
IEEE Transactions on Computers - Special issue on fault-tolerant computing
Floating Point Fault Tolerance with Backward Error Assertions
IEEE Transactions on Computers - Special issue on fault-tolerant computing
Software diversity as a way to well-structured concurrent software
ACM SIGOPS Operating Systems Review
How to make a recoverable server by synchronization code inheriting
ACM SIGPLAN OOPS Messenger
An Architecture for Tolerating Processor Failures in Shared-Memory Multiprocessors
IEEE Transactions on Computers
ACM SIGOPS Operating Systems Review
Implementing Atomic Actions in Ada 95
IEEE Transactions on Software Engineering
Hiding distribution in distributed systems
ICSE '91 Proceedings of the 13th international conference on Software engineering
A Survey of Recoverable Distributed Shared Virtual Memory Systems
IEEE Transactions on Parallel and Distributed Systems
A new checkpoint mechanism for real time operating systems
ACM SIGOPS Operating Systems Review
From formal models to formally based methods: an industrial experience
ACM Transactions on Software Engineering and Methodology (TOSEM)
Communications of the ACM
GUARDS: A Generic Upgradable Architecture for Real-Time Dependable Systems
IEEE Transactions on Parallel and Distributed Systems
An Efficient and Scalable Approach for Implementing Fault-Tolerant DSM Architectures
IEEE Transactions on Computers
Concurrent Exception Handling and Resolution in Distributed Object Systems
IEEE Transactions on Parallel and Distributed Systems
Exception Handling in Workflow Management Systems
IEEE Transactions on Software Engineering - special section on current trends in exception handling—part II
Handling Obstacles in Goal-Oriented Requirements Engineering
IEEE Transactions on Software Engineering - special section on current trends in exception handling—part II
Towards a formal framework for fault-tolerance
EW 4 Proceedings of the 4th workshop on ACM SIGOPS European workshop
Anomaly Detection in Embedded Systems
IEEE Transactions on Computers - Special issue on fault-tolerant embedded systems
Diversely designed classes for use by multiple tasks
ACM SIGAda Ada Letters
Embryonics: A Bio-Inspired Cellular Architecture with Fault-Tolerant Properties
Genetic Programming and Evolvable Machines
Tolerating node failures in cache only memory architectures
Proceedings of the 1994 ACM/IEEE conference on Supercomputing
An Optimal Retry Policy Based on Fault Classification
IEEE Transactions on Computers
Certification of Computational Results
IEEE Transactions on Computers
The Fault-Tolerant Extension Problem for Complete Multipartite Networks
IEEE Transactions on Parallel and Distributed Systems
Low-Latency, Concurrent Checkpointing for Parallel Programs
IEEE Transactions on Parallel and Distributed Systems
CSP Methods for Identifying Atomic Actions in the Design of Fault Tolerant Concurrent Systems
IEEE Transactions on Software Engineering
From Safety Analysis to Software Requirements
IEEE Transactions on Software Engineering
Action-oriented exception handling in cooperative and competitive concurrent object-oriented systems
Advances in exception handling techniques
On the Effect of Recovery Block Scheme on System Performance
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
Designing Fault-Tolerant Mobile Systems
FIDJI '01 Revised Papers from the International Workshop on Scientific Engineering for Distributed Java Applications
An Incremental RecoveryCache Supporting Sotware Fault Tolerance
Ada-Europe '99 Proceedings of the 1999 Ada-Europe International Conference on Reliable Software Technologies
Ada-Europe '99 Proceedings of the 1999 Ada-Europe International Conference on Reliable Software Technologies
Managing Fault Tolerance Transparently Using CORBA Services
Euro-Par '99 Proceedings of the 5th International Euro-Par Conference on Parallel Processing
Modeling Faults of Distributed, Reactive Systems
FTRTFT '00 Proceedings of the 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Protective Wrapper Development: A Case Study
ICCBSS '03 Proceedings of the Second International Conference on COTS-Based Software Systems
Action-Oriented Exception Handling in Cooperative and Competitive Concurrent Object-Oriented Systems
Advances in Exception Handling Techniques (the book grow out of a ECOOP 2000 workshop)
Empirical Assessment of Software On-Line Diagnostics Using Fault Injection
SAFECOMP '00 Proceedings of the 19th International Conference on Computer Safety, Reliability and Security
A Concurrent Semantics of Static Exceptions in a Parallel Programming Language
ICATPN '01 Proceedings of the 22nd International Conference on Application and Theory of Petri Nets
Information processing and technology
FT-NFS: an efficient fault-tolerant NFS server designed for off-the-shelf workstations
FTCS '96 Proceedings of the The Twenty-Sixth Annual International Symposium on Fault-Tolerant Computing (FTCS '96)
PODC '84 Proceedings of the third annual ACM symposium on Principles of distributed computing
A proposal for ensuring high availability of distributed multimedia applications
SRDS '96 Proceedings of the 15th Symposium on Reliable Distributed Systems
Detection of Response Time Failures of Real-Time Software
ISSRE '97 Proceedings of the Eighth International Symposium on Software Reliability Engineering
ISSRE '99 Proceedings of the 10th International Symposium on Software Reliability Engineering
Proceedings of the twenty-second annual symposium on Principles of distributed computing
A Recoverable Distributed Shared Memory Integrating Coherence and Recoverability
FTCS '95 Proceedings of the Twenty-Fifth International Symposium on Fault-Tolerant Computing
Fault Tolerance in Concurrent Object-Oriented Software through Coordinated Error Recovery
FTCS '95 Proceedings of the Twenty-Fifth International Symposium on Fault-Tolerant Computing
A fault-tolerant software architecture for COTS-based software systems
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
A conceptual model for increasing utilization of dependable computer networks
Data & Knowledge Engineering
A method for modeling and quantifying the security attributes of intrusion tolerant systems
Performance Evaluation - Dependable systems and networks-performance and dependability symposium (DSN-PDS) 2002: Selected papers
Aspects of adaptive reconfiguration in a scalable intrusion tolerant system
Complexity - Special issue: Resilient and adaptive defense of computing networks
Component Failure Mitigation According to Failure Type
COMPSAC '04 Proceedings of the 28th Annual International Computer Software and Applications Conference - Volume 01
The Guardian Model and Primitives for Exception Handling in Distributed Systems
IEEE Transactions on Software Engineering
Design of self-managing dependable systems with UML and fault tolerance patterns
WOSS '04 Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems
Surviving Errors in Component-Based Software
EUROMICRO '05 Proceedings of the 31st EUROMICRO Conference on Software Engineering and Advanced Applications
Dependability in an evolving world
Proceedings of the 3rd conference on Computing frontiers
Publishing and composition of atomicity-equivalent services for B2B collaboration
Proceedings of the 28th international conference on Software engineering
Managing exceptions in the medical workflow systems
Proceedings of the 28th international conference on Software engineering
Context-aware exception handling in mobile agent systems: the MoCA case
Proceedings of the 2006 international workshop on Software engineering for large-scale multi-agent systems
Software faults: a quantifiable definition
Advances in Engineering Software
Verification of coordinated exception handling
Proceedings of the 2006 ACM symposium on Applied computing
Exceptions and aspects: the devil is in the details
Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering
Local analysis of atomicity sphere for B2B collaboration
Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering
Architecting Fault-tolerant Component-based Systems: from requirements to testing
Electronic Notes in Theoretical Computer Science (ENTCS)
Proceedings of the 2nd workshop on Best practices in applying aspect-oriented software development
ACM Journal on Emerging Technologies in Computing Systems (JETC)
Performance study of Byzantine Agreement Protocol with artificial neural network
Information Sciences: an International Journal
Detection and resolution of atomicity violation in service composition
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Fault Tolerance via Diversity for Off-the-Shelf Products: A Study with SQL Database Servers
IEEE Transactions on Dependable and Secure Computing
Algebraic software analysis and embedded simulation of a driving robot
Proceedings of the 2007 Summer Computer Simulation Conference
A formal architectural model for exception handling coordination
Proceedings of the 2008 ACM symposium on Applied computing
International Journal of Distributed Sensor Networks - Sensor Networks, Ubiquitous and Trustworthy Computing
Fault-tolerance and reconfiguration of circulant graphs and hypercubes
Proceedings of the 2008 Spring simulation multiconference
Exception Handling in Context-Aware Agent Systems: A Case Study
Software Engineering for Multi-Agent Systems V
Improving robustness of evolving exceptional behaviour in executable models
Proceedings of the 4th international workshop on Exception handling
Prompt damage identification for system survivability
International Journal of Information and Computer Security
Exception handling refactorings: Directed by goals and driven by bug fixing
Journal of Systems and Software
On Architecting Software Fault Tolerance using Abstractions
Electronic Notes in Theoretical Computer Science (ENTCS)
Improving reliability of cooperative concurrent systems with exception flow analysis
Journal of Systems and Software
Dynamically Detecting Faults via Integrity Constraints
Methods, Models and Tools for Fault Tolerance
Architecting fault tolerance with exception handling: verification and validation
Journal of Computer Science and Technology
Knowledge based error recovery in industrial robots
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 2
On the modularization and reuse of exception handling with aspects
Software—Practice & Experience
Optimal checkpointing interval for two-level recovery schemes
Computers & Mathematics with Applications
OConGraX --- Automatically Generating Data-Flow Test Cases for Fault-Tolerant Systems
TESTCOM '09/FATES '09 Proceedings of the 21st IFIP WG 6.1 International Conference on Testing of Software and Communication Systems and 9th International FATES Workshop
Science of Computer Programming
Software fault tolerance: an overview
Ada-Europe'03 Proceedings of the 8th Ada-Europe international conference on Reliable software technologies
On the application of the concept of dependability for design and analysis of vision systems
ICVS'03 Proceedings of the 3rd international conference on Computer vision systems
Dependability in the web services architecture
Architecting dependable systems
Architectural fault tolerance using exception handling
Architecting dependable systems IV
ACM Transactions on Algorithms (TALG)
Computer Networks: The International Journal of Computer and Telecommunications Networking
Measuring and policing blocking times in real-time systems
ACM Transactions on Embedded Computing Systems (TECS)
State space approach to security quantification
COMPSAC-W'05 Proceedings of the 29th annual international conference on Computer software and applications conference
Structural analysis of explicit fault-tolerant programs
HASE'04 Proceedings of the Eighth IEEE international conference on High assurance systems engineering
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
Achieving recovery in service composition with assurance points and integration rules
OTM'10 Proceedings of the 2010 international conference on On the move to meaningful internet systems - Volume Part I
Analysis of techniques for building intrusion tolerant server systems
MILCOM'03 Proceedings of the 2003 IEEE conference on Military communications - Volume II
Fault tolerance evaluation and schedulability analysis
Proceedings of the 2011 ACM Symposium on Applied Computing
Rebound: scalable checkpointing for coherent shared memory
Proceedings of the 38th annual international symposium on Computer architecture
An SPL approach for adaptive fault tolerance in SOA
Proceedings of the 15th International Software Product Line Conference, Volume 2
Experiences with the design of a run-time check
SAFECOMP'06 Proceedings of the 25th international conference on Computer Safety, Reliability, and Security
Towards self-configuring evolvable FPGA using feedback cross-checking
KES'06 Proceedings of the 10th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part I
Formal development of reactive fault tolerant systems
RISE'05 Proceedings of the Second international conference on Rapid Integration of Software Engineering Techniques
Non-intrusive system level fault-tolerance
Ada-Europe'05 Proceedings of the 10th Ada-Europe international conference on Reliable Software Technologies
Handling faults in decentralized orchestration of composite web services
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
Aspectizing exception handling: a quantitative study
Advanced Topics in Exception Handling Techniques
A survey of software development approaches addressing dependability
FIDJI'04 Proceedings of the 4th international conference on Scientific Engineering of Distributed Java Applications
Tailored responsibility within component-based systems
CBSE'05 Proceedings of the 8th international conference on Component-Based Software Engineering
A modelling and simulation based approach to dependable system design
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
On the effectiveness of run-time checks
SAFECOMP'05 Proceedings of the 24th international conference on Computer Safety, Reliability, and Security
A method for modeling and testing exceptions in component-based software development
LADC'05 Proceedings of the Second Latin-American conference on Dependable Computing
The zerberus language: describing the functional model of dependable real-time systems
LADC'05 Proceedings of the Second Latin-American conference on Dependable Computing
Self-Aware software – will it become a reality?
Self-star Properties in Complex Information Systems
Reasoning about exception flow at the architectural level
Rigorous Development of Complex Fault-Tolerant Systems
Rigorous fault tolerance using aspects and formal methods
Rigorous Development of Complex Fault-Tolerant Systems
Research: Modified distributed snapshots algorithm for protocol stabilization
Computer Communications
Robust architectures for embedded wireless network control and actuation
ACM Transactions on Embedded Computing Systems (TECS)
Architecture-centric fault tolerance with exception handling
LADC'07 Proceedings of the Third Latin-American conference on Dependable Computing
TTF-ravenscar: a profile to support reliable high-integrity multiprocessor ada applications
ACM SIGAda Ada Letters
Session summary: language profile and application frameworks
ACM SIGAda Ada Letters
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
An automatic subdigraph renovation plan for failure recovery of composite semantic Web services
Frontiers of Computer Science: Selected Publications from Chinese Universities
Hi-index | 0.06 |