Anaheed Ayoub
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
2003–2013
Best venue rank
B
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | EICS | 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 |
| 2013 | RV | A Causality Analysis Framework for Component-Based Real-Time Systems. | Shaohui Wang, Anaheed Ayoub, BaekGyu Kim, Gregor Gler, Oleg Sokolsky, Insup Lee |
| 2013 | SAFECOMP | 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 |
| 2012 | SAFECOMP | A Systematic Approach to Justifying Sufficient Confidence in Software Safety Arguments. | Anaheed Ayoub, BaekGyu Kim, Insup Lee, Oleg Sokolsky |
| 2011 | EMSOFT | 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 |
| 2011 | RV | Runtime Verification of Traces under Recording Uncertainty. | Shaohui Wang, Anaheed Ayoub, Oleg Sokolsky, Insup Lee |
| 2003 | FDL | TCTL-Based Verification of Industrial Processes. | Anaheed Ayoub, Ayman M. Wahba, Ashraf M. Salem, Mohamed A. Sheirah |