On the public citation graph

Transformation of programs for fault-tolerance

0 signed · 98 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.

Claim with ORCID

Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.

See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/3-540-50302-1_14openalex-snapshot

Reasoning about atomic objects

inferredcites →https://doi.org/10.1007/3-540-51305-1_7openalex-snapshot

Stepwise refinement of action systems

inferredcites →https://doi.org/10.1007/3-540-52559-9_60openalex-snapshot

Refinement calculus, part I: Sequential nondeterministic programs

inferredcites →https://doi.org/10.1007/3-540-52559-9_61openalex-snapshot

Refinement calculus, part II: Parallel and reactive programs

inferredcites →https://doi.org/10.1007/978-1-4612-4886-6openalex-snapshot

Fairness

inferredcites →https://doi.org/10.1007/bf00289593openalex-snapshot

A formal model of atomicity in asynchronous systems

inferredcites →https://doi.org/10.1007/bf01786251openalex-snapshot

Algebraic specification and proof of a distributed recovery algorithm

inferredcites →https://doi.org/10.1016/0167-6423(87)90003-7openalex-snapshot

Proof rules for fault tolerant distributed programs

inferredcites →https://doi.org/10.1016/0167-6423(90)90069-popenalex-snapshot

Stepwise refinement of parallel algorithms

inferredcites →https://doi.org/10.1109/ftcsh.1995.532636openalex-snapshot

STATE RESTORATION IN DISTRIBUTED SYSTEMS

inferredcites →https://doi.org/10.1109/lics.1988.5115openalex-snapshot

The existence of refinement mappings

inferredcites →https://doi.org/10.1109/real.1988.51103openalex-snapshot

What's 'real' about real-time systems?

inferredcites →https://doi.org/10.1109/tse.1975.6312842openalex-snapshot

System structure for software fault tolerance

inferredcites →https://doi.org/10.1109/tse.1985.231534openalex-snapshot

A Rigorous Approach to Fault-Tolerant Programming

inferredcites →https://doi.org/10.1109/tse.1987.232562openalex-snapshot

Checkpointing and Rollback-Recovery for Distributed Systems

inferredcites →https://doi.org/10.1145/177492.177726openalex-snapshot

The temporal logic of actions

inferredcites →https://doi.org/10.1145/357369.357371openalex-snapshot

Fail-stop processors

inferredcites →https://doi.org/10.1145/357980.358001openalex-snapshot

An axiomatic basis for computer programming

inferredcites →https://doi.org/10.1145/363235.363259openalex-snapshot

An axiomatic basis for computer programming

inferredcites →https://doi.org/10.1145/390016.808467openalex-snapshot

System structure for software fault tolerance

inferredcites →https://doi.org/10.1145/567067.567072openalex-snapshot

Reasoning about nonatomic operations

inferredcites →https://doi.org/10.1145/567067.567082openalex-snapshot

How to cook a temporal proof system for your pet language

inferredcites →https://doi.org/10.1145/75199.75202openalex-snapshot

Rooting UNITY

inferredcites →https://doi.org/10.1145/78969.78970openalex-snapshot

win and sin : predicate transformers for concurrency

inferredcites →https://doi.org/10.1145/800221.806716openalex-snapshot

Decentralization of process nets with centralized control

inferredcites →https://doi.org/10.25405/ncl.34123371openalex-snapshot

Fault Tolerance: Principles and Practice

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1007/11408901_6openalex-snapshot

Adding Fault-Tolerance Using Pre-synthesized Components

inferred← citeshttps://doi.org/10.1007/11751113_17openalex-snapshot

Formal Development of Reactive Fault Tolerant Systems

inferred← citeshttps://doi.org/10.1007/11889229_5openalex-snapshot

Real-Time and Fault-Tolerant Systems

inferred← citeshttps://doi.org/10.1007/3-540-45352-0_19openalex-snapshot

Modelling Coordinated Atomic Actions in Timed CSP

inferred← citeshttps://doi.org/10.1007/3-540-48118-4_33openalex-snapshot

Safety analysis in formal specication

inferred← citeshttps://doi.org/10.1007/3-540-48249-0_30openalex-snapshot

Hazard Analysis in Formal Specification

inferred← citeshttps://doi.org/10.1007/3-540-49366-2_6openalex-snapshot

Semantics and Logic for Provable Fault-Tolerance, A Tutorial

inferred← citeshttps://doi.org/10.1007/3-540-56891-3_14openalex-snapshot

A compositional approach for fault-tolerance using specification transformation

inferred← citeshttps://doi.org/10.1007/3-540-58426-9_125openalex-snapshot

Formal reasoning on fault coverage of fault tolerant techniques: A case study

