Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Ayman M. Wahba
2010 – today
- 2010
[c11]Anaheed Ayoub, Ayman M. Wahba, Ashraf M. Salem, Mohamed A. Sheirah: Code Synthesis for Timed Automata: A Comparison Using Case Study. ASM 2010: 403
2000 – 2009
- 2009
- [j2]Samer I. Mohamed, Islam A. M. El-Maddah, Ayman M. Wahba: Hybrid-Based Maintainability Impact Analysis for Evolving Systems. International Journal of Software Engineering and Knowledge Engineering 19(8): 1131-1149 (2009)
- [c10]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: 243-250
- 2008
- [c9]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: 587-593
- 2007
- [c8]Ayman M. Wahba, Islam A. M. El-Maddah: Verification of the Properties of Asynchronous Real-Time Distributed Systems using the B-Formalism. FDL 2007: 311-209
- 2004
- [c7]Mohamed N. Wageeh, Ayman M. Wahba, Ashraf M. Salem, Mohamed A. Sheirah: FPGA based accelerator for functional simulation. ISCAS (5) 2004: 317-320
- 2003
- [c6]Anaheed Ayoub, Ayman M. Wahba, Ashraf M. Salem, Mohamed A. Sheirah: TCTL-Based Verification of Industrial Processes. FDL 2003: 456-468
- 2001
- [c5]S. Reda, Ayman M. Wahba, Ashraf M. Salem, Dominique Borrione, M. Ghonaimy: On the use of don't cares during symbolic reachability analysis. ISCAS (5) 2001: 121-124
1990 – 1999
- 1997
- [c4]Ayman M. Wahba, Dominique Borrione: Connection error location and correction in combinational circuits. ED&TC 1997: 235-241
- 1996
- [j1]Ayman M. Wahba, Dominique Borrione: A method for automatic design error location and correction in combinational logic circuits. J. Electronic Testing 8(2): 113-127 (1996)
- [c3]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: 450-467
- 1995
- [c2]Ayman M. Wahba, Dominique Borrione: Design error diagnosis in sequential circuits. CHARME 1995: 171-188
- 1993
- [c1]Ayman M. Wahba, Einar J. Aas: Verification and Diagnosis of Digital Systems by Termary Reasoning. CHARME 1993: 55-67
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2012-09-10 15:57 CEST by the dblp team