1. Managing Design-Time Uncertainty, [pdf]
    Michalis Famelis and Marsha Chechik,
    SOSYM, March 2017.
  2. Towards Modeling and Reasoning with Design-Time Uncertainty
    Michalis Famelis, Rick Salay and Marsha Chechik,
    in progress.


  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.