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
2010
Complexity Issues in Automated Model Revision without Explicit Legitimate State
Abujarad F, Kulkarni S. Complexity Issues in Automated Model Revision without Explicit Legitimate State. Lecture Notes In Computer Science 2010, 6366: 206-220. DOI: 10.1007/978-3-642-16023-3_18.Peer-Reviewed Original Research