6 citations · 11 across the 3 of their papers we have counts for
3 papers
cs.LO2017★ 2 cited
Dynamic Fault Trees Analysis using an Integration of Theorem Proving and Model Checking
Yassmeen Elderhalli, Osman Hasan, Waqar Ahmad +1
Dynamic fault trees (DFTs) have emerged as an important tool for capturing the dynamic behavior of system failure. These DFTs are then analyzed qualitatively and quantitatively usi…
cs.SE2016★ 3 cited
Formal Dependability Modeling and Analysis: A Survey
Waqar Ahmed, Osman Hasan, Sofiene Tahar
Dependability is an umbrella concept that subsumes many key properties about a system, including reliability, maintainability, safety, availability, confidentiality, and integrity.…
cs.DC2015★ 6 cited
Predicting Scheduling Failures in the Cloud
Mbarka Soualhia, Foutse Khomh, Sofiene Tahar
Cloud Computing has emerged as a key technology to deliver and manage computing, platform, and software services over the Internet. Task scheduling algorithms play an important rol…