Ramy Shahin

Publication Activity (10 Years)

Years Active: 2013-2023
Publications (10 Years): 21

Top Topics

Software Engineering

Functional Programs

Existentially Quantified

Top Venues

SAFECOMP Workshops

Publications

Torin Viger, Logan Murphy, Alessio Di Sandro, Claudio Menghi, Ramy Shahin, Marsha Chechik
The ForeMoSt approach to building valid model-based safety arguments. Softw. Syst. Model. 22 (5) (2023)
Alessio Di Sandro, Ramy Shahin, Marsha Chechik
Adding Product-Line Capabilities to Your Favourite Modeling Language. VaMoS (2023)
Ramy Shahin, Murad Akhundov, Marsha Chechik
Annotative Software Product Line Analysis Using Variability-Aware Datalog. IEEE Trans. Software Eng. 49 (3) (2023)
Logan Murphy, Alessio Di Sandro, Ramy Shahin, Marsha Chechik
Reusing Your Favourite Analysis Framework to Handle Workflows of Product Line Models. SPLC (A) (2023)
Ramy Shahin, Rafael Toledo, Robert Hackman, Ramesh S, Joanne M. Atlee, Marsha Chechik
Applying declarative analysis to industrial automotive software product line models. Empir. Softw. Eng. 28 (2) (2023)
Ramy Shahin
Towards Assurance-Driven Architectural Decomposition of Software Systems. CoRR (2021)
Ramy Shahin
Towards Modal Software Engineering. ICSE (NIER) (2021)
Logan Murphy, Torin Viger, Alessio Di Sandro, Ramy Shahin, Marsha Chechik
Validating Safety Arguments with Lean. SEFM (2021)
Ramy Shahin, Robert Hackman, Rafael Toledo, Ramesh S, Joanne M. Atlee, Marsha Chechik
Applying Declarative Analysis to Software Product Line Models: An Industrial Study. CoRR (2021)
Ramy Shahin, Sahar Kokaly, Marsha Chechik
Towards Certified Analysis of Software Product Line Safety Cases. SAFECOMP (2021)
Torin Viger, Logan Murphy, Alessio Di Sandro, Ramy Shahin, Marsha Chechik
A Lean Approach to Building Valid Model-Based Safety Arguments. MoDELS (2021)
Ramy Shahin, Sahar Kokaly, Marsha Chechik
Towards Certified Analysis of Software Product Line Safety Cases. CoRR (2021)
Ramy Shahin
Towards Assurance-Driven Architectural Decomposition of Software Systems. SAFECOMP Workshops (2021)
Ramy Shahin, Robert Hackman, Rafael Toledo, S. Ramesh, Joanne M. Atlee, Marsha Chechik
Applying Declarative Analysis to Software Product Line Models: An Industrial Study. MoDELS (2021)
Ramy Shahin
Towards Modal Software Engineering. CoRR (2021)
Ramy Shahin, Marsha Chechik
Automatic and efficient variability-aware lifting of functional programs. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Ramy Shahin, Marsha Chechik
Variability-Aware Datalog. PADL (2020)
Ramy Shahin, Marsha Chechik
Automatic and Efficient Variability-Aware Lifting of Functional Programs. CoRR (2020)
Ramy Shahin, Marsha Chechik, Rick Salay
Lifting Datalog-Based Analyses to Software Product Lines. CoRR (2019)
Ramy Shahin, Marsha Chechik, Rick Salay
Lifting Datalog-based analyses to software product lines. ESEC/SIGSOFT FSE (2019)
Ramy Shahin, Marsha Chechik
Variability-aware Datalog. CoRR (2019)
Noran Hasan, Ahmed Hamouda, Tamer Deif, Motaz Ahmad El-Saban, Ramy Shahin
Using Skin Segmentation to Improve Similar Product Recommendations in Online Clothing Stores. VISAPP (1) (2013)