On the public citation graph

Model checking fault tolerant systems

https://doi.org/10.1002/stvr.258
0 signed · 74 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-48249-0_36openalex-snapshot
Formal Validation of the GUARDS Inter-consistency Mechanism
inferredcites →https://doi.org/10.1007/3-540-53479-2_17openalex-snapshot
Action versus state based logics for transition systems
inferredcites →https://doi.org/10.1007/3-540-56496-9_18openalex-snapshot
A case study in safety-critical design
inferredcites →https://doi.org/10.1007/3-540-58468-4_159openalex-snapshot
Specifying and verifying fault-tolerant systems
inferredcites →https://doi.org/10.1007/3-540-58468-4_174openalex-snapshot
Fault-tolerant bisimulation and process transformations
inferredcites →https://doi.org/10.1007/978-0-387-34878-0_13openalex-snapshot
An Improvement in Formal Verification
inferredcites →https://doi.org/10.1007/978-1-4471-3217-2_6openalex-snapshot
Exception Handling in Process Algebra
inferredcites →https://doi.org/10.1007/978-3-7091-9170-5openalex-snapshot
Dependability: Basic Concepts and Terminology
inferredcites →https://doi.org/10.1007/bf00709154openalex-snapshot
A stubborn attack on state explosion
inferredcites →https://doi.org/10.1007/bf02259751openalex-snapshot
Design and verification of fault tolerant systems with CSP
inferredcites →https://doi.org/10.1007/bfb0000462openalex-snapshot
Model checking and fault tolerance
inferredcites →https://doi.org/10.1007/bfb0000478openalex-snapshot
On bisimulation, fault-monotonicity and provable fault-tolerance
inferredcites →https://doi.org/10.1007/bfb0023731openalex-snapshot
Using partial orders to improve automatic verification methods
inferredcites →https://doi.org/10.1016/0011-684x(85)90108-xopenalex-snapshot
Communicating sequential processes
inferredcites →https://doi.org/10.1016/0167-6423(90)90076-popenalex-snapshot
Communication and concurrency
inferredcites →https://doi.org/10.1016/0169-7552(87)90085-7openalex-snapshot
Introduction to the ISO specification language LOTOS
inferredcites →https://doi.org/10.1016/0304-3975(82)90125-6openalex-snapshot
Results on the propositional μ-calculus
inferredcites →https://doi.org/10.1016/0304-3975(84)90067-7openalex-snapshot
Algèbre de processus et synchronisation
inferredcites →https://doi.org/10.1016/0304-3975(94)90167-8openalex-snapshot
A trace-based compositional proof theory for fault tolerant distributed systems
inferredcites →https://doi.org/10.1016/0304-3975(94)90168-6openalex-snapshot
A semantic characterisation for faults in replicated systems
inferredcites →https://doi.org/10.1016/0890-5401(92)90017-aopenalex-snapshot
Symbolic model checking: 1020 States and beyond
inferredcites →https://doi.org/10.1016/s0951-8320(00)00078-8openalex-snapshot
Formal validation of fault-tolerance mechanisms inside GUARDS
inferredcites →https://doi.org/10.1023/a:1008645826258openalex-snapshot
A Formal Verification Environment for Railway Signaling System Design
inferredcites →https://doi.org/10.1093/comjnl/43.3.191openalex-snapshot
Formally Verifying Fault Tolerant System Designs
inferredcites →https://doi.org/10.1108/ir.1999.04926fae.001openalex-snapshot
Lecture Notes in Computer Science 1205
inferredcites →https://doi.org/10.1109/71.774908openalex-snapshot
GUARDS: a generic upgradable architecture for real-time dependable systems
inferredcites →https://doi.org/10.1109/cmpass.1995.521886openalex-snapshot
Refinement and dependable systems
inferredcites →https://doi.org/10.1109/cmpass.1995.521887openalex-snapshot
The safety guaranteeing system at station Hoorn-Kersenboogerd
inferredcites →https://doi.org/10.1109/tc.1986.1676819openalex-snapshot
Graph-Based Algorithms for Boolean Function Manipulation
inferredcites →https://doi.org/10.1109/tse.1985.231534openalex-snapshot
A Rigorous Approach to Fault-Tolerant Programming
inferredcites →https://doi.org/10.1145/2455.2460openalex-snapshot
Algebraic laws for nondeterminism and concurrency
inferredcites →https://doi.org/10.1145/357172.357176openalex-snapshot
The Byzantine Generals Problem
inferredcites →https://doi.org/10.1145/5397.5399openalex-snapshot
Automatic verification of finite-state concurrent systems using temporal logic specifications
inferredcites →https://doi.org/10.1145/98163.98167openalex-snapshot
Implementing fault-tolerant services using the state machine approach: a tutorial

