A Class of Test Generators for Built-In Testing. - El Mostapha Aboulhamid; Eduard Cerny (IEEE Trans. Computers, 1983)

Built-In Testing of One-Dimensional Unilateral Iterative Arrays. - El Mostapha Aboulhamid; Eduard Cerny (IEEE Trans. Computers, 1984)

A class of fault-tolerant cellular permutation networks. - Mohsine Eleuldj; El Mostapha Aboulhamid; Eduard Cerny (ICCD, 1988)

Built-in self-test of a CMOS ALU. - Eduard Cerny; El Mostapha Aboulhamid; Guy Bois; Jocelyn Cloutier (IEEE Des. Test, 1988)

Multiple Fault Analysis Using a Fault Dropping Technique. - Alain Verreault; El Mostapha Aboulhamid; Younès Karkouri (FTCS, 1991)

Algorithm for the graph-partitioning problem using a problem transformation method. - Mohamed Meknassi; El Mostapha Aboulhamid; Eduard Cerny (Comput. Aided Des., 1992)

On the generation of test patterns for multiple faults. - El Mostapha Aboulhamid; Younès Karkouri; Eduard Cerny (J. Electron. Test., 1993)

Use of Fault Dropping for Multiple Fault Analysis. - Younès Karkouri; El Mostapha Aboulhamid; Eduard Cerny; Alain Verreault (IEEE Trans. Computers, 1994)

Lower bounds on the iteration time and the initiation interval of functional pipelining and loop folding. - Imed Eddine Bennour; El Mostapha Aboulhamid (Des. Autom. Embed. Syst., 1996)

Synthesis of interface controllers from timing diagram specifications. - Abdelhalim El-Aboudi; El Mostapha Aboulhamid; Eduard Cerny (CICC, 1998)

Residue to Binary Number Converters for (2n-1, 2n, 2n+1). - Yuke Wang; Xiaoyu Song; El Mostapha Aboulhamid (Great Lakes Symposium on VLSI, 1998)

Optimal design of synchronous circuits using software pipelining techniques. - François R. Boyer; El Mostapha Aboulhamid; Yvon Savaria; Imed Eddine Bennour (ICCD, 1998)

A Guided Incremental Test Case Generation Procedure for Conformance Testing for CEFSM Specified Protocols. - C. Bourhfir; Rachida Dssouli; El Mostapha Aboulhamid; Nathalie Rico (IWTCS, 1998)

A New Algorithm for RNS Magnitude Comparison Based on New Chinese Remainder Theorem II. - Yuke Wang; Xiaoyu Song; El Mostapha Aboulhamid (Great Lakes Symposium on VLSI, 1999)

An algorithm for the verification of timing diagrams realizability. - Abdelhalim El-Aboudi; El Mostapha Aboulhamid (ISCAS (1), 1999)

Multithreading-based Coverification Technique of HW/SW Systems. - Mostafa Azizi; El Mostapha Aboulhamid; Sofiène Tahar (PDPTA, 1999)

A test case generation tool for conformance testing of SDL systems. - C. Bourhfir; Rachida Dssouli; El Mostapha Aboulhamid; Nathalie Rico (SDL Forum, 1999)

Test development for communication protocols: towards automation. - Rachida Dssouli; Kassem Saleh; El Mostapha Aboulhamid; Abdeslam En-Nouaary; C. Bourhfir (Comput. Networks, 1999)

An efficient verification method for a class of multi-phase sequential circuits. - François-Raymond Boyer; El Mostapha Aboulhamid; Yvon Savaria (ICECS, 2000)

Sequential and Distributed Simulations Using Java Threads. - Mostafa Azizi; El Mostapha Aboulhamid; Sofiène Tahar (PARELEC, 2000)

A methodology for interfacing open source systemC with a third party software. - Luc Charest; Michel Reid; El Mostapha Aboulhamid; Guy Bois (DATE, 2001)

Determining Schedules for Reducing Power Consumption Using Multiple Supply Voltages. - Noureddine Chabini; El Mostapha Aboulhamid; Yvon Savaria (ICCD, 2001)

Test cases selection from SDL specifications. - C. Bourhfir; El Mostapha Aboulhamid; Ferhat Khendek; Rachida Dssouli (Comput. Networks, 2001)

A test case generation approach for conformance testing of SDL systems. - C. Bourhfir; El Mostapha Aboulhamid; Rachida Dssouli; Nathalie Rico (Comput. Commun., 2001)

