| A Survey on Deep Learning for Theorem Proving Z Li, J Sun, L Murphy, Q Su, Z Li, X Zhang, K Yang, X Si arXiv preprint arXiv:2404.09939, 2024 | 12 | 2024 |
| Supporting Assurance Case Development Using Generative AI T Viger, L Murphy, S Diemert, C Menghi, A Di, M Chechik SAFECOMP 2023, Position Paper, 2023 | 12 | 2023 |
| 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 |
| Autoformalizing Euclidean Geometry L Murphy, K Yang, J Sun, Z Li, A Anandkumar, X Si arXiv preprint arXiv:2405.17216, 2024 | 8 | 2024 |
| Qidong Su, Zenan Li, Xian Zhang, Kaiyu Yang, and Xujie Si Z Li, J Sun, L Murphy A survey on deep learning for theorem proving. CoRR, abs/2404.09939, 2024 | 6 | 2024 |
| 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 |
| AI-Supported Eliminative Argumentation: Practical Experience Generating Defeaters to Increase Confidence in Assurance Cases T Viger, L Murphy, S Diemert, C Menghi, J Joyce, A Di Sandro, M Chechik 2024 IEEE 35th International Symposium on Software Reliability Engineering …, 2024 | 4 | 2024 |
| 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 |
| PLACIDUS: Engineering Product Lines of Rigorous Assurance Cases L Murphy, T Viger, AD Sandro, M Chechik International Conference on Integrated Formal Methods, 87-108, 2024 | 2 | 2024 |
| MMINT-A: A framework for model-based safety assurance A Di Sandro, L Murphy, T Viger, M Chechik Science of Computer Programming 231, 103004, 2024 | 2 | 2024 |
| A structural taxonomy for lifted software product line analyses L Murphy, M Saifi, A Di Sandro, M Chechik Journal of Systems and Software 222, 112280, 2025 | | 2025 |
| Supporting Change Impact Assessment with LLMs T Viger, L Murphy, S Diemert, C Menghi, M Chechik 2024 IEEE 35th International Symposium on Software Reliability Engineering …, 2024 | | 2024 |
| Evaluation of Automotive OTA Updates Using Assurance Cases A Raeisdanaei, L Murphy, A Di Sandro, M Askarpour, T Viger, M Chechik Proceedings of the ACM/IEEE 27th International Conference on Model Driven …, 2024 | | 2024 |
| From Products to Product Lines: a Model-based Methodology A Di Sandro, L Murphy, T Viger, M Chechik Proceedings of the ACM/IEEE 27th International Conference on Model Driven …, 2024 | | 2024 |
| PLACIDUS: Engineering Product Lines L Murphy, T Viger, A Di Sandro, M Chechik Integrated Formal Methods: 19th International Conference, IFM 2024 …, 2024 | | 2024 |
Marsha ChechikProfessor of Computer Science, University of TorontoEmail verificata su cs.toronto.edu