El Mostapha Aboulhamid
El Mostapha Aboulhamid
Professor of Computer Science, Montreal University
Verified email at
Cited by
Cited by
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
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
A survey on IP watermarking techniques
AT Abdel-Hamid, S Tahar, EM Aboulhamid
Design Automation for Embedded Systems 9, 211-227, 2004
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
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
A public-key watermarking technique for IP designs
AT Abdel-Hamid, S Tahar, EM Aboulhamid
Design, Automation and Test in Europe, 330-335, 2005
Automatic executable test case generation for extended finite state machine protocols
C Bourhfir, R Dssouli, E Aboulhamid, N Rico
Testing of Communicating Systems: IFIP TC6 10th International Workshop on …, 1997
A class of test generators for built-in testing
Aboulhamid, Cerny
IEEE Transactions on Computers 100 (10), 957-959, 1983
Automatic test generation for EFSM-based systems
C Bourhfir, R Dssouli, EM Aboulhamid
Techical Report IRO 1043, 1996
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
Built-in testing of one-dimensional unilateral iterative arrays
Aboulhamid, Cerny
IEEE transactions on computers 100 (6), 560-564, 1984
BDD minimization by scatter search
WNN Hung, X Song, EM Aboulhamid, MA Driscoll
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2002
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
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
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
Test cases selection from SDL specifications
C Bourhfir, E Aboulhamid, F Khendek, R Dssouli
Computer Networks 35 (6), 693-708, 2001
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
SPACE: A hardware/software SystemC modeling platform including an RTOS
J Chevalier, O Benny, M Rondonneau, G Bois, EM Aboulhamid, FR Boyer
Languages for System Specification: Selected Contributions on UML, SystemC …, 2004
On the fog-cloud cooperation: How fog computing can address latency concerns of iot applications
A Karamoozian, A Hafid, EM Aboulhamid
2019 Fourth International Conference on Fog and Mobile Edge Computing (FMEC …, 2019
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: Proceedings of the IFIP TC6 11th …, 1998
The system can't perform the operation now. Try again later.
Articles 1–20