inferred← citeshttps://doi.org/10.1007/3-540-58468-4_174openalex-snapshot

Fault-tolerant bisimulation and process transformations

inferred← citeshttps://doi.org/10.1007/3-540-58468-4_182openalex-snapshot

Stepwise development of fault-tolerant reactive systems

inferred← citeshttps://doi.org/10.1007/3-540-61648-9_46openalex-snapshot

Dynamic scheduling in the presence of faults: Specification and verification

inferred← citeshttps://doi.org/10.1007/978-0-387-34878-0_42openalex-snapshot

Stepwise Transformations for Fault-Tolerant Design of CCS Processes

inferred← citeshttps://doi.org/10.1007/978-1-4615-3220-0_6openalex-snapshot

Specification and Verification of Recovery in Asynchronous Communicating Systems

inferred← citeshttps://doi.org/10.1007/978-3-030-55089-9_5openalex-snapshot

Software Abstractions and Human-Cyber-Physical Systems Architecture Modelling

inferred← citeshttps://doi.org/10.1007/978-3-319-11764-5_18openalex-snapshot

Synthesizing Self-stabilization through Superposition and Backtracking

inferred← citeshttps://doi.org/10.1007/978-3-319-29628-9_4openalex-snapshot

Model-Driven Design of Object and Component Systems

inferred← citeshttps://doi.org/10.1007/978-3-540-68947-8openalex-snapshot

Dependability metrics: advanced lectures

inferred← citeshttps://doi.org/10.1007/978-3-540-89335-6_17openalex-snapshot

An Application of Specification-Based Design of Self-stabilization to Tracking in Wireless Sensor Networks

inferred← citeshttps://doi.org/10.1007/978-3-642-33536-5_31openalex-snapshot

A Theory of Fault Recovery for Component-Based Models

inferred← citeshttps://doi.org/10.1007/978-3-642-40213-5_2openalex-snapshot

On the Complexity of Adding Convergence

inferred← citeshttps://doi.org/10.1007/978-3-662-01069-3_31openalex-snapshot

Transformationen zur parallelisierten und fehlertoleranten Informationsverarbeitung

inferred← citeshttps://doi.org/10.1007/978-3-662-06784-0_12openalex-snapshot

Probabilistic Duration Calculus

inferred← citeshttps://doi.org/10.1007/978-3-7091-4009-3_3openalex-snapshot

Design for Dependability

inferred← citeshttps://doi.org/10.1007/978-3-7091-9288-7_3openalex-snapshot

A Probabilistic Duration Calculus

inferred← citeshttps://doi.org/10.1007/978-981-96-4656-2_2openalex-snapshot

From Logic to Programming

inferred← citeshttps://doi.org/10.1007/bfb0000478openalex-snapshot

On bisimulation, fault-monotonicity and provable fault-tolerance

inferred← citeshttps://doi.org/10.1007/bfb0031998openalex-snapshot

Problems, promises and performance: some questions for real-time system specification

inferred← citeshttps://doi.org/10.1007/bfb0058030openalex-snapshot

Compositional design of multitolerant repetitive byzantine agreement

inferred← citeshttps://doi.org/10.1007/s10703-005-1492-2openalex-snapshot

Automated Analysis of Fault-Tolerance in Distributed Systems

inferred← citeshttps://doi.org/10.1007/s10703-010-0106-9openalex-snapshot

Model-based construction and verification of critical systems using composition and partial refinement

inferred← citeshttps://doi.org/10.1016/0304-3975(94)90166-xopenalex-snapshot

A compositional framework for fault tolerance by specification transformation

inferred← citeshttps://doi.org/10.1016/j.future.2016.06.030openalex-snapshot

Acceptance Test for Fault Detection in Component-based Cloud Computing and Systems

inferred← citeshttps://doi.org/10.1016/j.infsof.2004.09.004openalex-snapshot

A novel approach for component-based fault-tolerant software development

inferred← citeshttps://doi.org/10.1016/j.tcs.2012.04.040openalex-snapshot

Failure-divergence semantics and refinement of long running transactions

inferred← citeshttps://doi.org/10.1016/s0304-3975(01)00202-xopenalex-snapshot

Factorizing fault tolerance

inferred← citeshttps://doi.org/10.1023/a:1026537232278openalex-snapshot

Dynamic Scheduling and Fault-Tolerance: Specification and Verification

inferred← citeshttps://doi.org/10.1037/0000114-016openalex-snapshot

Where are we now, and where do we go from here?

inferred← citeshttps://doi.org/10.1080/095281300454847openalex-snapshot

A case study in the mechanical verification of fault tolerance

inferred← citeshttps://doi.org/10.1093/comjnl/43.3.191openalex-snapshot

Formally Verifying Fault Tolerant System Designs

