Torin Viger

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 12

Top Topics

Argument Structures

Security Vulnerabilities

Argumentation Frameworks

Top Venues

Publications

Alessio Di Sandro, Logan Murphy, Torin Viger, Marsha Chechik
MMINT-A: A framework for model-based safety assurance. Sci. Comput. Program. 231 (2024)
Logan Murphy, Torin Viger, Alessio Di Sandro, Marsha Chechik
PLACIDUS: Engineering Product Lines of Rigorous Assurance Cases. CoRR (2024)
Torin Viger, Simon Diemert, Olivia Foster
Patterns for Integrating NIST 800-53 Controls into Security Assurance Cases. SAFECOMP Workshops (2023)
Laure Millet, Simon Diemert, Chris Rees, Torin Viger, Marsha Chechik, Claudio Menghi, Jeffrey J. Joyce
Assurance Case Arguments in the Large: The CERN LHC Machine Protection System. SAFECOMP (2023)
Torin Viger, Logan Murphy, Alessio Di Sandro, Claudio Menghi, Ramy Shahin, Marsha Chechik
The ForeMoSt approach to building valid model-based safety arguments. Softw. Syst. Model. 22 (5) (2023)
Claudio Menghi, Torin Viger, Alessio Di Sandro, Chris Rees, Jeff Joyce, Marsha Chechik
Assurance Case Development as Data: A Manifesto. ICSE (NIER) (2023)
Logan Murphy, Torin Viger, Alessio Di Sandro, Ramy Shahin, Marsha Chechik
Validating Safety Arguments with Lean. SEFM (2021)
Torin Viger, Logan Murphy, Alessio Di Sandro, Ramy Shahin, Marsha Chechik
A Lean Approach to Building Valid Model-Based Safety Arguments. MoDELS (2021)
Alessio Di Sandro, Gehan M. K. Selim, Rick Salay, Torin Viger, Marsha Chechik, Sahar Kokaly
MMINT-A 2.0: tool support for the lifecycle of model-based safety artifacts. MoDELS (Companion) (2020)
Torin Viger, Rick Salay, Gehan M. K. Selim, Marsha Chechik
Just Enough Formality in Assurance Argument Structures. SAFECOMP (2020)
Marsha Chechik, Sahar Kokaly, Mona Rahimi, Rick Salay, Torin Viger
Uncertainty, Modeling and Safety Assurance: Towards a Unified Framework. VSTTE (2019)
Marsha Chechik, Rick Salay, Torin Viger, Sahar Kokaly, Mona Rahimi
Software Assurance in an Uncertain World. FASE (2019)