What points at this work

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

inferred← citeshttps://doi.org/10.1002/j.2334-5837.2007.tb02859.xopenalex-snapshot
1.3.4 Model‐Based Design and Verification of Fault‐Tolerant Systems
inferred← citeshttps://doi.org/10.1007/11916246_7openalex-snapshot
Achieving Fault Tolerance by a Formally Validated Interaction Policy
inferred← citeshttps://doi.org/10.1007/978-3-319-02444-8_13openalex-snapshot
Synthesizing Masking Fault-Tolerant Systems from Deontic Specifications
inferred← citeshttps://doi.org/10.1007/978-3-319-08222-6_9openalex-snapshot
A Model-Checking Based Approach to Robustness Analysis of Procedures under Human-Made Faults
inferred← citeshttps://doi.org/10.1007/978-3-319-10557-4_23openalex-snapshot
Verification of Fault-Tolerant System Architectures Using Model Checking
inferred← citeshttps://doi.org/10.1007/978-3-540-30206-3_15openalex-snapshot
Modeling and Verification of a Fault-Tolerant Real-Time Startup Protocol Using Calendar Automata
inferred← citeshttps://doi.org/10.1007/978-3-540-76848-7_34openalex-snapshot
Formal Verification of a Group Membership Protocol Using Model Checking
inferred← citeshttps://doi.org/10.1007/978-3-642-00867-2_4openalex-snapshot
Design and Verification of Fault-Tolerant Components
inferred← citeshttps://doi.org/10.1007/978-3-642-02414-6_5openalex-snapshot
Selecting Fault Tolerant Styles for Third-Party Components with Model Checking Support
inferred← citeshttps://doi.org/10.1007/978-3-642-04444-1_40openalex-snapshot
Cumulative Attestation Kernels for Embedded Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-10248-6_8openalex-snapshot
A Uniform Approach to Security and Fault-Tolerance Specification and Analysis
inferred← citeshttps://doi.org/10.1007/978-3-642-16901-4_36openalex-snapshot
A Methodology for Automatic Diagnosability Analysis
inferred← citeshttps://doi.org/10.1007/978-3-642-33296-8_3openalex-snapshot
Model Checking Propositional Deontic Temporal Logic via a μ-Calculus Characterization
inferred← citeshttps://doi.org/10.1007/s00165-017-0426-2openalex-snapshot
Simulation relations for fault-tolerance
inferred← citeshttps://doi.org/10.1007/s10009-019-00536-0openalex-snapshot
Configuration of inter-process communication with probabilistic model checking
inferred← citeshttps://doi.org/10.1007/s10664-025-10786-zopenalex-snapshot
Aiding the design of critical software systems by iterative exploration of distinct requirement violation scenarios
inferred← citeshttps://doi.org/10.1007/s10836-017-5643-3openalex-snapshot
A HW/SW Cross-Layer Approach for Determining Application-Redundant Hardware Faults in Embedded Systems
inferred← citeshttps://doi.org/10.1016/j.entcs.2004.02.005openalex-snapshot
Applying Generalized Non Deducibility on Compositions (GNDC) Approach in Dependability
inferred← citeshttps://doi.org/10.1016/j.entcs.2004.02.082openalex-snapshot
QUACK: A Platform for the Quality of New Generation Integrated Embedded Systems
inferred← citeshttps://doi.org/10.1016/j.entcs.2004.09.032openalex-snapshot
Logical Specification and Analysis of Fault Tolerant Systems Through Partial Model Checking
inferred← citeshttps://doi.org/10.1016/j.entcs.2008.03.089openalex-snapshot
Parametric Analysis of an Improved Fault Tolerant System
inferred← citeshttps://doi.org/10.1016/j.ic.2016.10.007openalex-snapshot
Combining fault injection and model checking to verify fault tolerance, recoverability, and diagnosability in multi-agent systems
inferred← citeshttps://doi.org/10.1016/j.infsof.2008.01.005openalex-snapshot
A roadmap to electronic payment transaction guarantees and a Colored Petri Net model checking approach
inferred← citeshttps://doi.org/10.1016/j.jss.2008.12.015openalex-snapshot
Improving reliability of cooperative concurrent systems with exception flow analysis
inferred← citeshttps://doi.org/10.1016/j.ress.2020.107237openalex-snapshot
Model checking reveals design issues leading to spurious actuation of nuclear instrumentation and control systems
inferred← citeshttps://doi.org/10.1109/access.2019.2951938openalex-snapshot
Model-Checking Detailed Fault-Tolerant Nuclear Power Plant Safety Functions
inferred← citeshttps://doi.org/10.1109/access.2020.3034799openalex-snapshot
Symmetry Breaking in Model Checking of Fault-Tolerant Nuclear Instrumentation and Control Systems
inferred← citeshttps://doi.org/10.1109/ahs.2013.6604248openalex-snapshot
Formal approaches to SEU testing in FPGAs
inferred← citeshttps://doi.org/10.1109/ase.2013.6693149openalex-snapshot
Synthesizing fault-tolerant programs from deontic logic specifications
inferred← citeshttps://doi.org/10.1109/dsn.2004.1311889openalex-snapshot
Model checking a fault-tolerant startup algorithm: from design exploration to exhaustive fault simulation
inferred← citeshttps://doi.org/10.1109/dsn.2005.53openalex-snapshot
H-RAFT — Heuristic Reachability Analysis for Fault Tolerance Protocols Modelled in SDL
inferred← citeshttps://doi.org/10.1109/icit.2019.8755014openalex-snapshot
Verification of fault tolerant safety I&C systems using model checking
inferred← citeshttps://doi.org/10.1109/itc50571.2021.00057openalex-snapshot
Compositional Fault Propagation Analysis in Embedded Systems using Abstract Interpretation
inferred← citeshttps://doi.org/10.1109/latw.2016.7483356openalex-snapshot
A HW-dependent software model for cross-layer fault analysis in embedded systems
inferred← citeshttps://doi.org/10.1109/sefm.2009.30openalex-snapshot
An Automated Approach to Verifying Diagnosability in Multi-agent Systems
inferred← citeshttps://doi.org/10.1109/tsg.2011.2174811openalex-snapshot
Cumulative Attestation Kernels for Embedded Systems
inferred← citeshttps://doi.org/10.1145/1141277.1141434openalex-snapshot
Verification of coordinated exception handling
inferred← citeshttps://doi.org/10.48550/arxiv.1011.1551openalex-snapshot
An Introduction to Software Engineering and Fault Tolerance
inferred← citeshttps://doi.org/10.65109/wina6284openalex-snapshot
Combining fault injection and model checking to verify fault tolerance in multi-agent systems
inferred← citeshttps://doi.org/10.71548/14972openalex-snapshot
Modelling Fault Tolerance using Deontic Logic: a case study
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.