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 |