Anaheed Ayoub

Publication Activity (10 Years)

Years Active: 2003-2014
Publications (10 Years): 0

Top Topics

Medical Devices

Principal Component Analysis

Top Venues

Publications

Lian Duan, Sanjai Rayadurgam, Mats Per Erik Heimdahl, Anaheed Ayoub, Oleg Sokolsky, Insup Lee
Reasoning About Confidence and Uncertainty in Assurance Cases: A Survey. FHIES/SEHC (2014)
Lu Feng, Andrew L. King, Sanjian Chen, Anaheed Ayoub, Junkil Park, Nicola Bezzo, Oleg Sokolsky, Insup Lee
A Safety Argument Strategy for PCA Closed-Loop Systems: A Preliminary Proposal. MCPS (2014)
Paolo Masci, Anaheed Ayoub, Paul Curzon, Insup Lee, Oleg Sokolsky, Harold W. Thimbleby
Model-Based Development of the Generic PCA Infusion Pump User Interface Prototype in PVS. SAFECOMP (2013)
Shaohui Wang, Anaheed Ayoub, BaekGyu Kim, Gregor Gößler, Oleg Sokolsky, Insup Lee
A Causality Analysis Framework for Component-Based Real-Time Systems. RV (2013)
Shaohui Wang, Anaheed Ayoub, Radoslav Ivanov, Oleg Sokolsky, Insup Lee
Contract-based blame assignment by trace analysis. HiCoNS (2013)
Paolo Masci, Anaheed Ayoub, Paul Curzon, Michael D. Harrison, Insup Lee, Harold W. Thimbleby
Verification of interactive software for medical devices: PCA infusion pumps and FDA regulation as an example. EICS (2013)
Anaheed Ayoub, BaekGyu Kim, Insup Lee, Oleg Sokolsky
A Systematic Approach to Justifying Sufficient Confidence in Software Safety Arguments. SAFECOMP (2012)
Anaheed Ayoub, BaekGyu Kim, Insup Lee, Oleg Sokolsky
A Safety Case Pattern for Model-Based Development Approach. NASA Formal Methods (2012)
Shaohui Wang, Anaheed Ayoub, Oleg Sokolsky, Insup Lee
Runtime Verification of Traces under Recording Uncertainty. RV (2011)
BaekGyu Kim, Anaheed Ayoub, Oleg Sokolsky, Insup Lee, Paul L. Jones, Yi Zhang, Raoul Praful Jetley
Safety-assured development of the GPCA infusion pump software. EMSOFT (2011)
Anaheed Ayoub, Ayman M. Wahba, Ashraf M. Salem, Mohamed A. Sheirah
Code Synthesis for Timed Automata: A Comparison Using Case Study. ASM (2010)
Anaheed Ayoub, Ayman M. Wahba, Ashraf M. Salem, Mohamed Taher, Mohamed A. Sheirah
Automatic code generation from verified timed automata model. IADIS AC (1) (2009)
Anaheed Ayoub, Ayman M. Wahba, Ashraf M. Salem, Mohamed A. Sheirah
TCTL-Based Verification of Industrial Processes. FDL (2003)