| 2004 |
|---|
| 10 | EE | Sherif G. Aly,
Ashraf M. Salem:
Transaction Level Modeling in Java.
FDL 2004: 518-526 |
| 9 | | Mohamed N. Wageeh,
Ayman M. Wahba,
Ashraf M. Salem,
Mohamed A. Sheirah:
FPGA based accelerator for functional simulation.
ISCAS (5) 2004: 317-320 |
| 8 | EE | Sherif G. Aly,
Ashraf M. Salem:
Observability-Based RTL Simulation using JAVA.
IWSOC 2004: 179-182 |
| 2003 |
|---|
| 7 | | Sherif G. Aly,
Ashraf M. Salem:
Mobile Embedded System Co-Verification Modeling Using Java Observability.
Embedded Systems and Applications 2003: 151-154 |
| 6 | | Sherif G. Aly,
Ashraf M. Salem:
Java Based Co-Verification of Expedited Mobile Device Collaboration.
Embedded Systems and Applications 2003: 161-168 |
| 5 | EE | A. Ayoub,
Ayman M. Wahba,
Ashraf M. Salem,
Mohamed A. Sheirah:
TCTL-Based Verification of Industrial Processes.
FDL 2003: 456-468 |
| 4 | EE | Sherif G. Aly,
Ashraf M. Salem:
Java Based Co-Verification of Expedited Mobile Device.
IWSOC 2003: 181-184 |
| 2001 |
|---|
| 3 | EE | S. Reda,
Ayman M. Wahba,
Ashraf M. Salem,
Dominique Borrione,
M. Ghonaimy:
On the use of don't cares during symbolic reachability analysis.
ISCAS (5) 2001: 121-124 |
| 1995 |
|---|
| 2 | | Dominique Borrione,
Ashraf M. Salem:
Denotational Semantics of a Synchronous VHDL Subset.
Formal Methods in System Design 7(1/2): 53-71 (1995) |
| 1992 |
|---|
| 1 | EE | Dominique Borrione,
Laurence V. Pierre,
Ashraf M. Salem:
Formal Verification of VHDL Descriptions in the Prevail Environment.
IEEE Design & Test of Computers 9(2): 42-56 (1992) |
