Gehan M. K. Selim

Publication Activity (10 Years)

Years Active: 2010-2021
Publications (10 Years): 9

Top Venues

AMT@MoDELS

MoDELS

MoDELS (Companion)

Softw. Syst. Model.

Queen's University at Kingston, Ontario, Canada (PHD)

Education History

Queen's University at Kingston, Ontario, Canada

PHD

Publications

Victor Bandur, Gehan M. K. Selim, Vera Pantelic, Mark Lawford
Making the Case for Centralized Automotive E/E Architectures. IEEE Trans. Veh. Technol. 70 (2) (2021)
Alessio Di Sandro, Gehan M. K. Selim, Rick Salay, Torin Viger, Marsha Chechik, Sahar Kokaly
MMINT-A 2.0: tool support for the lifecycle of model-based safety artifacts. MoDELS (Companion) (2020)
Bennett Mackenzie, Vera Pantelic, Gordon Marks, Stephen Wynn-Williams, Gehan M. K. Selim, Mark Lawford, Alan Wassyng, Moustapha Diab, Feisel Weslati
Change impact analysis in Simulink designs of embedded systems. ESEC/SIGSOFT FSE (2020)
Torin Viger, Rick Salay, Gehan M. K. Selim, Marsha Chechik
Just Enough Formality in Assurance Argument Structures. SAFECOMP (2020)
Boyue Caroline Hu, Rick Salay, Krzysztof Czarnecki, Mona Rahimi, Gehan M. K. Selim, Marsha Chechik
Towards Requirements Specification for Machine-learned Perception Based on Human Performance. AIRE@RE (2020)
Stephen Wynn-Williams, Zinovy Diskin, Vera Pantelic, Mark Lawford, Gehan M. K. Selim, Curtis Milo, Moustapha Diab, Feisel Weslati
SL2SF: Refactoring Simulink to Stateflow. FASE (2019)
Alexander Schaap, Gordon Marks, Vera Pantelic, Mark Lawford, Gehan M. K. Selim, Alan Wassyng, Lucian M. Patcas
Documenting Simulink designs of embedded systems. MoDELS (Companion) (2018)
Gehan M. K. Selim, James R. Cordy, Juergen Dingel
How is ATL Really Used? Language Feature Use in the ATL Zoo. MoDELS (2017)
Levi Lúcio, Moussa Amrani, Juergen Dingel, Leen Lambers, Rick Salay, Gehan M. K. Selim, Eugene Syriani, Manuel Wimmer
Model transformation intents and their properties. Softw. Syst. Model. 15 (3) (2016)
Gehan M. K. Selim, James R. Cordy, Jürgen Dingel, Levi Lucio, Bentley J. Oakes
Finding and Fixing Bugs in Model Transformations with Formal Verification: An Experience Report. AMT@MoDELS (2015)
Levi Lúcio, Bentley James Oakes, Cláudio Gomes, Gehan M. K. Selim, Juergen Dingel, James R. Cordy, Hans Vangheluwe
SyVOLT: Full Model Transformation Verification Using Contracts. P&D@MoDELS (2015)
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
Migrating Automotive Product Lines: A Case Study. ICMT (2015)
Gehan M. K. Selim, Shige Wang, James R. Cordy, Juergen Dingel
Model transformations for migrating legacy deployment models in the automotive industry. Softw. Syst. Model. 14 (1) (2015)
Moussa Amrani, Benoît Combemale, Levi Lucio, Gehan M. K. Selim, Jürgen Dingel, Yves Le Traon, Hans Vangheluwe, James R. Cordy
Formal Verification Techniques for Model Transformations: A Tridimensional Classification. J. Object Technol. 14 (3) (2015)
Gehan M. K. Selim, Levi Lucio, James R. Cordy, Jürgen Dingel, Bentley J. Oakes
Specification and Verification of Graph-Based Model Transformation Properties. ICGT (2014)
Gehan M. K. Selim, Fabian Büttner, James R. Cordy, Jürgen Dingel, Shige Wang
Automated Verification of Model Transformations in the Automotive Industry. MoDELS (2013)
Moussa Amrani, Jürgen Dingel, Leen Lambers, Levi Lúcio, Rick Salay, Gehan M. K. Selim, Eugene Syriani, Manuel Wimmer
Towards a model transformation intent catalog. AMT@MoDELS (2012)
Moussa Amrani, Levi Lucio, Gehan M. K. Selim, Benoît Combemale, Jürgen Dingel, Hans Vangheluwe, Yves Le Traon, James R. Cordy
A Tridimensional Approach for Studying the Formal Verification of Model Transformations. ICST (2012)
Gehan M. K. Selim, Shige Wang, James R. Cordy, Jürgen Dingel
Model Transformations for Migrating Legacy Models: An Industrial Case Study. ECMFA (2012)
Gehan M. K. Selim, James R. Cordy, Juergen Dingel
Model transformation testing: the state of the art. AMT@MoDELS (2012)
Gehan M. K. Selim, King Chun Foo, Ying Zou
Enhancing Source-Based Clone Detection Using Intermediate Representation. WCRE (2010)
Gehan M. K. Selim, Liliane Barbour, Weiyi Shang, Bram Adams, Ahmed E. Hassan, Ying Zou
Studying the Impact of Clones on Software Defects. WCRE (2010)

Gehan M. K. Selim.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Gehan M. K. Selim