Michalis Famelis
TitleCited byYear
Partial models: Towards modeling and reasoning with uncertainty
M Famelis, R Salay, M Chechik
2012 34th International Conference on Software Engineering (ICSE), 573-583, 2012
1042012
Language independent refinement using partial modeling
R Salay, M Famelis, M Chechik
International Conference on Fundamental Approaches to Software Engineering …, 2012
542012
Lifting model transformations to product lines
R Salay, M Famelis, J Rubin, A Di Sandro, M Chechik
Proceedings of the 36th International Conference on Software Engineering …, 2014
392014
Transformation of models containing uncertainty
M Famelis, R Salay, A Di Sandro, M Chechik
International Conference on Model Driven Engineering Languages and Systems …, 2013
362013
MMINT: A Graphical Tool for Interactive Model Management.
A Di Sandro, R Salay, M Famelis, S Kokaly, M Chechik
P&D@ MoDELS, 16-19, 2015
222015
Partial models: A position paper
M Famelis, S Ben-David, M Chechik, R Salay
Proceedings of the 8th International Workshop on Model-Driven Engineering …, 2011
192011
A Methodology for Verifying Refinements of Partial Models.
R Salay, M Chechik, M Famelis, J Gorzny
Journal of Object Technology 14 (3), 3:1-31, 2015
172015
MAV-Vis: a notation for model uncertainty
M Famelis, S Santosa
2013 5th International Workshop on Modeling in Software Engineering (MiSE), 7-12, 2013
172013
The semantics of partial model transformations
M Famelis, R Salay, M Chechik
2012 4th International Workshop on Modeling in Software Engineering (MISE …, 2012
122012
Migrating automotive product lines: a case study
M Famelis, L Lúcio, G Selim, A Di Sandro, R Salay, M Chechik, JR Cordy, ...
International Conference on Theory and Practice of Model Transformations, 82-97, 2015
112015
Perspectives of model transformation reuse
M Chechik, M Famelis, R Salay, D Strüber
International Conference on Integrated Formal Methods, 28-44, 2016
102016
Comparing the effectiveness of reasoning formalisms for partial models
P Saadatpanah, M Famelis, J Gorzny, N Robinson, M Chechik, R Salay
Proceedings of the Workshop on Model-Driven Engineering, Verification and …, 2012
92012
Managing design-time uncertainty
M Famelis, M Chechik
Software & Systems Modeling 18 (2), 1249-1284, 2019
72019
Using developer conversations to resolve uncertainty in software development: a position paper
AS Mashiyat, M Famelis, R Salay, M Chechik
Proceedings of the 4th International Workshop on Recommendation Systems for …, 2014
72014
MU-MMINT: an IDE for model uncertainty
M Famelis, N Ben-David, A Di Sandro, R Salay, M Chechik
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering 2 …, 2015
62015
Research questions for validation and verification in the context of model-based engineering
C Dubois, M Famelis, M Gogolla, L Nobrega, I Ober, M Seidl, M Völter
International Workshop on Model Driven Engineering, Verification and …, 2013
62013
The structure of software design discussions
G Viviani, C Janik-Jones, M Famelis, GC Murphy
Proceedings of the 11th International Workshop on Cooperative and Human …, 2018
32018
Heuristic-Based Recommendation for Metamodel—OCL Coevolution
E Batot, W Kessentini, H Sahraoui, M Famelis
2017 ACM/IEEE 20th International Conference on Model Driven Engineering …, 2017
32017
What design topics do developers discuss?
G Viviani, C Janik-Jones, M Famelis, X Xia, GC Murphy
Proceedings of the 26th Conference on Program Comprehension, 328-331, 2018
22018
Towards a body of knowledge for model-based software engineering
F Ciccozzi, M Famelis, G Kappel, L Lambers, S Mosser, RF Paige, ...
Proceedings of the 21st ACM/IEEE International Conference on Model Driven …, 2018
12018
The system can't perform the operation now. Try again later.
Articles 1–20