Logan Murphy

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 9

Top Topics

Euclidean Geometry

Proof Procedure

Argumentation Frameworks

Top Venues

Sci. Comput. Program.

Publications

Alessio Di Sandro, Logan Murphy, Torin Viger, Marsha Chechik
MMINT-A: A framework for model-based safety assurance. Sci. Comput. Program. 231 (2024)
Logan Murphy, Kaiyu Yang, Jialiang Sun, Zhaoyu Li, Anima Anandkumar, Xujie Si
Autoformalizing Euclidean Geometry. CoRR (2024)
Zhaoyu Li, Jialiang Sun, Logan Murphy, Qidong Su, Zenan Li, Xian Zhang, Kaiyu Yang, Xujie Si
A Survey on Deep Learning for Theorem Proving. CoRR (2024)
Logan Murphy, Torin Viger, Alessio Di Sandro, Marsha Chechik
PLACIDUS: Engineering Product Lines of Rigorous Assurance Cases. CoRR (2024)
Torin Viger, Logan Murphy, Alessio Di Sandro, Claudio Menghi, Ramy Shahin, Marsha Chechik
The ForeMoSt approach to building valid model-based safety arguments. Softw. Syst. Model. 22 (5) (2023)
Logan Murphy, Alessio Di Sandro, Ramy Shahin, Marsha Chechik
Reusing Your Favourite Analysis Framework to Handle Workflows of Product Line Models. SPLC (A) (2023)
Logan Murphy, Torin Viger, Alessio Di Sandro, Ramy Shahin, Marsha Chechik
Validating Safety Arguments with Lean. SEFM (2021)
Torin Viger, Logan Murphy, Alessio Di Sandro, Ramy Shahin, Marsha Chechik
A Lean Approach to Building Valid Model-Based Safety Arguments. MoDELS (2021)
Arindam Mandal, Diego Peña, Rajesh Pamula, Karam Khateeb, Logan Murphy, Azadeh Yazdan-Shahmorad, Steve I. Perlmutter, Forrest Pape, Jacques Christophe Rudell, Visvesh S. Sathe
A 46-channel Vector Stimulator with 50mV Worst-Case Common-Mode Artifact for Low-Latency Adaptive Closed-Loop Neuromodulation. CICC (2021)