Passer au contenu

/ La recherche

Je donne

Rechercher

Sciences naturelles et génie

Houari Sahraoui

Génie logiciel, visualisation du logiciel, intelligence artificielle, apprentissage automatique

Vice-doyen

Faculté des arts et des sciences - Direction

Pavillon Lionel-Groulx, local C9076-3

514 343-5746

houari.sahraoui@umontreal.ca

Professeur titulaire

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

André-Aisenstadt, local 2359

514 343-5746

houari.sahraoui@umontreal.ca

Autre numéro : 514 343-5834 (Télécopieur)

Portrait

Expertise de recherche

Mes intérêts de recherche portent entre autres sur l’automatisation dans le génie logiciel. Je m’intéresse en particulier à l’apprentissage des transformations de modèles à partir d’exemples en utilisant des approches évolutionnistes. Je travaille également sur la rétro-ingénierie (compréhension) et la réingénierie (refactoring, migration vers les logiciels à base de composants, etc.) des logiciels par l’analyse statique et dynamique. Mes préoccupations incluent également la visualisation des grands ensembles de données multidimensionnelles pour la compréhension et la maintenance du logiciel.

Biographie

Houari Sahraoui est professeur au Département d'informatique et de recherche opérationnelle. Il en a été directeur de 2013 à 2017. Il a publié plus de 200 articles en génie logiciel et particulièrement sur l'automatisation du génie logiciel et l'ingénierie dirigée par les modèles. Il a été président des conférences IEEE/ACM Automated Software Engineering et IEEE Software Visualization (VISSOFT), président du comité de programme d'IEEE VISSOFT, membre de comités de programme de plusieurs conférences IEEE et ACM, membre de comité de lecture de plusieurs revues et membre de l'organisation de nombreuses conférences.

Il a siégé au comité de sélection des subventions CRSNG -découverte (informatique). Il a été parmi les membres fondateurs de CS-Can/Info-Can, la Société canadienne de l'informatique et y a été le représentant du Québec.

Prix et distinctions

  • Best paper award CASCON, 2010

  • Best paper award BM-FA, 2010

  • Ayuda para la movilidad,  Ministerio de Educación y Ciencia (Espagne), 2005.

  • ACM SIGSOFT Distinguished Paper Award 2005.

  • Excellence in Science Teaching Award (2003-2004), Université de Montréal.

  • ACM Recognition of Service Award, 2003.

Affiliations et responsabilités

Enseignement et encadrement

Encadrement

Thèses et mémoires dirigés (dépôt institutionnel Papyrus)

2024

Co-simulation for controlled environment simulation

Diplômé(e) : Archambault, Pascal
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
2023

Few-shot prompt learning for automating model completion

Diplômé(e) : Ben-Chaaben, Meriem
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
2023

Optimizing vertical farming : control and scheduling algorithms for enhanced plant growth

Diplômé(e) : Vu, Cong Vinh
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
2023

Sur l'élaboration de meilleures techniques pour l'apprentissage auto-supervisé des représentations du code

Diplômé(e) : Maes, Lucas
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
2023

Apprentissage de stratégies de calcul adaptatives pour les réseaux neuronaux profonds

Diplômé(e) : Kamanda, Aton
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
2023

Automatically correcting syntactic and semantic errors in ATL transformations using multi-objective optimization

Diplômé(e) : VaraminyBahnemiry, Zahra
Cycle : Doctorat
Diplôme obtenu : Ph. D.
2023

Extraction of UML class diagrams from natural language specifications

Diplômé(e) : Yang, Song
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
2022

Abstraction de comportement de haut niveau à l’aide de la visualisation interactive

Diplômé(e) : Vandamme, Dorian
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
2021

Towards using intelligent techniques to assist software specialists in their tasks

Diplômé(e) : Ben Sghaier, Oussama
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
2021

Extending domain-specific modeling editors with multi-touch interactions

Diplômé(e) : Hossain, Md Rifat
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
2021

Pattern-based refactoring in model-driven engineering

