Travelled to:1 × Austria
1 × Canada
1 × Denmark
1 × Italy
1 × United Kingdom
3 × USA
Collaborated with:J.R.Cordy J.Dingel S.Wang L.Lúcio Y.Zou B.J.Oakes K.C.Foo J.Dingel H.Vangheluwe F.Büttner L.Barbour W.Shang B.Adams A.E.Hassan M.Amrani B.Combemale Y.L.Traon S.Wynn-Williams Z.Diskin V.Pantelic M.Lawford C.Milo M.Diab F.Weslati M.Famelis L.Lucio A.D.Sandro R.Salay M.Chechik S.Ramesh
Talks about:model (9) transform (7) verif (4) studi (4) industri (3) automot (3) migrat (3) use (3) legaci (2) formal (2)
Person: Gehan M. K. Selim
DBLP: Selim:Gehan_M=_K=
Contributed to:
2015
2014
20132012
20122015
2012
2010
20152017
2019Wrote 12 papers:
- AMT-2015-SelimCDLO #case study #debugging #experience #model transformation #verification
- Finding and Fixing Bugs in Model Transformations with Formal Verification: An Experience Report (GMKS, JRC, JD, LL, BJO), pp. 26–35.
- ICGT-2014-SelimLCDO #graph #model transformation #specification #verification
- Specification and Verification of Graph-Based Model Transformation Properties (GMKS, LL, JRC, JD, BJO), pp. 113–129.
- MoDELS-2013-SelimBCDW #automation #industrial #model transformation #verification
- Automated Verification of Model Transformations in the Automotive Industry (GMKS, FB, JRC, JD, SW), pp. 690–706.
- AMT-2012-SelimCD #model transformation #state of the art #testing
- Model transformation testing: the state of the art (GMKS, JRC, JD), pp. 21–26.
- ECMFA-2012-SelimWCD #case study #industrial #legacy #migration #model transformation #modelling
- Model Transformations for Migrating Legacy Models: An Industrial Case Study (GMKS, SW, JRC, JD), pp. 90–101.
- ECMFA-J-2012-SelimWCD15 #deployment #industrial #legacy #migration #model transformation #modelling
- Model transformations for migrating legacy deployment models in the automotive industry (GMKS, SW, JRC, JD), pp. 365–381.
- ICST-2012-AmraniLSCDVTC #approach #model transformation #verification
- A Tridimensional Approach for Studying the Formal Verification of Model Transformations (MA, LL, GMKS, BC, JD, HV, YLT, JRC), pp. 921–928.
- WCRE-2010-SelimBSAHZ #fault
- Studying the Impact of Clones on Software Defects (GMKS, LB, WS, BA, AEH, YZ), pp. 13–21.
- WCRE-2010-SelimFZ #clone detection #detection #representation #using
- Enhancing Source-Based Clone Detection Using Intermediate Representation (GMKS, KCF, YZ), pp. 227–236.
- ICMT-2015-FamelisLSSSCCDV #case study #migration #product line
- Migrating Automotive Product Lines: A Case Study (MF, LL, GMKS, ADS, RS, MC, JRC, JD, HV, SR), pp. 82–97.
- MoDELS-2017-SelimCD #atl #how
- How is ATL Really Used? Language Feature Use in the ATL Zoo (GMKS, JRC, JD), pp. 34–44.
- FASE-2019-Wynn-WilliamsDP #named #refactoring
- SL2SF: Refactoring Simulink to Stateflow (SWW, ZD, VP, ML, GMKS, CM, MD, FW), pp. 264–281.