2014
The complexity of automated addition of fault-tolerance without explicit legitimate states
Abujarad F, Lin Y, Bonakdarpour B, Kulkarni S. The complexity of automated addition of fault-tolerance without explicit legitimate states. Distributed Computing 2014, 28: 201-219. DOI: 10.1007/s00446-014-0227-2.Peer-Reviewed Original Research
2007
Distributed Synthesis of Fault-Tolerant Programs in the High Atomicity Model
Bonakdarpour B, Kulkarni S, Abujarad F. Distributed Synthesis of Fault-Tolerant Programs in the High Atomicity Model. Lecture Notes In Computer Science 2007, 4838: 21-36. DOI: 10.1007/978-3-540-76627-8_5.Peer-Reviewed Original Research
2006
Brief Announcement: Distributed Synthesis of Fault-Tolerance
Bonakdarpour B, Kulkarni S, Abujarad F. Brief Announcement: Distributed Synthesis of Fault-Tolerance. Lecture Notes In Computer Science 2006, 4280: 566-567. DOI: 10.1007/978-3-540-49823-0_40.Peer-Reviewed Original Research