Synthesis of fault-tolerant distributed systems
R Dimitrova, B Finkbeiner - … on Automated Technology for Verification and …, 2009 - Springer
A distributed system is fault-tolerant if it continues to perform correctly even when a subset of
the processes becomes faulty. Fault-tolerance is highly desirable but often difficult to …
the processes becomes faulty. Fault-tolerance is highly desirable but often difficult to …
Automated model repair for distributed programs
B Bonakdarpour, SS Kulkarni - ACM SIGACT News, 2012 - dl.acm.org
Model repair is a formal method that aims at fixing bugs in models automatically. Typically,
these models are finite state automata that can be compactly represented using guarded …
these models are finite state automata that can be compactly represented using guarded …
[图书][B] Automated revision of distributed and real-time programs
B Bonakdarpour - 2009 - search.proquest.com
This dissertation concentrates on the problem of automated revision of distributed and real-
time programs that are correct-by-construction. In particular, our research addresses the …
time programs that are correct-by-construction. In particular, our research addresses the …
Synthesizing bounded-time 2-phase fault recovery
B Bonakdarpour, SS Kulkarni - Formal Aspects of Computing, 2015 - Springer
We focus on synthesis techniques for transforming existing fault-intolerant real-time
programs into fault-tolerant programs that provide phased recovery. A fault-tolerant program …
programs into fault-tolerant programs that provide phased recovery. A fault-tolerant program …
[引用][C] Synthesizing bounded-time 2-phase recovery
B Bonakdarpour, SS Kulkarni - Springer Journal of Formal Aspects of Computing …