Houari Sahraoui
- Vice-doyen
-
Faculté des arts et des sciences - Direction
Pavillon Lionel-Groulx office C9076-3
- Professeur titulaire
-
Faculté des arts et des sciences - Département d'informatique et de recherche opérationnelle
André-Aisenstadt office 2359
Télécopieur : 514 343-5834
Web : ResearchGate
Web : LinkedIn
Web : Google Scholar
Web : Autre site web
Affiliations
Areas of Expertise
- Software engineering
- Automated software engineering
- Empirical software engineering
- Model-driven engineering
- Software metric
- Search-based Software Engineering
- Reverse engineering
- Software visualization
My research interests include, among others, automated software engineering. I am particularly interested in model transformations learning from examples using evolutionary approaches. I also work on reverse engineering (comprehension) and reengineering (refactoring, migration to component-based software, etc.) of software using static and dynamic analysis. My concerns also include visualization of large sets of multidimensional data for software comprehension and maintenance.
Student supervision Expand all Collapse all
Co-simulation for controlled environment simulation
Thèses et mémoires dirigés
/
2024
-
2024
Aligning language models to code : exploring efficient, temporal, and preference alignment for code generation
Thèses et mémoires dirigés
/
2024
-
2024
Microservices identification in existing applications using meta-heuristics optimization and machine learning
Thèses et mémoires dirigés
/
2024
-
2024
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
Few-shot prompt learning for automating model completion
Thèses et mémoires dirigés
/
2023
-
2023
Extraction of UML class diagrams from natural language specifications
Thèses et mémoires dirigés
/
2023
-
2023
Automatically correcting syntactic and semantic errors in ATL transformations using multi-objective optimization
Thèses et mémoires dirigés
/
2023
-
2023
Graduate : VaraminyBahnemiry, Zahra
Cycle : Doctoral
Grade : Ph. D.
Cycle : Doctoral
Grade : Ph. D.
Optimizing vertical farming : control and scheduling algorithms for enhanced plant growth
Thèses et mémoires dirigés
/
2023
-
2023
Apprentissage de stratégies de calcul adaptatives pour les réseaux neuronaux profonds
Thèses et mémoires dirigés
/
2023
-
2023
Abstraction de comportement de haut niveau à l’aide de la visualisation interactive
Thèses et mémoires dirigés
/
2022
-
2022
Extending domain-specific modeling editors with multi-touch interactions
Thèses et mémoires dirigés
/
2021
-
2021
Towards using intelligent techniques to assist software specialists in their tasks
Thèses et mémoires dirigés
/
2021
-
2021
Pattern-based refactoring in model-driven engineering
Thèses et mémoires dirigés
/
2021
-
2021
Graduate : Mokaddem, Chihab eddine Mohamed Omar
Cycle : Doctoral
Grade : Ph. D.
Cycle : Doctoral
Grade : Ph. D.
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
Metamodel co-evolution with related model-driven engineering artifacts : a multi-objective search framework
Thèses et mémoires dirigés
/
2019
-
2019
From examples to knowledge in model-driven engineering : a holistic and pragmatic approach
Thèses et mémoires dirigés
/
2019
-
2019
Détection des utilisations à risque d’API : approche basée sur le système immunitaire
Thèses et mémoires dirigés
/
2018
-
2018
Caractérisation et étude de l’impact des permissions dans les applications mobiles
Thèses et mémoires dirigés
/
2018
-
2018
Using goal-driven assistants for software visualization
Thèses et mémoires dirigés
/
2017
-
2017
Inferring API Usage Patterns and Constraints : a Holistic Approach
Thèses et mémoires dirigés
/
2017
-
2017
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
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
A Mono- and Multi-objective Approach for Recommending Software Refactoring
Thèses et mémoires dirigés
/
2015
-
2015
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
Une approche heuristique pour l’apprentissage de transformations de modèles
complexes à partir d’exemples
Thèses et mémoires dirigés
/
2015
-
2015
A unified framework for the comprehension of software's time dimension
Thèses et mémoires dirigés
/
2015
-
2015
Improving automation in model-driven engineering using examples
Thèses et mémoires dirigés
/
2014
-
2014
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
Utilisation de la visualisation interactive pour l’analyse des dépendances dans les logiciels
Thèses et mémoires dirigés
/
2012
-
2012
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
Transformation by example
Thèses et mémoires dirigés
/
2011
-
2011
É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
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
Intégration de la visualisation à multiples vues pour le développement du logiciel
Thèses et mémoires dirigés
/
2011
-
2011
Formulation interactive des requêtes pour l’analyse et la compréhension du code source
Thèses et mémoires dirigés
/
2011
-
2011
Modelling software quality : a multidimensional approach
Thèses et mémoires dirigés
/
2011
-
2011
Développement logiciel par transformation de modèles
Thèses et mémoires dirigés
/
2010
-
2010
Rétro-ingénierie des diagrammes de séquence par visualisation interactive
Thèses et mémoires dirigés
/
2010
-
2010
Rule-based quality heuristics formalization and identification
Thèses et mémoires dirigés
/
2008
-
2008
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
Évaluation de la qualité des applications web : approche probabiliste
Thèses et mémoires dirigés
/
2008
-
2008
Un système d'aide à la visualisation interactive de logiciels
Thèses et mémoires dirigés
/
2008
-
2008
Détection visuelle d'anomalies de conception dans les programmes orientés objets
Thèses et mémoires dirigés
/
2008
-
2008
Visualisation de la qualité des logiciels de grandes taille
Thèses et mémoires dirigés
/
2007
-
2007
Modélisation pour la gestion de modèles
Thèses et mémoires dirigés
/
2007
-
2007
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
É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
Analyse de la qualité du logiciel : une approche par visualisation et simulation
Thèses et mémoires dirigés
/
2006
-
2006
Formal checking of web based applications
Thèses et mémoires dirigés
/
2006
-
2006
Estimation de l'impact du changement dans les programmes à objets
Thèses et mémoires dirigés
/
2005
-
2005
Estimation de la qualité du produit logiciel : réseaux Bayésiens
Thèses et mémoires dirigés
/
2005
-
2005
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
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
Migrating legacy system towards object technology
Thèses et mémoires dirigés
/
2005
-
2005
Determination of software quality through a generic model
Thèses et mémoires dirigés
/
2004
-
2004
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
Software stability assessment using multiple prediction models
Thèses et mémoires dirigés
/
2003
-
2003
001_correct : un environnement de restructuration des programmes objets piloté par la qualité
Thèses et mémoires dirigés
/
2002
-
2002
A case-based reasoning diagnosis system for AHU (Air-Handling Unit)
Thèses et mémoires dirigés
/
2002
-
2002
Enhancing and evolving a rule-based system using historical data : a neuro-fuzzy approach
Thèses et mémoires dirigés
/
2002
-
2002
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
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
Obje[c]t identification using conceptual clustering
Thèses et mémoires dirigés
/
2002
-
2002
Gestionnaire de connaissances pour systèmes hybrides objets-règles
Thèses et mémoires dirigés
/
2001
-
2001
Research projects Expand all Collapse all
From examples to knowledge to software engineering support and automation Projet de recherche au Canada / 2019 - 2026
Lead researcher :
Houari Sahraoui
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
Efficient Support of Code Review Process with Deep Learning Projet de recherche au Canada / 2023 - 2025
Lead researcher :
Houari Sahraoui
Funding sources:
CRSNG/Conseil de recherches en sciences naturelles et génie du Canada (CRSNG)
Grant programs:
PVXXXXXX-Subventions Alliance - International Catalyseur
Digital Twins for Vertical Farming Projet de recherche au Canada / 2022 - 2025
Funding sources:
MITACS Inc.
,
Ferme d'hiver technologies inc.
Grant programs:
PVXXXXXX-Stage Accélération Québec - MITACS
,
Digital Twins for Vertical Farming Projet de recherche au Canada / 2022 - 2025
Lead researcher :
Houari Sahraoui
Co-researchers :
Eugene Syriani
Funding sources:
CRSNG/Conseil de recherches en sciences naturelles et génie du Canada (CRSNG)
Grant programs:
PVXXXXXX-Subventions Alliance
Toward Robust and Adaptable Deep Learning Models of Code Projet de recherche au Canada / 2022 - 2024
Funding sources:
CRSNG/Conseil de recherches en sciences naturelles et génie du Canada (CRSNG)
Grant programs:
PVXXXXXX-Subventions Alliance
L’assistance au développement du logiciel au temps des données massives Projet de recherche au Canada / 2020 - 2023
Lead researcher :
Houari Sahraoui
Funding sources:
SPIIE/Secrétariat des programmes interorganismes à l’intention des établissements
Grant programs:
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
Lead researcher :
Houari Sahraoui
Co-researchers :
Eugene Syriani
Supplément COVID-19 CRSNG_From examples to knowledge to software engineering support and automation Projet de recherche au Canada / 2020 - 2021
Lead researcher :
Houari Sahraoui
Funding sources:
CRSNG/Conseil de recherches en sciences naturelles et génie du Canada (CRSNG)
Grant programs:
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
Lead researcher :
Houari Sahraoui
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
Migration des applications logicielles vers le "Cloud" Projet de recherche au Canada / 2017 - 2018
Lead researcher :
Houari Sahraoui
Funding sources:
CRSNG/Conseil de recherches en sciences naturelles et génie du Canada (CRSNG)
Grant programs:
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
Lead researcher :
Houari Sahraoui
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
ADDRESSING ISSUES IN SOFTWARE ENGINEERING AUTOMATION USING VISUALIZATION AND SEARCH-BASED METHODS Projet de recherche au Canada / 2009 - 2013
Lead researcher :
Houari Sahraoui
Publications Expand all Collapse all
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.
Additional Information
News
Browse this profile on: