Logan Murphy -

Registered user since Wed 5 Apr 2023

Name:Logan Murphy

Country:Canada

Affiliation:University of Toronto

Personal website: https://www.cs.toronto.edu/~lmurphy/

Research interests:Formal Methods

Contributions

2027

FormaliSE

Committee Member in Program Committee Members within the Research Track-track

2026

VARIABILITY

Author of MONOPOLY: Product Line Analysis via Monotonicity within the Research Papers-track
Author of Assurance Case Development For Evolving Software Product Lines: A Formal Approach within the Journal First-track

FormaliSE

Committee Member in Program Committee Members within the Research Track-track

2021

MODELS

Author of A Lean Approach to Building Valid Model-Based Safety Arguments within the Technical Papers-track