Links / Liens:

Papers / Articles


  1. A Vision for Helping Developers Use APIs by Leveraging Temporal Patterns [pdf|slides]
    Erick Raelijohn, Michalis Famelis, Houari Sahraoui
    FormaliSE 2019
  2. Locating Latent Design Information in Developer Discussions: A Study on Pull Requests [draft]
    Giovanni Viviani, Michalis Famelis, Xin Xia, Calahan Janik-Jones, Gail C. Murphy
    to appear in IEEE Transactions on Software Engineering


  1. The Structure of Software Design Discussions, [pdf]
    Giovanni Viviani, Calahan Janik-Jones, Michalis Famelis, Gail C. Murphy,
    CHASE 2018
  2. What Design Topics do Developers Discuss?, [pdf]
    Giovanni Viviani, Calahan Janik-Jones, Michalis Famelis, Xin Xia, Gail C. Murphy,
    ICPC 2018 ERA
  3. Towards the Automated Recovery of Complex Temporal API-Usage Patterns, [pdf]
    Mohamed Aymen Saied, Houari Sahraoui, Edouard Batot, Michalis Famelis, P-O Talbot,
    GECCO 2018
  4. Towards a Body of Knowledge for Model-Based Software Engineering,
    Federico Ciccozzi, Michalis Famelis, Gerti Kappel, Leen
    Lambers, Sebastien Mosser, Richard Paige, Alfonso Pierantonio, Arend Rensink, Rick Salay, Gabi Taentzer, Antonio Vallecillo and Manuel Wimmer
    MODELS 2018 Educators Symposium
  5. How do we teach Modelling and Model-Driven Engineering? A survey,
    Alfonso Pierantonio, Federico Ciccozzi, Michalis Famelis, Gerti Kappel, Leen Lembers, Sebastien Mosser, Richard Paige, Arend Rensink, Rick Salay, Gabriele Taentzer, Antonio Vallecillo and Manuel Wimmer
    MODELS 2018 Educators Symposium


  1. Managing Design-Time Uncertainty, [pdf]
    Michalis Famelis and Marsha Chechik,
    SOSYM, March 2017,
    SoSyM 2017 Best Paper Award,
    Invited for presentation to MODELS 2017 [abstract|slides].
  2. Software Product Lines with Design Choices: Reasoning about Variability and Design Uncertainty, [draft|slides]
    Michalis Famelis, Julia Rubin, Krzysztof Czarnecki, Rick Salay and Marsha Chechik,
    MODELS 2017.
  3. Heuristic-based Recommendation for Metamodel–OCL Coevolution [slides],
    Edouard Batot, Wael Kessentini, Houari Sahraoui and Michalis Famelis,
    MODELS 2017.
  4. Supporting Consensus-based Software Development: a Vision Paper, [draft|slides]
    Mathieu Lavallée, Guillaume Beaulieu, Michalis Famelis,


  1. Managing Design-Time Uncertainty in Software Models[pdf|slides]
    PhD thesis, University of Toronto, 2016
  2. Perspectives of Model Transformation Reuse [pdf]
    Marsha Chechik, Michalis Famelis, Rick Salay and Daniel Strüber,
    iFM 2016.


  1. Verification of Uncertainty Reducing Model Transformations [pdf]
    Rick Salay, Marsha Chechik, Michalis Famelis and Jan Gorzny,
    Journal of Object Technology, Volume 14, no. 3 (August 2015).
  2. MU-MMINT: an IDE for Model Uncertainty [pdf|video]
    Michalis Famelis, Naama Ben-David, Alessio Di Sandro, Rick Salay, and Marsha Chechik
    ICSE 2015 Demonstrations track.
  3. Migrating Automotive Product Lines: a Case Study [pdf|slides]
    Michalis Famelis, Levi Lúcio, Gehan Selim, Alessio Di Sandro, Rick Salay, Marsha Chechik, James R Cordy, Juergen Dingel, Hans Vangheluwe, and Ramesh S
    ICMT 2015
    Best Applications Track Paper Award
  4. MMINT: A Graphical Tool for Interactive Model Management [pdf|video]
    Alessio Di Sandro, Rick Salay, Michalis Famelis, Sahar Kokaly, Marsha Chechik,
    MODELS 2015 demonstrations track.


  1. Lifting Model Transformations to Product Lines [pdf]
    Rick Salay, Michalis Famelis, Julia Rubin, Alessio di Sandro, Marsha Chechik,
    ICSE 2014.
  2. Using Developer Conversations to Resolve Uncertainty in Software Development: A Position Paper [pdf|slides]
    Ahmed Mashiyat, Michalis Famelis, Rick Salay and Marsha Chechik,
    RSSE 2014 at ICSE 2014


  1. MAV-Vis: a Notation for Model Uncertainty [pdf|slides|poster|slideshare]
    Michalis Famelis and Stephanie Santosa,
    MiSE 2013 at ICSE 2013.
  2. Transformation of Models Containing Uncertainty [pdf|slides|slideashare|poster]
    Michalis Famelis, Rick Salay, Alessio Di Sandro, Marsha Chechik,
    MODELS 2013.
  3. Research Questions for Validation and Verification in the Context of Model-Based Engineering  [pdf|slideshare]
    Catherine Dubois, Michalis Famelis, Martin Gogolla, Leonel Nobrega, Ileana Ober, Martina Seidl and Markus Voelter,
    MoDeVVa 2013 at MODELS 2013.
  4. Proceedings of the 10th International Workshop on Model Driven Engineering, Verification and Validation MoDeVVa 2013
    Frédéric Boulanger, Michalis Famelis, Daniel Ratiu (Editors)
    MODELS 2013


  1. Partial Models: Towards Modeling and Reasoning with Uncertainty [pdf|talk|slideshare]
    Michalis Famelis, Rick Salay and Marsha Chechik,
    ICSE 2012.
    ACM SIGSOFT Distinguished Paper Award 
  2. Language Independent Renement using Partial Modeling [pdf]
    Rick Salay, Michalis Famelis and Marsha Chechik,
    FASE 2012
  3. The Semantics of Partial Model Transformations [pdf|slides|poster|slideshare]
    Michalis Famelis, Rick Salay and Marsha Chechik,
    MiSE 2012 at ICSE 2012.
  4. Comparing the Effectiveness of Reasoning Formalisms for Partial Models [pdf|slideshare]
    Pooya Saadatpanah, Michalis Famelis, Jan GorznyNathan Robinson, Marsha Chechik, Rick Salay,
    MoDeVVa 2012 at MODELS 2012.
  5. Uncertainty Management With Partial Models [pdf|slideshare]
    Doctoral Symposium at MODELS 2012.
  6. MoDeVVa 2012 Workshop Summary [pdf]
    Frédéric Boulanger, Michalis Famelis, Frederic FondementLevi Lúcio,  Stephan Weißleder
    MoDeVVa 2012 at MODELS 2012.


  1. Partial models: A position paper [pdf|slides]
    Michalis Famelis, Shoham Ben-DavidMarsha Chechik and Rick Salay,
    MoDeVVA 2011 at MODELS 2011.

Theses / Thèses

Posters / Affiches de recherche

Videos / Vidéos