Ramy Shahin

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