- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| c7 |      | Anaheed Ayoub, BaekGyu Kim, Insup Lee, Oleg Sokolsky: A Safety Case Pattern for Model-Based Development Approach. NASA Formal Methods 2012: 141-146 |
| c6 | | Anaheed Ayoub, BaekGyu Kim, Insup Lee, Oleg Sokolsky: A Systematic Approach to Justifying Sufficient Confidence in Software Safety Arguments. SAFECOMP 2012: 305-316 |
| 2011 | ||
| c5 | | 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: 155-164 |
| c4 | | Shaohui Wang, Anaheed Ayoub, Oleg Sokolsky, Insup Lee: Runtime Verification of Traces under Recording Uncertainty. RV 2011: 442-456 |
| 2010 | ||
| c3 | | Anaheed Ayoub, Ayman M. Wahba, Ashraf M. Salem, Mohamed A. Sheirah: Code Synthesis for Timed Automata: A Comparison Using Case Study. ASM 2010: 403 |
| 2009 | ||
| c2 |  | 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: 243-250 |
| 2003 | ||
| c1 | | Anaheed Ayoub, Ayman M. Wahba, Ashraf M. Salem, Mohamed A. Sheirah: TCTL-Based Verification of Industrial Processes. FDL 2003: 456-468 |
| 1 | Raoul Praful Jetley | |
| 2 | Paul L. Jones | |
| 3 | BaekGyu Kim | |
| 4 | Insup Lee | |
| 5 | Ashraf M. Salem | |
| 6 | Mohamed A. Sheirah | |
| 7 | Oleg Sokolsky | |
| 8 | Mohamed Taher | |
| 9 | Ayman M. Wahba | |
| 10 | Shaohui Wang | |
| 11 | Yi Zhang |
Colors in the list of coauthors
Last update Wed May 22 16:11:52 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page