Write a Blog >>
ICSE 2022
Sun 8 - Fri 27 May 2022
Toggle navigation
Tracks
ICSE 2022
All plenary events
Keynotes
Awards
Sponsors
Community
Technical Track
Artifact Evaluation
DEMO - Demonstrations
NIER - New Ideas and Emerging Results
SEET - Software Engineering Education and Training
SEIP - Software Engineering in Practice
SEIS - Software Engineering in Society
Journal-First Papers
SRC - ACM Student Research Competition
DS - Doctoral Symposium
NFS - New Faculty Symposium
SMeW - Student Mentoring Workshop
Posters
Birds of a Feather
Workshops
Student Volunteers
Open Science Policies
Submitting to ICSE2022: Q&A
Social
Co-hosted Conferences
AST
CAIN
CAIN
CAIN
CHASE
CHASE
CHASE
Research Papers
FormaliSE
ICPC
ICPC
ICPC
Early Research Achievements (ERA)
ICPC
Journal First
ICPC
Replications and Negative Results (RENE)
ICPC
Research
ICPC
Tool Demonstration
MOBILESoft
MOBILESoft
MOBILESoft
Plenary
MOBILESoft
Technical Papers
MOBILESoft
Industry Forum
MOBILESoft
NIER (Novel Ideas and Emerging Results)
MOBILESoft
Student Research Competition
MOBILESoft
Tool Demos and Mobile Apps
MOBILESoft
Special Issue
MSR
MSR
MSR
Data and Tool Showcase Track
MSR
FOSS Award
MSR
Hackathon
MSR
Industry Track
MSR
Keynotes
MSR
MIP Award
MSR
Awards
MSR
Mining Challenge
MSR
Registered Reports
MSR
Shadow PC
MSR
Technical Papers
MSR
Tutorials
MSR
Vision and Reflection
TechDebt
TechDebt
TechDebt
Technical Papers
TechDebt
Tools Track
Workshops
APR
BotSE
DREE
EMIP
EnCyCriS
FairWare
GAS
GE@ICSE 2023
IWSiB
MET
NLBSE
Q-SE
RoPES
RoSE
SBST
SE4RAI
SEENG
SERP4IoT
SESoS
WETSEB
Co-hosted Symposia
SEAMS
SEAMS
SEAMS
SEAMS
Program
Complete Program
Your Program
In-Person Program
Virtual Program
Keynotes
Awards
Filter by Day
Sun 8 May
Mon 9 May
Tue 10 May
Wed 11 May
Thu 12 May
Fri 13 May
Sat 14 May
Sun 15 May
Mon 16 May
Tue 17 May
Wed 18 May
Thu 19 May
Fri 20 May
Sat 21 May
Sun 22 May
Mon 23 May
Tue 24 May
Wed 25 May
Thu 26 May
Fri 27 May
Sat 28 May
Sun 29 May
Mon 30 May
Tue 31 May
Wed 1 Jun
Thu 2 Jun
Fri 3 Jun
Organization
ICSE 2022 Committees
Organizing Committee
Track Committees
Technical Track
Artifact Evaluation
DEMO - Demonstrations
NIER - New Ideas and Emerging Results
SEET - Software Engineering Education and Training
SEIP - Software Engineering in Practice
SEIS - Software Engineering in Society
Journal-First Papers
SRC - ACM Student Research Competition
Program Committee
Judges
DS - Doctoral Symposium
NFS - New Faculty Symposium
SMeW - Student Mentoring Workshop
Organizing Committee
Mentors
Posters
Workshops
Open Science Policies
Contributors
People Index
Co-hosted Conferences
AST
Organizing Committee
AST Steering Committee
Program Committee
CAIN
Organizing Committee
Program Committee
Industrial Track Committee
Posters Committee
CHASE
Organizing Committee
Program Committee
FormaliSE
General Chairs
Program Chairs
Program Committee
ICPC
Organizing Committee
Steering Committee
Early Research Achievements (ERA)
Replications and Negative Results (RENE)
Research
Tool Demonstration
MOBILESoft
Organizing Committee
Technical Papers
Industry Forum
NIER (Novel Ideas and Emerging Results)
Student Research Competition
Tool Demos and Mobile Apps
MSR
Organizing Committee
Data and Tool Showcase Track
FOSS Award
Hackathon
Industry Track
MIP Award
MSR Awards
Mining Challenge
Registered Reports
Shadow PC
Shadow PC Co-chairs
Shadow PC
Shadow PC Advisors
Shadow PC
Shadow PC Members
Technical Papers
TechDebt
Organizing Committee
Steering Committee
Technical Papers
Tools Track
Workshops
APR
N/A - check homepage
BotSE
Organizing Committee
Programme Committee
Steering Committee
DREE
Organizing Committee
Program Committee
EMIP
Organizers
Program Committee
EnCyCriS
Organization Committee
Program Committee
FairWare
N/A - check homepage
GAS
Organizing Committee
Program Committee
GE@ICSE 2023
N/A - check homepage
IWSiB
Organising Committee
Program Committee
MET
N/A - check homepage
NLBSE
Organizing Committee
Program Committee
Q-SE
Organizing Committee
Program Committee
RoPES
N/A - check homepage
RoSE
N/A - check homepage
SBST
N/A - check homepage
SE4RAI
Organizing Committee
Program Committee
SEENG
N/A - check homepage
SERP4IoT
Organizing Committee
Program Committee
SESoS
Organizing Committee
Steering Committee
Proceedings Chair
Program Committee
Social Media & Website Support
WETSEB
N/A - check homepage
Co-hosted Symposia
SEAMS
Organizing Committee
Program Committee
Industry Committee
Doctoral Symposium Committee
Artifact Program Committee
Steering Committee
Attending
Venue: David Lawrence Convention Center
Virtual: Midspace
Overview
Attending Virtually
Attending In-Person
Registration
Code of Conduct
Diversity, Equity, and Inclusion
Travel Support
Social Events
Sustainability
Sponsors and Supporters
Search
Series
Series
ICSE 2025
ICSE 2024
ICSE 2023
ICSE 2022
ICSE 2021
ICSE 2020
ICSE 2019
* ICSE 2018 *
Sign in
Sign up
ICSE 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
Fri 1 Nov 00:29