Michalis Famelis

According to our database, Michalis Famelis authored at least 44 papers between 2011 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Rationale Dataset and Analysis for the Commit Messages of the Linux Kernel Out-of-Memory Killer.

Mouna Dhaouadi, Bentley James Oakes, Michalis Famelis

CoRR, 2024

2023

Towards Understanding and Analyzing Rationale in Commit Messages Using a Knowledge Graph Approach.

Mouna Dhaouadi, Bentley James Oakes, Michalis Famelis

Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023

2022

Building Domain-Specific Machine Learning Workflows: A Conceptual Framework for the State-of-the-Practice.

Bentley James Oakes, Michalis Famelis, Houari A. Sahraoui

CoRR, 2022

Code Sophistication: From Code Recommendation to Logic Recommendation.

Jessie Galasso, Michalis Famelis, Houari A. Sahraoui

CoRR, 2022

Automated extraction and checking of property models from source code for robot swarms.

Ettore Merlo, Carlo Pinciroli, Jacopo Panerati, Michalis Famelis, Giovanni Beltrame

Proceedings of the 4th International Workshop on Robotics Software Engineering, 2022

End-to-End Rationale Reconstruction.

Mouna Dhaouadi, Bentley James Oakes, Michalis Famelis

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

Fine-Grained Analysis of Similar Code Snippets.

Jessie Galasso, Michalis Famelis, Houari A. Sahraoui

Proceedings of the Reuse and Software Quality, 2022

2021

Locating Latent Design Information in Developer Discussions: A Study on Pull Requests.

Giovanni Viviani, Michalis Famelis, Xin Xia, Calahan Janik-Jones, Gail C. Murphy

IEEE Trans. Software Eng., 2021

Towards a Generic Method for Articulating Design-time Uncertainty.

Mouna Dhaouadi, Kate M. B. Spencer, Megan H. Varnum, Alicia M. Grubb, Michalis Famelis

J. Object Technol., 2021

Towards Checking Consistency-Breaking Updates between Models and Generated Artifacts.

MohammadAmin Zaheri, Michalis Famelis, Eugene Syriani

Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2021

Metamodel Refactoring using Constraint Solving: a Quality-based Perspective.

Oussama Ben Sghaier, Houari A. Sahraoui, Michalis Famelis

Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2021

Checking temporal patterns of API usage without code execution.

Erick Raelijohn, Michalis Famelis, Houari A. Sahraoui

Proceedings of the 9th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2021

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

Proceedings of the Composing Model-Based Analysis Tools, 2021

2020

Towards assisting developers in API usage by automated recovery of complex temporal patterns.

Mohamed Aymen Saied, Erick Raelijohn, Edouard Batot, Michalis Famelis, Houari A. Sahraoui

Inf. Softw. Technol., 2020

Can Refactorings Indicate Design Tradeoffs?

Thomas Schweizer, Vassilis Zafeiris, Marios Fokaefs, Michalis Famelis

Proceedings of the 20th IEEE International Working Conference on Source Code Analysis and Manipulation, 2020

A Vision Towards A Conceptual Basis for the Systematic Treatment of Uncertainty in Goal Modelling.

Sanaa A. Alwidian, Mouna Dhaouadi, Michalis Famelis

Proceedings of the SAM '20: 12th System Analysis and Modelling Conference, 2020

2019

Managing design-time uncertainty.

Michalis Famelis, Marsha Chechik

Softw. Syst. Model., 2019

Contents for a Model-Based Software Engineering Body of Knowledge.

Loli Burgueño, Federico Ciccozzi, Michalis Famelis, Gerti Kappel, Leen Lambers, Sébastien Mosser, Richard F. Paige, Alfonso Pierantonio, Arend Rensink, Rick Salay, Gabriele Taentzer, Antonio Vallecillo, Manuel Wimmer

Softw. Syst. Model., 2019

Towards Reasoning About Product Lines with Design Choices.

Navpreet Kaur, Michalis Famelis

Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019

A vision for helping developers use APIs by leveraging temporal patterns.

Erick Raelijohn, Michalis Famelis, Houari A. Sahraoui

Proceedings of the 7th International Workshop on Formal Methods in Software Engineering, 2019

2018

How do we teach modelling and model-driven engineering?: a survey.

Federico Ciccozzi, Michalis Famelis, Gerti Kappel, Leen Lambers, Sébastien Mosser, Richard F. Paige, Alfonso Pierantonio, Arend Rensink, Rick Salay, Gabi Taentzer, Antonio Vallecillo, Manuel Wimmer

Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2018

Towards a body of knowledge for model-based software engineering.

Federico Ciccozzi, Michalis Famelis, Gerti Kappel, Leen Lambers, Sébastien Mosser, Richard F. Paige, Alfonso Pierantonio, Arend Rensink, Rick Salay, Gabi Taentzer, Antonio Vallecillo, Manuel Wimmer

Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2018

