Michalis Famelis

Orcid: 0000-0003-3545-0274

Affiliations:
  • Université de Montréal, Canada


According to our database1, Michalis Famelis authored at least 46 papers between 2011 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Building Domain-Specific Machine Learning Workflows: A Conceptual Framework for the State of the Practice.
ACM Trans. Softw. Eng. Methodol., May, 2024

Towards Rapid Design of Compartmental Models.
Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, 2024

EpiMDE: A-Model Driven Engineering Platform for Epidemiological Modeling.
Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, 2024

Rationale Dataset and Analysis for the Commit Messages of the Linux Kernel Out-of-Memory Killer.
Proceedings of the 32nd IEEE/ACM International Conference on Program Comprehension, 2024

2023
Towards Understanding and Analyzing Rationale in Commit Messages Using a Knowledge Graph Approach.
Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023

2022
Code Sophistication: From Code Recommendation to Logic Recommendation.
CoRR, 2022

Automated extraction and checking of property models from source code for robot swarms.
Proceedings of the 4th International Workshop on Robotics Software Engineering, 2022

End-to-End Rationale Reconstruction.
Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

Fine-Grained Analysis of Similar Code Snippets.
Proceedings of the Reuse and Software Quality, 2022

2021
Locating Latent Design Information in Developer Discussions: A Study on Pull Requests.
IEEE Trans. Software Eng., 2021

Towards a Generic Method for Articulating Design-time Uncertainty.
J. Object Technol., 2021

Towards Checking Consistency-Breaking Updates between Models and Generated Artifacts.
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.
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.
Proceedings of the 9th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2021

Living with Uncertainty in Model-Based Development.
Proceedings of the Composing Model-Based Analysis Tools, 2021

2020
Towards assisting developers in API usage by automated recovery of complex temporal patterns.
Inf. Softw. Technol., 2020

Can Refactorings Indicate Design Tradeoffs?
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.
Proceedings of the SAM '20: 12th System Analysis and Modelling Conference, 2020

2019
Managing design-time uncertainty.
Softw. Syst. Model., 2019

Contents for a Model-Based Software Engineering Body of Knowledge.
Softw. Syst. Model., 2019

Towards Reasoning About Product Lines with Design Choices.
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.
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.
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.
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).
Proceedings of MODELS 2018 Workshops: ModComp, 2018

What design topics do developers discuss?
Proceedings of the 26th Conference on Program Comprehension, 2018

The structure of software design discussions.
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.
Proceedings of the Genetic and Evolutionary Computation Conference, 2018

2017
Supporting Consensus-based Sofware Development: a Vision Paper.
Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017

Software Product Lines with Design Choices: Reasoning about Variability and Design Uncertainty.
Proceedings of the 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2017

Heuristic-Based Recommendation for Metamodel - OCL Coevolution.
Proceedings of the 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2017

2016
Managing Design-Time Uncertainty in Software Models.
PhD thesis, 2016

Perspectives of Model Transformation Reuse.
Proceedings of the Integrated Formal Methods - 12th International Conference, 2016

2015
A Methodology for Verifying Refinements of Partial Models.
J. Object Technol., 2015

MMINT: A Graphical Tool for Interactive Model Management.
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.
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Migrating Automotive Product Lines: A Case Study.
Proceedings of the Theory and Practice of Model Transformations, 2015

2014
Lifting model transformations to product lines.
Proceedings of the 36th International Conference on Software Engineering, 2014

Using developer conversations to resolve uncertainty in software development: a position paper.
Proceedings of the 4th International Workshop on Recommendation Systems for Software Engineering, 2014

2013
Transformation of Models Containing Uncertainty.
Proceedings of the Model-Driven Engineering Languages and Systems, 2013

Research Questions for Validation and Verification in the Context of Model-Based Engineering.
Proceedings of the 10th International Workshop on Model Driven Engineering, 2013

MAV-Vis: a notation for model uncertainty.
Proceedings of the 5th International Workshop on Modeling in Software Engineering, 2013

2012
The semantics of partial model transformations.
Proceedings of the 4th International Workshop on Modeling in Software Engineering, 2012

Partial models: Towards modeling and reasoning with uncertainty.
Proceedings of the 34th International Conference on Software Engineering, 2012

Language Independent Refinement Using Partial Modeling.
Proceedings of the Fundamental Approaches to Software Engineering, 2012

2011
Partial models: a position paper.
Proceedings of the 8th International Workshop on Model-Driven Engineering, 2011


  Loading...