Ayman M. Wahba
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
1996–2007
Best venue rank
C
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2007 | FDL | Verification of the Properties of Asynchronous Real-Time Distributed Systems using the B-Formalism. | Ayman M. Wahba, Islam A. M. El-Maddah |
| 2004 | ISCAS | FPGA based accelerator for functional simulation. | Mohamed N. Wageeh, Ayman M. Wahba, Ashraf M. Salem, Mohamed A. Sheirah |
| 2003 | FDL | TCTL-Based Verification of Industrial Processes. | Anaheed Ayoub, Ayman M. Wahba, Ashraf M. Salem, Mohamed A. Sheirah |
| 1997 | DATE | Connection error location and correction in combinational circuits. | Ayman M. Wahba, Dominique Borrione |
| 1996 | FMCAD | HDL-Based Integration of Formal Methods and CAD Tools in the PREVAIL Environment. | Dominique Borrione, H. Bouamama, David Dharbe, C. Le Faou, Ayman M. Wahba |