Passer au contenu

/ Department of Computer Science and Operations Research

Je donne

Rechercher

Houari Sahraoui

Vcard

Vice-doyen

Faculté des arts et des sciences - Direction

Pavillon Lionel-Groulx office 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 office 2163

houari.sahraoui@umontreal.ca

514 343-5746

Télécopieur : 514 343-5834

Areas of Expertise

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

Metamodel co-evolution with related model-driven engineering artifacts : a multi-objective search framework Thèses et mémoires dirigés / 2019 - 2019
Graduate : Kessentini, Wael
Cycle : Doctoral
Grade : Ph. D.
From examples to knowledge in model-driven engineering : a holistic and pragmatic approach Thèses et mémoires dirigés / 2019 - 2019
Graduate : Batot, Edouard
Cycle : Doctoral
Grade : Ph. D.
Caractérisation et étude de l’impact des permissions dans les applications mobiles Thèses et mémoires dirigés / 2018 - 2018
Graduate : Dbouba, Selsabil
Cycle : Master's
Grade : M. Sc.
Détection des utilisations à risque d’API : approche basée sur le système immunitaire Thèses et mémoires dirigés / 2018 - 2018
Graduate : Gallais-Jimenez, Maxime
Cycle : Master's
Grade : M. Sc.
Inferring API Usage Patterns and Constraints : a Holistic Approach Thèses et mémoires dirigés / 2017 - 2017
Graduate : Saied, Mohamed Aymen
Cycle : Doctoral
Grade : Ph. D.
Using goal-driven assistants for software visualization Thèses et mémoires dirigés / 2017 - 2017
Graduate : Ndiaye, Alassane
Cycle : Master's
Grade : M. Sc.
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
Graduate : Aloulou, Houssem
Cycle : Master's
Grade : M. Sc.
Une approche heuristique pour l’apprentissage de transformations de modèles complexes à partir d’exemples Thèses et mémoires dirigés / 2015 - 2015
Graduate : Baki, Islem
Cycle : Master's
Grade : M. Sc.
A Mono- and Multi-objective Approach for Recommending Software Refactoring Thèses et mémoires dirigés / 2015 - 2015
Graduate : Ouni, Ali
Cycle : Doctoral
Grade : Ph. D.
A unified framework for the comprehension of software's time dimension Thèses et mémoires dirigés / 2015 - 2015
Graduate : Benomar, Omar
Cycle : Doctoral
Grade : Ph. D.
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
Graduate : Ahumada Pardo, Dania I.
Cycle : Master's
Grade : M. Sc.
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
Graduate : Sfayhi, Ahmed
Cycle : Master's
Grade : M. Sc.
Improving automation in model-driven engineering using examples Thèses et mémoires dirigés / 2014 - 2014
Graduate : Faunes Carvallo, Martin
Cycle : Doctoral
Grade : Ph. D.
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
Graduate : Allier, Simon
Cycle : Doctoral
Grade : D. Th.
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
Graduate : Duseau, Fleur
Cycle : Master's
Grade : M. Sc.
Utilisation de la visualisation interactive pour l’analyse des dépendances dans les logiciels Thèses et mémoires dirigés / 2012 - 2012
Graduate : Bouvier, Simon
Cycle : Master's
Grade : M. Sc.
Intégration de la visualisation à multiples vues pour le développement du logiciel Thèses et mémoires dirigés / 2011 - 2011
Graduate : Langelier, Guillaume
Cycle : Doctoral
Grade : Ph. D.
Modelling software quality : a multidimensional approach Thèses et mémoires dirigés / 2011 - 2011
Graduate : Vaucher, Stéphane
Cycle : Doctoral
Grade : Ph. D.
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
Graduate : Bouchoucha, Arbi
Cycle : Master's
Grade : M. Sc.
Formulation interactive des requêtes pour l’analyse et la compréhension du code source Thèses et mémoires dirigés / 2011 - 2011
Graduate : Jridi, Jamel Eddine
Cycle : Master's
Grade : M. Sc.
É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
Graduate : Haouari, Dorsaf
Cycle : Master's
Grade : M. Sc.
Transformation by example Thèses et mémoires dirigés / 2011 - 2011
Graduate : Kessentini, Marouane
Cycle : Doctoral
Grade : Ph. D.
Rétro-ingénierie des diagrammes de séquence par visualisation interactive Thèses et mémoires dirigés / 2010 - 2010
Graduate : Grati, Hassen
Cycle : Master's
Grade : M. Sc.
Développement logiciel par transformation de modèles Thèses et mémoires dirigés / 2010 - 2010
Graduate : El boussaidi, Ghizlane
Cycle : Doctoral
Grade : Ph. D.
Évaluation de la qualité des applications web : approche probabiliste Thèses et mémoires dirigés / 2008 - 2008
Graduate : Malak, Ghazwa
Cycle : Doctoral
Grade : Ph. D.
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
Graduate : Haydar, May
Cycle : Doctoral
Grade : Ph. D.
Un système d'aide à la visualisation interactive de logiciels Thèses et mémoires dirigés / 2008 - 2008
Graduate : Hassaine, Salima
Cycle : Master's
Grade : M. Sc.
Rule-based quality heuristics formalization and identification Thèses et mémoires dirigés / 2008 - 2008
Graduate : Yang, Fan
Cycle : Master's
Grade : M. Sc.
Détection visuelle d'anomalies de conception dans les programmes orientés objets Thèses et mémoires dirigés / 2008 - 2008
Graduate : Dhambri, Karim
Cycle : Master's
Grade : M. Sc.
Modélisation pour la gestion de modèles Thèses et mémoires dirigés / 2007 - 2007
Graduate : Dinh, Thi Lan Anh
Cycle : Doctoral
Grade : Ph. D.
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
Graduate : Pham, Viet Thang
Cycle : Doctoral
Grade : Ph. D.
Visualisation de la qualité des logiciels de grandes taille Thèses et mémoires dirigés / 2007 - 2007
Graduate : Langelier, Guillaume
Cycle : Master's
Grade : M. Sc.
É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
Graduate : Rouane Hacene, Mohamed
Cycle : Doctoral
Grade : Ph. D.
Analyse de la qualité du logiciel : une approche par visualisation et simulation Thèses et mémoires dirigés / 2006 - 2006
Graduate : Rouatbi, Mohamed
Cycle : Master's
Grade : M. Sc.
Formal checking of web based applications Thèses et mémoires dirigés / 2006 - 2006
Graduate : Barburas, Doina Mirela
Cycle : Master's
Grade : M. Sc.
Estimation de l'impact du changement dans les programmes à objets Thèses et mémoires dirigés / 2005 - 2005
Graduate : Cheikhi, Laila
Cycle : Master's
Grade : M. Sc.
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
Graduate : Ait Mehedine, Lynda
Cycle : Master's
Grade : M. Sc.
Migrating legacy system towards object technology Thèses et mémoires dirigés / 2005 - 2005
Graduate : Wu, Lei
Cycle : Doctoral
Grade : Ph. D.
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
Graduate : Bouktif, Salah
Cycle : Doctoral
Grade : Ph. D.
Estimation de la qualité du produit logiciel : réseaux Bayésiens Thèses et mémoires dirigés / 2005 - 2005
Graduate : El Aoumari, Sanaa
Cycle : Master's
Grade : M. Sc.
Determination of software quality through a generic model Thèses et mémoires dirigés / 2004 - 2004
Graduate : Mehio, Nouha
Cycle : Master's
Grade : M. Sc.
Software stability assessment using multiple prediction models Thèses et mémoires dirigés / 2003 - 2003
Graduate : Zhang, Hong
Cycle : Master's
Grade : M. Sc.
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
Graduate : Ben Ayed, Nourchène
Cycle : Master's
Grade : M. Sc.

Research projects Expand all Collapse all

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

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

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: