Passer au contenu

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

Je donne

Rechercher

Houari Sahraoui

Vcard
Vice-doyen

Faculté des arts et des sciences - Direction

Pavillon Lionel-Groulx local C9076-3

houari.sahraoui@umontreal.ca

514 343-5746

Professeur titulaire

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

André-Aisenstadt local 2359

houari.sahraoui@umontreal.ca

514 343-5746

Télécopieur : 514 343-5834

Web : ResearchGate

Web : LinkedIn

Web : Google Scholar

Biographie

Houari Sahraoui est professeur au laboratoire de génie logiciel GEODES du Département d’informatique et de recherche opérationnelle de l’Université de Montréal depuis 1999. Il a dirigé ce département de 2013 à 2017. Depuis 2017, il occupe également les fonctions de vice-doyen à la Faculté des arts et des sciences. Il a obtenu son doctorat en informatique à l’Université Pierre-et-Marie-Curie (LIP6) en 1995, avec une spécialisation en intelligence artificielle.

Avant de rejoindre l’Université de Montréal, il a travaillé comme chercheur, puis comme chercheur principal, au Centre de recherche informatique de Montréal (CRIM). Il a également été professeur invité à l’Université de Castilla-La Mancha, en Espagne, ainsi qu’à l’INRIA Rennes, en France.

Lire plus…

Affiliations

Expertises

Houari Sahraoui est professeur au laboratoire de génie logiciel GEODES du Département d’informatique et de recherche opérationnelle de l’Université de Montréal. Il occupe également les fonctions de vice-doyen à la Faculté des arts et des sciences. Il a obtenu son doctorat en informatique à l’Université Pierre-et-Marie-Curie (LIP6) en 1995, avec une spécialisation en intelligence artificielle.

Ses travaux de recherche portent sur l’IA appliquée au génie logiciel, notamment l’automatisation du développement logiciel, l’ingénierie dirigée par les modèles, les jumeaux numériques et l’utilisation de l’IA générative pour les tâches de programmation et de modélisation. Il est l’auteur de plus de 200 publications dans les meilleures conférences et revues du domaine et a reçu plusieurs distinctions, dont des prix du meilleur article, des ACM SIGSOFT Distinguished Paper Awards et le prix IEEE TCSE 10-Year Most Influential Paper Award.

Il a occupé plusieurs postes de leadership au sein de la communauté du génie logiciel, notamment comme président général des conférences ASE, MODELS et VISSOFT, président du comité de programme de MODELS et VISSOFT, ainsi que membre de nombreux comités de programme de conférences phares de l’IEEE et de l’ACM. Il a également été rédacteur associé pour plusieurs revues scientifiques, dont Software and Systems Modeling de Springer, et est membre fondateur de CS-Can | Info-Can, la société canadienne d’informatique. Il est Fellow de l’Automated Software Engineering et récipiendaire du Lifetime Achievement Award in Computer Science de CS-Can | Info-Can.

Encadrement Tout déplier Tout replier

Alignement multi-agents de modèles de langage pour la génération de code guidée par des préférences multiples Thèses et mémoires dirigés / 2026 - 2026
Diplômé(e) : Petrenko, Maxime
Cycle : Maîtrise
Diplôme obtenu : M. Sc.

Lien vers le document dans Papyrus

Combining large language models with static analyzers for code review generation Thèses et mémoires dirigés / 2025 - 2025
Diplômé(e) : Jaoua, Imen
Cycle : Maîtrise
Diplôme obtenu : M. Sc.

Lien vers le document dans Papyrus

Empowering code review automation : a data-centric, multi-task-driven, and human-aware approach Thèses et mémoires dirigés / 2025 - 2025
Diplômé(e) : Ben Sghaier, Oussama
Cycle : Doctorat
Diplôme obtenu : Ph. D.

Lien vers le document dans Papyrus

Vers des jumeaux numériques intelligents en agriculture en environnement contrôlé : contributions conjointes en détection de fruits par vision et en simulation trans-domaines. Thèses et mémoires dirigés / 2025 - 2025
Diplômé(e) : Amiri, Mansoorali
Cycle : Maîtrise
Diplôme obtenu : M. Sc.

Lien vers le document dans Papyrus

Co-simulation for controlled environment simulation Thèses et mémoires dirigés / 2024 - 2024
Diplômé(e) : Archambault, Pascal
Cycle : Maîtrise
Diplôme obtenu : M. Sc.

Lien vers le document dans Papyrus

Aligning language models to code : exploring efficient, temporal, and preference alignment for code generation Thèses et mémoires dirigés / 2024 - 2024
Diplômé(e) : Weyssow, Martin
Cycle : Doctorat
Diplôme obtenu : Ph. D.

Lien vers le document dans Papyrus

Microservices identification in existing applications using meta-heuristics optimization and machine learning Thèses et mémoires dirigés / 2024 - 2024
Diplômé(e) : Barry, Hanifa
Cycle : Maîtrise
Diplôme obtenu : M. Sc.

Lien vers le document dans Papyrus

Automatically correcting syntactic and semantic errors in ATL transformations using multi-objective optimization Thèses et mémoires dirigés / 2023 - 2023
Diplômé(e) : VaraminyBahnemiry, Zahra
Cycle : Doctorat
Diplôme obtenu : Ph. D.

Lien vers le document dans Papyrus

Extraction of UML class diagrams from natural language specifications Thèses et mémoires dirigés / 2023 - 2023
Diplômé(e) : Yang, Song
Cycle : Maîtrise
Diplôme obtenu : M. Sc.

Lien vers le document dans Papyrus

Few-shot prompt learning for automating model completion Thèses et mémoires dirigés / 2023 - 2023
Diplômé(e) : Ben-Chaaben, Meriem
Cycle : Maîtrise
Diplôme obtenu : M. Sc.

Lien vers le document dans Papyrus

Apprentissage de stratégies de calcul adaptatives pour les réseaux neuronaux profonds Thèses et mémoires dirigés / 2023 - 2023
Diplômé(e) : Kamanda, Aton
Cycle : Maîtrise
Diplôme obtenu : M. Sc.

Lien vers le document dans Papyrus

Sur l'élaboration de meilleures techniques pour l'apprentissage auto-supervisé des représentations du code Thèses et mémoires dirigés / 2023 - 2023
Diplômé(e) : Maes, Lucas
Cycle : Maîtrise
Diplôme obtenu : M. Sc.

Lien vers le document dans Papyrus

Optimizing vertical farming : control and scheduling algorithms for enhanced plant growth Thèses et mémoires dirigés / 2023 - 2023
Diplômé(e) : Vu, Cong Vinh
Cycle : Maîtrise
Diplôme obtenu : M. Sc.

Lien vers le document dans Papyrus

Abstraction de comportement de haut niveau à l’aide de la visualisation interactive Thèses et mémoires dirigés / 2022 - 2022
Diplômé(e) : Vandamme, Dorian
Cycle : Maîtrise
Diplôme obtenu : M. Sc.

Lien vers le document dans Papyrus

Towards using intelligent techniques to assist software specialists in their tasks Thèses et mémoires dirigés / 2021 - 2021
Diplômé(e) : Ben Sghaier, Oussama
Cycle : Maîtrise
Diplôme obtenu : M. Sc.

Lien vers le document dans Papyrus

Extending domain-specific modeling editors with multi-touch interactions Thèses et mémoires dirigés / 2021 - 2021
Diplômé(e) : Hossain, Md Rifat
Cycle : Maîtrise
Diplôme obtenu : M. Sc.

Lien vers le document dans Papyrus

Pattern-based refactoring in model-driven engineering Thèses et mémoires dirigés / 2021 - 2021
Diplômé(e) : Mokaddem, Chihab eddine Mohamed Omar
Cycle : Doctorat
Diplôme obtenu : Ph. D.

Lien vers le document dans Papyrus

Vérification des patrons temporels d’utilisation d’API sans exécution du code : une approche et un outil Thèses et mémoires dirigés / 2020 - 2020
Diplômé(e) : Raelijohn, Erick F.
Cycle : Maîtrise
Diplôme obtenu : M. Sc.

Lien vers le document dans Papyrus

Metamodel co-evolution with related model-driven engineering artifacts : a multi-objective search framework Thèses et mémoires dirigés / 2019 - 2019
Diplômé(e) : Kessentini, Wael
Cycle : Doctorat
Diplôme obtenu : Ph. D.

Lien vers le document dans Papyrus

From examples to knowledge in model-driven engineering : a holistic and pragmatic approach Thèses et mémoires dirigés / 2019 - 2019
Diplômé(e) : Batot, Edouard
Cycle : Doctorat
Diplôme obtenu : Ph. D.

Lien vers le document dans Papyrus

Caractérisation et étude de l’impact des permissions dans les applications mobiles Thèses et mémoires dirigés / 2018 - 2018
Diplômé(e) : Dbouba, Selsabil
Cycle : Maîtrise
Diplôme obtenu : M. Sc.

Lien vers le document dans Papyrus

Détection des utilisations à risque d’API : approche basée sur le système immunitaire Thèses et mémoires dirigés / 2018 - 2018
Diplômé(e) : Gallais-Jimenez, Maxime
Cycle : Maîtrise
Diplôme obtenu : M. Sc.

Lien vers le document dans Papyrus

Inferring API Usage Patterns and Constraints : a Holistic Approach Thèses et mémoires dirigés / 2017 - 2017
Diplômé(e) : Saied, Mohamed Aymen
Cycle : Doctorat
Diplôme obtenu : Ph. D.

Lien vers le document dans Papyrus

Using goal-driven assistants for software visualization Thèses et mémoires dirigés / 2017 - 2017
Diplômé(e) : Ndiaye, Alassane
Cycle : Maîtrise
Diplôme obtenu : M. Sc.

Lien vers le document dans Papyrus

Dérivation de diagrammes de séquence UML compactes à partir de traces d’exécution en se basant des heuristiques. Thèses et mémoires dirigés / 2016 - 2016
Diplômé(e) : Aloulou, Houssem
Cycle : Maîtrise
Diplôme obtenu : M. Sc.

Lien vers le document dans Papyrus

Une approche heuristique pour l’apprentissage de transformations de modèles complexes à partir d’exemples Thèses et mémoires dirigés / 2015 - 2015
Diplômé(e) : Baki, Islem
Cycle : Maîtrise
Diplôme obtenu : M. Sc.

Lien vers le document dans Papyrus

A Mono- and Multi-objective Approach for Recommending Software Refactoring Thèses et mémoires dirigés / 2015 - 2015
Diplômé(e) : Ouni, Ali
Cycle : Doctorat
Diplôme obtenu : Ph. D.

Lien vers le document dans Papyrus

Génération automatique de configurations et de scénarios d'utilisation d'outils de visualisation à partir de spécifications de tâches d'analyse de logiciels Thèses et mémoires dirigés / 2015 - 2015
Diplômé(e) : Sfayhi, Ahmed
Cycle : Maîtrise
Diplôme obtenu : M. Sc.

Lien vers le document dans Papyrus

A unified framework for the comprehension of software's time dimension Thèses et mémoires dirigés / 2015 - 2015
Diplômé(e) : Benomar, Omar
Cycle : Doctorat
Diplôme obtenu : Ph. D.

Lien vers le document dans Papyrus

Una aproximación evolucionista para la generación automática de sentencias SQL a partir de ejemplos Thèses et mémoires dirigés / 2015 - 2015
Diplômé(e) : Ahumada Pardo, Dania I.
Cycle : Maîtrise
Diplôme obtenu : M. Sc.

Lien vers le document dans Papyrus

Improving automation in model-driven engineering using examples Thèses et mémoires dirigés / 2014 - 2014
Diplômé(e) : Faunes Carvallo, Martin
Cycle : Doctorat
Diplôme obtenu : Ph. D.

Lien vers le document dans Papyrus

Identification d’une architecture à base de composants dans une application orientée objets à l’aide d’une analyse dynamique Thèses et mémoires dirigés / 2012 - 2012
Diplômé(e) : Allier, Simon
Cycle : Doctorat
Diplôme obtenu : D. Th.

Lien vers le document dans Papyrus

Technique de visualisation pour l’identification de l’usage excessif d’objets temporaires dans les traces d’exécution Thèses et mémoires dirigés / 2012 - 2012
Diplômé(e) : Duseau, Fleur
Cycle : Maîtrise
Diplôme obtenu : M. Sc.

Lien vers le document dans Papyrus

Utilisation de la visualisation interactive pour l’analyse des dépendances dans les logiciels Thèses et mémoires dirigés / 2012 - 2012
Diplômé(e) : Bouvier, Simon
Cycle : Maîtrise
Diplôme obtenu : M. Sc.

Lien vers le document dans Papyrus

Étude empirique des commentaires et application des techniques de résumé par extraction pour la redocumentation Thèses et mémoires dirigés / 2011 - 2011
Diplômé(e) : Haouari, Dorsaf
Cycle : Maîtrise
Diplôme obtenu : M. Sc.

Lien vers le document dans Papyrus

Analyse de dépendance des programmes à objet en utilisant les modèles probabilistes des entrées Thèses et mémoires dirigés / 2011 - 2011
Diplômé(e) : Bouchoucha, Arbi
Cycle : Maîtrise
Diplôme obtenu : M. Sc.

Lien vers le document dans Papyrus

Intégration de la visualisation à multiples vues pour le développement du logiciel Thèses et mémoires dirigés / 2011 - 2011
Diplômé(e) : Langelier, Guillaume
Cycle : Doctorat
Diplôme obtenu : Ph. D.

Lien vers le document dans Papyrus

Formulation interactive des requêtes pour l’analyse et la compréhension du code source Thèses et mémoires dirigés / 2011 - 2011
Diplômé(e) : Jridi, Jamel Eddine
Cycle : Maîtrise
Diplôme obtenu : M. Sc.

Lien vers le document dans Papyrus

Modelling software quality : a multidimensional approach Thèses et mémoires dirigés / 2011 - 2011
Diplômé(e) : Vaucher, Stéphane
Cycle : Doctorat
Diplôme obtenu : Ph. D.

Lien vers le document dans Papyrus

Transformation by example Thèses et mémoires dirigés / 2011 - 2011
Diplômé(e) : Kessentini, Marouane
Cycle : Doctorat
Diplôme obtenu : Ph. D.

Lien vers le document dans Papyrus

Développement logiciel par transformation de modèles Thèses et mémoires dirigés / 2010 - 2010
Diplômé(e) : El boussaidi, Ghizlane
Cycle : Doctorat
Diplôme obtenu : Ph. D.

Lien vers le document dans Papyrus

Rétro-ingénierie des diagrammes de séquence par visualisation interactive Thèses et mémoires dirigés / 2010 - 2010
Diplômé(e) : Grati, Hassen
Cycle : Maîtrise
Diplôme obtenu : M. Sc.

Lien vers le document dans Papyrus

A formal framework for run-time verification of Web applications : an approach supported by ccope-extended linear temporal logic Thèses et mémoires dirigés / 2008 - 2008
Diplômé(e) : Haydar, May
Cycle : Doctorat
Diplôme obtenu : Ph. D.

Lien vers le document dans Papyrus

Rule-based quality heuristics formalization and identification Thèses et mémoires dirigés / 2008 - 2008
Diplômé(e) : Yang, Fan
Cycle : Maîtrise
Diplôme obtenu : M. Sc.

Lien vers le document dans Papyrus

Évaluation de la qualité des applications web : approche probabiliste Thèses et mémoires dirigés / 2008 - 2008
Diplômé(e) : Malak, Ghazwa
Cycle : Doctorat
Diplôme obtenu : Ph. D.

Lien vers le document dans Papyrus

Un système d'aide à la visualisation interactive de logiciels Thèses et mémoires dirigés / 2008 - 2008
Diplômé(e) : Hassaine, Salima
Cycle : Maîtrise
Diplôme obtenu : M. Sc.

Lien vers le document dans Papyrus

Détection visuelle d'anomalies de conception dans les programmes orientés objets Thèses et mémoires dirigés / 2008 - 2008
Diplômé(e) : Dhambri, Karim
Cycle : Maîtrise
Diplôme obtenu : M. Sc.

Lien vers le document dans Papyrus

Visualisation de la qualité des logiciels de grandes taille Thèses et mémoires dirigés / 2007 - 2007
Diplômé(e) : Langelier, Guillaume
Cycle : Maîtrise
Diplôme obtenu : M. Sc.

Lien vers le document dans Papyrus

Modélisation pour la gestion de modèles Thèses et mémoires dirigés / 2007 - 2007
Diplômé(e) : Dinh, Thi Lan Anh
Cycle : Doctorat
Diplôme obtenu : Ph. D.

Lien vers le document dans Papyrus

Méta-modélisation de l'adaptation dynamique du contrôle des systèmes multi-agents Thèses et mémoires dirigés / 2007 - 2007
Diplômé(e) : Pham, Viet Thang
Cycle : Doctorat
Diplôme obtenu : Ph. D.

Lien vers le document dans Papyrus

Étude de l'analyse formelle dans les données relationnelles : application à la restructuration des modèles structuraux UML Thèses et mémoires dirigés / 2007 - 2007
Diplômé(e) : Rouane Hacene, Mohamed
Cycle : Doctorat
Diplôme obtenu : Ph. D.

Lien vers le document dans Papyrus

Formal checking of web based applications Thèses et mémoires dirigés / 2006 - 2006
Diplômé(e) : Barburas, Doina Mirela
Cycle : Maîtrise
Diplôme obtenu : M. Sc.

Lien vers le document dans Papyrus

Analyse de la qualité du logiciel : une approche par visualisation et simulation Thèses et mémoires dirigés / 2006 - 2006
Diplômé(e) : Rouatbi, Mohamed
Cycle : Maîtrise
Diplôme obtenu : M. Sc.

Lien vers le document dans Papyrus

Estimation de l'impact du changement dans les programmes à objets Thèses et mémoires dirigés / 2005 - 2005
Diplômé(e) : Cheikhi, Laila
Cycle : Maîtrise
Diplôme obtenu : M. Sc.

Lien vers le document dans Papyrus

Estimation de caractéristiques externes de qualité à partir de mesures d'attributs internes : bilan et perspectives Thèses et mémoires dirigés / 2005 - 2005
Diplômé(e) : Ait Mehedine, Lynda
Cycle : Maîtrise
Diplôme obtenu : M. Sc.

Lien vers le document dans Papyrus

Amélioration de la prédiction de la qualité du logiciel par combinaison et adaptation de modèles Thèses et mémoires dirigés / 2005 - 2005
Diplômé(e) : Bouktif, Salah
Cycle : Doctorat
Diplôme obtenu : Ph. D.

Lien vers le document dans Papyrus

Estimation de la qualité du produit logiciel : réseaux Bayésiens Thèses et mémoires dirigés / 2005 - 2005
Diplômé(e) : El Aoumari, Sanaa
Cycle : Maîtrise
Diplôme obtenu : M. Sc.

Lien vers le document dans Papyrus

Migrating legacy system towards object technology Thèses et mémoires dirigés / 2005 - 2005
Diplômé(e) : Wu, Lei
Cycle : Doctorat
Diplôme obtenu : Ph. D.

Lien vers le document dans Papyrus

Determination of software quality through a generic model Thèses et mémoires dirigés / 2004 - 2004
Diplômé(e) : Mehio, Nouha
Cycle : Maîtrise
Diplôme obtenu : M. Sc.

Lien vers le document dans Papyrus

Analyse des traces d'exécution pour la vérification des protocoles d'interaction dans les systèmes multiagents Thèses et mémoires dirigés / 2003 - 2003
Diplômé(e) : Ben Ayed, Nourchène
Cycle : Maîtrise
Diplôme obtenu : M. Sc.

Lien vers le document dans Papyrus

Software stability assessment using multiple prediction models Thèses et mémoires dirigés / 2003 - 2003
Diplômé(e) : Zhang, Hong
Cycle : Maîtrise
Diplôme obtenu : M. Sc.

Lien vers le document dans Papyrus

A case-based reasoning diagnosis system for AHU (Air-Handling Unit) Thèses et mémoires dirigés / 2002 - 2002
Diplômé(e) : Zheng, Suoshi
Cycle : Maîtrise
Diplôme obtenu : M. Sc.

Lien vers le document dans Papyrus

Enhancing and evolving a rule-based system using historical data : a neuro-fuzzy approach Thèses et mémoires dirigés / 2002 - 2002
Diplômé(e) : Mai, Gang
Cycle : Maîtrise
Diplôme obtenu : M. Sc.

Lien vers le document dans Papyrus

Extension des modèles de prédiction de la qualité du logiciel en utilisant la logique floue et les heuristiques du domaine Thèses et mémoires dirigés / 2002 - 2002
Diplômé(e) : Serhani, Mohamed Adel
Cycle : Maîtrise
Diplôme obtenu : M. Sc.

Lien vers le document dans Papyrus

