default search action
El Mostapha Aboulhamid
Person information
- affiliation: Université de Montréal, Canada
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – 2019
- 2019
- [c55]Amir Karamoozian, Abdelhakim Hafid, El Mostapha Aboulhamid:
On the Fog-Cloud Cooperation: How Fog Computing can address latency concerns of IoT applications. FMEC 2019: 166-172 - 2015
- [j28]Amine Anane, El Mostapha Aboulhamid:
A Transaction-Based Environment for System Modeling and Parallel Simulation. Int. J. Parallel Program. 43(1): 24-58 (2015) - 2013
- [c54]Teodor Ivan, El Mostapha Aboulhamid:
An Efficient Hardware Implementation of a SAT Problem Solver on FPGA. DSD 2013: 209-216 - [c53]Teodor Ivan, El Mostapha Aboulhamid:
Exploring limits of parallelism in FPGA-based Boolean satisfiability. MECO 2013: 62-65 - 2012
- [j27]Bruno Girodias, Luiza Gheorghe Iugan, Youcef Bouchebaba, Gabriela Nicolescu, El Mostapha Aboulhamid, Michel Langevin, Pierre G. Paulin:
Integrating Memory Optimization with Mapping Algorithms for Multi-Processors System-on-Chip. ACM Trans. Embed. Comput. Syst. 11(3): 64:1-64:26 (2012) - [c52]Amine Anane, El Mostapha Aboulhamid, Yvon Savaria:
System modeling and multicore simulation using transactions. ICSAMOS 2012: 41-50 - 2011
- [c51]Alain Fourmigue, Giovanni Beltrame, Gabriela Nicolescu, El Mostapha Aboulhamid:
A linear-time approach for the transient thermal simulation of liquid-cooled 3d ics. CODES+ISSS 2011: 197-206 - [c50]Alain Fourmigue, Giovanni Beltrame, Gabriela Nicolescu, El Mostapha Aboulhamid, Ian O'Connor:
Multi-granularity thermal evaluation of 3D MPSoC architectures. DATE 2011: 575-578 - 2010
- [j26]Geoffrey Brown, El Mostapha Aboulhamid:
Guest Editorial. J. Signal Process. Syst. 58(1): 1-2 (2010) - [c49]Ahmed Azzabi, El Mostapha Aboulhamid, Gabriela Nicolescu:
Timing verification of cyclic systems based on temporal constraint analysis. ICECS 2010: 659-662 - [c48]Bruno Girodias, Luiza Gheorghe, Youcef Bouchebaba, Gabriela Nicolescu, El Mostapha Aboulhamid, Michel Langevin, Pierre G. Paulin:
Combining memory optimization with mapping of multimedia applications for multi-processors system-on-chip. International Symposium on Rapid System Prototyping 2010: 1-9
2000 – 2009
- 2009
- [j25]Michel Metzger, Amine Anane, Frédéric Rousseau, Julie Vachon, El Mostapha Aboulhamid:
Introspection mechanisms for runtime verification in a system-level design environment. Microelectron. J. 40(7): 1124-1134 (2009) - [j24]Bruno Girodias, Youcef Bouchebaba, Gabriela Nicolescu, El Mostapha Aboulhamid, Pierre G. Paulin, Bruno Lavigueur:
Multiprocessor, Multithreading and Memory Optimization for On-Chip Multimedia Applications. J. Signal Process. Syst. 57(2): 263-283 (2009) - [c47]Alain Fourmigue, Bruno Girodias, Gabriela Nicolescu, El Mostapha Aboulhamid:
Co-simulation based platform for wireless protocols design explorations. DATE 2009: 874-877 - [e3]El Mostapha Aboulhamid, José Luis Sevillano:
The 7th IEEE/ACS International Conference on Computer Systems and Applications, AICCSA 2009, Rabat, Morocco, May 10-13, 2009. IEEE Computer Society 2009, ISBN 978-1-4244-3807-5 [contents] - 2008
- [c46]Amine Anane, El Mostapha Aboulhamid, Julie Vachon, Yvon Savaria:
Modeling and simulation of complex heterogeneous systems. ISCAS 2008: 2873-2876 - [c45]Laurent Moss, Marc-André Cantin, Guy Bois, El Mostapha Aboulhamid:
Automation of Communication Refinement and Hardware Synthesis within a System-Level Design Methodology. IEEE International Workshop on Rapid System Prototyping 2008: 75-81 - 2007
- [j23]Nicolas Gorse, P. Bélanger, Alexandre Chureau, El Mostapha Aboulhamid, Yvon Savaria:
A high-level requirements engineering methodology for electronic system-level design. Comput. Electr. Eng. 33(4): 249-268 (2007) - [j22]Faouzi Bouchhima, Gabriela Nicolescu, El Mostapha Aboulhamid, Mohamed Abid:
Generic discrete-continuous simulation model for accurate validation in heterogeneous systems design. Microelectron. J. 38(6-7): 805-815 (2007) - [j21]Youcef Bouchebaba, Bruno Girodias, Gabriela Nicolescu, El Mostapha Aboulhamid, Bruno Lavigueur, Pierre G. Paulin:
MPSoC memory optimization using program transformation. ACM Trans. Design Autom. Electr. Syst. 12(4): 43 (2007) - [j20]Youcef Bouchebaba, Bruno Girodias, Fabien Coelho, Gabriela Nicolescu, El Mostapha Aboulhamid:
Buffer and Register Allocation for Memory Space Optimization. J. VLSI Signal Process. 49(1): 123-138 (2007) - [c44]Laurent Moss, Maxime de Nanclas, Luc Filion, Sebastien Fontaine, Guy Bois, El Mostapha Aboulhamid:
Seamless hardware/software performance co-monitoring in a codesign simulation environment with RTOS support. DATE 2007: 876-881 - [c43]Driss Bouami, El Mostapha Aboulhamid, Mohsine Eleuldj, Mark Zwolinski
:
General and Technical Program Chairs' Message. ICECS 2007: 1 - [c42]Mathieu Dubois, El Mostapha Aboulhamid, Frédéric Rousseau:
Acceleration for Heterogeneous Systems Cosimulation. ICECS 2007: 294-297 - [c41]Alena Tsikhanovich, El Mostapha Aboulhamid, Guy Bois:
Communication Structure Refinement using Temporal Constraints Analysis. ICECS 2007: 1284-1287 - 2006
- [j19]Jérôme Chevalier, Maxime de Nanclas, Luc Filion, Olivier Benny, Mathieu Rondonneau, Guy Bois, El Mostapha Aboulhamid:
A SystemC Refinement Methodology for Embedded Software. IEEE Des. Test Comput. 23(2): 148-158 (2006) - [j18]James Lapalme, El Mostapha Aboulhamid, Gabriela Nicolescu:
A new efficient EDA tool design methodology. ACM Trans. Embed. Comput. Syst. 5(2): 408-430 (2006) - [c40]Amr Talaat Abdel-Hamid, Sofiène Tahar, El Mostapha Aboulhamid:
Finite State Machine IP Watermarking: A Tutorial. AHS 2006: 457-464 - [c39]Mathieu Dubois, El Mostapha Aboulhamid, Frédéric Rousseau:
Towards an Efficient Simulation of Multi-Language Descriptions of Heterogeneous Systems. APCCAS 2006: 538-541 - [c38]Youcef Bouchebaba, Gabriela Nicolescu, El Mostapha Aboulhamid, Fabien Coelho:
Buffer and register allocation for memory space optimization. ASAP 2006: 283-290 - [c37]Alena Tsikhanovich, Frédéric Rousseau, El Mostapha Aboulhamid, Guy Bois:
Transaction Level Modeling in Hardware/Software System Design using .Net Framework. CCECE 2006: 140-143 - [c36]Bruno Girodias, El Mostapha Aboulhamid, Gabriela Nicolescu:
A Platform for Refinement of OS Services for Embedded Systems. DELTA 2006: 227-236 - [c35]Michel Metzger, Frédéric Bastien, Frédéric Rousseau, Julie Vachon, El Mostapha Aboulhamid:
A Verification Tool Implementation using Introspection Mechanism. FDL 2006: 265-272 - [c34]Mathieu Dubois, El Mostapha Aboulhamid, Frédéric Rousseau:
Acceleration for a compiled Transaction Level Modeling simulation. ICECS 2006: 1176-1179 - [c33]Michel Metzger, Frédéric Bastien, Frédéric Rousseau, Julie Vachon, El Mostapha Aboulhamid:
Introspection Mechanisms for Semi-Formal Verification in a System-Level Design Environment. IEEE International Workshop on Rapid System Prototyping 2006: 91-97 - [c32]Bruno Girodias, Youcef Bouchebaba, Gabriela Nicolescu, El Mostapha Aboulhamid, Pierre G. Paulin, Bruno Lavigueur:
Application-Level Memory Optimization for MPSoC. IEEE International Workshop on Rapid System Prototyping 2006: 169-178 - 2005
- [j17]Noureddine Chabini, El Mostapha Aboulhamid, Ismaïl Chabini, Yvon Savaria:
Scheduling and optimal register placement for synchronous circuits derived using software pipelining techniques. ACM Trans. Design Autom. Electr. Syst. 10(2): 187-204 (2005) - [c31]Amr Talaat Abdel-Hamid, Sofiène Tahar, El Mostapha Aboulhamid:
A Public-Key Watermarking Technique for IP Designs. DATE 2005: 330-335 - [c30]Alexandre Chureau, Yvon Savaria, El Mostapha Aboulhamid:
The Role of Model-Level Transactors and UML in Functional Prototyping of Systems-on-Chip: A Software-Radio Application. DATE 2005: 698-703 - [c29]Mathieu Dubois, El Mostapha Aboulhamid:
Techniques to improve cosimulation and interoperability of heterogeneous models. ICECS 2005: 1-4 - [c28]Mounir Boukadoum, Karima Tabari, Abdelhak Bensaoula, David Starikov, El Mostapha Aboulhamid:
FPGA implementation of a CDMA source coding and modulation subsystem for a multiband fluorometer with pattern recognition capabilities. ISCAS (5) 2005: 4767-4770 - [c27]Alena Tsikhanovich, El Mostapha Aboulhamid, Guy Bois:
A Methodology for Hw/Sw Specification and Simulation at Multiple Levels of Abstraction. IWSOC 2005: 24-29 - [c26]James Lapalme, El Mostapha Aboulhamid, Gabriela Nicolescu:
Leveraging Model Representations for System Level Design Tools. IEEE International Workshop on Rapid System Prototyping 2005: 33-39 - [c25]Faouzi Bouchhima, Gabriela Nicolescu, El Mostapha Aboulhamid, Mohamed Abid:
Discrete-Continuous Simulation Model for Accurate Validation in Component-Based Heterogeneous SoC Design. IEEE International Workshop on Rapid System Prototyping 2005: 181-187 - 2004
- [j16]Amr Talaat Abdel-Hamid, Sofiène Tahar, El Mostapha Aboulhamid:
A Survey on IP Watermarking Techniques. Des. Autom. Embed. Syst. 9(3): 211-227 (2004) - [j15]William N. N. Hung, Xiaoyu Song, El Mostapha Aboulhamid, Andrew A. Kennings, Alan J. Coppola:
Segmented channel routability via satisfiability. ACM Trans. Design Autom. Electr. Syst. 9(4): 517-528 (2004) - [c24]D. Quinn, Bruno Lavigueur, Guy Bois, El Mostapha Aboulhamid:
A System Level Exploration Platform and Methodology for Network Applications Based on Configurable Processors. DATE 2004: 364-371 - [c23]James Lapalme, El Mostapha Aboulhamid, Gabriela Nicolescu, Luc Charest, François R. Boyer, J. P. David, Guy Bois:
.NET Framework - A Solution for the Next Generation Tools for System-Level Modeling and Simulation. DATE 2004: 732-733 - [c22]Alexandre Chureau, Yvon Savaria, El Mostapha Aboulhamid:
Interface-based Design of Systems-on-Chip using UML-RT. IWSOC 2004: 39-44 - [c21]Luc Charest, El Mostapha Aboulhamid, Guy Bois:
Using Design Patterns for Type Unification and Introspection in SystemC. IWSOC 2004: 45-50 - [c20]James Lapalme, El Mostapha Aboulhamid, Gabriela Nicolescu, Luc Charest, François R. Boyer, J. P. David, Guy Bois:
ESys.Net: a new solution for embedded systems modeling and simulation. LCTES 2004: 107-114 - [c19]T. Dieu Linh Truong, Omar Cherkaoui, Halima Elbiaze, Nathalie Rico, El Mostapha Aboulhamid:
A policy-based approach for user controlled lightpath provisioning. NOMS (1) 2004: 859-872 - 2003
- [j14]Noureddine Chabini, Ismaïl Chabini, El Mostapha Aboulhamid, Yvon Savaria:
Methods for minimizing dynamic power consumption in synchronous designs with multiple supply voltages. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 22(3): 346-351 (2003) - [c18]Jérôme Chevalier, Mathieu Rondonneau, Olivier Benny, Guy Bois, El Mostapha Aboulhamid, François R. Boyer:
SPACE: A Hardware/Software SystemC Modeling Platform Including an RTOS. FDL 2003: 704-716 - [c17]Noureddine Chabini, Ismaïl Chabini, El Mostapha Aboulhamid, Yvon Savaria:
Unification of basic retiming and supply voltage scaling to minimize dynamic power consumption for synchronous digital designs. ACM Great Lakes Symposium on VLSI 2003: 221-224 - [c16]Amr Talaat Abdel-Hamid, Sofiène Tahar, El Mostapha Aboulhamid:
IP Watermarking Techniques: Survey and Comparison. IWSOC 2003: 60-65 - [c15]S. Regimbal, Jean-Francois Lemire, Yvon Savaria, Guy Bois, El Mostapha Aboulhamid, A. Baron:
Automating Functional Coverage Analysis Based on an Executable Specification. IWSOC 2003: 228-234 - [p1]Luc Charest, El Mostapha Aboulhamid, Guy Bois:
Applying Multi-Paradigm and Design Pattern Approaches to Hardware/Software Design and Reuse. Patterns and Skeletons for Parallel and Distributed Computing 2003: 297-325 - 2002
- [j13]William N. N. Hung, Xiaoyu Song, El Mostapha Aboulhamid, Michael A. Driscoll:
BDD minimization by scatter search. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 21(8): 974-979 (2002) - [j12]Yuke Wang, Xiaoyu Song, El Mostapha Aboulhamid, Hong Shen:
Adder based residue to binary number converters for (2n-1, 2n, 2n+1). IEEE Trans. Signal Process. 50(7): 1772-1779 (2002) - [e2]El Mostapha Aboulhamid, Yukihiro Nakamura:
Proceedings of the 15th International Symposium on System Synthesis (ISSS 2002), October 2-4, 2002, Kyoto, Japan. ACM / IEEE Computer Society 2002, ISBN 1-58113-576-9 [contents] - 2001
- [j11]C. Bourhfir, El Mostapha Aboulhamid, Ferhat Khendek
Test cases selection from SDL specifications. Comput. Networks 35(6): 693-708 (2001) - [j10]C. Bourhfir, El Mostapha Aboulhamid, Rachida Dssouli, Nathalie Rico:
A test case generation approach for conformance testing of SDL systems. Comput. Commun. 24(3-4): 319-333 (2001) - [j9]François R. Boyer, El Mostapha Aboulhamid, Yvon Savaria, Michel Boyer:
Optimal design of synchronous circuits using software pipelining techniques. ACM Trans. Design Autom. Electr. Syst. 6(4): 516-532 (2001) - [c14]Luc Charest, Michel Reid, El Mostapha Aboulhamid, Guy Bois:
A methodology for interfacing open source systemC with a third party software. DATE 2001: 16 - [c13]Noureddine Chabini, El Mostapha Aboulhamid, Yvon Savaria:
Determining Schedules for Reducing Power Consumption Using Multiple Supply Voltages. ICCD 2001: 546-552 - [e1]Román Hermida, El Mostapha Aboulhamid:
Proceedings of the 14th International Symposium on Systems Synthesis, ISSS 2001, Montrél, Québec, Canada, September 30 - October 3, 2001. ACM / IEEE Computer Society 2001, ISBN 1-58113-418-5 [contents] - 2000
- [c12]François-Raymond Boyer, El Mostapha Aboulhamid, Yvon Savaria:
An efficient verification method for a class of multi-phase sequential circuits. ICECS 2000: 510-515 - [c11]Mostafa Azizi, El Mostapha Aboulhamid, Sofiène Tahar:
Sequential and Distributed Simulations Using Java Threads. PARELEC 2000: 237-243
1990 – 1999
- 1999
- [j8]Rachida Dssouli, Kassem Saleh, El Mostapha Aboulhamid, Abdeslam En-Nouaary, C. Bourhfir:
Test development for communication protocols: towards automation. Comput. Networks 31(17): 1835-1872 (1999) - [c10]Yuke Wang, Xiaoyu Song, El Mostapha Aboulhamid:
A New Algorithm for RNS Magnitude Comparison Based on New Chinese Remainder Theorem II. Great Lakes Symposium on VLSI 1999: 362- - [c9]Abdelhalim El-Aboudi, El Mostapha Aboulhamid:
An algorithm for the verification of timing diagrams realizability. ISCAS (1) 1999: 314-317 - [c8]Mostafa Azizi, El Mostapha Aboulhamid, Sofiène Tahar:
Multithreading-based Coverification Technique of HW/SW Systems. PDPTA 1999: 1999-2005 - [c7]C. Bourhfir, Rachida Dssouli, El Mostapha Aboulhamid, Nathalie Rico:
A test case generation tool for conformance testing of SDL systems. SDL Forum 1999: 405- - 1998
- [c6]Abdelhalim El-Aboudi, El Mostapha Aboulhamid, Eduard Cerny:
Synthesis of interface controllers from timing diagram specifications. CICC 1998: 89-92 - [c5]Yuke Wang, Xiaoyu Song, El Mostapha Aboulhamid:
Residue to Binary Number Converters for (2n-1, 2n, 2n+1). Great Lakes Symposium on VLSI 1998: 174-178 - [c4]François R. Boyer, El Mostapha Aboulhamid, Yvon Savaria, Imed Eddine Bennour:
Optimal design of synchronous circuits using software pipelining techniques. ICCD 1998: 62-67 - [c3]C. Bourhfir, Rachida Dssouli, El Mostapha Aboulhamid, Nathalie Rico:
A Guided Incremental Test Case Generation Procedure for Conformance Testing for CEFSM Specified Protocols. IWTCS 1998: 275-290 - 1996
- [j7]Imed Eddine Bennour, El Mostapha Aboulhamid:
Lower bounds on the iteration time and the initiation interval of functional pipelining and loop folding. Des. Autom. Embed. Syst. 1(4): 333-355 (1996) - 1994
- [j6]Younès Karkouri, El Mostapha Aboulhamid, Eduard Cerny, Alain Verreault:
Use of Fault Dropping for Multiple Fault Analysis. IEEE Trans. Computers 43(1): 98-103 (1994) - 1993
- [j5]El Mostapha Aboulhamid, Younès Karkouri, Eduard Cerny:
On the generation of test patterns for multiple faults. J. Electron. Test. 4(3): 237-253 (1993) - 1992
- [j4]Mohamed Meknassi, El Mostapha Aboulhamid, Eduard Cerny:
Algorithm for the graph-partitioning problem using a problem transformation method. Comput. Aided Des. 24(7): 397-398 (1992) - 1991
- [c2]Alain Verreault, El Mostapha Aboulhamid, Younès Karkouri:
Multiple Fault Analysis Using a Fault Dropping Technique. FTCS 1991: 162-169
1980 – 1989
- 1988
- [j3]Eduard Cerny, El Mostapha Aboulhamid, Guy Bois, Jocelyn Cloutier:
Built-in self-test of a CMOS ALU. IEEE Des. Test 5(4): 38-48 (1988) - [c1]Mohsine Eleuldj, El Mostapha Aboulhamid, Eduard Cerny:
A class of fault-tolerant cellular permutation networks. ICCD 1988: 136-139 - 1984
- [j2]El Mostapha Aboulhamid, Eduard Cerny:
Built-In Testing of One-Dimensional Unilateral Iterative Arrays. IEEE Trans. Computers 33(6): 560-564 (1984) - 1983
- [j1]El Mostapha Aboulhamid, Eduard Cerny:
A Class of Test Generators for Built-In Testing. IEEE Trans. Computers 32(10): 957-959 (1983)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-03 20:16 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: