Passer au contenu

/ Département d'informatique et de recherche opérationnelle

Je donne

Rechercher

El Mostapha Aboulhamid

Vcard

Professeur associé

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

em.aboulhamid@umontreal.ca

Baccalauréat
1974 , Informatique , Institut National Polytechnique de Grenoble (ENSIMAG) (France)

Maîtrise
1979 , Informatique , Université de Montréal (Canada)

Doctorat
1984 , Informatique , Université de Montréal (Canada)

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.

Lire plus…

Expertises

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.

Encadrement Tout déplier Tout replier

Parallelization of SAT on Reconfigurable Hardware Thèses et mémoires dirigés / 2013 - 2013
Diplômé(e) : Ivan, Teodor
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Application du concept des transactions pour la modélisation et la simulation multicoeur des systèmes sur puce Thèses et mémoires dirigés / 2012 - 2012
Diplômé(e) : Anane, Amine
Cycle : Doctorat
Diplôme obtenu : Ph. D.
Vérification temporelle des systèmes cycliques et acycliques basée sur l’analyse des contraintes Thèses et mémoires dirigés / 2011 - 2011
Diplômé(e) : Azzabi, Ahmed
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Timing verification in transaction modeling Thèses et mémoires dirigés / 2010 - 2010
Diplômé(e) : Tsikhanovich, Alena
Cycle : Doctorat
Diplôme obtenu : Ph. D.
Intégration d'un système d'exploitation dans le flot de développement logiciel/matériel Thèses et mémoires dirigés / 2009 - 2009
Diplômé(e) : Julien, Marc
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Design et implémentation sur FPGA d'un algorithme DES Thèses et mémoires dirigés / 2009 - 2009
Diplômé(e) : Amoud, Mohamed
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Nouvelles approches pour la conception d'outils CAO pour le domaine des systèmes embarqués Thèses et mémoires dirigés / 2009 - 2009
Diplômé(e) : Lapalme, James
Cycle : Doctorat
Diplôme obtenu : Ph. D.
Modélisation et réalisation de la couche physique du système de communication numérique sans fil, WiMax, sur du matériel reconfigurable Thèses et mémoires dirigés / 2009 - 2009
Diplômé(e) : Ezzeddine, Mazen
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Modélisation et implémentation des patrons de conception Thèses et mémoires dirigés / 2008 - 2008
Diplômé(e) : Tagmouti, Yousra
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
SCIL processor : a common intermediate language processor for embedded systems Thèses et mémoires dirigés / 2008 - 2008
Diplômé(e) : Zhou, Tongyao
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Méthodologie de conception d'un modèle comportemental pour la vérification formelle Thèses et mémoires dirigés / 2007 - 2007
Diplômé(e) : Bastien, Frédéric
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Distribution d'objets avec les techniques de développement orientées aspects Thèses et mémoires dirigés / 2006 - 2006
Diplômé(e) : Mcheick, Hamid
Cycle : Doctorat
Diplôme obtenu : Ph. D.
Optimisation mémoire et exploration architecturale d'applications multimédias sur un réseau sur puce Thèses et mémoires dirigés / 2006 - 2006
Diplômé(e) : Gagné, Vincent
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Méthodologie et outil de conception de systèmes embarqués basés sur le cadre d'applications .NET Thèses et mémoires dirigés / 2006 - 2006
Diplômé(e) : Brassard, Olivier
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Mécanismes d'introspection pour la vérification semi-formelle de modèles au niveau système Thèses et mémoires dirigés / 2006 - 2006
Diplômé(e) : Metzger, Michel
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Méthodes formelles de haut niveau pour la conception de systèmes électroniques fiables Thèses et mémoires dirigés / 2006 - 2006
Diplômé(e) : Gorse, Nicolas
Cycle : Doctorat
Diplôme obtenu : Ph. D.
Une plateforme pour le raffinement des services d'OS pour les systèmes embarqués Thèses et mémoires dirigés / 2005 - 2005
Diplômé(e) : Girodias, Bruno
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
The co-design methodologies on click router application system Thèses et mémoires dirigés / 2005 - 2005
Diplômé(e) : Li, Dan
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Accélération de prédiction génétique par implémentation hautement parallèle sur un matériel re-configurable Thèses et mémoires dirigés / 2005 - 2005
Diplômé(e) : Zerarka, Mohamed Toufik
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
ESys.Net : a new .Net based system-level design environment Thèses et mémoires dirigés / 2004 - 2004
Diplômé(e) : Lapalme, James
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Réutilisation des processus d'affaires pour le développement de systèmes d'information Thèses et mémoires dirigés / 2004 - 2004
Diplômé(e) : Bou Jaoude, Guitta
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Understanding retargeting compilation techniques for network processors Thèses et mémoires dirigés / 2004 - 2004
Diplômé(e) : Li, Jun
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
De la fusion du génie logiciel et d'une bibliothèque à source ouverte pour la modélisation/simulation de processus matériel et logiciel Thèses et mémoires dirigés / 2004 - 2004
Diplômé(e) : Charest, Luc
Cycle : Doctorat
Diplôme obtenu : Ph. D.
ARM processor modeling at a cycle accurate level in systemC Thèses et mémoires dirigés / 2003 - 2003
Diplômé(e) : Sun, Hongmei
Cycle : Maîtrise
Diplôme obtenu : M. Sc.

Projets de recherche Tout déplier Tout replier

FGR-CRSNG-20162017 Projet de recherche au Canada / 2016 - 2017

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

EMSYSCAN - EMBEDDED SYSTEMS CANADA Projet de recherche au Canada / 2013 - 2017

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

DOMAIN SPECIFIC LANGUAGE INTEGRATION OF HARDWARE-AWARE SOFTWARE GENERATION Projet de recherche au Canada / 2013 - 2017

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 : ,

NEW PARADIGMS TO EXPLOIT PARALLELILSM IN MODELING AND SIMULATION OF HETEROGENEOUS SYSTEMS Projet de recherche au Canada / 1994 - 2017

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

MÉTHODOLOGIE DE CONCEPTION, VÉRIFICATION ET TEST DES SYSTÈMES EMBARQUÉS TOLÉRANTS AUX RADIATIONS - AVIO 403_INTL Projet de recherche au Canada / 2010 - 2015

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

REGROUPEMENT STRATEGIQUE EN MICROSYSTEMES DU QUEBEC (RESMIQ) QUEBEC Projet de recherche au Canada / 2008 - 2015

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

METHODOLOGIE DE CONCEPTION, VERIFICATION ET TEST DES SYSTEMES EMBARQUES TOLERANTS AUX RADIATIONS - AVIO 403_INTL Projet de recherche au Canada / 2010 - 2014

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 :

NEW PARADIGMS TO EXPLOIT PARALLELILSM IN MODELING AND SIMULATION OF HETEROGENEOUS SYSTEMS Projet de recherche au Canada / 2009 - 2014

Chercheur principal : El Mostapha Aboulhamid

Consultez cette fiche sur :