Diplômé(e) : Mokaddem, Chihab eddine Mohamed Omar
Cycle : Doctorat
Diplôme obtenu : Ph. D.
2020

Vérification des patrons temporels d’utilisation d’API sans exécution du code : une approche et un outil

Diplômé(e) : Raelijohn, Erick F.
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
2019

From examples to knowledge in model-driven engineering : a holistic and pragmatic approach

Diplômé(e) : Batot, Edouard
Cycle : Doctorat
Diplôme obtenu : Ph. D.
2019

Metamodel co-evolution with related model-driven engineering artifacts : a multi-objective search framework

Diplômé(e) : Kessentini, Wael
Cycle : Doctorat
Diplôme obtenu : Ph. D.
2018

Caractérisation et étude de l’impact des permissions dans les applications mobiles

Diplômé(e) : Dbouba, Selsabil
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
2018

Détection des utilisations à risque d’API : approche basée sur le système immunitaire

Diplômé(e) : Gallais-Jimenez, Maxime
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
2017

Using goal-driven assistants for software visualization

Diplômé(e) : Ndiaye, Alassane
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
2017

Inferring API Usage Patterns and Constraints : a Holistic Approach

Diplômé(e) : Saied, Mohamed Aymen
Cycle : Doctorat
Diplôme obtenu : Ph. D.
2016

Dérivation de diagrammes de séquence UML compactes à partir de traces d’exécution en se basant des heuristiques.

Diplômé(e) : Aloulou, Houssem
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
2015

A Mono- and Multi-objective Approach for Recommending Software Refactoring

Diplômé(e) : Ouni, Ali
Cycle : Doctorat
Diplôme obtenu : Ph. D.
2015

Una aproximación evolucionista para la generación automática de sentencias SQL a partir de ejemplos

Diplômé(e) : Ahumada Pardo, Dania I.
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
2015

A unified framework for the comprehension of software's time dimension

Diplômé(e) : Benomar, Omar
Cycle : Doctorat
Diplôme obtenu : Ph. D.
2015

Une approche heuristique pour l’apprentissage de transformations de modèles complexes à partir d’exemples

Diplômé(e) : Baki, Islem
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
2014

Improving automation in model-driven engineering using examples

Diplômé(e) : Faunes Carvallo, Martin
Cycle : Doctorat
Diplôme obtenu : Ph. D.
2012

Utilisation de la visualisation interactive pour l’analyse des dépendances dans les logiciels

Diplômé(e) : Bouvier, Simon
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
2011

Transformation by example

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

Étude empirique des commentaires et application des techniques de résumé par extraction pour la redocumentation

Diplômé(e) : Haouari, Dorsaf
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
2011

Analyse de dépendance des programmes à objet en utilisant les modèles probabilistes des entrées

Diplômé(e) : Bouchoucha, Arbi
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
2011

Intégration de la visualisation à multiples vues pour le développement du logiciel

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

Formulation interactive des requêtes pour l’analyse et la compréhension du code source

Diplômé(e) : Jridi, Jamel Eddine
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
2011

Modelling software quality : a multidimensional approach

Diplômé(e) : Vaucher, Stéphane
Cycle : Doctorat
Diplôme obtenu : Ph. D.
2010

Développement logiciel par transformation de modèles

Diplômé(e) : El boussaidi, Ghizlane
Cycle : Doctorat
Diplôme obtenu : Ph. D.
2010

Rétro-ingénierie des diagrammes de séquence par visualisation interactive

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

Évaluation de la qualité des applications web : approche probabiliste

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

Un système d'aide à la visualisation interactive de logiciels

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

Détection visuelle d'anomalies de conception dans les programmes orientés objets

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

Rule-based quality heuristics formalization and identification

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

Méta-modélisation de l'adaptation dynamique du contrôle des systèmes multi-agents

Diplômé(e) : Pham, Viet Thang
Cycle : Doctorat
Diplôme obtenu : Ph. D.
2007

Visualisation de la qualité des logiciels de grandes taille

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

Modélisation pour la gestion de modèles

