Blogs (1) >>
ICSE 2019
Sat 25 - Fri 31 May 2019 Montreal, QC, Canada
VenueFairmont The Queen Elizabeth Hotel
Room nameFoyer
Floor0
Room number35
Additional informationThere is no additional information of this room 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: BreakICPC Presentations at Foyer
10:30 - 11:00: Coffee breakMOBILESoft at Foyer
12:30 - 14:00: [Day 1] - Lunch breakICGSE Main at Foyer
12:40 - 14:00: LunchICPC Presentations at Foyer
15:30 - 16:00: BreakMOBILESoft at Foyer
15:30 - 16:00: [Day 1] - Second coffee breakICGSE Main at Foyer
15:30 - 16:00: BreakICPC Presentations at Foyer
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: BreakMSR Plenary at Foyer
10:30 - 11:00: [Day 2] - First coffee breakICGSE Main at Foyer
10:35 - 11:00: BreakICPC Presentations at Foyer
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 - 14:00
Meeting
Steering Board meeting at Dièse
ICGSE Main
12:30 - 13:50: LunchMSR Plenary at Foyer
12:30 - 14:00: LunchMOBILESoft at Foyer
12:30 - 14:00: Lunch and Poster ReviewTechDebt at Foyer
12:30 - 14:00: LunchICPC Presentations at Foyer
14:35 - 14:45: Mini-breakMSR Plenary at Foyer
14:35 - 14:45: Mini-breakMSR Plenary at Foyer
15:30 - 16:00: BreakMSR Plenary at Foyer
15:30 - 16:00: [Day 2] - Second coffee breakICGSE Main at Foyer
15:30 - 16:00: BreakICPC Presentations at Foyer
15:30 - 16:00: BreakMSR Plenary at Foyer
15:30 - 16:00: BreakTechDebt at Foyer
15:45 - 16:00: BreakMOBILESoft at Foyer

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: BreakMSR Plenary at Foyer
10:30 - 11:00: BreakTechDebt at Foyer
10:30 - 11:00: Coffee breakFormaliSE at Foyer
10:30 - 11:00
Coffee break
Coffee break
FormaliSE
10:30 - 11:00: BreakMSR Plenary at Foyer
11:45 - 11:55: Mini-breakMSR Plenary at Foyer
11:45 - 11:55: Mini-breakMSR Plenary at Foyer
12:30 - 13:50: LunchMSR Plenary at Foyer
12:30 - 14:00: LunchTechDebt at Foyer
12:30 - 14:00: LunchFormaliSE at Foyer
12:30 - 14:00
Lunch
Lunch
FormaliSE
14:00 - 15:30: Session 3FormaliSE at Foyer
Chair(s): Eunsuk KangCarnegie Mellon University
14:00 - 14:25
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 - 14:40
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 - 15:05
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 - 15:30
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: BreakMSR Plenary at Foyer
15:30 - 16:00: Coffee breakFormaliSE at Foyer
15:30 - 16:00
Coffee break
Tea break
FormaliSE
15:30 - 16:00: BreakMSR Plenary at Foyer
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