A 46-channel Vector Stimulator with 50mV Worst-Case Common-Mode Artifact for Low-Latency Adaptive Closed-Loop Neuromodulation. - Arindam Mandal; Diego Peña; Rajesh Pamula 001; Karam Khateeb; Logan Murphy; Azadeh Yazdan-Shahmorad; Steve I. Perlmutter; Forrest Pape; Jacques Christophe Rudell; Visvesh S. Sathe 001 (CICC, 2021)

A Lean Approach to Building Valid Model-Based Safety Arguments. - Torin Viger; Logan Murphy; Alessio Di Sandro; Ramy Shahin; Marsha Chechik (MoDELS, 2021)

Validating Safety Arguments with Lean. - Logan Murphy; Torin Viger; Alessio Di Sandro; Ramy Shahin; Marsha Chechik (SEFM, 2021)

A Lean Approach to Building Valid Model-Based Safety Arguments. - Torin Viger; Logan Murphy; Alessio Di Sandro; Ramy Shahin; Marsha Chechik (Zenodo, 2021)

The ForeMoSt Approach to Building Valid Model-Based Safety Arguments. - Torin Viger; Logan Murphy; Alessio Di Sandro; Claudio Menghi; Ramy Shahin; Marsha Chechik (Zenodo, 2022)

Reusing Your Favourite Analysis Framework to Handle Workflows of Product Line Models. - Logan Murphy; Alessio Di Sandro; Ramy Shahin; Marsha Chechik (SPLC (A), 2023)

The ForeMoSt approach to building valid model-based safety arguments. - Torin Viger; Logan Murphy; Alessio Di Sandro; Claudio Menghi; Ramy Shahin; Marsha Chechik (Softw. Syst. Model., 2023)

Autoformalizing Euclidean Geometry. - Logan Murphy; Kaiyu Yang; Jialiang Sun; Zhaoyu Li; Anima Anandkumar; Xujie Si (ICML, 2024)

PLACIDUS: Engineering Product Lines of Rigorous Assurance Cases. - Logan Murphy; Torin Viger; Alessio Di Sandro; Marsha Chechik (IFM, 2024)

Supporting Change Impact Assessment with LLMs. - Torin Viger; Logan Murphy; Simon Diemert; Claudio Menghi; Marsha Chechik (ISSRE (Workshops), 2024)

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 (ISSRE, 2024)

Evaluation of Automotive OTA Updates Using Assurance Cases. - Ali Raeisdanaei; Logan Murphy; Alessio Di Sandro; Mehrnoosh Askarpour; Torin Viger; Marsha Chechik (MoDELS (Companion), 2024)

From Products to Product Lines: a Model-based Methodology. - Alessio Di Sandro; Logan Murphy; Torin Viger; Marsha Chechik (MoDELS (Companion), 2024)

A Survey on Deep Learning for Theorem Proving. - Zhaoyu Li; Jialiang Sun; Logan Murphy; Qidong Su; Zenan Li; Xian Zhang; Kaiyu Yang; Xujie Si (CoRR, 2024)

MMINT-A: A framework for model-based safety assurance. - Alessio Di Sandro; Logan Murphy; Torin Viger; Marsha Chechik (Sci. Comput. Program., 2024)

A structural taxonomy for lifted software product line analyses. - Logan Murphy; Mahmood Saifi; Alessio Di Sandro; Marsha Chechik (J. Syst. Softw., 2025)