| 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 | 25 | 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 | 23 | 2020 |
| Towards certified analysis of software product line safety cases R Shahin, S Kokaly, M Chechik International Conference on Computer Safety, Reliability, and Security, 130-145, 2021 | 16 | 2021 |
| 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 | 12 | 2023 |
| 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 | 10 | 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 | 10* | 2022 |
| Variability-aware datalog R Shahin, M Chechik International Symposium on Practical Aspects of Declarative Languages, 213-221, 2020 | 10 | 2020 |
| 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 |
| 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 | 8 | 2021 |
| 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 | 6 | 2023 |
| Validating safety arguments with lean L Murphy, T Viger, AD Sandro, R Shahin, M Chechik International Conference on Software Engineering and Formal Methods, 23-43, 2021 | 6 | 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 | 4 | 2023 |
| Towards Assurance-Driven Architectural Decomposition of Software Systems R Shahin International Conference on Computer Safety, Reliability, and Security, 187-196, 2021 | 4 | 2021 |
| 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 |
| Towards Modular Composition of Inductive Types Using Lean Meta-programming R Shahin TYPES 2025, 2025 | | 2025 |
| Embedding profile tests into profile driven feedback generated binaries AH Kielstra, R Shahin, DK Siegwart US Patent 10,248,554, 2019 | | 2019 |
