Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Logan Murphy
Observed name:
Murphy, Logan
Institution:
University of Toronto
Observed institution:
University of Toronto
ORCID:
0009-0001-1150-5704
Observed ORCID:
0009-0001-1150-5704
OpenAlex ID:
A5046557118
AI-Supported Eliminative Argumentation: Practical Experience Generating Defeaters to Increase Confidence in Assurance Cases
2024
·
Torin Viger
, Logan Murphy
, et al.
·
Proceedings/Proceedings - International Symposium on Software Reliability Engineering
·
12
A Survey on Deep Learning for Theorem Proving
2024
·
Li, Zhaoyu
, Sun, Jialiang
, et al.
·
arXiv (Cornell University)
·
10
PDF
The ForeMoSt approach to building valid model-based safety arguments
2022
·
Torin Viger
, Logan Murphy
, et al.
·
Software & Systems Modeling
·
9
A Lean Approach to Building Valid Model-Based Safety Arguments
2021
·
Torin Viger
, Logan Murphy
, et al.
·
ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS)
·
8
PLACIDUS: Engineering Product Lines of Rigorous Assurance Cases
2024
·
Logan Murphy
, Torin Viger
, et al.
·
Lecture notes in computer science
·
7
PDF
Supporting Assurance Case Development Using Generative AI
2023
·
Viger, Torin
, Murphy, Logan
, et al.
·
HAL
·
6
PDF
Validating Safety Arguments with Lean
2021
·
Logan Murphy
, Torin Viger
, et al.
·
Lecture notes in computer science
·
5
Reusing Your Favourite Analysis Framework to Handle Workflows of Product Line Models
2023
·
Logan Murphy
, Alessio Di Sandro
, et al.
·
International Software Product Line Conference (SPLC)
·
4
PDF
A structural taxonomy for lifted software product line analyses
2024
·
Logan Murphy
, Mahmood Saifi
, et al.
·
Journal of Systems and Software
·
3
Evaluation of Automotive OTA Updates Using Assurance Cases
2024
·
Ali Raeisdanaei
, Logan Murphy
, et al.
·
ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS)
·
3
Assurance Case Development for Evolving Software Product Lines: A Formal Approach
2026
·
Logan Murphy
, Torin Viger
, et al.
·
Formal Aspects of Computing
·
2
Supporting Change Impact Assessment with LLMs
2024
·
Torin Viger
, Logan Murphy
, et al.
·
IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)
·
2
MMINT-A: A framework for model-based safety assurance
2023
·
Alessio Di Sandro
, Logan Murphy
, et al.
·
Science of Computer Programming
·
2
Evaluating AI-supported eliminative argumentation for developing reliable assurance cases
2026
·
Torin Viger
, Logan Murphy
, et al.
·
Empirical Software Engineering
·
1
Towards Systematic Maintenance of Assurance for Evolving Self-Adaptive Systems
2025
·
Logan Murphy
, Marc Carwehl
, et al.
·
IEEE Engineering Reliable Autonomous Systems (ERAS)
·
1
AssureCode: Structured Justification for Trustworthy Agentic Coding
2026
·
Murphy, Logan
, Sy, Wilson
, et al.
·
arXiv (Cornell University)
PDF
Monopoly: Product Line Analysis via Monotonicity
2026
·
Logan Murphy
, Marc Carwehl
, et al.
·
Lecture notes in computer science
Abductive Vibe Coding (Extended Abstract)
2026
·
Murphy, Logan
, Babikian, Aren A.
, et al.
·
arXiv (Cornell University)
PDF
From Products to Product Lines: a Model-based Methodology
2024
·
Alessio Di Sandro
, Logan Murphy
, et al.
·
ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS)
Show more works
View as search
Works count:
25
Citation count:
76
H-index:
6
I10-index:
2
Year
Topic
Type
