Ashraf M. Salem

15 papers C 3Journal 2Unranked 10
YearRankTypeTitle / Venue / Authors
2020 — conf
A Universal Model for Defective Classes Prediction Using Different Object-Oriented Metrics Suites.
NILES
Farida A. Mohamed, Cherif R. Salama, Ahmed H. Yousef, Ashraf M. Salem
2015 — conf
Mobile GPU Cloud Computing with real time application.
ICEAC
Marwa Ayad, Mohamed Taher, Ashraf M. Salem
2014 — conf
Real-Time Mobile Cloud Computing: A Case Study in Face Recognition.
AINA Workshops
Marwa Ayad, Mohamed Taher, Ashraf M. Salem
2013 C conf
Application of formal methods for design space exploration and refinement.
FDL
Dominique Borrione, Ashraf M. Salem
2010 — conf
Code Synthesis for Timed Automata: A Comparison Using Case Study.
ASM
Anaheed Ayoub, Ayman M. Wahba, Ashraf M. Salem, Mohamed A. Sheirah
2009 — conf
Automatic code generation from verified timed automata model.
IADIS AC (1)
Anaheed Ayoub, Ayman M. Wahba, Ashraf M. Salem, Mohamed Taher, Mohamed A. Sheirah
2004 — conf
FPGA based accelerator for functional simulation.
ISCAS (5)
Mohamed N. Wageeh, Ayman M. Wahba, Ashraf M. Salem, Mohamed A. Sheirah
2004 — conf
Observability-Based RTL Simulation using JAVA.
IWSOC
Sherif G. Aly, Ashraf M. Salem
2004 C conf
Transaction Level Modeling in Java.
FDL
Sherif G. Aly, Ashraf M. Salem
2003 — conf
Java Based Co-Verification of Expedited Mobile Device Collaboration.
Embedded Systems and Applications
Sherif G. Aly, Ashraf M. Salem
2003 — conf
Java Based Co-Verification of Expedited Mobile Device.
IWSOC
Sherif G. Aly, Ashraf M. Salem
2003 — conf
Mobile Embedded System Co-Verification Modeling Using Java Observability.
Embedded Systems and Applications
Sherif G. Aly, Ashraf M. Salem
2003 C conf
TCTL-Based Verification of Industrial Processes.
FDL
Anaheed Ayoub, Ayman M. Wahba, Ashraf M. Salem, Mohamed A. Sheirah
1995 J jnl
Denotational Semantics of a Synchronous VHDL Subset.
Formal Methods Syst. Des.
Dominique Borrione, Ashraf M. Salem
1992 J jnl
Formal Verification of VHDL Descriptions in the Prevail Environment.
IEEE Des. Test Comput.
Dominique Borrione, Laurence V. Pierre, Ashraf M. Salem