2009
Constraint Based Automated Synthesis of Nonmasking and Stabilizing Fault-Tolerance
Abujarad F, Kulkarni S. Constraint Based Automated Synthesis of Nonmasking and Stabilizing Fault-Tolerance. 2009, 119-128. DOI: 10.1109/srds.2009.11.Peer-Reviewed Original ResearchManual designData dissemination problemFault-tolerant programsRecovery actionsSensor networksInterference freedomDissemination problemFault toleranceTerms of constraintsAutomated SynthesisHierarchical programFairness assumptionsMutual exclusionCase studyDifferent constraintsHierarchical systemExperimental resultsConstraintsRecovery pathLegitimate stateAutomationAlgorithmNetworkComputationComplexity
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