Logan Murphy

Orcid: 0009-0001-1150-5704

According to our database1, Logan Murphy authored at least 16 papers between 2021 and 2025.

Collaborative distances:

Timeline

2021
2022
2023
2024
2025
0
1
2
3
4
5
6
7
8
9
1
2
1
6
1
3
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2025
A structural taxonomy for lifted software product line analyses.
J. Syst. Softw., 2025

2024
MMINT-A: A framework for model-based safety assurance.
Sci. Comput. Program., January, 2024

A Survey on Deep Learning for Theorem Proving.
CoRR, 2024

From Products to Product Lines: a Model-based Methodology.
Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, 2024

Evaluation of Automotive OTA Updates Using Assurance Cases.
Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, 2024

AI-Supported Eliminative Argumentation: Practical Experience Generating Defeaters to Increase Confidence in Assurance Cases.
Proceedings of the 35th IEEE International Symposium on Software Reliability Engineering, 2024

Supporting Change Impact Assessment with LLMs.
Proceedings of the 35th IEEE International Symposium on Software Reliability Engineering, 2024

PLACIDUS: Engineering Product Lines of Rigorous Assurance Cases.
Proceedings of the Integrated Formal Methods - 19th International Conference, 2024

Autoformalizing Euclidean Geometry.
Proceedings of the Forty-first International Conference on Machine Learning, 2024

2023
The ForeMoSt approach to building valid model-based safety arguments.
Softw. Syst. Model., October, 2023

Reusing Your Favourite Analysis Framework to Handle Workflows of Product Line Models.
Proceedings of the 27th ACM International Systems and Software Product Line Conference, 2023

2022
The ForeMoSt Approach to Building Valid Model-Based Safety Arguments.
Dataset, March, 2022

2021
A Lean Approach to Building Valid Model-Based Safety Arguments.
Dataset, July, 2021

Validating Safety Arguments with Lean.
Proceedings of the Software Engineering and Formal Methods - 19th International Conference, 2021

A Lean Approach to Building Valid Model-Based Safety Arguments.
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.
Proceedings of the IEEE Custom Integrated Circuits Conference, 2021


  Loading...