Identification des objets dans les applications léguées basée sur les algorithmes génétiques Thèses et mémoires dirigés / 2002 - 2002
Diplômé(e) : Konkobo, Idrissa
Cycle : Maîtrise
Diplôme obtenu : M. Sc.

Lien vers le document dans Papyrus

Obje[c]t identification using conceptual clustering Thèses et mémoires dirigés / 2002 - 2002
Diplômé(e) : Shen, Shiqiang
Cycle : Maîtrise
Diplôme obtenu : M. Sc.

Lien vers le document dans Papyrus

001_correct : un environnement de restructuration des programmes objets piloté par la qualité Thèses et mémoires dirigés / 2002 - 2002
Diplômé(e) : Chawiche, Hassan M.
Cycle : Maîtrise
Diplôme obtenu : M. Sc.

Lien vers le document dans Papyrus

Gestionnaire de connaissances pour systèmes hybrides objets-règles Thèses et mémoires dirigés / 2001 - 2001
Diplômé(e) : Es-salihe, Mustapha
Cycle : Maîtrise
Diplôme obtenu : M. Sc.

Lien vers le document dans Papyrus

Projets de recherche Tout déplier Tout replier

Improving automation and assistance for software engineering tasks with generative AI Projet de recherche au Canada / 2025 - 2031

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

From examples to knowledge to software engineering support and automation Projet de recherche au Canada / 2019 - 2026

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

Efficient Support of Code Review Process with Deep Learning Projet de recherche au Canada / 2023 - 2025

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

Digital Twins for Vertical Farming Projet de recherche au Canada / 2022 - 2025

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

Digital Twins for Vertical Farming Projet de recherche au Canada / 2022 - 2025

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

Toward Robust and Adaptable Deep Learning Models of Code Projet de recherche au Canada / 2022 - 2024

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

L’assistance au développement du logiciel au temps des données massives Projet de recherche au Canada / 2020 - 2023

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

Multi-paradigm digital twin framework for biophysical systems: Application to vertical farming Projet de recherche au Canada / 2022 - 2022

Chercheur principal : Houari Sahraoui
Co-chercheurs : Eugene Syriani

Supplément COVID-19 CRSNG_From examples to knowledge to software engineering support and automation Projet de recherche au Canada / 2020 - 2021

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

LEARNING FROM EXAMPLES TO IMPROVE AUTOMATION IN MODEL-DRIVEN ENGINEERING Projet de recherche au Canada / 2014 - 2021

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

Migration des applications logicielles vers le "Cloud" Projet de recherche au Canada / 2017 - 2018

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

ADDRESSING ISSUES IN SOFTWARE ENGINEERING AUTOMATION USING VISUALIZATION AND SEARCH-BASED METHODS Projet de recherche au Canada / 2000 - 2015

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

ADDRESSING ISSUES IN SOFTWARE ENGINEERING AUTOMATION USING VISUALIZATION AND SEARCH-BASED METHODS Projet de recherche au Canada / 2009 - 2013

Chercheur principal : Houari Sahraoui

Publications Tout déplier Tout replier

2026

  • Syntactic Multilingual Probing of Pre-Trained Language Models of Code (Journal of Systems and Software)
  • MDE for Crop Representations in Smart Farming Digital Twins: A Reinforcement Learning Perspective (SoSyM)
  • On the Utility of Domain Modeling Assistance with Large Language Models (TOSEM)
  • Modeling Sampling Workflows for Code Repositories (MSR)
  • Creativity Beyond Functionality: An Observational Study of Easter Eggs in Video Games (Games and Software Engineering Workshop)

2025

  • Automation in Model-Driven Engineering: A Look Back, and Ahead (TOSEM)
  • Exploring Parameter-Efficient Fine-Tuning Techniques for Code Generation with Large Language Models (TOSEM)
  • Combining Large Language Models with Static Analyzers for Code Review Generation (MSR)
  • Harnessing Large Language Models for Curated Code Reviews (MSR)
  • On the Challenges of Integrating Digital Twins (EDTconf)
  • MONO2REST: Identifying and Exposing Microservices: A Reusable RESTification Approach (ICSR)
  • Engineering Digital Twins for AI-Assisted Scientific Discovery: Case of Plasma-Enhanced Deposition (EDTconf)