Diplômé(e) : Dinh, Thi Lan Anh
Cycle : Doctorat
Diplôme obtenu : Ph. D.
2007

Étude de l'analyse formelle dans les données relationnelles : application à la restructuration des modèles structuraux UML

Diplômé(e) : Rouane Hacene, Mohamed
Cycle : Doctorat
Diplôme obtenu : Ph. D.
2006

Formal checking of web based applications

Diplômé(e) : Barburas, Doina Mirela
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
2006

Analyse de la qualité du logiciel : une approche par visualisation et simulation

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

Estimation de l'impact du changement dans les programmes à objets

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

Amélioration de la prédiction de la qualité du logiciel par combinaison et adaptation de modèles

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

Estimation de caractéristiques externes de qualité à partir de mesures d'attributs internes : bilan et perspectives

Diplômé(e) : Ait Mehedine, Lynda
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
2005

Estimation de la qualité du produit logiciel : réseaux Bayésiens

Diplômé(e) : El Aoumari, Sanaa
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
2005

Migrating legacy system towards object technology

Diplômé(e) : Wu, Lei
Cycle : Doctorat
Diplôme obtenu : Ph. D.
2004

Determination of software quality through a generic model

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

Software stability assessment using multiple prediction models

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

Analyse des traces d'exécution pour la vérification des protocoles d'interaction dans les systèmes multiagents

Diplômé(e) : Ben Ayed, Nourchène
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
2002

Obje[c]t identification using conceptual clustering

Diplômé(e) : Shen, Shiqiang
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
2002

Identification des objets dans les applications léguées basée sur les algorithmes génétiques

Diplômé(e) : Konkobo, Idrissa
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
2002

Extension des modèles de prédiction de la qualité du logiciel en utilisant la logique floue et les heuristiques du domaine

Diplômé(e) : Serhani, Mohamed Adel
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
2002

001_correct : un environnement de restructuration des programmes objets piloté par la qualité

Diplômé(e) : Chawiche, Hassan M.
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
2002

Enhancing and evolving a rule-based system using historical data : a neuro-fuzzy approach

Diplômé(e) : Mai, Gang
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
2002

A case-based reasoning diagnosis system for AHU (Air-Handling Unit)

Diplômé(e) : Zheng, Suoshi
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
2001

Gestionnaire de connaissances pour systèmes hybrides objets-règles

Diplômé(e) : Es-salihe, Mustapha
Cycle : Maîtrise
Diplôme obtenu : M. Sc.

Projets

Projets de recherche

2019 - 2026

From examples to knowledge to software engineering support and automation

Chercheur principal : Houari Sahraoui
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
2023 - 2025

Efficient Support of Code Review Process with Deep Learning

Chercheur principal : Houari Sahraoui
Sources de financement : CRSNG/Conseil de recherches en sciences naturelles et génie du Canada (CRSNG)
Programmes de subvention : PVXXXXXX-Subventions Alliance - International Catalyseur
2022 - 2024

Toward Robust and Adaptable Deep Learning Models of Code

Sources de financement : CRSNG/Conseil de recherches en sciences naturelles et génie du Canada (CRSNG)
Programmes de subvention : PVXXXXXX-Subventions Alliance
2022 - 2024

Digital Twins for Vertical Farming

Sources de financement : MITACS Inc. , Ferme d'hiver technologies inc.
Programmes de subvention : PVXXXXXX-Stage Accélération Québec - MITACS ,
2022 - 2024

Digital Twins for Vertical Farming

Chercheur principal : Houari Sahraoui
Co-chercheurs : Eugene Syriani
Sources de financement : CRSNG/Conseil de recherches en sciences naturelles et génie du Canada (CRSNG)
Programmes de subvention : PVXXXXXX-Subventions Alliance
2020 - 2023

L’assistance au développement du logiciel au temps des données massives

Chercheur principal : Houari Sahraoui
Sources de financement : SPIIE/Secrétariat des programmes interorganismes à l’intention des établissements
Programmes de subvention : PVXXXXXX-Fonds d'excellence en recherche Apogée Canada/Bourse
2022

