| 2026 | SLE | A Shallow Embedding of Datalog in Lean. | Ramy Shahin |
| 2023 | SPLC | Reusing Your Favourite Analysis Framework to Handle Workflows of Product Line Models. | Logan Murphy, Alessio Di Sandro, Ramy Shahin, Marsha Chechik |
| 2021 | ICSE | Towards Modal Software Engineering. | Ramy Shahin |
| 2021 | MODELS | 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 |
| 2021 | MODELS | A Lean Approach to Building Valid Model-Based Safety Arguments. | Torin Viger, Logan Murphy, Alessio Di Sandro, Ramy Shahin, Marsha Chechik |
| 2021 | SAFECOMP | Towards Assurance-Driven Architectural Decomposition of Software Systems. | Ramy Shahin |
| 2021 | SAFECOMP | Towards Certified Analysis of Software Product Line Safety Cases. | Ramy Shahin, Sahar Kokaly, Marsha Chechik |
| 2021 | SEFM | Validating Safety Arguments with Lean. | Logan Murphy, Torin Viger, Alessio Di Sandro, Ramy Shahin, Marsha Chechik |
| 2020 | PADL | Variability-Aware Datalog. | Ramy Shahin, Marsha Chechik |