Passer au contenu

/ Research

Je donne

Rechercher

Natural Sciences and Engineering

Houari Sahraoui

Génie logiciel

Vice-doyen

Faculté des arts et des sciences - Direction

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

514 343-5746

houari.sahraoui@umontreal.ca

Secondary number: 514 343-5834 (Télécopieur)

Profile

Research 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.

Biography

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.

Awards and recognitions

  • 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 and responsabilities

Teaching and supervision

Student supervision

Theses and dissertation supervision (Papyrus Institutional Repository)

2019

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

Graduate : Batot, Edouard
Cycle : Doctoral
Grade : Ph. D.
2018

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

Graduate : Dbouba, Selsabil
Cycle : Master's
Grade : M. Sc.
2018

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

Graduate : Gallais-Jimenez, Maxime
Cycle : Master's
Grade : M. Sc.
2017

Inferring API Usage Patterns and Constraints : a Holistic Approach

Graduate : Saied, Mohamed Aymen
Cycle : Doctoral
Grade : Ph. D.
2017

Using goal-driven assistants for software visualization

Graduate : Ndiaye, Alassane
Cycle : Master's
Grade : M. Sc.
2015

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

Graduate : Ouni, Ali
Cycle : Doctoral
Grade : Ph. D.
2015

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

Graduate : Benomar, Omar
Cycle : Doctoral
Grade : Ph. D.
2015

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

Graduate : Ahumada Pardo, Dania I.
Cycle : Master's
Grade : M. Sc.
2014

Improving automation in model-driven engineering using examples

Graduate : Faunes Carvallo, Martin
Cycle : Doctoral
Grade : Ph. D.
2012

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

Graduate : Bouvier, Simon
Cycle : Master's
Grade : M. Sc.
2011

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

Graduate : Langelier, Guillaume
Cycle : Doctoral
Grade : Ph. D.
2011

Modelling software quality : a multidimensional approach

Graduate : Vaucher, Stéphane
Cycle : Doctoral
Grade : Ph. D.
2011

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

Graduate : Bouchoucha, Arbi
Cycle : Master's
Grade : M. Sc.
2011

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

Graduate : Jridi, Jamel Eddine
Cycle : Master's
Grade : M. Sc.
2011

Transformation by example

Graduate : Kessentini, Marouane
Cycle : Doctoral
Grade : Ph. D.
2010

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

Graduate : Grati, Hassen
Cycle : Master's
Grade : M. Sc.
2010

Développement logiciel par transformation de modèles

Graduate : El boussaidi, Ghizlane
Cycle : Doctoral
Grade : Ph. D.
2008

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

Graduate : Malak, Ghazwa
Cycle : Doctoral
Grade : Ph. D.
2008

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

Graduate : Hassaine, Salima
Cycle : Master's
Grade : M. Sc.
2008

Rule-based quality heuristics formalization and identification

Graduate : Yang, Fan
Cycle : Master's
Grade : M. Sc.
2008

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

Graduate : Dhambri, Karim
Cycle : Master's
Grade : M. Sc.
2007

Modélisation pour la gestion de modèles

Graduate : Dinh, Thi Lan Anh
Cycle : Doctoral
Grade : Ph. D.
2007

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

Graduate : Pham, Viet Thang
Cycle : Doctoral
Grade : Ph. D.
2007

Visualisation de la qualité des logiciels de grandes taille

Graduate : Langelier, Guillaume
Cycle : Master's
Grade : M. Sc.
2006

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

Graduate : Rouatbi, Mohamed
Cycle : Master's
Grade : M. Sc.
2006

Formal checking of web based applications

Graduate : Barburas, Doina Mirela
Cycle : Master's
Grade : M. Sc.
2005

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

Graduate : Cheikhi, Laila
Cycle : Master's
Grade : M. Sc.
2005

Migrating legacy system towards object technology

Graduate : Wu, Lei
Cycle : Doctoral
Grade : Ph. D.
2005

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

Graduate : El Aoumari, Sanaa
Cycle : Master's
Grade : M. Sc.
2004

Determination of software quality through a generic model

Graduate : Mehio, Nouha
Cycle : Master's
Grade : M. Sc.
2003

Software stability assessment using multiple prediction models

Graduate : Zhang, Hong
Cycle : Master's
Grade : M. Sc.

Projects

Research projects

2019 - 2025

From examples to knowledge to software engineering support and automation

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
2014 - 2021

LEARNING FROM EXAMPLES TO IMPROVE AUTOMATION IN MODEL-DRIVEN ENGINEERING

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
2017 - 2018

Migration des applications logicielles vers le "Cloud"

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
2000 - 2015

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

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
2009 - 2013

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

Lead researcher : Houari Sahraoui

Outreach

Publications and presentations

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

  • Computer Science
  • Computer Engineering and Software Engineering

Areas of expertise

  • Software engineering
  • Automated software engineering
  • Empirical software engineering
  • Model-driven engineering
  • Software metric
  • Search-based Software Engineering
  • Reverse engineering
  • Software visualization