Ayman M. Wahba

22 papers B 1C 2Journal 5Unranked 13

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