Passer au contenu

/ La recherche

Je donne

Rechercher

Natural Sciences and Engineering

El Mostapha Aboulhamid

Systèmes matériels et logiciels

Professeur associé

Faculté des arts et des sciences - Département d'informatique et de recherche opérationnelle

em.aboulhamid@umontreal.ca

Portrait

Expertise de recherche

Mes intérêts de recherche se situent dans le domaine de la modélisation, la synthèse et la vérification des systèmes matériels/logiciels ainsi que l’accélération des algorithmes en utilisant les systèmes matériels reconfigurables. J’ai travaillé dans les années 1980/1990 sur les techniques d'autotest et de tests embarqués, la conception pour la testabilité, la couverture de pannes multiples et la génération automatique de tests ainsi qu’aux problèmes de complexité de calcul reliée à ce domaine. Par la suite je me suis intéressé aux méthodes de modélisation et de synthèse des systèmes matériels ainsi qu’à l’accélération de calcul.

Biographie

Titulaire d'un doctorat en informatique de l'Université de Montréal, El Mostapha Aboulhamid est professeur titulaire au Département d'informatique et de recherche opérationnelle. Il enseigne à l'Université de Montréal depuis presque trente ans.

Formation

  • 1984 — Doctorat — InformatiqueUniversité de Montréal
  • 1979 — Maîtrise — InformatiqueUniversité de Montréal
  • 1974 — Baccalauréat — InformatiqueInstitut National Polytechnique de Grenoble (ENSIMAG)

Affiliations et responsabilités

Enseignement et encadrement

Encadrement

Thèses et mémoires dirigés (dépôt institutionnel Papyrus)

2013

Parallelization of SAT on Reconfigurable Hardware

Graduate : Ivan, Teodor
Cycle : Master's
Grade : M. Sc.
2010

Timing verification in transaction modeling

Graduate : Tsikhanovich, Alena
Cycle : Doctoral
Grade : Ph. D.
2009

Intégration d'un système d'exploitation dans le flot de développement logiciel/matériel

Graduate : Julien, Marc
Cycle : Master's
Grade : M. Sc.
2009

Design et implémentation sur FPGA d'un algorithme DES

Graduate : Amoud, Mohamed
Cycle : Master's
Grade : M. Sc.
2009

Nouvelles approches pour la conception d'outils CAO pour le domaine des systèmes embarqués

Graduate : Lapalme, James
Cycle : Doctoral
Grade : Ph. D.
2008

Modélisation et implémentation des patrons de conception

Graduate : Tagmouti, Yousra
Cycle : Master's
Grade : M. Sc.
2008

SCIL processor : a common intermediate language processor for embedded systems

Graduate : Zhou, Tongyao
Cycle : Master's
Grade : M. Sc.
2007

Méthodologie de conception d'un modèle comportemental pour la vérification formelle

Graduate : Bastien, Frédéric
Cycle : Master's
Grade : M. Sc.
2006

Distribution d'objets avec les techniques de développement orientées aspects

Graduate : Mcheick, Hamid
Cycle : Doctoral
Grade : Ph. D.
2006

Méthodologie et outil de conception de systèmes embarqués basés sur le cadre d'applications .NET

Graduate : Brassard, Olivier
Cycle : Master's
Grade : M. Sc.
2006

Mécanismes d'introspection pour la vérification semi-formelle de modèles au niveau système

Graduate : Metzger, Michel
Cycle : Master's
Grade : M. Sc.
2006

Méthodes formelles de haut niveau pour la conception de systèmes électroniques fiables

Graduate : Gorse, Nicolas
Cycle : Doctoral
Grade : Ph. D.
2005

Une plateforme pour le raffinement des services d'OS pour les systèmes embarqués

Graduate : Girodias, Bruno
Cycle : Master's
Grade : M. Sc.
2005

The co-design methodologies on click router application system

Graduate : Li, Dan
Cycle : Master's
Grade : M. Sc.
2004

ESys.Net : a new .Net based system-level design environment