Optimal design of synchronous circuits using software pipelining techniques. - François R. Boyer; El Mostapha Aboulhamid; Yvon Savaria; Michel Boyer (ACM Trans. Design Autom. Electr. Syst., 2001)

BDD minimization by scatter search. - William N. N. Hung; Xiaoyu Song; El Mostapha Aboulhamid; Michael A. Driscoll (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2002)

Adder based residue to binary number converters for (2n-1, 2n, 2n+1). - Yuke Wang; Xiaoyu Song; El Mostapha Aboulhamid; Hong Shen (IEEE Trans. Signal Process., 2002)

Applying Multi-Paradigm and Design Pattern Approaches to Hardware/Software Design and Reuse. - Luc Charest; El Mostapha Aboulhamid; Guy Bois (Patterns and Skeletons for Parallel and Distributed Computing, 2003)

SPACE: A Hardware/Software SystemC Modeling Platform Including an RTOS. - Jérôme Chevalier; Mathieu Rondonneau; Olivier Benny; Guy Bois; El Mostapha Aboulhamid; François R. Boyer (FDL, 2003)

Unification of basic retiming and supply voltage scaling to minimize dynamic power consumption for synchronous digital designs. - Noureddine Chabini; Ismaïl Chabini; El Mostapha Aboulhamid; Yvon Savaria (ACM Great Lakes Symposium on VLSI, 2003)

IP Watermarking Techniques: Survey and Comparison. - Amr Talaat Abdel-Hamid; Sofiène Tahar; El Mostapha Aboulhamid (IWSOC, 2003)

Automating Functional Coverage Analysis Based on an Executable Specification. - S. Regimbal; Jean-Francois Lemire; Yvon Savaria; Guy Bois; El Mostapha Aboulhamid; A. Baron (IWSOC, 2003)

Methods for minimizing dynamic power consumption in synchronous designs with multiple supply voltages. - Noureddine Chabini; Ismaïl Chabini; El Mostapha Aboulhamid; Yvon Savaria (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2003)

.NET Framework - A Solution for the Next Generation Tools for System-Level Modeling and Simulation. - James Lapalme; El Mostapha Aboulhamid; Gabriela Nicolescu; Luc Charest; François R. Boyer; J. P. David; Guy Bois (DATE, 2004)

A System Level Exploration Platform and Methodology for Network Applications Based on Configurable Processors. - D. Quinn; Bruno Lavigueur; Guy Bois; El Mostapha Aboulhamid (DATE, 2004)

Using Design Patterns for Type Unification and Introspection in SystemC. - Luc Charest; El Mostapha Aboulhamid; Guy Bois (IWSOC, 2004)

Interface-based Design of Systems-on-Chip using UML-RT. - Alexandre Chureau; Yvon Savaria; El Mostapha Aboulhamid (IWSOC, 2004)

ESys.Net: a new solution for embedded systems modeling and simulation. - James Lapalme; El Mostapha Aboulhamid; Gabriela Nicolescu; Luc Charest; François R. Boyer; J. P. David; Guy Bois (LCTES, 2004)

A policy-based approach for user controlled lightpath provisioning. - T. Dieu Linh Truong; Omar Cherkaoui; Halima Elbiaze; Nathalie Rico; El Mostapha Aboulhamid (NOMS (1), 2004)

A Survey on IP Watermarking Techniques. - Amr Talaat Abdel-Hamid; Sofiène Tahar; El Mostapha Aboulhamid (Des. Autom. Embed. Syst., 2004)

Segmented channel routability via satisfiability. - William N. N. Hung; Xiaoyu Song; El Mostapha Aboulhamid; Andrew A. Kennings; Alan J. Coppola (ACM Trans. Design Autom. Electr. Syst., 2004)

A Public-Key Watermarking Technique for IP Designs. - Amr Talaat Abdel-Hamid; Sofiène Tahar; El Mostapha Aboulhamid (DATE, 2005)

The Role of Model-Level Transactors and UML in Functional Prototyping of Systems-on-Chip: A Software-Radio Application. - Alexandre Chureau; Yvon Savaria; El Mostapha Aboulhamid (DATE, 2005)

Techniques to improve cosimulation and interoperability of heterogeneous models. - Mathieu Dubois; El Mostapha Aboulhamid (ICECS, 2005)

