Ramy Shahin -

Registered user since Tue 6 Oct 2020

Name:Ramy Shahin

Country:Canada

Affiliation:University of Toronto

Contributions

MODELS 2021	Author of A Lean Approach to Building Valid Model-Based Safety Arguments within the Technical Papers-track Author of Applying Declarative Analysis to Software Product Line Models: An Industrial Study within the Technical Papers-track
ESEC/FSE 2021	Session Chair of Dependability—Vulnerabilities 2 (part of Research Papers) Session Chair of Analysis—Programming Languages (part of Research Papers)
SPLASH 2020	Session Chair of F-3A (part of OOPSLA) Author of Automatic and Efficient Variability-Aware Lifting of Functional Programs within the OOPSLA-track
PADL 2020	Author of Variability-aware Datalog within the PADL 2020-track Author of Panel: Reasoning for machine learning at large within the PADL 2020-track
ICSE 2021	Author of Towards Modal Software Engineering within the NIER - New Ideas and Emerging Results-track