Follow
Gehan Mustafa Kamel Selim
Gehan Mustafa Kamel Selim
Dept. of Computer Science, University of Toronto, Toronto, Canada
Verified email at cs.toronto.edu
Title
Cited by
Cited by
Year
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
1282016
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
942010
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
842012
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
592012
Enhancing source-based clone detection using intermediate representation
GMK Selim, KC Foo, Y Zou
2010 17th working conference on reverse engineering, 227-236, 2010
572010
Formal verification techniques for model transformations: A tridimensional classification
M Amrani, B Combemale, L Lúcio, G Selim, J Dingel, H Vangheluwe, ...
The Journal of Object Technology 14 (3), 1: 1-43, 2015
422015
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
422012
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
362012
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
362012
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
272014
Migrating automotive product lines: a case study
M Famelis, L Lúcio, G Selim, AD Sandro, R Salay, M Chechik, JR Cordy, ...
International Conference on Theory and Practice of Model Transformations, 82-97, 2015
212015
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
212015
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
162013
Making the case for centralized automotive e/e architectures
V Bandur, G Selim, V Pantelic, M Lawford
IEEE Transactions on Vehicular Technology 70 (2), 1230-1245, 2021
142021
Towards requirements specification for machine-learned perception based on human performance
BC Hu, R Salay, K Czarnecki, M Rahimi, G Selim, M Chechik
2020 IEEE Seventh International Workshop on Artificial Intelligence for …, 2020
142020
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
122015
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
102017
Formal verification of graph-based model transformations
GMK Selim
Queen's University (Canada), 2015
102015
Analysis of model transformations
GM Selim, JR Cordy, J Dingel
Technical Report, Queen’s University School of Computing, 2012
62012
Just enough formality in assurance argument structures
T Viger, R Salay, G Selim, M Chechik
International Conference on Computer Safety, Reliability, and Security, 34-49, 2020
52020
The system can't perform the operation now. Try again later.
Articles 1–20