Torin Viger

Orcid: 0009-0000-2611-8670

According to our database1, Torin Viger authored at least 18 papers between 2019 and 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

2019
2020
2021
2022
2023
2024
0
1
2
3
4
5
6
7
1
1
5
3
2
2
2
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
MMINT-A: A framework for model-based safety assurance.
Sci. Comput. Program., January, 2024

From Products to Product Lines: a Model-based Methodology.
Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, 2024

Evaluation of Automotive OTA Updates Using Assurance Cases.
Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, 2024

AI-Supported Eliminative Argumentation: Practical Experience Generating Defeaters to Increase Confidence in Assurance Cases.
Proceedings of the 35th IEEE International Symposium on Software Reliability Engineering, 2024

Supporting Change Impact Assessment with LLMs.
Proceedings of the 35th IEEE International Symposium on Software Reliability Engineering, 2024

PLACIDUS: Engineering Product Lines of Rigorous Assurance Cases.
Proceedings of the Integrated Formal Methods - 19th International Conference, 2024

2023
The ForeMoSt approach to building valid model-based safety arguments.
Softw. Syst. Model., October, 2023

Patterns for Integrating NIST 800-53 Controls into Security Assurance Cases.
Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops, 2023

Assurance Case Arguments in the Large: The CERN LHC Machine Protection System.
Proceedings of the Computer Safety, Reliability, and Security, 2023

Assurance Case Development as Data: A Manifesto.
Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Results, 2023

2022
The ForeMoSt Approach to Building Valid Model-Based Safety Arguments.
Dataset, March, 2022

2021
A Lean Approach to Building Valid Model-Based Safety Arguments.
Dataset, July, 2021

Validating Safety Arguments with Lean.
Proceedings of the Software Engineering and Formal Methods - 19th International Conference, 2021

A Lean Approach to Building Valid Model-Based Safety Arguments.
Proceedings of the 24th International Conference on Model Driven Engineering Languages and Systems, 2021

2020
Just Enough Formality in Assurance Argument Structures.
Proceedings of the Computer Safety, Reliability, and Security, 2020

MMINT-A 2.0: tool support for the lifecycle of model-based safety artifacts.
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.
Proceedings of the Verified Software. Theories, Tools, and Experiments, 2019

Software Assurance in an Uncertain World.
Proceedings of the Fundamental Approaches to Software Engineering, 2019


  Loading...