El Mostapha Aboulhamid
El Mostapha Aboulhamid
Professor of Computer Science, Montreal University
Verified email at umontreal.ca
Title
Cited by
Cited by
Year
Adder based residue to binary number converters for (2/sup n/-1, 2/sup n/, 2/sup n/+ 1)
Y Wang, X Song, M Aboulhamid, H Shen
IEEE Transactions on Signal Processing 50 (7), 1772-1779, 2002
2382002
Test development for communication protocols: towards automation
R Dssouli, K Saleh, E Aboulhamid, A En-Nouaary, C Bourhfir
Computer Networks 31 (17), 1835-1872, 1999
1111999
A survey on IP watermarking techniques
AT Abdel-Hamid, S Tahar, EM Aboulhamid
Design Automation for Embedded Systems 9 (3), 211-227, 2004
912004
A SystemC/Simulink co-simulation framework for continuous/discrete-events simulation
F Bouchhima, M Briere, G Nicolescu, M Abid, EM Aboulhamid
2006 IEEE International Behavioral Modeling and Simulation Workshop, 1-6, 2006
902006
IP watermarking techniques: Survey and comparison
AT Abdel-Hamid, S Tahar, EM Aboulhamid
The 3rd IEEE International Workshop on System-on-Chip for Real-Time …, 2003
682003
Automatic executable test case generation for extended finite state machine protocols
C Bourhfir, R Dssouli, E Aboulhamid, N Rico
Testing of Communicating Systems, 75-90, 1997
601997
A public-key watermarking technique for IP designs
AT Abdel-Hamid, S Tahar, EM Aboulhamid
Design, Automation and Test in Europe, 330-335, 2005
582005
Automatic test generation for EFSM-based systems
C Bourhfir, R Dssouli, EM Aboulhamid
Techical Report IRO 1043, 1996
521996
Built-in testing of one-dimensional unilateral iterative arrays
EM Aboulhamid, E Cerny
IEEE Computer Architecture Letters 33 (06), 560-564, 1984
491984
A class of test generators for built-in testing
ME Aboulhamid, E Cerny
IEEE Computer Architecture Letters 32 (10), 957-959, 1983
471983
BDD minimization by scatter search
WNN Hung, X Song, EM Aboulhamid, MA Driscoll
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2002
432002
Optimal design of synchronous circuits using software pipelining techniques
FR Boyer, EM Aboulhamid, Y Savaria, M Boyer
ACM Transactions on Design Automation of Electronic Systems (TODAES) 6 (4 …, 2001
432001
A new algorithm for RNS magnitude comparison based on new Chinese remainder theorem II
Y Wang, X Song, M Aboulhamid
Proceedings Ninth Great Lakes Symposium on VLSI, 362-365, 1999
421999
Methods for minimizing dynamic power consumption in synchronous designs with multiple supply voltages
N Chabini, I Chabini, EM Aboulhamid, Y Savaria
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2003
372003
Test cases selection from SDL specifications
C Bourhfir, E Aboulhamid, F Khendek, R Dssouli
Computer Networks 35 (6), 693-708, 2001
362001
A SystemC refinement methodology for embedded software
J Chevalier, M de Nanclas, L Filion, O Benny, M Rondonneau, G Bois, ...
IEEE Design & Test of Computers 23 (2), 148-158, 2006
352006
A test case generation approach for conformance testing of SDL systems
C Bourhfir, E Aboulhamid, R Dssouli, N Rico
Computer Communications 24 (3-4), 319-333, 2001
342001
. NET framework-a solution for the next generation tools for system-level modeling and simulation
J Lapalme, EM Aboulhamid, G Nicolescu, L Charest, FR Boyer, JP David, ...
Proceedings Design, Automation and Test in Europe Conference and Exhibition …, 2004
292004
A methodology for interfacing open source SystemC with a third party software
L Charest, M Reid, EM Aboulhamid, G Bois
Proceedings Design, Automation and Test in Europe. Conference and Exhibition …, 2001
292001
A guided incremental test case generation procedure for conformance testing for CEFSM specified protocols
C Bourhfir, R Dssouli, E Aboulhamid, N Rico
Testing of Communicating Systems, 279-294, 1998
291998
The system can't perform the operation now. Try again later.
Articles 1–20