Preface to the 2nd International Workshop on Model Driven Engineering Tools (MDETools 2018).

Mojtaba Bagherzadeh, Francis Bordeleau, Juergen Dingel, Michalis Famelis, Antonio García-Domínguez, Raquel Araújo de Oliveira, Ernesto Posse, Ed Seidewitz, Bran Selic

Proceedings of MODELS 2018 Workshops: ModComp, 2018

What design topics do developers discuss?

Giovanni Viviani, Calahan Janik-Jones, Michalis Famelis, Xin Xia, Gail C. Murphy

Proceedings of the 26th Conference on Program Comprehension, 2018

The structure of software design discussions.

Giovanni Viviani, Calahan Janik-Jones, Michalis Famelis, Gail C. Murphy

Proceedings of the 11th International Workshop on Cooperative and Human Aspects of Software Engineering, 2018

Towards the automated recovery of complex temporal API-usage patterns.

Mohamed Aymen Saied, Houari A. Sahraoui, Edouard Batot, Michalis Famelis, Pierre-Olivier Talbot

Proceedings of the Genetic and Evolutionary Computation Conference, 2018

2017

Supporting Consensus-based Sofware Development: a Vision Paper.

Mathieu Lavallée, Guillaume Beaulieu, Michalis Famelis

Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017

Software Product Lines with Design Choices: Reasoning about Variability and Design Uncertainty.

Michalis Famelis, Julia Rubin, Krzysztof Czarnecki, Rick Salay, Marsha Chechik

Proceedings of the 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2017

Heuristic-Based Recommendation for Metamodel - OCL Coevolution.

Edouard Batot, Wael Kessentini, Houari A. Sahraoui, Michalis Famelis

Proceedings of the 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2017

2016

Managing Design-Time Uncertainty in Software Models.

Michail Famelis

PhD thesis, 2016

Perspectives of Model Transformation Reuse.

Marsha Chechik, Michalis Famelis, Rick Salay, Daniel Strüber

Proceedings of the Integrated Formal Methods - 12th International Conference, 2016

2015

A Methodology for Verifying Refinements of Partial Models.

Rick Salay, Marsha Chechik, Michalis Famelis, Jan Gorzny

J. Object Technol., 2015

MMINT: A Graphical Tool for Interactive Model Management.

Alessio Di Sandro, Rick Salay, Michalis Famelis, Sahar Kokaly, Marsha Chechik

Proceedings of the MoDELS 2015 Demo and Poster Session co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), 2015

MU-MMINT: An IDE for Model Uncertainty.

Michalis Famelis, Naama Ben-David, Alessio Di Sandro, Rick Salay, Marsha Chechik

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Migrating Automotive Product Lines: A Case Study.

Michalis Famelis, Levi Lucio, Gehan M. K. Selim, Alessio Di Sandro, Rick Salay, Marsha Chechik, James R. Cordy, Jürgen Dingel, Hans Vangheluwe, S. Ramesh

Proceedings of the Theory and Practice of Model Transformations, 2015

2014

Lifting model transformations to product lines.

Rick Salay, Michalis Famelis, Julia Rubin, Alessio Di Sandro, Marsha Chechik

Proceedings of the 36th International Conference on Software Engineering, 2014

Using developer conversations to resolve uncertainty in software development: a position paper.

Ahmed Shah Mashiyat, Michalis Famelis, Rick Salay, Marsha Chechik

Proceedings of the 4th International Workshop on Recommendation Systems for Software Engineering, 2014

2013

Transformation of Models Containing Uncertainty.

Michalis Famelis, Rick Salay, Alessio Di Sandro, Marsha Chechik

Proceedings of the Model-Driven Engineering Languages and Systems, 2013

Research Questions for Validation and Verification in the Context of Model-Based Engineering.

Catherine Dubois, Michalis Famelis, Martin Gogolla, Leonel Nóbrega, Ileana Ober, Martina Seidl, Markus Völter

Proceedings of the 10th International Workshop on Model Driven Engineering, 2013

MAV-Vis: a notation for model uncertainty.

Michalis Famelis, Stephanie Santosa

Proceedings of the 5th International Workshop on Modeling in Software Engineering, 2013

2012

The semantics of partial model transformations.

Michalis Famelis, Rick Salay, Marsha Chechik

Proceedings of the 4th International Workshop on Modeling in Software Engineering, 2012

Partial models: Towards modeling and reasoning with uncertainty.

Michalis Famelis, Rick Salay, Marsha Chechik

Proceedings of the 34th International Conference on Software Engineering, 2012

Language Independent Refinement Using Partial Modeling.

Rick Salay, Michalis Famelis, Marsha Chechik

Proceedings of the Fundamental Approaches to Software Engineering, 2012

2011

Partial models: a position paper.

Michalis Famelis, Shoham Ben-David, Marsha Chechik, Rick Salay

Proceedings of the 8th International Workshop on Model-Driven Engineering, 2011