Links / Liens:

• Google Scholar
• DBLP page

Articles

2022

1. End-to-End Rationale Reconstruction [draft]
   Mouna Dhaouadi, Bentley Oakes, Michalis Famelis
   to appear in ASE NIER
2. Fine-grained Analysis of Similar Code Snippets [draft]
   Jessie Galasso, Houari Sahraoui, Michalis Famelis
   ICSR’22
3. Code Sophistication: From Code Recommendation to Logic Recommendation [arXiv]
   Jessie Galasso, Michalis Famelis, Houari Sahraoui
4. Building Domain-Specific Machine Learning Workflows: A Conceptual Framework for the State-of-the-Practice [arXiv]
   Bentley James Oakes, Michalis Famelis, Houari Sahraoui
5. Automated Extraction and Checking of Property Models from Source Code for Robot Swarms [slides]
   Ettore Merlo, Carlo Pinciroli, Jacopo Panerati, Michalis Famelis, Giovanni Beltrame,
   to appear in RoSE’22

2021

1. Towards a Generic Method for Articulating Design-time Uncertainty, [draft|video|video]
   Mouna Dhaouadi, Kate M. B. Spencer, Megan H. Varnum, Alicia M. Grubb, Michalis Famelis,
   Journal of Object Technology/ECMFA 2021
2. Checking temporal patterns of API usage without code execution, [draft|video|slides]
   Erick Raelijohn, Michalis Famelis, Houari Sahraoui
   FormaliSE 2021
3. Towards Checking Consistency-Breaking Updates between Models and Generated Artifacts [draft|slides],
   MohammadAmin Zaheri, Michalis Famelis, Eugene Syriani
   ME’21
4. Metamodel Refactoring using Constraint Solving: a Quality-based Perspective [draft],
   Oussama Ben Sghaier, Houari Sahraoui, Michalis Famelis
   SAM’21
5. Living with Uncertainty in Model-Based Development,
   Simona Bernardi, Michalis Famelis, Jean-Marc Jézéquel, Raffaela Mirandola, Diego Perez Palacin, Fiona A. C. Polack, Catia Trubiani
   Chapter in the book “Composing Model-Based Analysis Tools”

2020

1. Towards Assisting Developers in API Usage by Automated Recovery of Complex Temporal Patterns, [draft]
   Mohamed Aymen Saied, Erick Raelijohn, Edouard Batot, Michalis Famelis, Houari Sahraoui
   Information and Software Technology
2. A Vision Towards A Conceptual Basis for the Systematic Treatment of Uncertainty in Goal Modelling, [draft|video]
   Sanaa Alwidian, Mouna Dhaouadi, Michalis Famelis
   SAM’20
3. Can Refactorings Indicate Design Tradeoffs? [draft|video]
   Thomas Schweizer, Vassilis Zafeiris, Marios Fokaefs, Michalis Famelis
   SCAM’20

2019

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
   IEEE Transactions on Software Engineering
   Invited for Journal-first presentation at ICSE 2020.
3. Contents for a Model-Based Software Engineering Body of Knowledge,
   Loli Burgueño, Federico Ciccozzi, Michalis Famelis, Gerti Kappel, Leen Lambers, Sebastien Mosser, Richard F. Paige, Alfonso Pierantonio, Arend Rensink, Rick Salay, Gabriele Taentzer, Antonio Vallecillo, Manuel Wimmer
   SOSYM
4. Towards Reasoning about Product Lines with Design Choices, [draft|slides]
   Navpreet Kaur, Michalis Famelis
   MoDeVVa 2019

2018

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

2017

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,
   COMMitMDE’17.

2016

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.

2015

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.

2014

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

2013

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

2012

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 Gorzny, Nathan 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 Fondement, Levi Lúcio,  Stephan Weißleder
   MoDeVVa 2012 at MODELS 2012.

2011

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

Theses / Thèses

• Managing Design-Time Uncertainty in Software Models, [pdf]
  PhD thesis, University of Toronto, 2016
  Supervisor: Marsha Chechik.
  
• Model Management with Relation Types,
  MSc thesis, University of Toronto, 2008
  Supervisor: Marsha Chechik.
• A framework for the analysis and transformation of MOF models
  Greek: [pdf|slides], English [abstract|slides]
  Diploma thesis, National Technical University of Athens, 2008
  Supervisor: Kostas Kontogiannis.

Posters / Affiches de recherche

• Modelling Design Topics in Online Discussions,
  Calahan Janik-Jones, Michalis Famelis,
  CASCON 2017
• Model management for Automotive Software,
  Michalis Famelis, Marsha Chechik, Robert Baillargeon, Rick Salay, Qiyu Zhu
  presented in the November 2009  DCS Research in Action Showcase.
  An early version, presented at CASCON 2009 can be found here.
• Uncertainty Management With Partial Models
  Michalis Famelis, Jan Gorzny, Pooya SaadatPanah, Marsha Chechik and Rick Salay,
  presented in RIA’12.
• The Semantics of Partial Model Transformations [pdf|slides|poster|slideshare]
  Michalis Famelis, Rick Salay and Marsha Chechik,
  MiSE 2012.
• Modelepedia: the Community-driven Encyclopedia on Models and Relationships
  Vivien Suen, Rick Salay, Michalis Famelis, Alessio Di Sandro, Marsha Chechik,
  NECSIS workshop 2012.
• Using the Model Management Tool Framework for Managing Model Relationships
  Alessio Di Sandro, Rick Salay, Michalis Famelis, Vivien Suen, Marsha Chechik,
  NECSIS workshop 2012.
• Model Uncertainty: How to Model When You’re Not Sure What You Want To Say
  Rick Salay, Michalis Famelis, Marsha Chechik,
  NECSIS workshop 2013
• Transformation of Models Containing Uncertainty
  Michalis Famelis, Rick Salay, Alessio Di Sandro, Marsha Chechik,
  NECSIS workshop 2013

Videos / Vidéos

• Research videos playlist on the PeerTube of DIRO
• Webinar: MMINT — A Graphical Tool for Interactive Model Management [paper]
• MMINT: A Graphical Tool for Interactive Model Management [paper]
• MU-MMINT: an IDE for Model Uncertainty [paper]
• Towards a Generic Method for Articulating Design Uncertainty [alt|paper]
• A Vision Towards A Conceptual Basis for the Systematic Treatment of Uncertainty in Goal Modelling [paper|slides]