Blogs (1) >>
ICSE 2019
Sat 25 - Fri 31 May 2019 Montreal, QC, Canada
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
Times are displayed in time zone: Eastern Time (US & Canada) change

10:30 - 11:00
[Day 1] - First coffee breakICGSE Main at Foyer
10:30 - 11:00
10:30 - 11:00
Coffee breakMOBILESoft 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
Times are displayed in time zone: Eastern Time (US & Canada) change

10:30 - 11:00
Coffee breakMOBILESoft at Foyer
10:30 - 11:00
BreakTechDebt at Foyer
10:30 - 11:00
10:30 - 11:00
[Day 2] - First coffee breakICGSE Main at Foyer
10:35 - 11:00
11:45 - 11:55
Mini-breakMSR Plenary at Foyer
11:45 - 11:55
Mini-breakMSR 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 - 13:50
12:30 - 14:00
12:30 - 14:00
Lunch and Poster ReviewTechDebt at Foyer
12:30 - 14:00
14:35 - 14:45
Mini-breakMSR Plenary at Foyer
14:35 - 14:45
Mini-breakMSR Plenary at Foyer
15:30 - 16:00
15:30 - 16:00
[Day 2] - Second coffee breakICGSE Main at Foyer
15:30 - 16:00
15:30 - 16:00
15:30 - 16:00
BreakTechDebt at Foyer
15:45 - 16:00

Mon 27 May
Times are displayed in time zone: Eastern Time (US & Canada) change

09:30 - 09:40
Mini-breakMSR Plenary at Foyer
09:30 - 09:40
Mini-breakMSR Plenary at Foyer
10:30 - 11:00
10:30 - 11:00
BreakTechDebt at Foyer
10:30 - 11:00
Coffee breakFormaliSE at Foyer
10:30
30m
Coffee break
Coffee break
FormaliSE
10:30 - 11:00
11:45 - 11:55
Mini-breakMSR Plenary at Foyer
11:45 - 11:55
Mini-breakMSR Plenary at Foyer
12:30 - 13:50
12:30 - 14:00
LunchTechDebt at Foyer
12:30 - 14:00
12:30
90m
Lunch
Lunch
FormaliSE
14:00 - 15:30
Session 3FormaliSE at Foyer
Chair(s): Eunsuk KangCarnegie Mellon University
14:00
25m
Full-paper
Parallelizable Reachability Analysis Algorithms for Feed-Forward Neural Networks
FormaliSE
Hoang-Dung TranVanderbilt University, Patrick MusauVanderbilt University, Diego Manzanas LopezVanderbilt University, Xiao Dong YangVanderbilt University, Luan NguyenUniversity of Pennsylvania, Weiming XiangVanderbilt University, Taylor T JohnsonVanderbilt University
14:25
15m
Short-paper
Towards Sampling and Simulation-Based Analysis of Featured Weighted Automata
FormaliSE
Maxime CordySnT, University of Luxembourg, Axel Legay, Sami LazregVisteon Electronics and Universite Cote d Azur, Philippe ColletUniversity of Nice
14:40
25m
Full-paper
Verifying Channel Communication Correctness for a Multi-Core Cooperatively Scheduled Runtime Using CSP
FormaliSE
Jan PedersenUniversity of Nevada Las Vegas, Kevin ChalmersEdinburgh Napier University
15:05
25m
Full-paper
A Generalized Program Verification Workflow Based on Loop Elimination and SA Form
FormaliSE
Cláudio Belo LourençoLRI, Université Paris-Sud & INRIA Saclay, Maria João FradeHASLab/INESC TEC & Universidade do Minho, Portugal, Jorge Sousa PintoHASLab/INESC TEC & Universidade do Minho, Portugal
14:35 - 14:45
Mini-breakMSR Plenary at Foyer
14:35 - 14:45
Mini-breakMSR 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
Times are displayed in time zone: Eastern Time (US & Canada) change

Sun 26 May
Times are displayed in time zone: Eastern Time (US & Canada) change

Mon 27 May
Times are displayed in time zone: Eastern Time (US & Canada) change

Sun 26 May
Times are displayed in time zone: Eastern Time (US & Canada) change

Room12:0015304513:00153045
Foyer