Software Assurance in an Uncertain World. - Marsha Chechik; Rick Salay; Torin Viger; Sahar Kokaly; Mona Rahimi (FASE, 2019)

Uncertainty, Modeling and Safety Assurance: Towards a Unified Framework. - Marsha Chechik; Sahar Kokaly; Mona Rahimi; Rick Salay; Torin Viger (VSTTE, 2019)

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 (MoDELS (Companion), 2020)

Just Enough Formality in Assurance Argument Structures. - Torin Viger; Rick Salay; Gehan M. K. Selim; Marsha Chechik (SAFECOMP, 2020)

A Lean Approach to Building Valid Model-Based Safety Arguments. - Torin Viger; Logan Murphy; Alessio Di Sandro; Ramy Shahin; Marsha Chechik (MoDELS, 2021)

Validating Safety Arguments with Lean. - Logan Murphy; Torin Viger; Alessio Di Sandro; Ramy Shahin; Marsha Chechik (SEFM, 2021)

A Lean Approach to Building Valid Model-Based Safety Arguments. - Torin Viger; Logan Murphy; Alessio Di Sandro; Ramy Shahin; Marsha Chechik (Zenodo, 2021)

The ForeMoSt Approach to Building Valid Model-Based Safety Arguments. - Torin Viger; Logan Murphy; Alessio Di Sandro; Claudio Menghi; Ramy Shahin; Marsha Chechik (Zenodo, 2022)

Assurance Case Development as Data: A Manifesto. - Claudio Menghi; Torin Viger; Alessio Di Sandro; Chris Rees; Jeff Joyce; Marsha Chechik (ICSE (NIER), 2023)

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 (SAFECOMP, 2023)

Patterns for Integrating NIST 800-53 Controls into Security Assurance Cases. - Torin Viger; Simon Diemert; Olivia Foster (SAFECOMP Workshops, 2023)

The ForeMoSt approach to building valid model-based safety arguments. - Torin Viger; Logan Murphy; Alessio Di Sandro; Claudio Menghi; Ramy Shahin; Marsha Chechik (Softw. Syst. Model., 2023)

PLACIDUS: Engineering Product Lines of Rigorous Assurance Cases. - Logan Murphy; Torin Viger; Alessio Di Sandro; Marsha Chechik (IFM, 2024)

Supporting Change Impact Assessment with LLMs. - Torin Viger; Logan Murphy; Simon Diemert; Claudio Menghi; Marsha Chechik (ISSRE (Workshops), 2024)

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 (ISSRE, 2024)

Evaluation of Automotive OTA Updates Using Assurance Cases. - Ali Raeisdanaei; Logan Murphy; Alessio Di Sandro; Mehrnoosh Askarpour; Torin Viger; Marsha Chechik (MoDELS (Companion), 2024)

From Products to Product Lines: a Model-based Methodology. - Alessio Di Sandro; Logan Murphy; Torin Viger; Marsha Chechik (MoDELS (Companion), 2024)

MMINT-A: A framework for model-based safety assurance. - Alessio Di Sandro; Logan Murphy; Torin Viger; Marsha Chechik (Sci. Comput. Program., 2024)