Studying the Impact of Clones on Software Defects. - Gehan M. K. Selim; Liliane Barbour; Weiyi Shang; Bram Adams; Ahmed E. Hassan; Ying Zou 001 (WCRE, 2010)

Enhancing Source-Based Clone Detection Using Intermediate Representation. - Gehan M. K. Selim; King Chun Foo; Ying Zou 001 (WCRE, 2010)

Model Transformations for Migrating Legacy Models: An Industrial Case Study. - Gehan M. K. Selim; Shige Wang; James R. Cordy; Jürgen Dingel (ECMFA, 2012)

A Tridimensional Approach for Studying the Formal Verification of Model Transformations. - Moussa Amrani; Levi Lucio; Gehan M. K. Selim; Benoît Combemale; Jürgen Dingel; Hans Vangheluwe; Yves Le Traon; James R. Cordy (ICST, 2012)

Towards a model transformation intent catalog. - Moussa Amrani; Jürgen Dingel; Leen Lambers; Levi Lúcio; Rick Salay; Gehan M. K. Selim; Eugene Syriani; Manuel Wimmer (AMT@MoDELS, 2012)

Model transformation testing: the state of the art. - Gehan M. K. Selim; James R. Cordy; Juergen Dingel (AMT@MoDELS, 2012)

Automated Verification of Model Transformations in the Automotive Industry. - Gehan M. K. Selim; Fabian Büttner; James R. Cordy; Jürgen Dingel; Shige Wang (MoDELS, 2013)

Specification and Verification of Graph-Based Model Transformation Properties. - Gehan M. K. Selim; Levi Lucio; James R. Cordy; Jürgen Dingel; Bentley J. Oakes (ICGT, 2014)

Migrating Automotive Product Lines: A Case Study. - Michalis Famelis; Levi Lucio; Gehan M. K. Selim; Alessio Di Sandro; Rick Salay; Marsha Chechik; James R. Cordy; Jürgen Dingel; Hans Vangheluwe; S. Ramesh 002 (ICMT, 2015)

SyVOLT: Full Model Transformation Verification Using Contracts. - Levi Lúcio; Bentley James Oakes; Cláudio Gomes 001; Gehan M. K. Selim; Juergen Dingel; James R. Cordy; Hans Vangheluwe (P&D@MoDELS, 2015)

Finding and Fixing Bugs in Model Transformations with Formal Verification: An Experience Report. - Gehan M. K. Selim; James R. Cordy; Jürgen Dingel; Levi Lucio; Bentley J. Oakes (AMT@MoDELS, 2015)

Formal Verification Techniques for Model Transformations: A Tridimensional Classification. - Moussa Amrani; Benoît Combemale; Levi Lucio; Gehan M. K. Selim; Jürgen Dingel; Yves Le Traon; Hans Vangheluwe; James R. Cordy (J. Object Technol., 2015)

Model transformations for migrating legacy deployment models in the automotive industry. - Gehan M. K. Selim; Shige Wang; James R. Cordy; Juergen Dingel (Softw. Syst. Model., 2015)

Formal Verification of Graph-Based Model Transformations. - Gehan M. K. Selim (2015)

Model transformation intents and their properties. - Levi Lúcio; Moussa Amrani; Juergen Dingel; Leen Lambers; Rick Salay; Gehan M. K. Selim; Eugene Syriani; Manuel Wimmer (Softw. Syst. Model., 2016)

How is ATL Really Used? Language Feature Use in the ATL Zoo. - Gehan M. K. Selim; James R. Cordy; Juergen Dingel (MoDELS, 2017)

Documenting Simulink designs of embedded systems. - Alexander Schaap; Gordon Marks; Vera Pantelic; Mark Lawford; Gehan M. K. Selim; Alan Wassyng; Lucian M. Patcas (MoDELS (Companion), 2018)

SL2SF: Refactoring Simulink to Stateflow. - Stephen Wynn-Williams; Zinovy Diskin; Vera Pantelic; Mark Lawford; Gehan M. K. Selim; Curtis Milo; Moustapha Diab; Feisel Weslati (FASE, 2019)

Towards Requirements Specification for Machine-learned Perception Based on Human Performance. - Boyue Caroline Hu; Rick Salay; Krzysztof Czarnecki 001; Mona Rahimi; Gehan M. K. Selim; Marsha Chechik (AIRE@RE, 2020)

MMINT-A 2.0: tool support for the lifecycle of model-based safety artifacts. - Alessio Di Sandro; Gehan M. K. Selim; Rick Salay; Torin Viger; Marsha Chechik; Sahar Kokaly (MoDELS (Companion), 2020)

Just Enough Formality in Assurance Argument Structures. - Torin Viger; Rick Salay; Gehan M. K. Selim; Marsha Chechik (SAFECOMP, 2020)

Change impact analysis in Simulink designs of embedded systems. - Bennett Mackenzie; Vera Pantelic; Gordon Marks; Stephen Wynn-Williams; Gehan M. K. Selim; Mark Lawford; Alan Wassyng; Moustapha Diab; Feisel Weslati (ESEC/SIGSOFT FSE, 2020)

Making the Case for Centralized Automotive E/E Architectures. - Victor Bandur; Gehan M. K. Selim; Vera Pantelic; Mark Lawford (IEEE Trans. Veh. Technol., 2021)