CUFinder

Ramy Shahin

Ramy Shahin

University of Toronto

H-index: 6

North America-Canada

Contact Ramy Shahin

About Ramy Shahin

Ramy Shahin, With an exceptional h-index of 6 and a recent h-index of 5 (since 2020), a distinguished researcher at University of Toronto, specializes in the field of Software Engineering, Programming Languages.

His recent articles reflect a diverse array of research interests and contributions to the field:

The ForeMoSt approach to building valid model-based safety arguments

Reusing Your Favourite Analysis Framework to Handle Workflows of Product Line Models

Applying declarative analysis to industrial automotive software product line models

Adding Product-Line Capabilities to Your Favourite Modeling Language

Annotative Software Product Line Analysis Using Variability-Aware Datalog

Applying Declarative Analysis to Software Product Line Models: An Industrial Study

A Lean Approach to Building Valid Model-Based Safety Arguments

Towards Modal Software Engineering

Ramy Shahin Information

University

Position

___

Citations(all)

81

Citations(since 2020)

77

Cited By

10

hIndex(all)

6

hIndex(since 2020)

5

i10Index(all)

2

i10Index(since 2020)

2

Email

University Profile Page

Google Scholar

Ramy Shahin Skills & Research Interests

Software Engineering

Programming Languages

Top articles of Ramy Shahin

The ForeMoSt approach to building valid model-based safety arguments

Software and Systems Modeling

2023/10

Alessio Di Sandro
Alessio Di Sandro

H-Index: 9

Claudio Menghi
Claudio Menghi

H-Index: 13

Ramy Shahin
Ramy Shahin

H-Index: 2

Marsha Chechik
Marsha Chechik

H-Index: 27

Reusing Your Favourite Analysis Framework to Handle Workflows of Product Line Models

2023/8/28

Alessio Di Sandro
Alessio Di Sandro

H-Index: 9

Ramy Shahin
Ramy Shahin

H-Index: 2

Marsha Chechik
Marsha Chechik

H-Index: 27

Applying declarative analysis to industrial automotive software product line models

Empirical Software Engineering

2023/3

Ramy Shahin
Ramy Shahin

H-Index: 2

Rafael Toledo
Rafael Toledo

H-Index: 20

Ramesh S
Ramesh S

H-Index: 4

Marsha Chechik
Marsha Chechik

H-Index: 27

Adding Product-Line Capabilities to Your Favourite Modeling Language

2023/1/25

Alessio Di Sandro
Alessio Di Sandro

H-Index: 9

Ramy Shahin
Ramy Shahin

H-Index: 2

Marsha Chechik
Marsha Chechik

H-Index: 27

Annotative Software Product Line Analysis Using Variability-Aware Datalog

IEEE Transactions on Software Engineering

2022/5/19

Ramy Shahin
Ramy Shahin

H-Index: 2

Marsha Chechik
Marsha Chechik

H-Index: 27

Applying Declarative Analysis to Software Product Line Models: An Industrial Study

2021/10/10

Ramy Shahin
Ramy Shahin

H-Index: 2

Rafael Toledo
Rafael Toledo

H-Index: 20

Marsha Chechik
Marsha Chechik

H-Index: 27

A Lean Approach to Building Valid Model-Based Safety Arguments

2021/10/1

Alessio Di Sandro
Alessio Di Sandro

H-Index: 9

Ramy Shahin
Ramy Shahin

H-Index: 2

Marsha Chechik
Marsha Chechik

H-Index: 27

Towards Modal Software Engineering

2021/5/25

Ramy Shahin
Ramy Shahin

H-Index: 2

Language-Based Lifting of Analyses to Software Product Lines

2021

Ramy Shahin
Ramy Shahin

H-Index: 2

Validating safety arguments with lean

2021

Alessio Di Sandro
Alessio Di Sandro

H-Index: 9

Ramy Shahin
Ramy Shahin

H-Index: 2

Marsha Chechik
Marsha Chechik

H-Index: 27

Towards Assurance-Driven Architectural Decomposition of Software Systems

2021

Ramy Shahin
Ramy Shahin

H-Index: 2

Towards certified analysis of software product line safety cases

2021

Ramy Shahin
Ramy Shahin

H-Index: 2

Marsha Chechik
Marsha Chechik

H-Index: 27

Automatic and efficient variability-aware lifting of functional programs

Proceedings of the ACM on Programming Languages

2020/11/13

Ramy Shahin
Ramy Shahin

H-Index: 2

Marsha Chechik
Marsha Chechik

H-Index: 27

Variability-aware datalog

2020

Ramy Shahin
Ramy Shahin

H-Index: 2

Marsha Chechik
Marsha Chechik

H-Index: 27

See List of Professors in Ramy Shahin University(University of Toronto)