Passer au contenu

/ Research

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

Profile

Research expertise

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.

Biography

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.

education

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

Affiliations and responsabilities

Teaching and supervision

Student supervision

Theses and dissertation supervision (Papyrus Institutional Repository)

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.

Projects

Research projects

2016 - 2017

FGR-CRSNG-20162017

Lead researcher : El Mostapha Aboulhamid
Funding sources: CRSNG/Conseil de recherches en sciences naturelles et génie du Canada (CRSNG)
Grant programs: PVXXXXXX-FGR - Subvention de recherche institutionnelle
2013 - 2017

EMSYSCAN - EMBEDDED SYSTEMS CANADA

Lead researcher : El Mostapha Aboulhamid
Co-researchers : Ian Mcwalter
Funding sources: FCI/Fondation canadienne pour l'innovation
Grant programs:
2013 - 2017

DOMAIN SPECIFIC LANGUAGE INTEGRATION OF HARDWARE-AWARE SOFTWARE GENERATION

Lead researcher : El Mostapha Aboulhamid
Co-researchers : Gabriella Nicolescu
Funding sources: CRSNG/Conseil de recherches en sciences naturelles et génie du Canada (CRSNG) , Cae Electronic Ltee
Grant programs: ,
1994 - 2017

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

Lead researcher : El Mostapha Aboulhamid
Funding sources: CRSNG/Conseil de recherches en sciences naturelles et génie du Canada (CRSNG)
Grant programs: 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

Lead researcher : El Mostapha Aboulhamid
Co-researchers : Claude Thibeault
Funding sources: Ministère Économie et Innovation
Grant programs: PVXXXXXX-Prog. soutien rech (PSR v4): Soutien à initiatives internationales de rech et d'innovation
2008 - 2015

REGROUPEMENT STRATEGIQUE EN MICROSYSTEMES DU QUEBEC (RESMIQ) QUEBEC

Lead researcher : El Mostapha Aboulhamid
Co-researchers : Mohamad A. Sawan
Funding sources: FRQNT/Fonds de recherche du Québec - Nature et technologies (FQRNT)
Grant programs: PVXXXXXX-(RS) Programme de regroupements stratégiques
2010 - 2014

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

Lead researcher : El Mostapha Aboulhamid
Co-researchers : Claude Thibeault
Funding sources: CRIAQ/Consortium de recherche et d'innovation en aérospatiale du Québec
Grant programs:
2009 - 2014

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

Lead researcher : El Mostapha Aboulhamid

Outreach

Publications and presentations

Disciplines

  • Computer Engineering and Software Engineering
  • Computer Science

Areas of expertise

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