( en | de | ru )

 

Disambiguation of "Viger, Torin"

Author of the publication

copydeleteadd this publication to your clipboard
MMINT-A 2.0: tool support for the lifecycle of model-based safety artifacts.

, , , , , and . MoDELS (Companion), page 15:1-15:5. ACM, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Jack Torin

Stefan Vigerske

Christa Torinus

Gunnar Vigerust

Heinz Torinus

 

Other publications of authors with the same name

Validating Safety Arguments with Lean., , , , and . SEFM, volume 13085 of Lecture Notes in Computer Science, page 23-43. Springer, (2021)Patterns for Integrating NIST 800-53 Controls into Security Assurance Cases., , and . SAFECOMP Workshops, volume 14182 of Lecture Notes in Computer Science, page 165-175. Springer, (2023)MMINT-A 2.0: tool support for the lifecycle of model-based safety artifacts., , , , , and . MoDELS (Companion), page 15:1-15:5. ACM, (2020)Assurance Case Development as Data: A Manifesto., , , , , and . ICSE (NIER), page 135-139. IEEE, (2023)Just Enough Formality in Assurance Argument Structures., , , and . SAFECOMP, volume 12234 of Lecture Notes in Computer Science, page 34-49. Springer, (2020)Uncertainty, Modeling and Safety Assurance: Towards a Unified Framework., , , , and . VSTTE, volume 12031 of Lecture Notes in Computer Science, page 19-29. Springer, (2019)Assurance Case Arguments in the Large: The CERN LHC Machine Protection System., , , , , , and . SAFECOMP, volume 14181 of Lecture Notes in Computer Science, page 3-10. Springer, (2023)A Lean Approach to Building Valid Model-Based Safety Arguments., , , , and . MoDELS, page 194-204. IEEE, (2021)Software Assurance in an Uncertain World., , , , and . FASE, volume 11424 of Lecture Notes in Computer Science, page 3-21. Springer, (2019)