Passer au contenu

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

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 2163

houari.sahraoui@umontreal.ca

514 343-5746

Télécopieur : 514 343-5834

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.

Lire plus…

Expertises

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.

Encadrement Tout déplier Tout replier

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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
É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.
Transformation by example Thèses et mémoires dirigés / 2011 - 2011
Diplômé(e) : Kessentini, Marouane
Cycle : Doctorat
Diplôme obtenu : Ph. D.
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.
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.
É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.
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.
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.
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.
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.
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.
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.
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.
É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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.

Projets de recherche Tout déplier Tout replier

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

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

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

FGR CRSNG : 20152016 Projet de recherche au Canada / 2015 - 2016

Chercheur principal : Houari Sahraoui
Sources de financement : CRSNG/Conseil de recherches en sciences naturelles et génie du Canada (CRSNG)
Programmes de subvention : PVXXXXXX-FGR - Subvention de recherche institutionnelle

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

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.

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.

Informations supplémentaires

Consultez cette fiche sur :