Torin Viger
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
14
Venues
7
Active years
2019–2025
Best venue rank
A*
Where they publish
Papers
14 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | SAFECOMP | Balancing the Risks and Benefits of Using Large Language Models to Support Assurance Case Development. | Simon Diemert, Erin Cyffka, Naweed Anwari, Olivia Foster, Torin Viger, Laure Millet, Jeffrey J. Joyce |
| 2024 | IFM | PLACIDUS: Engineering Product Lines of Rigorous Assurance Cases. | Logan Murphy, Torin Viger, Alessio Di Sandro, Marsha Chechik |
| 2024 | ISSRE | Supporting Change Impact Assessment with LLMs. | Torin Viger, Logan Murphy, Simon Diemert, Claudio Menghi, Marsha Chechik |
| 2024 | ISSRE | AI-Supported Eliminative Argumentation: Practical Experience Generating Defeaters to Increase Confidence in Assurance Cases. | Torin Viger, Logan Murphy, Simon Diemert, Claudio Menghi, Jeff Joyce, Alessio Di Sandro, Marsha Chechik |
| 2024 | MODELS | Evaluation of Automotive OTA Updates Using Assurance Cases. | Ali Raeisdanaei, Logan Murphy, Alessio Di Sandro, Mehrnoosh Askarpour, Torin Viger, Marsha Chechik |
| 2024 | MODELS | From Products to Product Lines: a Model-based Methodology. | Alessio Di Sandro, Logan Murphy, Torin Viger, Marsha Chechik |
| 2023 | ICSE | Assurance Case Development as Data: A Manifesto. | Claudio Menghi, Torin Viger, Alessio Di Sandro, Chris Rees, Jeff Joyce, Marsha Chechik |
| 2023 | SAFECOMP | Assurance Case Arguments in the Large: The CERN LHC Machine Protection System. | Laure Millet, Simon Diemert, Chris Rees, Torin Viger, Marsha Chechik, Claudio Menghi, Jeffrey J. Joyce |
| 2023 | SAFECOMP | Patterns for Integrating NIST 800-53 Controls into Security Assurance Cases. | Torin Viger, Simon Diemert, Olivia Foster |
| 2021 | MODELS | A Lean Approach to Building Valid Model-Based Safety Arguments. | Torin Viger, Logan Murphy, Alessio Di Sandro, Ramy Shahin, Marsha Chechik |
| 2021 | SEFM | Validating Safety Arguments with Lean. | Logan Murphy, Torin Viger, Alessio Di Sandro, Ramy Shahin, Marsha Chechik |
| 2020 | MODELS | MMINT-A 2.0: tool support for the lifecycle of model-based safety artifacts. | Alessio Di Sandro, Gehan M. K. Selim, Rick Salay, Torin Viger, Marsha Chechik, Sahar Kokaly |
| 2020 | SAFECOMP | Just Enough Formality in Assurance Argument Structures. | Torin Viger, Rick Salay, Gehan M. K. Selim, Marsha Chechik |
| 2019 | FASE | Software Assurance in an Uncertain World. | Marsha Chechik, Rick Salay, Torin Viger, Sahar Kokaly, Mona Rahimi |