Logan Murphy
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
6
Active years
2021–2024
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ICML | Autoformalizing Euclidean Geometry. | Logan Murphy, Kaiyu Yang, Jialiang Sun, Zhaoyu Li, Anima Anandkumar, Xujie Si |
| 2024 | IFM | PLACIDUS: Engineering Product Lines of Rigorous Assurance Cases. | Logan Murphy, Torin Viger, Alessio Di Sandro, Marsha Chechik |
| 2024 | ISSRE | Supporting Change Impact Assessment with LLMs. | Torin Viger, Logan Murphy, Simon Diemert, Claudio Menghi, Marsha Chechik |
| 2024 | ISSRE | AI-Supported Eliminative Argumentation: Practical Experience Generating Defeaters to Increase Confidence in Assurance Cases. | Torin Viger, Logan Murphy, Simon Diemert, Claudio Menghi, Jeff Joyce, Alessio Di Sandro, Marsha Chechik |
| 2024 | MODELS | Evaluation of Automotive OTA Updates Using Assurance Cases. | Ali Raeisdanaei, Logan Murphy, Alessio Di Sandro, Mehrnoosh Askarpour, Torin Viger, Marsha Chechik |
| 2024 | MODELS | From Products to Product Lines: a Model-based Methodology. | Alessio Di Sandro, Logan Murphy, Torin Viger, Marsha Chechik |
| 2023 | SPLC | Reusing Your Favourite Analysis Framework to Handle Workflows of Product Line Models. | Logan Murphy, Alessio Di Sandro, Ramy Shahin, 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 | SEFM | Validating Safety Arguments with Lean. | Logan Murphy, Torin Viger, Alessio Di Sandro, Ramy Shahin, Marsha Chechik |