Gehan M. K. Selim
TitleCited byYear
Model transformation intents and their properties
L Lúcio, M Amrani, J Dingel, L Lambers, R Salay, GMK Selim, E Syriani, ...
Software & systems modeling 15 (3), 647-684, 2016
862016
A tridimensional approach for studying the formal verification of model transformations
M Amrani, L Lucio, G Selim, B Combemale, J Dingel, H Vangheluwe, ...
2012 IEEE Fifth International Conference on Software Testing, Verification …, 2012
742012
Studying the impact of clones on software defects
GMK Selim, L Barbour, W Shang, B Adams, AE Hassan, Y Zou
2010 17th Working Conference on Reverse Engineering, 13-21, 2010
672010
Towards a model transformation intent catalog
M Amrani, J Dingel, L Lambers, L Lúcio, R Salay, G Selim, E Syriani, ...
Proceedings of the First Workshop on the Analysis of Model Transformations, 3-8, 2012
472012
Enhancing source-based clone detection using intermediate representation
GMK Selim, KC Foo, Y Zou
2010 17th Working Conference on Reverse Engineering, 227-236, 2010
362010
Model transformation testing: The state of the art
GMK Selim, JR Cordy, J Dingel
Proceedings of the First Workshop on the Analysis of Model Transformations …, 2012
332012
Model transformations for migrating legacy models: an industrial case study
GMK Selim, S Wang, JR Cordy, J Dingel
European Conference on Modelling Foundations and Applications, 90-101, 2012
302012
Model transformations for migrating legacy models: an industrial case study
GMK Selim, S Wang, JR Cordy, J Dingel
European Conference on Modelling Foundations and Applications, 90-101, 2012
302012
Formal verification techniques for model transformations: A tridimensional classification
M Amrani, B Combemale, L Lúcio, G Selim, J Dingel, Y Le Traon, ...
292015
Specification and verification of graph-based model transformation properties
GMK Selim, L Lúcio, JR Cordy, J Dingel, BJ Oakes
International Conference on Graph Transformation, 113-129, 2014
242014
Model transformations for migrating legacy deployment models in the automotive industry
GMK Selim, S Wang, JR Cordy, J Dingel
Software & Systems Modeling 14 (1), 365-381, 2015
172015
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
122015
SyVOLT: Full model transformation verification using contracts
L Lúcio, BJ Oakes, C Gomes, GMK Selim, J Dingel, JR Cordy, ...
Proceedings of the MoDELS 2015 Demo and Poster Session, co-located with ACM …, 2015
102015
Automated verification of model transformations in the automotive industry
GMK Selim, F Büttner, JR Cordy, J Dingel, S Wang
International Conference on Model Driven Engineering Languages and Systems …, 2013
102013
Formal verification of graph-based model transformations
GMK Selim
Queen's University (Canada), 2015
82015
How is ATL really used? Language feature use in the ATL zoo
GMK Selim, JR Cordy, J Dingel
2017 ACM/IEEE 20th International Conference on Model Driven Engineering …, 2017
62017
Analysis of model transformations
G Selim, JR Cordy, J Dingel
PhD thesis, Technical Report, Queen’s University School of Computing, 2012
62012
Finding and fixing bugs in model transformations with formal verification: an experience report
GMK Selim, JR Cordy, J Dingel, L Lúcio, BJ Oakes
AMT 2015 Analysis of Model Transformations: proceedings of the 4th Workshop …, 2015
32015
A Survey of Formal Verification Techniques for Model Transformations: A Tridimensional Classification
M Amrani, L Lúcio, G Selim, B Combemale, J Dingel, H Vangheluwe, ...
Journal of Technology, 2014
12014
Symbolic Model Transformation Property Prover for DSLTrans
G Selim, L Lúcio, JR Cordy, J Dingel
Technical Report 2013-616, Queen’s University, 2013
12013
The system can't perform the operation now. Try again later.
Articles 1–20