dblp.uni-trier.dewww.uni-trier.de

Haja Moinudeen

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007
4EEAmjad Gawanmeh, Sofiène Tahar, Haja Moinudeen, Ali Habibi: A Design for Verification Approach Using an Embedding of PSL in aSML. Journal of Circuits, Systems, and Computers 16(6): 859-881 (2007)
2006
3EEAli Habibi, Haja Moinudeen, Sofiène Tahar: Generating finite state machines from SystemC. DATE Designers' Forum 2006: 76-81
2EEHaja Moinudeen, Ali Habibi, Sofiène Tahar: Design for Verification of the PCI-X Bus. FMCAD 2006: 187-188
1EEAli Habibi, Haja Moinudeen, Amer Samarah, Sofiène Tahar: Towards a Faster Simulation of SystemC Designs. ISVLSI 2006: 418-419

Coauthor Index

1Amjad Gawanmeh [4]
2Ali Habibi [1] [2] [3] [4]
3Amer Samarah [1]
4Sofiène Tahar [1] [2] [3] [4]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)