Ashraf M. Salem

According to our database, Ashraf M. Salem authored at least 15 papers between 1992 and 2020.

Collaborative distances:

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

2020

A Universal Model for Defective Classes Prediction Using Different Object-Oriented Metrics Suites.

Farida A. Mohamed, Cherif R. Salama, Ahmed H. Yousef, Ashraf M. Salem

Proceedings of the 2nd Novel Intelligent and Leading Emerging Sciences Conference, 2020

2015

Mobile GPU Cloud Computing with real time application.

Marwa Ayad, Mohamed Taher, Ashraf M. Salem

Proceedings of the 5th International Conference on Energy Aware Computing Systems & Applications, 2015

2014

Real-Time Mobile Cloud Computing: A Case Study in Face Recognition.

Marwa Ayad, Mohamed Taher, Ashraf M. Salem

Proceedings of the 28th International Conference on Advanced Information Networking and Applications Workshops, 2014

2013

Application of formal methods for design space exploration and refinement.

Dominique Borrione, Ashraf M. Salem

Proceedings of the 2013 Forum on specification and Design Languages, 2013

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

Observability-Based RTL Simulation using JAVA.

Sherif G. Aly, Ashraf M. Salem

Proceedings of the 4th IEEE International Workshop on System-on-Chip for Real-Time Applications (IWSOC'04), 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

Transaction Level Modeling in Java.

Sherif G. Aly, Ashraf M. Salem

Proceedings of the Forum on specification and Design Languages, 2004

2003

Java Based Co-Verification of Expedited Mobile Device.

Sherif G. Aly, Ashraf M. Salem

Proceedings of the 3rd IEEE International Workshop on System-on-Chip for Real-Time Applications (IWSOC'03), 30 June, 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

Java Based Co-Verification of Expedited Mobile Device Collaboration.

Sherif G. Aly, Ashraf M. Salem

Proceedings of the International Conference on Embedded Systems and Applications, 2003

Mobile Embedded System Co-Verification Modeling Using Java Observability.

Sherif G. Aly, Ashraf M. Salem

Proceedings of the International Conference on Embedded Systems and Applications, 2003

1995

Denotational Semantics of a Synchronous VHDL Subset.

Dominique Borrione, Ashraf M. Salem

Formal Methods Syst. Des., 1995

1992

Formal Verification of VHDL Descriptions in the Prevail Environment.

Dominique Borrione, Laurence V. Pierre, Ashraf M. Salem

IEEE Des. Test Comput., 1992