2024

  • CodeUltraFeedback: An LLM-as-a-Judge Dataset for Aligning Large Language Models to Coding Preferences (TOSEM)
  • Improving Repair of Semantic ATL Errors Using a Social Diversity Metric (SoSyM)
  • Building Domain-Specific Machine Learning Workflows: A Conceptual Framework for the State of the Practice (TOSEM)
  • Improving the Learning of Code Review Successive Tasks with Cross-Task Knowledge Distillation (FSE, ACM SIGSOFT Distinguished Paper Award)
  • A Modeling Methodology for Crop Representation in Digital Twins for Smart Farming (EDTconf)
  • CodeLL: A Lifelong Learning Dataset to Support the Co-Evolution of Data and Language Models of Code (MSR)

2023

  • Toward Optimal Psychological Functioning in AI-Driven Software Engineering Tasks (IEEE Software)
  • Polyglot Software Development: Wait, What? (IEEE Software)
  • MoTrans-BDI: Leveraging the Beliefs-Desires-Intentions Agent Architecture for Collaborative Model Transformation by Example (Journal of Computer Languages)
  • Fingerprinting and Building Large Reproducible Datasets (ACM REP)
  • Towards Using Few-Shot Prompt Learning for Automating Model Completion (ICSE NIER)
  • Co-Simulation for Controlled Environment Agriculture (ANNSIM)
  • On the Usage of Continual Learning for Out-of-Distribution Generalization in Pre-Trained Language Models of Code (ESEC/FSE)
  • Digital Twins for Cyber-Biophysical Systems: Challenges and Lessons Learned (MODELS, Best Paper Award)
  • A Multi-Step Learning Approach to Assist Code Review (SANER)

2022

  • Promoting Social Diversity for the Automated Learning of Complex MDE Artefacts (SoSyM)
  • Learning from Code Repositories to Recommend Model Classes (JOT)
  • Recommending Metamodel Concepts during Modeling Activities with Pre-Trained Language Models (SoSyM)
  • A Generic Approach to Detect Design Patterns in Model Transformations Using a String-Matching Algorithm (SoSyM)
  • Better Modeling the Programming World with Code Concept Graphs-Augmented Multi-Modal Learning (ICSE NIER)
  • Towards Automatically Extracting UML Class Diagrams from Natural Language Specifications (MDE Intelligence)
  • Fine-Grained Analysis of Similar Code Snippets (ICSR)
  • Fighting Evil Is Not Enough When Refactoring Metamodels: Promoting the Good Also Matters (SAC)
  • Global Decision Making Over Deep Variability in Feedback-Driven Software Development (ASE NIER)
  • AST-Probe: Recovering Abstract Syntax Trees from Hidden Representations of Pre-Trained Language Models (ASE)

2021

  • A Hitchhiker’s Guide to Model-Driven Engineering for Data-Centric Systems (IEEE Software)
  • Fixing Multiple Type Errors in Model Transformations with Alternative Oracles to Test Cases (JOT)
  • Metamodel Refactoring Using Constraint Solving: A Quality-Based Perspective (SAM)
  • Automated Patch Generation for Fixing Semantic Errors in ATL Transformation Rules (MODELS)
  • Understanding High-Level Behavior with a Light-Traces Visualization Metaphor (VISSOFT)
  • Checking Temporal Patterns of API Usage Without Code Execution (FormaliSE)

2020

  • Towards Assisting Developers in API Usage by Automated Recovery of Complex Temporal Patterns (Information and Software Technology)
  • Opportunities in Intelligent Modeling Assistance (SoSyM)
  • ReSIde: Reusable Service Identification from Software Families (Journal of Systems and Software)

Prix et distinctions

    • Prix pour l’ensemble de la carrière en informatique (CS-Can | Info-Can, 2026)
    • ACM SIGSOFT Distinguished Paper Award (2024)
    • Prix du meilleur article – MODELS (2023)
    • Fellow de l’Automated Software Engineering (2023)
    • IEEE TCSE 10-Year Most Influential Paper Award (2021)
    • Trois ACM Service Recognition Awards (2003, 2020, 2022)
    • Deux prix du meilleur article (2010)
    • ACM Distinguished Paper Award (2005)
    • Prix d’excellence dans l’enseignement des sciences de l’Université de Montréal (2003–2004)

Nouvelles

Consultez cette fiche sur :