Mohamed A. Sheirah

According to our database, Mohamed A. Sheirah authored at least 4 papers between 2003 and 2010.

Collaborative distances:

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

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

2004

FPGA based accelerator for functional simulation.

Mohamed N. Wageeh, Ayman M. Wahba, Ashraf M. Salem, Mohamed A. Sheirah

Proceedings of the 2004 International Symposium on Circuits and Systems, 2004

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