Torin Viger

20 papers A 2B 6Journal 5Unranked 7
YearRankTypeTitle / Venue / Authors
2026 J jnl
Evaluating AI-supported eliminative argumentation for developing reliable assurance cases.
Empir. Softw. Eng.
Torin Viger, Logan Murphy, Simon Diemert, Claudio Menghi, Aren A. Babikian, Jeff Joyce, Alessio Di Sandro, Naweed Anwari, Erin Cyffka, Marsha Chechik
2025 J jnl
Assurance Case Development for Evolving Software Product Lines: A Formal Approach.
CoRR
Logan Murphy, Torin Viger, Alessio Di Sandro, Aren A. Babikian, Marsha Chechik
2025 B conf
Balancing the Risks and Benefits of Using Large Language Models to Support Assurance Case Development.
SAFECOMP
Simon Diemert, Erin Cyffka, Naweed Anwari, Olivia Foster, Torin Viger, Laure Millet, Jeffrey J. Joyce
2024 A conf
AI-Supported Eliminative Argumentation: Practical Experience Generating Defeaters to Increase Confidence in Assurance Cases.
ISSRE
Torin Viger, Logan Murphy, Simon Diemert, Claudio Menghi, Jeff Joyce, Alessio Di Sandro, Marsha Chechik
2024 — conf
Evaluation of Automotive OTA Updates Using Assurance Cases.
MoDELS (Companion)
Ali Raeisdanaei, Logan Murphy, Alessio Di Sandro, Mehrnoosh Askarpour, Torin Viger, Marsha Chechik
2024 — conf
From Products to Product Lines: a Model-based Methodology.
MoDELS (Companion)
Alessio Di Sandro, Logan Murphy, Torin Viger, Marsha Chechik
2024 J jnl
MMINT-A: A framework for model-based safety assurance.
Sci. Comput. Program.
Alessio Di Sandro, Logan Murphy, Torin Viger, Marsha Chechik
2024 B conf
PLACIDUS: Engineering Product Lines of Rigorous Assurance Cases.
IFM
Logan Murphy, Torin Viger, Alessio Di Sandro, Marsha Chechik
2024 J jnl
PLACIDUS: Engineering Product Lines of Rigorous Assurance Cases.
CoRR
Logan Murphy, Torin Viger, Alessio Di Sandro, Marsha Chechik
2024 — conf
Supporting Change Impact Assessment with LLMs.
ISSRE (Workshops)
Torin Viger, Logan Murphy, Simon Diemert, Claudio Menghi, Marsha Chechik
2023 B conf
Assurance Case Arguments in the Large: The CERN LHC Machine Protection System.
SAFECOMP
Laure Millet, Simon Diemert, Chris Rees, Torin Viger, Marsha Chechik, Claudio Menghi, Jeffrey J. Joyce
2023 — conf
Assurance Case Development as Data: A Manifesto.
ICSE (NIER)
Claudio Menghi, Torin Viger, Alessio Di Sandro, Chris Rees, Jeff Joyce, Marsha Chechik
2023 — conf
Patterns for Integrating NIST 800-53 Controls into Security Assurance Cases.
SAFECOMP Workshops
Torin Viger, Simon Diemert, Olivia Foster
2023 J jnl
The ForeMoSt approach to building valid model-based safety arguments.
Softw. Syst. Model.
Torin Viger, Logan Murphy, Alessio Di Sandro, Claudio Menghi, Ramy Shahin, Marsha Chechik
2021 A conf
A Lean Approach to Building Valid Model-Based Safety Arguments.
MoDELS
Torin Viger, Logan Murphy, Alessio Di Sandro, Ramy Shahin, Marsha Chechik
2021 B conf
Validating Safety Arguments with Lean.
SEFM
Logan Murphy, Torin Viger, Alessio Di Sandro, Ramy Shahin, Marsha Chechik
2020 B conf
Just Enough Formality in Assurance Argument Structures.
SAFECOMP
Torin Viger, Rick Salay, Gehan M. K. Selim, Marsha Chechik
2020 — conf
MMINT-A 2.0: tool support for the lifecycle of model-based safety artifacts.
MoDELS (Companion)
Alessio Di Sandro, Gehan M. K. Selim, Rick Salay, Torin Viger, Marsha Chechik, Sahar Kokaly
2019 B conf
Software Assurance in an Uncertain World.
FASE
Marsha Chechik, Rick Salay, Torin Viger, Sahar Kokaly, Mona Rahimi
2019 — conf
Uncertainty, Modeling and Safety Assurance: Towards a Unified Framework.
VSTTE
Marsha Chechik, Sahar Kokaly, Mona Rahimi, Rick Salay, Torin Viger