Gehan M. K. Selim

Cited by

	All	Since 2016
Citations	588	351
h-index	12	11
i10-index	14	13

100

201120122013201420152016201720182019202020218 25 44 59 95 80 69 94 61 46 1

Co-authors

Juergen DingelSchool of Computing, Queen's University, CanadaVerified email at cs.queensu.ca
James R CordyQueen's University at KingstonVerified email at queensu.ca
Levi LucioSoftware Architect, Airbus Defence and SpaceVerified email at airbus.com
Moussa AMRANIUniversity of Namur, BelgiumVerified email at unamur.be
Rick SalayUniversity of WaterlooVerified email at gsd.uwaterloo.ca
Hans VangheluweProfessor at University of Antwerp / Flanders MakeVerified email at cs.mcgill.ca
Yves Le TraonProfessor of Computer Science, University of LuxembourgVerified email at uni.lu
Benoit CombemaleProfessor of Software Engineering at University of Rennes 1Verified email at irisa.fr
Manuel WimmerJohannes Kepler University LinzVerified email at jku.at
Eugene SyrianiUniversité de MontréalVerified email at iro.umontreal.ca
Ying ZouProfessor, Electrical and Computer Engineering, Queen's UniversityVerified email at queensu.ca
Bentley James OakesPost-Doctoral Researcher, University of AntwerpVerified email at uantwerpen.be
Marsha Chechik Professor of Computer Science, University of TorontoVerified email at cs.toronto.edu
Ahmed E. HassanIEEE Fellow, NSERC Steacie Fellow, ACM SIGSOFT Influential Educator, School of Computing, Queen'sVerified email at cs.queensu.ca
Bram AdamsQueen's UniversityVerified email at queensu.ca
Weiyi ShangAssociate Professor, Concordia UniversityVerified email at encs.concordia.ca
Alessio Di SandroSoftware Engineer, University of TorontoVerified email at cs.toronto.edu
Michalis FamelisUniversité de MontréalVerified email at iro.umontreal.ca
Fabian BüttnerAtlanMod group, INRIA (previously Database Systems Group, University of Bremen)Verified email at inria.fr
Cláudio Ângelo Gonçalves GomesAarhus UniversityVerified email at eng.au.dk

Gehan M. K. Selim

School of Computing, Queen's University, Kingston, Canada

Verified email at cs.queensu.ca

Formal Verification and Testing of Model Transformations Classification of Model Transformations and their Verification Techniq


Title Sort by citations Sort by year Sort by 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	109	2016
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	81	2012
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	77	2010
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	52	2012
Enhancing source-based clone detection using intermediate representation GMK Selim, KC Foo, Y Zou 2010 17th Working Conference on Reverse Engineering, 227-236, 2010	48	2010
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	38	2012
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	34	2015
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	34	2012
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	34	2012
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	23	2014
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	20	2015
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	16	2015
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	12	2013
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	10	2017
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	10	2015
Formal verification of graph-based model transformations GMK Selim Queen's University (Canada), 2015	8	2015
Analysis of model transformations GM Selim, JR Cordy, J Dingel PhD thesis, Technical Report, Queen’s University School of Computing, 2012	6	2012
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	3	2018
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	3	2015
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	1	2020

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors