2015
The Impact of Usability on Patient Safety in Long-Term Care
Abujarad F, Swierenga S, Dennis T, Post L. The Impact of Usability on Patient Safety in Long-Term Care. Lecture Notes In Computer Science 2015, 9191: 221-231. DOI: 10.1007/978-3-319-20895-4_21.Peer-Reviewed Original ResearchUser-centered design methodologyImpact of usabilityHealth information technologyReal-time screeningComplex organizational environmentsEffective public health managementInformation technologyComplex informationEdge technologyDesign processTime constraintsCheck systemDesign methodologyHealth managementTechnologyOrganizational environmentOrganizational communication practicesUsabilityUsersBest practice approachSystemPublic health managementResearch teamInformationConstraints
2011
Automated 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
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