Logan Murphy

According to our database, Logan Murphy authored at least 13 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

MMINT-A: A framework for model-based safety assurance.

Alessio Di Sandro, Logan Murphy, Torin Viger, Marsha Chechik

Sci. Comput. Program., January, 2024

PLACIDUS: Engineering Product Lines of Rigorous Assurance Cases.

Logan Murphy, Torin Viger, Alessio Di Sandro, Marsha Chechik

CoRR, 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

From Products to Product Lines: a Model-based Methodology.

Alessio Di Sandro, Logan Murphy, Torin Viger, Marsha Chechik

Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, 2024

Evaluation of Automotive OTA Updates Using Assurance Cases.

Ali Raeisdanaei, Logan Murphy, Alessio Di Sandro, Mehrnoosh Askarpour, Torin Viger, Marsha Chechik

Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, 2024

Autoformalizing Euclidean Geometry.

Logan Murphy, Kaiyu Yang, Jialiang Sun, Zhaoyu Li, Anima Anandkumar, Xujie Si

Proceedings of the Forty-first International Conference on Machine Learning, 2024

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., October, 2023

Reusing Your Favourite Analysis Framework to Handle Workflows of Product Line Models.

Logan Murphy, Alessio Di Sandro, Ramy Shahin, Marsha Chechik

Proceedings of the 27th ACM International Systems and Software Product Line Conference, 2023

2022

The ForeMoSt Approach to Building Valid Model-Based Safety Arguments.

Torin Viger, Logan Murphy, Alessio Di Sandro, Claudio Menghi, Ramy Shahin, Marsha Chechik

Dataset, March, 2022

2021

A Lean Approach to Building Valid Model-Based Safety Arguments.

Torin Viger, Logan Murphy, Alessio Di Sandro, Ramy Shahin, Marsha Chechik

Dataset, July, 2021

Validating Safety Arguments with Lean.

Logan Murphy, Torin Viger, Alessio Di Sandro, Ramy Shahin, Marsha Chechik

Proceedings of the Software Engineering and Formal Methods - 19th International Conference, 2021

A Lean Approach to Building Valid Model-Based Safety Arguments.

Torin Viger, Logan Murphy, Alessio Di Sandro, Ramy Shahin, Marsha Chechik

Proceedings of the 24th International Conference on Model Driven Engineering Languages and Systems, 2021

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, Karam Khateeb, Logan Murphy, Azadeh Yazdan-Shahmorad, Steve I. Perlmutter, Forrest Pape, Jacques Christophe Rudell, Visvesh S. Sathe

Proceedings of the IEEE Custom Integrated Circuits Conference, 2021