Multi-paradigm digital twin framework for biophysical systems: Application to vertical farming

Chercheur principal : Houari Sahraoui
Co-chercheurs : Eugene Syriani
2020 - 2021

Supplément COVID-19 CRSNG_From examples to knowledge to software engineering support and automation

Chercheur principal : Houari Sahraoui
Sources de financement : CRSNG/Conseil de recherches en sciences naturelles et génie du Canada (CRSNG)
Programmes de subvention : PVXXXXXX-Supplément à l’appui des étudiants, des stagiaires postdoctoraux et du personnel de soutien à la recherche COVID-19
2014 - 2021

LEARNING FROM EXAMPLES TO IMPROVE AUTOMATION IN MODEL-DRIVEN ENGINEERING

Chercheur principal : Houari Sahraoui
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
2017 - 2018

Migration des applications logicielles vers le "Cloud"

Chercheur principal : Houari Sahraoui
Sources de financement : CRSNG/Conseil de recherches en sciences naturelles et génie du Canada (CRSNG)
Programmes de subvention : PV128974-(EGP) Programme de subvention d'engagement partenarial
2000 - 2015

ADDRESSING ISSUES IN SOFTWARE ENGINEERING AUTOMATION USING VISUALIZATION AND SEARCH-BASED METHODS

Chercheur principal : Houari Sahraoui
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
2009 - 2013

ADDRESSING ISSUES IN SOFTWARE ENGINEERING AUTOMATION USING VISUALIZATION AND SEARCH-BASED METHODS

Chercheur principal : Houari Sahraoui

Rayonnement

Publications et communications

Publications

Martin Faunes, Houari Sahraoui, Mounir Boukadoum, Genetic-Programming Approach to Learn Model Transformation Rules from Examples, Theory and Practice of Model Transformations, Lecture Notes in Computer Science Volume 7909, 2013, pp 17-32

Ali Ouni, Marouane Kessentini, Houari Sahraoui, Mounir Boukadoum, Maintainability defects detection and correction: a multi-objective approach, Automated Software Engineering, Vol. 20, no 1, pp 47-79, 2013

Ghazwa Malak, Houari Sahraoui, Linda Badri, Mourad Badri, Modeling Web Quality using a Probabilistic Approach: An empirical validation, ACM Transactions on the Web (ACM-TWEB), vol. 4, no 3, pp.1-31, 2010

Houari Sahraoui, Lionel C. Briand, Yann-Gaël Guéhéneuc, Olivier Beaurepaire, Investigating the Impact of a Measurement Program on Software Quality, Journal of Information and Software Technology (Elseveir), vol. 52, no 9, pp.923-933, 2010.

M Kessentini, H Sahraoui, M Boukadoum, Model transformation as an optimization problem, Model Driven Engineering Languages and Systems (MODELS), 2008.

Salah Bouktif, Houari Sahraoui, and Giuliano Antoniol. 2006. Simulated annealing for improving software quality prediction. In Proceedings of the 8th annual conference on Genetic and evolutionary computation (GECCO '06).

Guillaume Langelier, Houari Sahraoui, and Pierre Poulin. 2005. Visualization-based analysis of quality for large-scale software systems. In Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering (ASE '05).

Houari Sahraoui, Robert Godin, Thierry Miceli, Can metrics help to bridge the gap between the improvement of OO design quality and its automation?, International Conference on Software Maintenance, pp.154,162, 2000.

Disciplines

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

Champ d’expertise

  • Génie logiciel
  • Automatisation du génie logiciel
  • Génie logiciel empirique
  • Ingénierie dirigée par les modèles
  • Métrique (logiciel)
  • Recherche heuristique en génie logiciel
  • Rétro-ingénierie
  • Visualisation du logiciel

Aide en ligne pour votre profil | Nous joindre

Le Répertoire des professeurs est propulsé par les données du SADVR et est un projet du CENR.

Personnes-ressource dans nos équipes
Qui fait quoi?
Formulaires, procédures et systèmes
Formulaires et procédures
Occasions de financement avec PIVOT
PIVOT