Mohamed A. Sheirah

Publication Activity (10 Years)

Years Active: 2003-2010
Publications (10 Years): 0

Publications

Anaheed Ayoub, Ayman M. Wahba, Ashraf M. Salem, Mohamed A. Sheirah
Code Synthesis for Timed Automata: A Comparison Using Case Study. ASM (2010)
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)
Mohamed N. Wageeh, Ayman M. Wahba, Ashraf M. Salem, Mohamed A. Sheirah
FPGA based accelerator for functional simulation. ISCAS (5) (2004)
Anaheed Ayoub, Ayman M. Wahba, Ashraf M. Salem, Mohamed A. Sheirah
TCTL-Based Verification of Industrial Processes. FDL (2003)