Torin Viger

University of Toronto — Canada

Engineering · Physical Sciences

6h-index92citations23works1.32yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Safety Systems Engineering in Autonomy(21), Software Reliability and Analysis Research(16), Risk and Safety Analysis(10), Formal Methods in Verification(8), Advanced Software Engineering Methodologies(2)

Publications23 total

Assurance Case Development for Evolving Software Product Lines: A Formal Approach
Formal Aspects of Computing·2026Open Access
Assessing the Usefulness of Assurance Cases: Experience With the Large Hadron Collider
Systems Engineering·2025Open Access
Balancing the Risks and Benefits of Using Large Language Models to Support Assurance Case Development
Lecture notes in computer science·2025· 1 cited
PLACIDUS: Engineering Product Lines of Rigorous Assurance Cases
Lecture notes in computer science·2024· 3 cited
Supporting Change Impact Assessment with LLMs
2024· 1 cited
AI-Supported Eliminative Argumentation: Practical Experience Generating Defeaters to Increase Confidence in Assurance Cases
2024· 7 cited
Evaluation of Automotive OTA Updates Using Assurance Cases
2024
From Products to Product Lines: a Model-based Methodology
2024
PLACIDUS: Engineering Product Lines of Rigorous Assurance Cases
arXiv (Cornell University)·2024Open Access
Supporting Assurance Case Development Using Generative AI
SPIRE - Sciences Po Institutional REpository·2023· 3 citedOpen Access
MMINT-A: A framework for model-based safety assurance
Science of Computer Programming·2023· 2 cited
Assurance Case Development as Data: A Manifesto
2023· 15 cited
Patterns for Integrating NIST 800-53 Controls into Security Assurance Cases
Lecture notes in computer science·2023
A discussion on the use of Eliminative Argumentation (EA) to identify Key Performance Indicators (KPIs) for the CERN LHC Machine Protection System
2023· 1 citedOpen Access
Assurance Case Arguments in the Large: The CERN LHC Machine Protection System
Lecture notes in computer science·2023· 6 citedOpen Access
MMINT-A: A Framework for Model-Based Safety Assurance
Zenodo (CERN European Organization for Nuclear Research)·2022Open Access
The ForeMoSt approach to building valid model-based safety arguments
Software & Systems Modeling·2022· 8 cited
A Lean Approach to Building Valid Model-Based Safety Arguments
2021· 6 cited
Validating Safety Arguments with Lean
Lecture notes in computer science·2021· 3 cited
MMINT-A 2.0
2020· 6 cited
page 1 of 2Next →

Frequent Co-authors

Marsha Chećhik(19), Alessio Di Sandro(13), Logan Murphy(13), Claudio Menghi(7), Simon Diemert(7), Rick Salay(4), Jeff Joyce(4), Sahar Kokaly(3), Chris Rees(3), Ramy Shahin(3), Mona Rahimi(2), Gehan Selim(2), Laure Millet(2), Jeffrey J. Joyce(2), Jan Uythoven(2), Markus Zerlauth(2), Lukas Felsberger(2), Olivia Foster(2), Alessio Di(1), Adam Casey(1)