Graduate : Lapalme, James
Cycle : Master's
Grade : M. Sc.
2004

Réutilisation des processus d'affaires pour le développement de systèmes d'information

Graduate : Bou Jaoude, Guitta
Cycle : Master's
Grade : M. Sc.
2004

Understanding retargeting compilation techniques for network processors

Graduate : Li, Jun
Cycle : Master's
Grade : M. Sc.
2003

ARM processor modeling at a cycle accurate level in systemC

Graduate : Sun, Hongmei
Cycle : Master's
Grade : M. Sc.

Projets

Projets de recherche

2016 - 2017

FGR-CRSNG-20162017

Chercheur principal : El Mostapha Aboulhamid
Sources de financement : CRSNG/Conseil de recherches en sciences naturelles et génie du Canada (CRSNG)
Programmes de subvention : PVXXXXXX-FGR - Subvention de recherche institutionnelle
2013 - 2017

EMSYSCAN - EMBEDDED SYSTEMS CANADA

Chercheur principal : El Mostapha Aboulhamid
Co-chercheurs : Ian Mcwalter
Sources de financement : FCI/Fondation canadienne pour l'innovation
Programmes de subvention :
2013 - 2017

DOMAIN SPECIFIC LANGUAGE INTEGRATION OF HARDWARE-AWARE SOFTWARE GENERATION

Chercheur principal : Gabriella Nicolescu
Co-chercheurs : El Mostapha Aboulhamid
Sources de financement : CRSNG/Conseil de recherches en sciences naturelles et génie du Canada (CRSNG) , Cae Electronic Ltee
Programmes de subvention : ,
1994 - 2017

NEW PARADIGMS TO EXPLOIT PARALLELILSM IN MODELING AND SIMULATION OF HETEROGENEOUS SYSTEMS

Chercheur principal : El Mostapha Aboulhamid
Sources de financement : CRSNG/Conseil de recherches en sciences naturelles et génie du Canada (CRSNG)
Programmes de subvention : PVX20965-(RGP) Programme de subvention à la découverte individuelle ou de groupe
2010 - 2015

MÉTHODOLOGIE DE CONCEPTION, VÉRIFICATION ET TEST DES SYSTÈMES EMBARQUÉS TOLÉRANTS AUX RADIATIONS - AVIO 403_INTL

Chercheur principal : Claude Thibeault
Co-chercheurs : El Mostapha Aboulhamid
Sources de financement : Ministère Économie et Innovation
Programmes de subvention : PVXXXXXX-Prog. soutien rech (PSR v4): Soutien à initiatives internationales de rech et d'innovation
2008 - 2015

REGROUPEMENT STRATEGIQUE EN MICROSYSTEMES DU QUEBEC (RESMIQ) QUEBEC

Chercheur principal : El Mostapha Aboulhamid
Co-chercheurs : Mohamad A. Sawan
Sources de financement : FRQNT/Fonds de recherche du Québec - Nature et technologies (FQRNT)
Programmes de subvention : PVXXXXXX-(RS) Programme de regroupements stratégiques
2010 - 2014

METHODOLOGIE DE CONCEPTION, VERIFICATION ET TEST DES SYSTEMES EMBARQUES TOLERANTS AUX RADIATIONS - AVIO 403_INTL

Chercheur principal : Claude Thibeault
Co-chercheurs : El Mostapha Aboulhamid
Sources de financement : CRIAQ/Consortium de recherche et d'innovation en aérospatiale du Québec
Programmes de subvention :
2009 - 2014

NEW PARADIGMS TO EXPLOIT PARALLELILSM IN MODELING AND SIMULATION OF HETEROGENEOUS SYSTEMS

Chercheur principal : El Mostapha Aboulhamid

Rayonnement

Publications et communications

Disciplines

  • Computer Engineering and Software Engineering
  • Computer Science

Champ d’expertise

  • Computer Architecture
  • Embedded computer systems
  • Hardware/software partitioning
  • Reconfigurable computing
  • Model Building
  • Speedup
  • Distributed simulation
  • Software testing