Torin Viger

According to our database, Torin Viger authored at least 11 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

MMINT-A: A framework for model-based safety assurance.

Alessio Di Sandro, Logan Murphy, Torin Viger, Marsha Chechik

Sci. Comput. Program., January, 2024

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., October, 2023

Patterns for Integrating NIST 800-53 Controls into Security Assurance Cases.

Torin Viger, Simon Diemert, Olivia Foster

Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops, 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

Proceedings of the Computer Safety, Reliability, and Security, 2023

Assurance Case Development as Data: A Manifesto.

Claudio Menghi, Torin Viger, Alessio Di Sandro, Chris Rees, Jeff Joyce, Marsha Chechik

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Results, 2023

2021

Validating Safety Arguments with Lean.

Logan Murphy, Torin Viger, Alessio Di Sandro, Ramy Shahin, Marsha Chechik

Proceedings of the Software Engineering and Formal Methods - 19th International Conference, 2021

A Lean Approach to Building Valid Model-Based Safety Arguments.

Torin Viger, Logan Murphy, Alessio Di Sandro, Ramy Shahin, Marsha Chechik

Proceedings of the 24th International Conference on Model Driven Engineering Languages and Systems, 2021

2020

Just Enough Formality in Assurance Argument Structures.

Torin Viger, Rick Salay, Gehan M. K. Selim, Marsha Chechik

Proceedings of the Computer Safety, Reliability, and Security, 2020

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

Proceedings of the MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020

2019

Uncertainty, Modeling and Safety Assurance: Towards a Unified Framework.

Marsha Chechik, Sahar Kokaly, Mona Rahimi, Rick Salay, Torin Viger

Proceedings of the Verified Software. Theories, Tools, and Experiments, 2019

Software Assurance in an Uncertain World.

Marsha Chechik, Rick Salay, Torin Viger, Sahar Kokaly, Mona Rahimi

Proceedings of the Fundamental Approaches to Software Engineering, 2019