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 | 20 | 2019 |
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 | 18 | 2020 |
Towards certified analysis of software product line safety cases R Shahin, S Kokaly, M Chechik Computer Safety, Reliability, and Security: 40th International Conference …, 2021 | 12 | 2021 |
Variability-aware datalog R Shahin, M Chechik Practical Aspects of Declarative Languages: 22nd International Symposium …, 2020 | 10 | 2020 |
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 | 9 | 2023 |
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 | 9 | 2021 |
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 | 7 | 2023 |
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 | 7 | 2021 |
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 | 6 | 2021 |
Towards Assurance-Driven Architectural Decomposition of Software Systems R Shahin Computer Safety, Reliability, and Security. SAFECOMP 2021 Workshops: DECSoS …, 2021 | 4 | 2021 |
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 | 3 | 2023 |
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 | 3 | 2023 |
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 | 3 | 2013 |
Towards Modal Software Engineering R Shahin 2021 IEEE/ACM 43rd International Conference on Software Engineering: New …, 2021 | 1 | 2021 |
Language-Based Lifting of Analyses to Software Product Lines R Shahin University of Toronto (Canada), 2021 | 1 | 2021 |
Embedding profile tests into profile driven feedback generated binaries AH Kielstra, R Shahin, DK Siegwart US Patent 10,248,554, 2019 | | 2019 |