Write a Blog >>
MSR 2019
Sun 26 - Mon 27 May 2019 Montreal, QC, Canada
co-located with ICSE 2019
VenueFairmont The Queen Elizabeth Hotel
Room nameFoyer
Floor0
Room number35
Room InformationNo extra information available
Program

You're viewing the program in a time zone which is different from your device's time zone change time zone

Sat 25 May

Displayed time zone: Eastern Time (US & Canada) change

10:30 - 11:00
Coffee breakMOBILESoft at Foyer
10:30 - 11:00
10:30 - 11:00
[Day 1] - First coffee breakICGSE Main at Foyer
12:30 - 14:00
[Day 1] - Lunch breakICGSE Main at Foyer
12:40 - 14:00
15:30 - 16:00
15:30 - 16:00
[Day 1] - Second coffee breakICGSE Main at Foyer
15:30 - 16:00
17:45 - 18:00
[Day 1] - BreakICGSE Main at Foyer

Sun 26 May

Displayed time zone: Eastern Time (US & Canada) change

10:30 - 11:00
10:30 - 11:00
BreakTechDebt at Foyer
10:30 - 11:00
[Day 2] - First coffee breakICGSE Main at Foyer
10:30 - 11:00
Coffee breakMOBILESoft at Foyer
10:35 - 11:00
11:45 - 11:55
Mini-breakMSR 2019 Plenary at Foyer
11:45 - 11:55
Mini-breakMSR 2019 Plenary at Foyer
12:30 - 14:00
[Day 2] - Lunch breakICGSE Main at Foyer
12:30
90m
Meeting
Steering Board meeting at Dièse
ICGSE Main

12:30 - 14:00
Lunch and Poster ReviewTechDebt at Foyer
12:30 - 14:00
12:30 - 14:00
12:30 - 13:50
14:35 - 14:45
Mini-breakMSR 2019 Plenary at Foyer
14:35 - 14:45
Mini-breakMSR 2019 Plenary at Foyer
15:30 - 16:00
15:30 - 16:00
15:30 - 16:00
BreakTechDebt at Foyer
15:30 - 16:00
15:30 - 16:00
[Day 2] - Second coffee breakICGSE Main at Foyer
15:45 - 16:00

Mon 27 May

Displayed time zone: Eastern Time (US & Canada) change

09:30 - 09:40
Mini-breakMSR 2019 Plenary at Foyer
09:30 - 09:40
Mini-breakMSR 2019 Plenary at Foyer
10:30 - 11:00
10:30 - 11:00
Coffee breakFormaliSE at Foyer
10:30
30m
Coffee break
Coffee break
FormaliSE

10:30 - 11:00
10:30 - 11:00
BreakTechDebt at Foyer
11:45 - 11:55
Mini-breakMSR 2019 Plenary at Foyer
11:45 - 11:55
Mini-breakMSR 2019 Plenary at Foyer
12:30 - 14:00
12:30
90m
Lunch
Lunch
FormaliSE

12:30 - 13:50
12:30 - 14:00
LunchTechDebt at Foyer
14:00 - 15:30
Session 3FormaliSE at Foyer
Chair(s): Eunsuk Kang Carnegie Mellon University
14:00
25m
Full-paper
Parallelizable Reachability Analysis Algorithms for Feed-Forward Neural Networks
FormaliSE
Hoang-Dung Tran Vanderbilt University, Patrick Musau Vanderbilt University, Diego Manzanas Lopez Vanderbilt University, Xiao Dong Yang Vanderbilt University, Luan Nguyen University of Pennsylvania, Weiming Xiang Vanderbilt University, Taylor T Johnson Vanderbilt University
14:25
15m
Short-paper
Towards Sampling and Simulation-Based Analysis of Featured Weighted Automata
FormaliSE
Maxime Cordy SnT, University of Luxembourg, Axel Legay , Sami Lazreg Visteon Electronics and Universite Cote d Azur, Philippe Collet University of Nice
14:40
25m
Full-paper
Verifying Channel Communication Correctness for a Multi-Core Cooperatively Scheduled Runtime Using CSP
FormaliSE
Jan Pedersen University of Nevada Las Vegas, Kevin Chalmers Edinburgh Napier University
15:05
25m
Full-paper
A Generalized Program Verification Workflow Based on Loop Elimination and SA Form
FormaliSE
Cláudio Belo Lourenço LRI, Université Paris-Sud & INRIA Saclay, Maria João Frade HASLab/INESC TEC & Universidade do Minho, Portugal, Jorge Sousa Pinto HASLab/INESC TEC & Universidade do Minho, Portugal
14:35 - 14:45
Mini-breakMSR 2019 Plenary at Foyer
14:35 - 14:45
Mini-breakMSR 2019 Plenary at Foyer
15:30 - 16:00
15:30 - 16:00
Coffee breakFormaliSE at Foyer
15:30
30m
Coffee break
Tea break
FormaliSE

15:30 - 16:00
15:30 - 16:00
Break / Informal Demos ContinueTechDebt at Foyer

Sat 25 May

Displayed time zone: Eastern Time (US & Canada) change

Sun 26 May

Displayed time zone: Eastern Time (US & Canada) change

Room12:0015304513:00153045
Foyer