Gehan M. K. Selim
Título
Citado por
Citado por
Año
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
1072016
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
782012
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
762010
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
522012
Enhancing source-based clone detection using intermediate representation
GMK Selim, KC Foo, Y Zou
2010 17th Working Conference on Reverse Engineering, 227-236, 2010
452010
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
382012
Formal verification techniques for model transformations: A tridimensional classification
M Amrani, B Combemale, L Lúcio, G Selim, J Dingel, Y Le Traon, ...
The Journal of Object Technology 14 (3), 1: 1-43, 2015
342015
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
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
332012
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
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
202015
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
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
132013
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
SyVOLT: Full Model Transformation Verification Using Contracts.
L Lúcio, BJ Oakes, C Gomes, GMK Selim, J Dingel, JR Cordy, ...
P&D@ MoDELS, 24-27, 2015
102015
Formal verification of graph-based model transformations
GMK Selim
Queen's University (Canada), 2015
82015
Analysis of model transformations
GM 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@ MoDELS, 26-35, 2015
32015
Documenting Simulink designs of embedded systems
A Schaap, G Marks, V Pantelic, M Lawford, G Selim, A Wassyng, L Patcas
Proceedings of the 21st ACM/IEEE International Conference on Model Driven …, 2018
22018
SL2SF: Refactoring Simulink to Stateflow
S Wynn-Williams, Z Diskin, V Pantelic, M Lawford, G Selim, C Milo, ...
International Conference on Fundamental Approaches to Software Engineering …, 2019
12019
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20