Seguir
Ramy Shahin
Ramy Shahin
Dirección de correo verificada de cs.toronto.edu
Título
Citado por
Citado por
Año
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
202019
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
182020
Towards certified analysis of software product line safety cases
R Shahin, S Kokaly, M Chechik
Computer Safety, Reliability, and Security: 40th International Conference …, 2021
122021
Variability-aware datalog
R Shahin, M Chechik
Practical Aspects of Declarative Languages: 22nd International Symposium …, 2020
102020
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
92023
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
92021
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
72023
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
7*2022
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
72021
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
62021
Towards Assurance-Driven Architectural Decomposition of Software Systems
R Shahin
Computer Safety, Reliability, and Security. SAFECOMP 2021 Workshops: DECSoS …, 2021
42021
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
32023
Applying declarative analysis to industrial automotive software product line models
R Shahin, R Toledo, R Hackman, R S, JM Atlee, M Chechik
Empirical Software Engineering 28 (2), 40, 2023
32023
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
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
Embedding profile tests into profile driven feedback generated binaries
AH Kielstra, R Shahin, DK Siegwart
US Patent 10,248,554, 2019
2019
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–17