TCTL-Based Verification of Industrial Processes. - Anaheed Ayoub; Ayman M. Wahba; Ashraf M. Salem; Mohamed A. Sheirah (FDL, 2003)

Automatic code generation from verified timed automata model. - Anaheed Ayoub; Ayman M. Wahba; Ashraf M. Salem; Mohamed Taher; Mohamed A. Sheirah (IADIS AC (1), 2009)

Code Synthesis for Timed Automata: A Comparison Using Case Study. - Anaheed Ayoub; Ayman M. Wahba; Ashraf M. Salem; Mohamed A. Sheirah (ASM, 2010)

Safety-assured development of the GPCA infusion pump software. - BaekGyu Kim; Anaheed Ayoub; Oleg Sokolsky; Insup Lee 001; Paul L. Jones; Yi Zhang 051; Raoul Praful Jetley (EMSOFT, 2011)

Runtime Verification of Traces under Recording Uncertainty. - Shaohui Wang; Anaheed Ayoub; Oleg Sokolsky; Insup Lee 001 (RV, 2011)

A Safety Case Pattern for Model-Based Development Approach. - Anaheed Ayoub; BaekGyu Kim; Insup Lee 001; Oleg Sokolsky (NASA Formal Methods, 2012)

A Systematic Approach to Justifying Sufficient Confidence in Software Safety Arguments. - Anaheed Ayoub; BaekGyu Kim; Insup Lee 001; Oleg Sokolsky (SAFECOMP, 2012)

Verification of interactive software for medical devices: PCA infusion pumps and FDA regulation as an example. - Paolo Masci 001; Anaheed Ayoub; Paul Curzon; Michael D. Harrison; Insup Lee 001; Harold W. Thimbleby (EICS, 2013)

Contract-based blame assignment by trace analysis. - Shaohui Wang; Anaheed Ayoub; Radoslav Ivanov; Oleg Sokolsky; Insup Lee 001 (HiCoNS, 2013)

A Causality Analysis Framework for Component-Based Real-Time Systems. - Shaohui Wang; Anaheed Ayoub; BaekGyu Kim; Gregor Gößler; Oleg Sokolsky; Insup Lee 001 (RV, 2013)

Model-Based Development of the Generic PCA Infusion Pump User Interface Prototype in PVS. - Paolo Masci 001; Anaheed Ayoub; Paul Curzon; Insup Lee 001; Oleg Sokolsky; Harold W. Thimbleby (SAFECOMP, 2013)

Reasoning About Confidence and Uncertainty in Assurance Cases: A Survey. - Lian Duan; Sanjai Rayadurgam; Mats Per Erik Heimdahl; Anaheed Ayoub; Oleg Sokolsky; Insup Lee 001 (FHIES/SEHC, 2014)

A Safety Argument Strategy for PCA Closed-Loop Systems: A Preliminary Proposal. - Lu Feng 001; Andrew L. King; Sanjian Chen; Anaheed Ayoub; Junkil Park; Nicola Bezzo; Oleg Sokolsky; Insup Lee 001 (MCPS, 2014)