Gehan M. K. Selim

According to our database, Gehan M. K. Selim authored at least 23 papers between 2010 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Making the Case for Centralized Automotive E/E Architectures.

Victor Bandur, Gehan M. K. Selim, Vera Pantelic, Mark Lawford

IEEE Trans. Veh. Technol., 2021

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

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

Just Enough Formality in Assurance Argument Structures.

Torin Viger, Rick Salay, Gehan M. K. Selim, Marsha Chechik

Proceedings of the Computer Safety, Reliability, and Security, 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

Proceedings of the MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020

Towards Requirements Specification for Machine-learned Perception Based on Human Performance.

Boyue Caroline Hu, Rick Salay, Krzysztof Czarnecki, Mona Rahimi, Gehan M. K. Selim, Marsha Chechik

Proceedings of the 7th IEEE International Workshop on Artificial Intelligence for Requirements Engineering, 2020

2019

SL2SF: Refactoring Simulink to Stateflow.

Stephen Wynn-Williams, Zinovy Diskin, Vera Pantelic, Mark Lawford, Gehan M. K. Selim, Curtis Milo, Moustapha Diab, Feisel Weslati

Proceedings of the Fundamental Approaches to Software Engineering, 2019

2018

Documenting Simulink designs of embedded systems.

Alexander Schaap, Gordon Marks, Vera Pantelic, Mark Lawford, Gehan M. K. Selim, Alan Wassyng, Lucian M. Patcas

Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2018

2017

How is ATL Really Used? Language Feature Use in the ATL Zoo.

Gehan M. K. Selim, James R. Cordy, Juergen Dingel

Proceedings of the 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2017

2016

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

2015

Formal Verification of Graph-Based Model Transformations.

Gehan M. K. Selim

PhD thesis, 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 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

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

Proceedings of the 4th Workshop on the Analysis of Model Transformations co-located with the 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015), 2015

SyVOLT: Full Model Transformation Verification Using Contracts.

Levi Lúcio, Bentley James Oakes, Cláudio Gomes, Gehan M. K. Selim, Juergen Dingel, James R. Cordy, Hans Vangheluwe

Proceedings of the MoDELS 2015 Demo and Poster Session co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), 2015

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

Proceedings of the Theory and Practice of Model Transformations, 2015

2014

Specification and Verification of Graph-Based Model Transformation Properties.

Gehan M. K. Selim, Levi Lucio, James R. Cordy, Jürgen Dingel, Bentley J. Oakes

Proceedings of the Graph Transformation - 7th International Conference, 2014

2013

Automated Verification of Model Transformations in the Automotive Industry.

Gehan M. K. Selim, Fabian Büttner, James R. Cordy, Jürgen Dingel, Shige Wang

Proceedings of the Model-Driven Engineering Languages and Systems, 2013

2012

Model transformation testing: the state of the art.

Gehan M. K. Selim, James R. Cordy, Juergen Dingel

Proceedings of the First Workshop on the Analysis of Model Transformations, 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

Proceedings of the First Workshop on the Analysis of Model Transformations, 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

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

Model Transformations for Migrating Legacy Models: An Industrial Case Study.

Gehan M. K. Selim, Shige Wang, James R. Cordy, Jürgen Dingel

Proceedings of the Modelling Foundations and Applications - 8th European Conference, 2012

2010

Enhancing Source-Based Clone Detection Using Intermediate Representation.

Gehan M. K. Selim, King Chun Foo, Ying Zou

Proceedings of the 17th Working Conference on Reverse Engineering, 2010

Studying the Impact of Clones on Software Defects.

Gehan M. K. Selim, Liliane Barbour, Weiyi Shang, Bram Adams, Ahmed E. Hassan, Ying Zou

Proceedings of the 17th Working Conference on Reverse Engineering, 2010