FPGA implementation of a CDMA source coding and modulation subsystem for a multiband fluorometer with pattern recognition capabilities. - Mounir Boukadoum; Karima Tabari; Abdelhak Bensaoula; David Starikov; El Mostapha Aboulhamid (ISCAS (5), 2005)

A Methodology for Hw/Sw Specification and Simulation at Multiple Levels of Abstraction. - Alena Tsikhanovich; El Mostapha Aboulhamid; Guy Bois (IWSOC, 2005)

Discrete-Continuous Simulation Model for Accurate Validation in Component-Based Heterogeneous SoC Design. - Faouzi Bouchhima; Gabriela Nicolescu; El Mostapha Aboulhamid; Mohamed Abid (IEEE International Workshop on Rapid System Prototyping, 2005)

Leveraging Model Representations for System Level Design Tools. - James Lapalme; El Mostapha Aboulhamid; Gabriela Nicolescu (IEEE International Workshop on Rapid System Prototyping, 2005)

Scheduling and optimal register placement for synchronous circuits derived using software pipelining techniques. - Noureddine Chabini; El Mostapha Aboulhamid; Ismaïl Chabini; Yvon Savaria (ACM Trans. Design Autom. Electr. Syst., 2005)

Finite State Machine IP Watermarking: A Tutorial. - Amr Talaat Abdel-Hamid; Sofiène Tahar; El Mostapha Aboulhamid (AHS, 2006)

Towards an Efficient Simulation of Multi-Language Descriptions of Heterogeneous Systems. - Mathieu Dubois; El Mostapha Aboulhamid; Frédéric Rousseau 001 (APCCAS, 2006)

Buffer and register allocation for memory space optimization. - Youcef Bouchebaba; Gabriela Nicolescu; El Mostapha Aboulhamid; Fabien Coelho (ASAP, 2006)

Transaction Level Modeling in Hardware/Software System Design using .Net Framework. - Alena Tsikhanovich; Frédéric Rousseau 001; El Mostapha Aboulhamid; Guy Bois (CCECE, 2006)

A Platform for Refinement of OS Services for Embedded Systems. - Bruno Girodias; El Mostapha Aboulhamid; Gabriela Nicolescu (DELTA, 2006)

A Verification Tool Implementation using Introspection Mechanism. - Michel Metzger; Frédéric Bastien; Frédéric Rousseau 001; Julie Vachon; El Mostapha Aboulhamid (FDL, 2006)

Acceleration for a compiled Transaction Level Modeling simulation. - Mathieu Dubois; El Mostapha Aboulhamid; Frédéric Rousseau 001 (ICECS, 2006)

Application-Level Memory Optimization for MPSoC. - Bruno Girodias; Youcef Bouchebaba; Gabriela Nicolescu; El Mostapha Aboulhamid; Pierre G. Paulin; Bruno Lavigueur (IEEE International Workshop on Rapid System Prototyping, 2006)

Introspection Mechanisms for Semi-Formal Verification in a System-Level Design Environment. - Michel Metzger; Frédéric Bastien; Frédéric Rousseau 001; Julie Vachon; El Mostapha Aboulhamid (IEEE International Workshop on Rapid System Prototyping, 2006)

A SystemC Refinement Methodology for Embedded Software. - Jérôme Chevalier; Maxime de Nanclas; Luc Filion; Olivier Benny; Mathieu Rondonneau; Guy Bois; El Mostapha Aboulhamid (IEEE Des. Test Comput., 2006)

A new efficient EDA tool design methodology. - James Lapalme; El Mostapha Aboulhamid; Gabriela Nicolescu (ACM Trans. Embed. Comput. Syst., 2006)

Seamless hardware/software performance co-monitoring in a codesign simulation environment with RTOS support. - Laurent Moss; Maxime de Nanclas; Luc Filion; Sebastien Fontaine; Guy Bois; El Mostapha Aboulhamid (DATE, 2007)

General and Technical Program Chairs' Message. - Driss Bouami; El Mostapha Aboulhamid; Mohsine Eleuldj; Mark Zwolinski (ICECS, 2007)

Acceleration for Heterogeneous Systems Cosimulation. - Mathieu Dubois; El Mostapha Aboulhamid; Frédéric Rousseau 001 (ICECS, 2007)

Communication Structure Refinement using Temporal Constraints Analysis. - Alena Tsikhanovich; El Mostapha Aboulhamid; Guy Bois (ICECS, 2007)

