Editer votre profil

Aboulhamid, El Mostapha

Professeur associé

Contact :

  • Pav. PAVILLON ANDRE-AISENSTADT

Site Web

Aboulhamid, El Mostapha

Expertises 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.

Champs d'expertise

Publications principales

Anane, A. (2012). Application du concept des transactions pour la modélisation et la simulation multicoeur des systèmes sur puce.

Lapalme, J. (2009). Nouvelles approches pour la conception d’outil CAO pour le domaine des systèmes embarqués.

Tsikhanovitch, A. (2008). A methodology for Hardware/Software specification and simulation at multiple levels of abstraction

Gorse, N. (2006). Méthodes formelles de haut niveau pour la conception de systèmes électroniques fiables

Gagné, V. (2006). Optimisation mémoire et exploration architecturale d’applications multimédias sur un réseau sur puce.

Boyer, F.-R. (2001). Optimisation lors de la synthèse de circuits à partir de langages de haut niveau.

Thèses et mémoires dirigés au département et disponibles dans Papyrus