Logan Murphy

19 papers A* 1A 2B 2Journal 9Unranked 5
YearRankTypeTitle / Venue / Authors
2026 J jnl
Abductive Vibe Coding (Extended Abstract).
CoRR
Logan Murphy, Aren A. Babikian, Marsha Chechik
2026 J jnl
Evaluating AI-supported eliminative argumentation for developing reliable assurance cases.
Empir. Softw. Eng.
Torin Viger, Logan Murphy, Simon Diemert, Claudio Menghi, Aren A. Babikian, Jeff Joyce, Alessio Di Sandro, Naweed Anwari, Erin Cyffka, Marsha Chechik
2025 J jnl
A structural taxonomy for lifted software product line analyses.
J. Syst. Softw.
Logan Murphy, Mahmood Saifi, Alessio Di Sandro, Marsha Chechik
2025 J jnl
Assurance Case Development for Evolving Software Product Lines: A Formal Approach.
CoRR
Logan Murphy, Torin Viger, Alessio Di Sandro, Aren A. Babikian, Marsha Chechik
2024 J jnl
A Survey on Deep Learning for Theorem Proving.
CoRR
Zhaoyu Li, Jialiang Sun, Logan Murphy, Qidong Su, Zenan Li, Xian Zhang, Kaiyu Yang, Xujie Si
2024 A conf
AI-Supported Eliminative Argumentation: Practical Experience Generating Defeaters to Increase Confidence in Assurance Cases.
ISSRE
Torin Viger, Logan Murphy, Simon Diemert, Claudio Menghi, Jeff Joyce, Alessio Di Sandro, Marsha Chechik
2024 A* conf
Autoformalizing Euclidean Geometry.
ICML
Logan Murphy, Kaiyu Yang, Jialiang Sun, Zhaoyu Li, Anima Anandkumar, Xujie Si
2024 J jnl
Autoformalizing Euclidean Geometry.
CoRR
Logan Murphy, Kaiyu Yang, Jialiang Sun, Zhaoyu Li, Anima Anandkumar, Xujie Si
2024 — conf
Evaluation of Automotive OTA Updates Using Assurance Cases.
MoDELS (Companion)
Ali Raeisdanaei, Logan Murphy, Alessio Di Sandro, Mehrnoosh Askarpour, Torin Viger, Marsha Chechik
2024 — conf
From Products to Product Lines: a Model-based Methodology.
MoDELS (Companion)
Alessio Di Sandro, Logan Murphy, Torin Viger, Marsha Chechik
2024 J jnl
MMINT-A: A framework for model-based safety assurance.
Sci. Comput. Program.
Alessio Di Sandro, Logan Murphy, Torin Viger, Marsha Chechik
2024 B conf
PLACIDUS: Engineering Product Lines of Rigorous Assurance Cases.
IFM
Logan Murphy, Torin Viger, Alessio Di Sandro, Marsha Chechik
2024 J jnl
PLACIDUS: Engineering Product Lines of Rigorous Assurance Cases.
CoRR
Logan Murphy, Torin Viger, Alessio Di Sandro, Marsha Chechik
2024 — conf
Supporting Change Impact Assessment with LLMs.
ISSRE (Workshops)
Torin Viger, Logan Murphy, Simon Diemert, Claudio Menghi, Marsha Chechik
2023 — conf
Reusing Your Favourite Analysis Framework to Handle Workflows of Product Line Models.
SPLC (A)
Logan Murphy, Alessio Di Sandro, Ramy Shahin, Marsha Chechik
2023 J jnl
The ForeMoSt approach to building valid model-based safety arguments.
Softw. Syst. Model.
Torin Viger, Logan Murphy, Alessio Di Sandro, Claudio Menghi, Ramy Shahin, Marsha Chechik
2021 — conf
A 46-channel Vector Stimulator with 50mV Worst-Case Common-Mode Artifact for Low-Latency Adaptive Closed-Loop Neuromodulation.
CICC
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
2021 A conf
A Lean Approach to Building Valid Model-Based Safety Arguments.
MoDELS
Torin Viger, Logan Murphy, Alessio Di Sandro, Ramy Shahin, Marsha Chechik
2021 B conf
Validating Safety Arguments with Lean.
SEFM
Logan Murphy, Torin Viger, Alessio Di Sandro, Ramy Shahin, Marsha Chechik