A high-level requirements engineering methodology for electronic system-level design. - Nicolas Gorse; P. Bélanger; Alexandre Chureau; El Mostapha Aboulhamid; Yvon Savaria (Comput. Electr. Eng., 2007)

Generic discrete-continuous simulation model for accurate validation in heterogeneous systems design. - Faouzi Bouchhima; Gabriela Nicolescu; El Mostapha Aboulhamid; Mohamed Abid (Microelectron. J., 2007)

MPSoC memory optimization using program transformation. - Youcef Bouchebaba; Bruno Girodias; Gabriela Nicolescu; El Mostapha Aboulhamid; Bruno Lavigueur; Pierre G. Paulin (ACM Trans. Design Autom. Electr. Syst., 2007)

Buffer and Register Allocation for Memory Space Optimization. - Youcef Bouchebaba; Bruno Girodias; Fabien Coelho; Gabriela Nicolescu; El Mostapha Aboulhamid (J. VLSI Signal Process., 2007)

Modeling and simulation of complex heterogeneous systems. - Amine Anane; El Mostapha Aboulhamid; Julie Vachon; Yvon Savaria (ISCAS, 2008)

Automation of Communication Refinement and Hardware Synthesis within a System-Level Design Methodology. - Laurent Moss; Marc-André Cantin; Guy Bois; El Mostapha Aboulhamid (IEEE International Workshop on Rapid System Prototyping, 2008)

Co-simulation based platform for wireless protocols design explorations. - Alain Fourmigue; Bruno Girodias; Gabriela Nicolescu; El Mostapha Aboulhamid (DATE, 2009)

Introspection mechanisms for runtime verification in a system-level design environment. - Michel Metzger; Amine Anane; Frédéric Rousseau 001; Julie Vachon; El Mostapha Aboulhamid (Microelectron. J., 2009)

Multiprocessor, Multithreading and Memory Optimization for On-Chip Multimedia Applications. - Bruno Girodias; Youcef Bouchebaba; Gabriela Nicolescu; El Mostapha Aboulhamid; Pierre G. Paulin; Bruno Lavigueur (J. Signal Process. Syst., 2009)

Timing verification of cyclic systems based on temporal constraint analysis. - Ahmed Azzabi; El Mostapha Aboulhamid; Gabriela Nicolescu (ICECS, 2010)

Combining memory optimization with mapping of multimedia applications for multi-processors system-on-chip. - Bruno Girodias; Luiza Gheorghe; Youcef Bouchebaba; Gabriela Nicolescu; El Mostapha Aboulhamid; Michel Langevin; Pierre G. Paulin (International Symposium on Rapid System Prototyping, 2010)

Guest Editorial. - Geoffrey Brown; El Mostapha Aboulhamid (J. Signal Process. Syst., 2010)

A linear-time approach for the transient thermal simulation of liquid-cooled 3d ics. - Alain Fourmigue; Giovanni Beltrame; Gabriela Nicolescu; El Mostapha Aboulhamid (CODES+ISSS, 2011)

Multi-granularity thermal evaluation of 3D MPSoC architectures. - Alain Fourmigue; Giovanni Beltrame; Gabriela Nicolescu; El Mostapha Aboulhamid; Ian O'Connor (DATE, 2011)

System modeling and multicore simulation using transactions. - Amine Anane; El Mostapha Aboulhamid; Yvon Savaria (ICSAMOS, 2012)

Integrating Memory Optimization with Mapping Algorithms for Multi-Processors System-on-Chip. - Bruno Girodias; Luiza Gheorghe Iugan; Youcef Bouchebaba; Gabriela Nicolescu; El Mostapha Aboulhamid; Michel Langevin; Pierre G. Paulin (ACM Trans. Embed. Comput. Syst., 2012)

An Efficient Hardware Implementation of a SAT Problem Solver on FPGA. - Teodor Ivan; El Mostapha Aboulhamid (DSD, 2013)

Exploring limits of parallelism in FPGA-based Boolean satisfiability. - Teodor Ivan; El Mostapha Aboulhamid (MECO, 2013)

A Transaction-Based Environment for System Modeling and Parallel Simulation. - Amine Anane; El Mostapha Aboulhamid (Int. J. Parallel Program., 2015)

On the Fog-Cloud Cooperation: How Fog Computing can address latency concerns of IoT applications. - Amir Karamoozian; Abdelhakim Hafid; El Mostapha Aboulhamid (FMEC, 2019)