| 2024 | SAFECOMP | Comprehensive Change Impact Analysis Applied to Advanced Automotive Systems. | Nicholas Annable, Mehrnoosh Askarpour, Thomas Chiang, Sahar Kokaly, Mark Lawford, Richard F. Paige, S. Ramesh, Alan Wassyng |
| 2021 | SAFECOMP | Towards Certified Analysis of Software Product Line Safety Cases. | Ramy Shahin, Sahar Kokaly, Marsha Chechik |
| 2020 | MODELS | MMINT-A 2.0: tool support for the lifecycle of model-based safety artifacts. | Alessio Di Sandro, Gehan M. K. Selim, Rick Salay, Torin Viger, Marsha Chechik, Sahar Kokaly |
| 2019 | FASE | Software Assurance in an Uncertain World. | Marsha Chechik, Rick Salay, Torin Viger, Sahar Kokaly, Mona Rahimi |
| 2019 | MODELS | Querying Automotive System Models and Safety Artifacts with MMINT and Viatra. | Alessio Di Sandro, Sahar Kokaly, Rick Salay, Marsha Chechik |
| 2019 | RE | Toward Requirements Specification for Machine-Learned Components. | Mona Rahimi, Jin L. C. Guo, Sahar Kokaly, Marsha Chechik |
| 2018 | SAFECOMP | MMINT-A: A Tool for Automated Change Impact Assessment on Assurance Cases. | Nick L. S. Fung, Sahar Kokaly, Alessio Di Sandro, Rick Salay, Marsha Chechik |
| 2018 | SAFECOMP | Two Decades of Assurance Case Tools: A Survey. | Mike Maksimov, Nick L. S. Fung, Sahar Kokaly, Marsha Chechik |
| 2017 | ICSE | Managing assurance cases in model based software systems. | Sahar Kokaly |
| 2017 | MODELS | User Experience for Model-Driven Engineering: Challenges and Future Directions. | Silvia Abraho, Francis Bordeleau, Betty H. C. Cheng, Sahar Kokaly, Richard F. Paige, Harald Strrle, Jon Whittle |
| 2017 | SAFECOMP | Safety Case Impact Assessment in Automotive Software Systems: An Improved Model-Based Approach. | Sahar Kokaly, Rick Salay, Marsha Chechik, Mark Lawford, Tom Maibaum |
| 2016 | ICSE | Model management for regulatory compliance: a position paper. | Sahar Kokaly, Rick Salay, Mehrdad Sabetzadeh, Marsha Chechik, Tom Maibaum |
| 2016 | MODELS | A model management approach for assurance case reuse due to system evolution. | Sahar Kokaly, Rick Salay, Valentin Cassano, Tom Maibaum, Marsha Chechik |
| 2016 | MODELS | Heterogeneous Megamodel Slicing for Model Evolution. | Rick Salay, Sahar Kokaly, Marsha Chechik, Tom Maibaum |
| 2015 | MODELS | Analysis of Source-to-Target Model Transformations in QueST. | Hamid Gholizadeh, Zinovy Diskin, Sahar Kokaly, Tom Maibaum |
| 2015 | MODELS | Enriching megamodel management with collection-based operators. | Rick Salay, Sahar Kokaly, Alessio Di Sandro, Marsha Chechik |
| 2015 | MODELS | MMINT: A Graphical Tool for Interactive Model Management. | Alessio Di Sandro, Rick Salay, Michalis Famelis, Sahar Kokaly, Marsha Chechik |
| 2014 | MODELS | Towards a Structured Workflow Language for Model Management. | Sahar Kokaly |
| 2013 | SLE | Mapping-Aware Megamodeling: Design Patterns and Laws. | Zinovy Diskin, Sahar Kokaly, Tom Maibaum |