Follow
Ramy Shahin
Ramy Shahin
Verified email at cs.toronto.edu
Title
Cited by
Cited by
Year
Lifting datalog-based analyses to software product lines
R Shahin, M Chechik, R Salay
Proceedings of the 2019 27th ACM Joint Meeting on European Software …, 2019
162019
Automatic and efficient variability-aware lifting of functional programs
R Shahin, M Chechik
Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-27, 2020
122020
Towards certified analysis of software product line safety cases
R Shahin, S Kokaly, M Chechik
Computer Safety, Reliability, and Security: 40th International Conference …, 2021
82021
Variability-aware datalog
R Shahin, M Chechik
Practical Aspects of Declarative Languages: 22nd International Symposium …, 2020
82020
A Lean Approach to Building Valid Model-Based Safety Arguments
T Viger, L Murphy, A Di Sandro, R Shahin, M Chechik
2021 ACM/IEEE 24th International Conference on Model Driven Engineering …, 2021
72021
Applying Declarative Analysis to Software Product Line Models: An Industrial Study
R Shahin, R Hackman, R Toledo, S Ramesh, JM Atlee, M Chechik
2021 ACM/IEEE 24th International Conference on Model Driven Engineering …, 2021
62021
The ForeMoSt approach to building valid model-based safety arguments
T Viger, L Murphy, A Di Sandro, C Menghi, R Shahin, M Chechik
Software and Systems Modeling 22 (5), 1473-1494, 2023
52023
Annotative Software Product Line Analysis Using Variability-Aware Datalog
R Shahin, M Akhundov, M Chechik
IEEE Transactions on Software Engineering 49 (3), 1323-1341, 2022
5*2022
Validating safety arguments with lean
L Murphy, T Viger, AD Sandro, R Shahin, M Chechik
Software Engineering and Formal Methods: 19th International Conference, SEFM …, 2021
42021
Using Skin Segmentation to Improve Similar Product Recommendations in Online Clothing Stores.
N Hasan, A Hamouda, T Deif, MA El-Saban, R Shahin
VISAPP (1), 693-700, 2013
32013
Applying declarative analysis to industrial automotive software product line models
R Shahin, R Toledo, R Hackman, JM Atlee, M Chechik
Empirical Software Engineering 28 (2), 40, 2023
22023
Adding Product-Line Capabilities to Your Favourite Modeling Language
A Di Sandro, R Shahin, M Chechik
Proceedings of the 17th International Working Conference on Variability …, 2023
22023
Towards Modal Software Engineering
R Shahin
2021 IEEE/ACM 43rd International Conference on Software Engineering: New …, 2021
12021
Language-Based Lifting of Analyses to Software Product Lines
R Shahin
University of Toronto (Canada), 2021
12021
Towards Assurance-Driven Architectural Decomposition of Software Systems
R Shahin
Computer Safety, Reliability, and Security. SAFECOMP 2021 Workshops: DECSoS …, 2021
12021
Reusing Your Favourite Analysis Framework to Handle Workflows of Product Line Models
L Murphy, A Di Sandro, R Shahin, M Chechik
Proceedings of the 27th ACM International Systems and Software Product Line …, 2023
2023
Embedding profile tests into profile driven feedback generated binaries
AH Kielstra, R Shahin, DK Siegwart
US Patent 10,248,554, 2019
2019
The system can't perform the operation now. Try again later.
Articles 1–17