Automation of fault-tolerant graceful degradation
From MaRDI portal
Publication:1733388
DOI10.1007/s00446-017-0319-xzbMath1451.68059OpenAlexW2774532595MaRDI QIDQ1733388
Arshad Jhumka, Yiyan Lin, Sandeep S. Kulkarni
Publication date: 21 March 2019
Published in: Distributed Computing (Search for Journal in Brave)
Full work available at URL: http://wrap.warwick.ac.uk/94211/7/WRAP-Automation-fault-tolerant-Jjumka-2017.pdf
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- MR4UM: a framework for adding fault tolerance to UML state diagrams
- Automated constraint-based addition of nonmasking and stabilizing fault-tolerance
- Automating the addition of fault tolerance with discrete controller synthesis
- Defining liveness
- Symbolic synthesis of masking fault-tolerant distributed programs
- A Hybrid Method for the Verification and Synthesis of Parameterized Self-Stabilizing Protocols
- Model Repair for Probabilistic Systems
- The Byzantine Generals Problem
- Self-stabilizing systems in spite of distributed control
- On the synthesis of strategies in infinite games
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
- Computer Aided Verification
This page was built for publication: Automation of fault-tolerant graceful degradation