MOBILESoft 2022
Tue 17 - Wed 18 May 2022
co-located with
ICSE 2022
Toggle navigation
Attending
Venue: David Lawrence Convention Center
Virtual: Midspace
ICSE 2022
Overview
Attending Virtually
Attending In-Person
Registration
Code of Conduct
Diversity, Equity, and Inclusion
Travel Support
Social Events
Sustainability
Program
MOBILESoft Program
Your Program
Keynote
Tue 17 May
Wed 18 May
Tracks
MOBILESoft 2022
Plenary
Technical Papers
Industry Forum
NIER (Novel Ideas and Emerging Results)
Student Research Competition
Tool Demos and Mobile Apps
Special Issue
Organization
MOBILESoft 2022 Committees
Organizing Committee
Track Committees
Technical Papers
Industry Forum
NIER (Novel Ideas and Emerging Results)
Student Research Competition
Tool Demos and Mobile Apps
Contributors
People Index
Search
Series
Series
MOBILESoft 2025
MOBILESoft 2024
MOBILESoft 2023
MOBILESoft 2022
MOBILESoft 2021
MOBILESoft 2020
MOBILESoft 2019
MobileSoft 2018
Sign in
Sign up
ICSE 2022
(
series
) /
MOBILESoft 2022
(
series
) /
Torin Viger
ICSE 2022 profile
conf.research.org general profile
MODELS 2020 profile
Registered user since Wed 7 Oct 2020
Name:
Torin Viger
Contributions
2022
FormaliSE
Formally validating Model-Based Safety Assurance Cases
Show activities from other conferences
Share
ICSE 2022-profile
View general profile
x
Sun 24 Nov 01:17