Gehan M. K. Selim
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
4
Active years
2012–2020
Best venue rank
A
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | MODELS | 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 |
| 2020 | SAFECOMP | Just Enough Formality in Assurance Argument Structures. | Torin Viger, Rick Salay, Gehan M. K. Selim, Marsha Chechik |
| 2019 | FASE | SL2SF: Refactoring Simulink to Stateflow. | Stephen Wynn-Williams, Zinovy Diskin, Vera Pantelic, Mark Lawford, Gehan M. K. Selim, Curtis Milo, Moustapha Diab, Feisel Weslati |
| 2018 | MODELS | Documenting Simulink designs of embedded systems. | Alexander Schaap, Gordon Marks, Vera Pantelic, Mark Lawford, Gehan M. K. Selim, Alan Wassyng, Lucian M. Patcas |
| 2017 | MODELS | How is ATL Really Used? Language Feature Use in the ATL Zoo. | Gehan M. K. Selim, James R. Cordy, Juergen Dingel |
| 2015 | MODELS | SyVOLT: Full Model Transformation Verification Using Contracts. | Levi Lcio, Bentley James Oakes, Cludio Gomes, Gehan M. K. Selim, Juergen Dingel, James R. Cordy, Hans Vangheluwe |
| 2015 | MODELS | Finding and Fixing Bugs in Model Transformations with Formal Verification: An Experience Report. | Gehan M. K. Selim, James R. Cordy, Jrgen Dingel, Levi Lucio, Bentley J. Oakes |
| 2013 | MODELS | Automated Verification of Model Transformations in the Automotive Industry. | Gehan M. K. Selim, Fabian Bttner, James R. Cordy, Jrgen Dingel, Shige Wang |
| 2012 | ICST | A Tridimensional Approach for Studying the Formal Verification of Model Transformations. | Moussa Amrani, Levi Lucio, Gehan M. K. Selim, Benot Combemale, Jrgen Dingel, Hans Vangheluwe, Yves Le Traon, James R. Cordy |
| 2012 | MODELS | Towards a model transformation intent catalog. | Moussa Amrani, Jrgen Dingel, Leen Lambers, Levi Lcio, Rick Salay, Gehan M. K. Selim, Eugene Syriani, Manuel Wimmer |
| 2012 | MODELS | Model transformation testing: the state of the art. | Gehan M. K. Selim, James R. Cordy, Juergen Dingel |