Ramy Shahin

According to our database, Ramy Shahin authored at least 18 papers between 2013 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

The ForeMoSt approach to building valid model-based safety arguments.

Torin Viger, Logan Murphy, Alessio Di Sandro, Claudio Menghi, Ramy Shahin, Marsha Chechik

Softw. Syst. Model., October, 2023

Annotative Software Product Line Analysis Using Variability-Aware Datalog.

Ramy Shahin, Murad Akhundov, Marsha Chechik

IEEE Trans. Software Eng., March, 2023

Applying declarative analysis to industrial automotive software product line models.

Ramy Shahin, Rafael F. Toledo, Robert Hackman, S. Ramesh, Joanne M. Atlee, Marsha Chechik

Empir. Softw. Eng., March, 2023

Adding Product-Line Capabilities to Your Favourite Modeling Language.

Alessio Di Sandro, Ramy Shahin, Marsha Chechik

Proceedings of the 17th International Working Conference on Variability Modelling of Software-Intensive Systems, 2023

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

Logan Murphy, Alessio Di Sandro, Ramy Shahin, Marsha Chechik

Proceedings of the 27th ACM International Systems and Software Product Line Conference, 2023

2022

The ForeMoSt Approach to Building Valid Model-Based Safety Arguments.

Torin Viger, Logan Murphy, Alessio Di Sandro, Claudio Menghi, Ramy Shahin, Marsha Chechik

Dataset, March, 2022

2021

A Lean Approach to Building Valid Model-Based Safety Arguments.

Torin Viger, Logan Murphy, Alessio Di Sandro, Ramy Shahin, Marsha Chechik

Dataset, July, 2021

Language-based Lifting of Analyses to Software Product Lines.

Ramy Shahin

PhD thesis, 2021

Validating Safety Arguments with Lean.

Logan Murphy, Torin Viger, Alessio Di Sandro, Ramy Shahin, Marsha Chechik

Proceedings of the Software Engineering and Formal Methods - 19th International Conference, 2021

Towards Certified Analysis of Software Product Line Safety Cases.

Ramy Shahin, Sahar Kokaly, Marsha Chechik

Proceedings of the Computer Safety, Reliability, and Security, 2021

Towards Assurance-Driven Architectural Decomposition of Software Systems.

Ramy Shahin

Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2021 Workshops, 2021

A Lean Approach to Building Valid Model-Based Safety Arguments.

Torin Viger, Logan Murphy, Alessio Di Sandro, Ramy Shahin, Marsha Chechik

Proceedings of the 24th International Conference on Model Driven Engineering Languages and Systems, 2021

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

Ramy Shahin, Robert Hackman, Rafael F. Toledo, S. Ramesh, Joanne M. Atlee, Marsha Chechik

Proceedings of the 24th International Conference on Model Driven Engineering Languages and Systems, 2021

Towards Modal Software Engineering.

Ramy Shahin

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Results, 2021

2020

Automatic and efficient variability-aware lifting of functional programs.

Ramy Shahin, Marsha Chechik

Proc. ACM Program. Lang., 2020

Variability-Aware Datalog.

Ramy Shahin, Marsha Chechik

Proceedings of the Practical Aspects of Declarative Languages, 2020

2019

Lifting Datalog-based analyses to software product lines.

Ramy Shahin, Marsha Chechik, Rick Salay

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

2013

Using Skin Segmentation to Improve Similar Product Recommendations in Online Clothing Stores.

Noran Hasan, Ahmed Hamouda, Tamer Deif, Motaz Ahmad El-Saban, Ramy Shahin

Proceedings of the VISAPP 2013, 2013