Mohamed A. Sheirah

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2010
Code Synthesis for Timed Automata: A Comparison Using Case Study.
Proceedings of the Abstract State Machines, 2010

2009
Automatic code generation from verified timed automata model.
Proceedings of the IADIS International Conference Applied Computing 2009, 2009

2004
FPGA based accelerator for functional simulation.
Proceedings of the 2004 International Symposium on Circuits and Systems, 2004

2003
TCTL-Based Verification of Industrial Processes.
Proceedings of the Forum on specification and Design Languages, 2003


  Loading...