Ayman M. Wahba

According to our database, Ayman M. Wahba authored at least 22 papers between 1993 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

New Methodology for Complete Properties Extraction from Simulation Traces Guided with Static Analysis.

Mohamed Hanafy, Hazem Said, Ayman M. Wahba

J. Electron. Test., 2016

Accelerating iterative protein sequence alignment on a heterogeneous GPU-CPU platform.

Mai Said, Mona Safar, Mohamed Taher, Ayman M. Wahba

Proceedings of the International Conference on High Performance Computing & Simulation, 2016

2015

Complete Properties Extraction from Simulation Traces for Assertions Auto-generation.

Mohamed Hanafy, Hazem Said, Ayman M. Wahba

Proceedings of the 24th IEEE North Atlantic Test Workshop, 2015

Automatic test pattern generation for virtual hardware model using constrained symbolic execution.

Nahla Mohamed, Mona Safar, Ayman M. Wahba, Ashraf Salem

Proceedings of the 10th International Design & Test Symposium, 2015

2012

Development of a technology for car's auto-parking using swarm search-based fuzzy control system.

Mohamed Hanafy, Mostafa M. Gomaa, Mohamed Taher, Ayman M. Wahba

Int. J. Model. Identif. Control., 2012

2010

Mapping SMV models to event-B models.

Samah Hassan, Mohamed Taher, Ayman M. Wahba

Proceedings of the 5th International Design and Test Workshop, 2010

Code Synthesis for Timed Automata: A Comparison Using Case Study.

Anaheed Ayoub, Ayman M. Wahba, Ashraf M. Salem, Mohamed A. Sheirah

Proceedings of the Abstract State Machines, 2010

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

Automatic code generation from verified timed automata model.

Anaheed Ayoub, Ayman M. Wahba, Ashraf M. Salem, Mohamed Taher, Mohamed A. Sheirah

Proceedings of the IADIS International Conference Applied Computing 2009, 2009

2008

Criteria-Based Requirements Prioritization for Software Product Management.

Samer I. Mohamed, Islam A. M. El-Maddah, Ayman M. Wahba

Proceedings of the 2008 International Conference on Software Engineering Research & Practice, 2008

2007

Verification of the Properties of Asynchronous Real-Time Distributed Systems using the B-Formalism.

Ayman M. Wahba, Islam A. M. El-Maddah

Proceedings of the Forum on specification and Design Languages, 2007

2004

FPGA based accelerator for functional simulation.

Mohamed N. Wageeh, Ayman M. Wahba, Ashraf M. Salem, Mohamed A. Sheirah

Proceedings of the 2004 International Symposium on Circuits and Systems, 2004

2003

TCTL-Based Verification of Industrial Processes.

Anaheed Ayoub, Ayman M. Wahba, Ashraf M. Salem, Mohamed A. Sheirah

Proceedings of the Forum on specification and Design Languages, 2003

2001

Formal verification of digital circuits by 3-valued simulation.

Ayman M. Wahba, Einar J. Aas

Proceedings of the 2001 8th IEEE International Conference on Electronics, 2001

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

PhD thesis, 1997

Connection error location and correction in combinational circuits.

Ayman M. Wahba, Dominique Borrione

Proceedings of the European Design and Test Conference, 1997

1996

A method for automatic design error location and correction in combinational logic circuits.

Ayman M. Wahba, Dominique Borrione

J. Electron. Test., 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

Proceedings of the Formal Methods in Computer-Aided Design, First International Conference, 1996

Automatic diagnosis may replace simulation for correcting simple design errors.

Ayman M. Wahba, Dominique Borrione

Proceedings of the conference on European design automation, 1996

1995

Design error diagnosis in sequential circuits.

Ayman M. Wahba, Dominique Borrione

Proceedings of the Correct Hardware Design and Verification Methods, 1995

1993

Verification and Diagnosis of Digital Systems by Termary Reasoning.

Ayman M. Wahba, Einar J. Aas

Proceedings of the Correct Hardware Design and Verification Methods, 1993