default search action

combined dblp search
author search
venue search
publication search

ask others

Gehan M. K. Selim

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2021
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/tvt/BandurSPL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tvt/BandurSPL21
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): 1230-1245 (2021)
2020
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/aire-ws/HuSCRSC20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aire-ws/HuSCRSC20
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: 48-51
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/models/SandroSSVCK20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/SandroSSVCK20
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: 15:1-15:5
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/VigerSSC20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/VigerSSC20
Torin Viger, Rick Salay, Gehan M. K. Selim, Marsha Chechik:
Just Enough Formality in Assurance Argument Structures. SAFECOMP 2020: 34-49
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/MackenziePMWSLW20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/MackenziePMWSLW20
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: 1274-1284

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[c14]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fase/Wynn-WilliamsDP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/Wynn-WilliamsDP19
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: 264-281
2018
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/models/SchaapMPLSWP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/SchaapMPLSWP18
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: 47-51
2017
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/models/SelimCD17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/SelimCD17
Gehan M. K. Selim, James R. Cordy, Juergen Dingel:
How is ATL Really Used? Language Feature Use in the ATL Zoo. MoDELS 2017: 34-44
2016
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/LucioADLSSSW16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/LucioADLSSSW16
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): 647-684 (2016)
[e2]
- view
- export record
  dblp key:
  - conf/models/2016modevva
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/2016modevva
Michalis Famelis, Daniel Ratiu, Gehan M. K. Selim:
Proceedings of the 13th Workshop on Model-Driven Engineering, Verification and Validation co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), Saint-Malo, France, October 3, 2016. CEUR Workshop Proceedings 1713, CEUR-WS.org 2016 [contents]
2015
[b1]
- view
  - electronic edition via handle.net
  - details & citations
- export record
  dblp key:
  - phd/ca/Selim15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/ca/Selim15
Gehan M. K. Selim:
Formal Verification of Graph-Based Model Transformations. Queen's University at Kingston, Ontario, Canada, 2015
[j2]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jot/AmraniCLSDTVC15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jot/AmraniCLSDTVC15
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): 1:1-43 (2015)
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/SelimWCD15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/SelimWCD15
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): 365-381 (2015)
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/icmt/FamelisLSSSCCDV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icmt/FamelisLSSSCCDV15
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: 82-97
[c10]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/models/LucioOGSDCV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/LucioOGSDCV15
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: 24-27
[c9]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/models/SelimCDLO15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/SelimCDLO15
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: 26-35
[e1]
- view
- export record
  dblp key:
  - conf/models/2015modevva
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/2015modevva
Michalis Famelis, Daniel Ratiu, Martina Seidl, Gehan M. K. Selim:
Proceedings of the 12th Workshop on Model-Driven Engineering, Verification and Validation co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems, MoDeVVa@MoDELS 2015, Ottawa, Canada, September 29, 2015. CEUR Workshop Proceedings 1514, CEUR-WS.org 2015 [contents]
2014
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/gg/SelimLCDO14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gg/SelimLCDO14
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: 113-129
2013
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/models/SelimBCDW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/SelimBCDW13
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: 690-706
2012
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/ecmdafa/SelimWCD12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecmdafa/SelimWCD12
Gehan M. K. Selim, Shige Wang, James R. Cordy, Jürgen Dingel:
Model Transformations for Migrating Legacy Models: An Industrial Case Study. ECMFA 2012: 90-101
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/AmraniLSCDVTC12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/AmraniLSCDVTC12
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: 921-928
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/models/AmraniDLLSSSW12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/AmraniDLLSSSW12
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: 3-8
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/models/SelimCD12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/SelimCD12
Gehan M. K. Selim, James R. Cordy, Juergen Dingel:
Model transformation testing: the state of the art. AMT@MoDELS 2012: 21-26
2010
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/wcre/SelimBSAHZ10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wcre/SelimBSAHZ10
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: 13-21
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/wcre/SelimFZ10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wcre/SelimFZ10
Gehan M. K. Selim, King Chun Foo, Ying Zou:
Enhancing Source-Based Clone Detection Using Intermediate Representation. WCRE 2010: 227-236

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.