inferred← citeshttps://doi.org/10.1109/12.247836openalex-snapshot

Nest: a nested-predicate scheme for fault tolerance

inferred← citeshttps://doi.org/10.1109/etfa.2005.1612616openalex-snapshot

An Approach to Modelling and Analysis of Coordinated Atomic Actions

inferred← citeshttps://doi.org/10.1109/ftcs.1996.534609openalex-snapshot

Verification of fault tolerance and real time

inferred← citeshttps://doi.org/10.1109/iccitechn.2012.6509720openalex-snapshot

Synthesizing fault tolerant safety critical systems

inferred← citeshttps://doi.org/10.1109/icdcs.2002.1022309openalex-snapshot

Convergence refinement

inferred← citeshttps://doi.org/10.1109/isorc.1998.666809openalex-snapshot

Validating the design of dependable systems

inferred← citeshttps://doi.org/10.1109/issre.2009.31openalex-snapshot

Issues on the Design of Efficient Fail-Safe Fault Tolerance

inferred← citeshttps://doi.org/10.1109/mise.2012.6226009openalex-snapshot

A rigorous approach to availability modeling

inferred← citeshttps://doi.org/10.1109/sefm.2004.1347539openalex-snapshot

Fault tolerance in a layered architecture: a general specification pattern in B

inferred← citeshttps://doi.org/10.1109/sefm.2004.16openalex-snapshot

Fault tolerance in a layered architecture: a general specification pattern in B

inferred← citeshttps://doi.org/10.1109/srds.2011.39openalex-snapshot

A Theory of Fault Recovery for Component-Based Models

inferred← citeshttps://doi.org/10.1109/tdsc.2014.2315191openalex-snapshot

On the Hardness of Adding Nonmasking Fault Tolerance

inferred← citeshttps://doi.org/10.1109/tpds.2015.2388480openalex-snapshot

Specification-Based Design of Self-Stabilization

inferred← citeshttps://doi.org/10.1109/tpds.2016.2536023openalex-snapshot

Shadow/Puppet Synthesis: A Stepwise Method for the Design of Self-Stabilization

inferred← citeshttps://doi.org/10.1145/1176887.1176917openalex-snapshot

Implementing fault-tolerance in real-time systems by automatic program transformations

inferred← citeshttps://doi.org/10.1145/1376804.1376813openalex-snapshot

Implementing fault-tolerance in real-time programs by automatic program transformations

inferred← citeshttps://doi.org/10.1145/2038642.2038663openalex-snapshot

Automated addition of fault recovery to cyber-physical component-based models

inferred← citeshttps://doi.org/10.1145/2063239.2063240openalex-snapshot

Feasibility of Stepwise Design of Multitolerant Programs

inferred← citeshttps://doi.org/10.1145/2382570.2382574openalex-snapshot

A Lightweight Method for Automated Design of Convergence in Network Protocols

inferred← citeshttps://doi.org/10.1145/2629664openalex-snapshot

The Complexity of Adding Multitolerance

inferred← citeshttps://doi.org/10.1145/277697.277729openalex-snapshot

Synthesis of fault-tolerant concurrent programs

inferred← citeshttps://doi.org/10.1145/314602.314605openalex-snapshot

Specification and verification of fault-tolerance, timing, and scheduling

inferred← citeshttps://doi.org/10.1145/3803555openalex-snapshot

Experiences from the European ProCoS Projects: Provably Correct Systems

inferred← citeshttps://doi.org/10.1145/963778.963782openalex-snapshot

Synthesis of fault-tolerant concurrent programs

inferred← citeshttps://doi.org/10.1504/ijsn.2006.010824openalex-snapshot

An approach to synthesise safe systems

inferred← citeshttps://doi.org/10.1515/9780773591141-002openalex-snapshot

Compositional Design of Multitolerant Repetitive Byzantine Agreement

inferred← citeshttps://doi.org/10.26083/tuprints-00000471openalex-snapshot

Automated Design of Efficient Fail-Safe Fault Tolerance

inferred← citeshttps://doi.org/10.37099/mtu.dc.etdr/90openalex-snapshot

On the Limits and Practice of Automatically Designing Self-Stabilization

inferred← citeshttps://doi.org/10.4204/eptcs.222.3openalex-snapshot

Self-Similarity Breeds Resilience

inferred← citeshttps://doi.org/10.5555/2664431.2664432openalex-snapshot

A rigorous approach to availability modeling

inferred← citeshttps://doi.org/10.71548/14972openalex-snapshot

Modelling Fault Tolerance using Deontic Logic: a case study

inferred← citeshttps://doi.org/10.82444/warw.33642847openalex-snapshot

An approach to synthesize safe systems

Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.