Formal Verification of VHDL Descriptions in the Prevail Environment. - Dominique Borrione; Laurence V. Pierre; Ashraf M. Salem (IEEE Des. Test Comput., 1992)

Denotational Semantics of a Synchronous VHDL Subset. - Dominique Borrione; Ashraf M. Salem (Formal Methods Syst. Des., 1995)

Mobile Embedded System Co-Verification Modeling Using Java Observability. - Sherif G. Aly 001; Ashraf M. Salem (Embedded Systems and Applications, 2003)

Java Based Co-Verification of Expedited Mobile Device Collaboration. - Sherif G. Aly 001; Ashraf M. Salem (Embedded Systems and Applications, 2003)

TCTL-Based Verification of Industrial Processes. - Anaheed Ayoub; Ayman M. Wahba; Ashraf M. Salem; Mohamed A. Sheirah (FDL, 2003)

Java Based Co-Verification of Expedited Mobile Device. - Sherif G. Aly 001; Ashraf M. Salem (IWSOC, 2003)

Transaction Level Modeling in Java. - Sherif G. Aly 001; Ashraf M. Salem (FDL, 2004)

FPGA based accelerator for functional simulation. - Mohamed N. Wageeh; Ayman M. Wahba; Ashraf M. Salem; Mohamed A. Sheirah (ISCAS (5), 2004)

Observability-Based RTL Simulation using JAVA. - Sherif G. Aly 001; Ashraf M. Salem (IWSOC, 2004)

Automatic code generation from verified timed automata model. - Anaheed Ayoub; Ayman M. Wahba; Ashraf M. Salem; Mohamed Taher; Mohamed A. Sheirah (IADIS AC (1), 2009)

Code Synthesis for Timed Automata: A Comparison Using Case Study. - Anaheed Ayoub; Ayman M. Wahba; Ashraf M. Salem; Mohamed A. Sheirah (ASM, 2010)

Application of formal methods for design space exploration and refinement. - Dominique Borrione; Ashraf M. Salem (FDL, 2013)

Real-Time Mobile Cloud Computing: A Case Study in Face Recognition. - Marwa Ayad; Mohamed Taher; Ashraf M. Salem (AINA Workshops, 2014)

Mobile GPU Cloud Computing with real time application. - Marwa Ayad; Mohamed Taher; Ashraf M. Salem (ICEAC, 2015)

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 (NILES, 2020)