Logan Murphy

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

Collaborative distances:

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

2024

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

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

Sci. Comput. Program., January, 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

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