Passer au contenu

/ La recherche

Rechercher

Sciences naturelles et génie

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

Diplômé(e) : Ivan, Teodor
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
2012

Application du concept des transactions pour la modélisation et la simulation multicoeur des systèmes sur puce

Diplômé(e) : Anane, Amine
Cycle : Doctorat
Diplôme obtenu : Ph. D.
2011

Vérification temporelle des systèmes cycliques et acycliques basée sur l’analyse des contraintes

Diplômé(e) : Azzabi, Ahmed
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
2010

Timing verification in transaction modeling

Diplômé(e) : Tsikhanovich, Alena
Cycle : Doctorat
Diplôme obtenu : Ph. D.
2009

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

Diplômé(e) : Julien, Marc
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
2009

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

Diplômé(e) : Amoud, Mohamed
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
2009

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

Diplômé(e) : Lapalme, James
Cycle : Doctorat
Diplôme obtenu : Ph. D.
2008

Modélisation et implémentation des patrons de conception

Diplômé(e) : Tagmouti, Yousra
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
2008

SCIL processor : a common intermediate language processor for embedded systems

Diplômé(e) : Zhou, Tongyao
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
2007

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

Diplômé(e) : Bastien, Frédéric
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
2006

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

Diplômé(e) : Mcheick, Hamid
Cycle : Doctorat
Diplôme obtenu : Ph. D.
2006

Optimisation mémoire et exploration architecturale d'applications multimédias sur un réseau sur puce

Diplômé(e) : Gagné, Vincent
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
2006

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

Diplômé(e) : Brassard, Olivier
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
2006

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

Diplômé(e) : Metzger, Michel
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
2006

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

Diplômé(e) : Gorse, Nicolas
Cycle : Doctorat
Diplôme obtenu : Ph. D.
2005

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

Diplômé(e) : Girodias, Bruno
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
2005

The co-design methodologies on click router application system

Diplômé(e) : Li, Dan
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
2005

Accélération de prédiction génétique par implémentation hautement parallèle sur un matériel re-configurable

Diplômé(e) : Zerarka, Mohamed Toufik
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
2004

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

Diplômé(e) : Lapalme, James
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
2004

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

Diplômé(e) : Bou Jaoude, Guitta
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
2004

Understanding retargeting compilation techniques for network processors

Diplômé(e) : Li, Jun
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
2003

ARM processor modeling at a cycle accurate level in systemC

Diplômé(e) : Sun, Hongmei
Cycle : Maîtrise
Diplôme obtenu : 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 : El Mostapha Aboulhamid
Co-chercheurs : Gabriella Nicolescu
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 : El Mostapha Aboulhamid
Co-chercheurs : Claude Thibeault
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 : El Mostapha Aboulhamid
Co-chercheurs : Claude Thibeault
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

  • Génie informatique et génie logiciel
  • Informatique

Champ d’expertise

  • Architecture des ordinateurs
  • Systèmes embarqués
  • Partitionnement logiciel / matériel
  • Systèmes reconfigurables
  • Modélisation
  • Accélération du calcul
  • Simulation distribuée
  • Test de systèmes informatiques