Ayman M. Wahba

ORCID

Publication Activity (10 Years)

Years Active: 1993-2016
Publications (10 Years): 3

Top Venues

HPCS

J. Electron. Test.

Int. J. Model. Identif. Control.

NATW

Joseph Fourier University, Grenoble, France (PHD)

Education History

Joseph Fourier University, Grenoble, France

PHD

Publications

Mohamed Hanafy, Hazem Said, Ayman M. Wahba
New Methodology for Complete Properties Extraction from Simulation Traces Guided with Static Analysis. J. Electron. Test. 32 (6) (2016)
Wafaa S. El-Kassas, Bassem A. Abdullah, Ahmed H. Yousef, Ayman M. Wahba
Enhanced Code Conversion Approach for the Integrated Cross-Platform Mobile Development (ICPMD). IEEE Trans. Software Eng. 42 (11) (2016)
Mai Said, Mona Safar, Mohamed Taher, Ayman M. Wahba
Accelerating iterative protein sequence alignment on a heterogeneous GPU-CPU platform. HPCS (2016)
Nahla Mohamed, Mona Safar, Ayman M. Wahba, Ashraf Salem
Automatic test pattern generation for virtual hardware model using constrained symbolic execution. IDT (2015)
Mohamed Hanafy, Hazem Said, Ayman M. Wahba
Complete Properties Extraction from Simulation Traces for Assertions Auto-generation. NATW (2015)
Mohamed Hanafy, Mostafa M. Gomaa, Mohamed Taher, Ayman M. Wahba
Development of a technology for car's auto-parking using swarm search-based fuzzy control system. Int. J. Model. Identif. Control. 17 (1) (2012)
Anaheed Ayoub, Ayman M. Wahba, Ashraf M. Salem, Mohamed A. Sheirah
Code Synthesis for Timed Automata: A Comparison Using Case Study. ASM (2010)
Samah Hassan, Mohamed Taher, Ayman M. Wahba
Mapping SMV models to event-B models. IDT (2010)
Anaheed Ayoub, Ayman M. Wahba, Ashraf M. Salem, Mohamed Taher, Mohamed A. Sheirah
Automatic code generation from verified timed automata model. IADIS AC (1) (2009)
Samer I. Mohamed, Islam A. M. El-Maddah, Ayman M. Wahba
Hybrid-Based Maintainability Impact Analysis for Evolving Systems. Int. J. Softw. Eng. Knowl. Eng. 19 (8) (2009)
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)
Ayman M. Wahba, Islam A. M. El-Maddah
Verification of the Properties of Asynchronous Real-Time Distributed Systems using the B-Formalism. FDL (2007)
Mohamed N. Wageeh, Ayman M. Wahba, Ashraf M. Salem, Mohamed A. Sheirah
FPGA based accelerator for functional simulation. ISCAS (5) (2004)
Anaheed Ayoub, Ayman M. Wahba, Ashraf M. Salem, Mohamed A. Sheirah
TCTL-Based Verification of Industrial Processes. FDL (2003)
Ayman M. Wahba, Einar J. Aas
Formal verification of digital circuits by 3-valued simulation. ICECS (2001)
Ayman M. Wahba, Dominique Borrione
Connection error location and correction in combinational circuits. ED&TC (1997)
Ayman M. Wahba, Dominique Borrione
Automatic diagnosis may replace simulation for correcting simple design errors. EURO-DAC (1996)
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)
Ayman M. Wahba, Dominique Borrione
A method for automatic design error location and correction in combinational logic circuits. J. Electron. Test. 8 (2) (1996)
Ayman M. Wahba, Dominique Borrione
Design error diagnosis in sequential circuits. CHARME (1995)
Ayman M. Wahba, Einar J. Aas
Verification and Diagnosis of Digital Systems by Termary Reasoning. CHARME (1993)

Ayman M. Wahba.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Ayman M. Wahba