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
2011
Symbolic synthesis of masking fault-tolerant distributed programs
Bonakdarpour B, Kulkarni S, Abujarad F. Symbolic synthesis of masking fault-tolerant distributed programs. Distributed Computing 2011, 25: 83-108. DOI: 10.1007/s00446-011-0139-3.Peer-Reviewed Original ResearchHigh worst-case complexityFault-intolerant versionState explosion problemProgram state spaceWorst-case complexityPresence of faultsProgram synthesisTime complexitySymbolic synthesisExplosion problemState spaceLiveness specificationsSynthesis heuristicsTypes of faultsReasonable amountDecision procedureSynthesis problemComplexityHeuristicsAlgorithmChallenging barriersBottleneckFaultsVerificationSpecificationAutomated constraint-based addition of nonmasking and stabilizing fault-tolerance
Abujarad F, Kulkarni S. Automated constraint-based addition of nonmasking and stabilizing fault-tolerance. Theoretical Computer Science 2011, 412: 4228-4246. DOI: 10.1016/j.tcs.2011.02.008.Peer-Reviewed Original ResearchData dissemination problemHeuristic-based approachRecovery actionsSensor networksInterference freedomDissemination problemTime complexityDistributed natureManual designTerms of constraintsHierarchical programMultiple constraintsSynthesis algorithmFairness assumptionsMutual exclusionTree maintenanceAlgorithmCase studyDifferent constraintsHierarchical systemExperimental resultsConstraintsComplexityRecovery pathLegitimate state
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
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 stateAutomationAlgorithmNetworkComputationComplexityStabilizing Interference-Free Slot Assignment for Wireless Mesh Networks
Arumugam M, Jhumka A, Abujarad F, Kulkarni S. Stabilizing Interference-Free Slot Assignment for Wireless Mesh Networks. Computer Communications And Networks 2009, 77-118. DOI: 10.1007/978-1-84800-909-7_4.Peer-Reviewed Original Research
2008
Parallelizing Deadlock Resolution in Symbolic Synthesis of Distributed Programs
Bonakdarpour B, Abujarad F, Kulkarni S. Parallelizing Deadlock Resolution in Symbolic Synthesis of Distributed Programs. 2008 DOI: 10.21236/ada487982.Peer-Reviewed Original ResearchSymbolic synthesisDeadlock statesPresence of faultsEfficient parallelParallel algorithmDistributed programDeadlock resolutionMultiple threadsEfficient heuristicSymbolic techniquesComplexity barrierSymbolic algorithmSet of statesSynthesis algorithmTransition relationAlgorithmPerformance improvementExperimental resultsOutgoing transitionsPrevious workAforementioned obstaclesParallelizationHeuristicsThreads
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