| 2008 |
|---|
| 10 | | Samer I. Mohamed,
Islam A. M. El-Maddah,
Ayman M. Wahba:
Criteria-Based Requirements Prioritization for Software Product Management.
Software Engineering Research and Practice 2008: 587-593 |
| 2007 |
|---|
| 9 | EE | Ayman M. Wahba,
Islam A. M. El-Maddah:
Verification of the Properties of Asynchronous Real-Time Distributed Systems using the B-Formalism.
FDL 2007: 311-209 |
| 2004 |
|---|
| 8 | | Mohamed N. Wageeh,
Ayman M. Wahba,
Ashraf M. Salem,
Mohamed A. Sheirah:
FPGA based accelerator for functional simulation.
ISCAS (5) 2004: 317-320 |
| 2003 |
|---|
| 7 | EE | A. Ayoub,
Ayman M. Wahba,
Ashraf M. Salem,
Mohamed A. Sheirah:
TCTL-Based Verification of Industrial Processes.
FDL 2003: 456-468 |
| 2001 |
|---|
| 6 | 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 |
| 1997 |
|---|
| 5 | EE | Ayman M. Wahba,
Dominique Borrione:
Connection error location and correction in combinational circuits.
ED&TC 1997: 235-241 |
| 1996 |
|---|
| 4 | | Dominique Borrione,
H. Bouamama,
David Déharbe,
C. Le Faou,
Ayman M. Wahba:
HDL-Based Integration of Formal Methods and CAD Tools in the PREVAIL Environment.
FMCAD 1996: 450-467 |
| 3 | EE | Ayman M. Wahba,
Dominique Borrione:
A method for automatic design error location and correction in combinational logic circuits.
J. Electronic Testing 8(2): 113-127 (1996) |
| 1995 |
|---|
| 2 | | Ayman M. Wahba,
Dominique Borrione:
Design error diagnosis in sequential circuits.
CHARME 1995: 171-188 |
| 1993 |
|---|
| 1 | | Ayman M. Wahba,
Einar J. Aas:
Verification and Diagnosis of Digital Systems by Termary Reasoning.
CHARME 1993: 55-67 |
