Passer au contenu

/ Department of Computer Science and Operations Research

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)

Areas of Expertise

Student supervision Expand all Collapse all

Parallelization of SAT on Reconfigurable Hardware Thèses et mémoires dirigés / 2013 - 2013
Graduate : Ivan, Teodor
Cycle : Master's
Grade : 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
Graduate : Anane, Amine
Cycle : Doctoral
Grade : 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
Graduate : Azzabi, Ahmed
Cycle : Master's
Grade : M. Sc.
Timing verification in transaction modeling Thèses et mémoires dirigés / 2010 - 2010
Graduate : Tsikhanovich, Alena
Cycle : Doctoral
Grade : Ph. D.
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
Graduate : Lapalme, James
Cycle : Doctoral
Grade : Ph. D.
Design et implémentation sur FPGA d'un algorithme DES Thèses et mémoires dirigés / 2009 - 2009
Graduate : Amoud, Mohamed
Cycle : Master's
Grade : M. Sc.
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
Graduate : Julien, Marc
Cycle : Master's
Grade : M. Sc.
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
Graduate : Ezzeddine, Mazen
Cycle : Master's
Grade : M. Sc.
SCIL processor : a common intermediate language processor for embedded systems Thèses et mémoires dirigés / 2008 - 2008
Graduate : Zhou, Tongyao
Cycle : Master's
Grade : M. Sc.
Modélisation et implémentation des patrons de conception Thèses et mémoires dirigés / 2008 - 2008
Graduate : Tagmouti, Yousra
Cycle : Master's
Grade : 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
Graduate : Bastien, Frédéric
Cycle : Master's
Grade : M. Sc.
Distribution d'objets avec les techniques de développement orientées aspects Thèses et mémoires dirigés / 2006 - 2006
Graduate : Mcheick, Hamid
Cycle : Doctoral
Grade : Ph. D.
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
Graduate : Metzger, Michel
Cycle : Master's
Grade : M. Sc.
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
Graduate : Gagné, Vincent
Cycle : Master's
Grade : 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
Graduate : Brassard, Olivier
Cycle : Master's
Grade : 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
Graduate : Gorse, Nicolas
Cycle : Doctoral
Grade : Ph. D.
The co-design methodologies on click router application system Thèses et mémoires dirigés / 2005 - 2005
Graduate : Li, Dan
Cycle : Master's
Grade : M. Sc.
Une plateforme pour le raffinement des services d'OS pour les systèmes embarqués Thèses et mémoires dirigés / 2005 - 2005
Graduate : Girodias, Bruno
Cycle : Master's
Grade : 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
Graduate : Zerarka, Mohamed Toufik
Cycle : Master's
Grade : 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
Graduate : Charest, Luc
Cycle : Doctoral
Grade : Ph. D.
Understanding retargeting compilation techniques for network processors Thèses et mémoires dirigés / 2004 - 2004
Graduate : Li, Jun
Cycle : Master's
Grade : M. Sc.
ESys.Net : a new .Net based system-level design environment Thèses et mémoires dirigés / 2004 - 2004
Graduate : Lapalme, James
Cycle : Master's
Grade : 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
Graduate : Bou Jaoude, Guitta
Cycle : Master's
Grade : M. Sc.
ARM processor modeling at a cycle accurate level in systemC Thèses et mémoires dirigés / 2003 - 2003
Graduate : Sun, Hongmei
Cycle : Master's
Grade : M. Sc.

Research projects Expand all Collapse all

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

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

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

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

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

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

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

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

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

Lead researcher : Claude Thibeault
Co-researchers : El Mostapha Aboulhamid
Funding sources: Ministère Économie et Innovation
Grant programs: 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

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

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

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

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

Lead researcher : El Mostapha Aboulhamid

Browse this profile on: