• Sign in
  • Sign up
conf.researchr.org / Torin Viger
  • ICSE 2022 profile
  • MODELS 2020 profile
  • VARIABILITY 2026 profile

Registered user since Wed 7 Oct 2020

Name:Torin Viger

Contributions

2026

VARIABILITY

  • Author of Assurance Case Development For Evolving Software Product Lines: A Formal Approach within the Journal First-track

2022

FormaliSE

  • Presenter of Formally validating Model-Based Safety Assurance Cases within the FormaliSE 2022-track

2020

MODELS

  • Author of MMINT-A 2.0: Tool Support for Lifecycle of Model-Driven Safety Artifacts within the Technical Track-track
Share
xSun 4 Oct 12:07
using conf.researchr.org (v1.76.1)
Support page
Sign Up