Anaheed Ayoub

According to our database, Anaheed Ayoub authored at least 13 papers between 2003 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

A Safety Argument Strategy for PCA Closed-Loop Systems: A Preliminary Proposal.

Lu Feng, Andrew L. King, Sanjian Chen, Anaheed Ayoub, Junkil Park, Nicola Bezzo, Oleg Sokolsky, Insup Lee

Proceedings of the 5th Workshop on Medical Cyber-Physical Systems, 2014

Reasoning About Confidence and Uncertainty in Assurance Cases: A Survey.

Lian Duan, Sanjai Rayadurgam, Mats Per Erik Heimdahl, Anaheed Ayoub, Oleg Sokolsky, Insup Lee

Proceedings of the Software Engineering in Health Care - 4th International Symposium, 2014

2013

Model-Based Development of the Generic PCA Infusion Pump User Interface Prototype in PVS.

Paolo Masci, Anaheed Ayoub, Paul Curzon, Insup Lee, Oleg Sokolsky, Harold W. Thimbleby

Proceedings of the Computer Safety, Reliability, and Security, 2013

A Causality Analysis Framework for Component-Based Real-Time Systems.

Shaohui Wang, Anaheed Ayoub, BaekGyu Kim, Gregor Gößler, Oleg Sokolsky, Insup Lee

Proceedings of the Runtime Verification - 4th International Conference, 2013

Contract-based blame assignment by trace analysis.

Shaohui Wang, Anaheed Ayoub, Radoslav Ivanov, Oleg Sokolsky, Insup Lee

Proceedings of the 2nd ACM International Conference on High Confidence Networked Systems (part of CPS Week), 2013

Verification of interactive software for medical devices: PCA infusion pumps and FDA regulation as an example.

Paolo Masci, Anaheed Ayoub, Paul Curzon, Michael D. Harrison, Insup Lee, Harold W. Thimbleby

Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2013

2012

A Systematic Approach to Justifying Sufficient Confidence in Software Safety Arguments.

Anaheed Ayoub, BaekGyu Kim, Insup Lee, Oleg Sokolsky

Proceedings of the Computer Safety, Reliability, and Security, 2012

A Safety Case Pattern for Model-Based Development Approach.

Anaheed Ayoub, BaekGyu Kim, Insup Lee, Oleg Sokolsky

Proceedings of the NASA Formal Methods, 2012

2011

Runtime Verification of Traces under Recording Uncertainty.

Shaohui Wang, Anaheed Ayoub, Oleg Sokolsky, Insup Lee

Proceedings of the Runtime Verification - Second International Conference, 2011

Safety-assured development of the GPCA infusion pump software.

BaekGyu Kim, Anaheed Ayoub, Oleg Sokolsky, Insup Lee, Paul L. Jones, Yi Zhang, Raoul Praful Jetley

Proceedings of the 11th International Conference on Embedded Software, 2011

2010

Code Synthesis for Timed Automata: A Comparison Using Case Study.

Anaheed Ayoub, Ayman M. Wahba, Ashraf M. Salem, Mohamed A. Sheirah

Proceedings of the Abstract State Machines, 2010

2009

Automatic code generation from verified timed automata model.

Anaheed Ayoub, Ayman M. Wahba, Ashraf M. Salem, Mohamed Taher, Mohamed A. Sheirah

Proceedings of the IADIS International Conference Applied Computing 2009, 2009

2003

TCTL-Based Verification of Industrial Processes.

Anaheed Ayoub, Ayman M. Wahba, Ashraf M. Salem, Mohamed A. Sheirah

Proceedings of the Forum on specification and Design Languages, 2003