Anaheed Ayoub - RankMe

13 papers B 4C 1Misc 2Unranked 6

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