Verification and Diagnosis of Digital Systems by Termary Reasoning. - Ayman M. Wahba; Einar J. Aas (CHARME, 1993)

Design error diagnosis in sequential circuits. - Ayman M. Wahba; Dominique Borrione (CHARME, 1995)

Automatic diagnosis may replace simulation for correcting simple design errors. - Ayman M. Wahba; Dominique Borrione (EURO-DAC, 1996)

HDL-Based Integration of Formal Methods and CAD Tools in the PREVAIL Environment. - Dominique Borrione; H. Bouamama; David Déharbe; C. Le Faou; Ayman M. Wahba (FMCAD, 1996)

A method for automatic design error location and correction in combinational logic circuits. - Ayman M. Wahba; Dominique Borrione (J. Electron. Test., 1996)

Connection error location and correction in combinational circuits. - Ayman M. Wahba; Dominique Borrione (ED&TC, 1997)

Diagnostic des erreurs de conception dans les circuits digitaux : le cas des erreurs simples. (Design error diagnosis in digital circuits: the case of simple errors). - Ayman M. Wahba (1997)

Formal verification of digital circuits by 3-valued simulation. - Ayman M. Wahba; Einar J. Aas (ICECS, 2001)

TCTL-Based Verification of Industrial Processes. - Anaheed Ayoub; Ayman M. Wahba; Ashraf M. Salem; Mohamed A. Sheirah (FDL, 2003)

FPGA based accelerator for functional simulation. - Mohamed N. Wageeh; Ayman M. Wahba; Ashraf M. Salem; Mohamed A. Sheirah (ISCAS (5), 2004)

Verification of the Properties of Asynchronous Real-Time Distributed Systems using the B-Formalism. - Ayman M. Wahba; Islam A. M. El-Maddah (FDL, 2007)

Criteria-Based Requirements Prioritization for Software Product Management. - Samer I. Mohamed; Islam A. M. El-Maddah; Ayman M. Wahba (Software Engineering Research and Practice, 2008)

Automatic code generation from verified timed automata model. - Anaheed Ayoub; Ayman M. Wahba; Ashraf M. Salem; Mohamed Taher; Mohamed A. Sheirah (IADIS AC (1), 2009)

Hybrid-Based Maintainability Impact Analysis for Evolving Systems. - Samer I. Mohamed; Islam A. M. El-Maddah; Ayman M. Wahba (Int. J. Softw. Eng. Knowl. Eng., 2009)

Code Synthesis for Timed Automata: A Comparison Using Case Study. - Anaheed Ayoub; Ayman M. Wahba; Ashraf M. Salem; Mohamed A. Sheirah (ASM, 2010)

Mapping SMV models to event-B models. - Samah Hassan; Mohamed Taher; Ayman M. Wahba (IDT, 2010)

Development of a technology for car's auto-parking using swarm search-based fuzzy control system. - Mohamed Hanafy 001; Mostafa M. Gomaa; Mohamed Taher; Ayman M. Wahba (Int. J. Model. Identif. Control., 2012)

Automatic test pattern generation for virtual hardware model using constrained symbolic execution. - Nahla Mohamed; Mona Safar; Ayman M. Wahba; Ashraf Salem (IDT, 2015)

Complete Properties Extraction from Simulation Traces for Assertions Auto-generation. - Mohamed Hanafy 001; Hazem Said; Ayman M. Wahba (NATW, 2015)

Accelerating iterative protein sequence alignment on a heterogeneous GPU-CPU platform. - Mai Said; Mona Safar; Mohamed Taher; Ayman M. Wahba (HPCS, 2016)

New Methodology for Complete Properties Extraction from Simulation Traces Guided with Static Analysis. - Mohamed Hanafy 001; Hazem Said; Ayman M. Wahba (J. Electron. Test., 2016)

Enhanced Code Conversion Approach for the Integrated Cross-Platform Mobile Development (ICPMD). - Wafaa S. El-Kassas; Bassem Amin Abdullah; Ahmed H. Yousef; Ayman M. Wahba (IEEE Trans. Software Eng., 2016)