Ashraf M. Salem Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2010
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Anaheed Ayoub, Ayman M. Wahba, Ashraf M. Salem, Mohamed A. Sheirah: Code Synthesis for Timed Automata: A Comparison Using Case Study. ASM 2010: 403
2009
c9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
2004
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sherif G. Aly, Ashraf M. Salem: Transaction Level Modeling in Java. FDL 2004: 518-526
c7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mohamed N. Wageeh, Ayman M. Wahba, Ashraf M. Salem, Mohamed A. Sheirah: FPGA based accelerator for functional simulation. ISCAS (5) 2004: 317-320
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sherif G. Aly, Ashraf M. Salem: Observability-Based RTL Simulation using JAVA. IWSOC 2004: 179-182
2003
c5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sherif G. Aly, Ashraf M. Salem: Mobile Embedded System Co-Verification Modeling Using Java Observability. Embedded Systems and Applications 2003: 151-154
c4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sherif G. Aly, Ashraf M. Salem: Java Based Co-Verification of Expedited Mobile Device Collaboration. Embedded Systems and Applications 2003: 161-168
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Anaheed Ayoub, Ayman M. Wahba, Ashraf M. Salem, Mohamed A. Sheirah: TCTL-Based Verification of Industrial Processes. FDL 2003: 456-468
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sherif G. Aly, Ashraf M. Salem: Java Based Co-Verification of Expedited Mobile Device. IWSOC 2003: 181-184
2001
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
1995
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Dominique Borrione, Ashraf M. Salem: Denotational Semantics of a Synchronous VHDL Subset. Formal Methods in System Design 7(1/2): 53-71 (1995)
1992
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Dominique Borrione, Laurence V. Pierre, Ashraf M. Salem: Formal Verification of VHDL Descriptions in the Prevail Environment. IEEE Design & Test of Computers 9(2): 42-56 (1992)

Coauthor Index

1Sherif G. Aly (Sherif Gamal Aly)
[c8] [c6] [c5] [c4] [c2]
2Anaheed Ayoub
[c10] [c9] [c3]
3Dominique Borrione
[c1] [j2] [j1]
4M. Ghonaimy
[c1]
5Laurence Pierre (Laurence V. Pierre)
[j1]
6S. Reda
[c1]
7Mohamed A. Sheirah
[c10] [c9] [c7] [c3]
8Mohamed Taher
[c9]
9Mohamed N. Wageeh
[c7]
10Ayman M. Wahba
[c10] [c9] [c7] [c3] [c1]
Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Sat May 25 05:54:37 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page