Author Info
Name
Affiliation
Papers
GEHAN M. K. SELIM
Queens Univ, Sch Comp, Kingston, ON, Canada
16
Collaborators
Citations 
PageRank 
33
172
8.94
Referers 
Referees 
References 
359
553
367
Search Limit
100553
Title
Citations
PageRank
Year
Towards Requirements Specification for Machine-learned Perception Based on Human Performance20.362020
MMINT-A 2.0: tool support for the lifecycle of model-based safety artifacts00.342020
Just Enough Formality in Assurance Argument Structures.00.342020
How is ATL Really Used? Language Feature Use in the ATL Zoo20.352017
Model Transformation Intents and Their Properties300.782016
Migrating Automotive Product Lines: A Case Study50.442015
Formal Verification Techniques for Model Transformations: A Tridimensional Classification160.722015
Model transformations for migrating legacy deployment models in the automotive industry40.402015
Finding and Fixing Bugs in Model Transformations with Formal Verification: An Experience Report.00.342015
Automated Verification of Model Transformations in the Automotive Industry.00.342013
Model transformations for migrating legacy models: an industrial case study100.492012
Model transformation testing: the state of the art170.652012
Towards a model transformation intent catalog180.782012
A Tridimensional Approach for Studying the Formal Verification of Model Transformations311.032012
Studying the Impact of Clones on Software Defects230.782010
Enhancing Source-Based Clone Detection Using Intermediate Representation140.822010