ICGSE 2019
Fri 24 - Sun 26 May 2019
Montreal, QC, Canada
co-located with
ICSE 2019
Toggle navigation
Attending
Venue: Fairmont The Queen Elizabeth Hotel
ICSE 2019
Accommodation
Registration
Registration Desk Hours
Resume Database
Visas and Travel Authorizations
Travel Support
Childcare
Montréal
Code of Conduct
Diversity and Inclusion Plan
Logo
Program
ICGSE Program
Your Program
Fri 24 May
Sat 25 May
Sun 26 May
Tracks
ICGSE 2019
ICGSE 2019 Main
ICGSE 2019 Research Papers
ICGSE 2019 Journal-First Paper Presentations
ICGSE 2019 Experience Reports
ICGSE 2019 Industry Talks
ICGSE 2019 Doctoral Symposium
ICGSE 2019 JSS Special Issue
Organization
ICGSE 2019 Committees
Organizing Committee
Industry Liaisons
Track Committees
ICGSE 2019 Research Papers
ICGSE 2019 Experience Reports
Contributors
People Index
Search
Series
Series
ICSSP+ICGSE 2021
ICGSE 2020
ICGSE 2019
ICGSE 2018
ICGSE 2017
ICGSE 2016
ICGSE 2015
ICGSE 2014
ICGSE 2013
ICGSE 2012
ICGSE 2011
ICGSE 2010
ICGSE 2009
ICGSE 2008
ICGSE 2007
ICGSE 2006
Sign in
Sign up
ICSE 2019
(
series
) /
ICGSE 2019
(
series
) /
Fairmont The Queen Elizabeth Hotel
/
Room information: Foyer
Venue
Fairmont The Queen Elizabeth Hotel
Room name
Foyer
Floor
0
Room number
35
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT-04:00) Eastern Time (US & Canada)
.
Use conference time zone: (GMT-04:00) Eastern Time (US & Canada)
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-06:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-04:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+04:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
The GMT offsets shown reflect the offsets
at the moment of the conference
.
Time Band
By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.
Display full program
Specify a time band
-
Save
×
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 break
MOBILESoft
at
Foyer
10:30 - 11:00
Break
ICPC Presentations
at
Foyer
10:30 - 11:00
[Day 1] - First coffee break
ICGSE 2019 Main
at
Foyer
12:30 - 14:00
[Day 1] - Lunch break
ICGSE 2019 Main
at
Foyer
12:40 - 14:00
Lunch
ICPC Presentations
at
Foyer
15:30 - 16:00
Break
ICPC Presentations
at
Foyer
15:30 - 16:00
[Day 1] - Second coffee break
ICGSE 2019 Main
at
Foyer
15:30 - 16:00
Break
MOBILESoft
at
Foyer
17:45 - 18:00
[Day 1] - Break
ICGSE 2019 Main
at
Foyer
Sun 26 May
Displayed time zone:
Eastern Time (US & Canada)
change
10:30 - 11:00
Break
MSR Plenary
at
Foyer
10:30 - 11:00
Break
TechDebt
at
Foyer
10:30 - 11:00
[Day 2] - First coffee break
ICGSE 2019 Main
at
Foyer
10:30 - 11:00
Coffee break
MOBILESoft
at
Foyer
10:35 - 11:00
Break
ICPC Presentations
at
Foyer
11:45 - 11:55
Mini-break
MSR Plenary
at
Foyer
11:45 - 11:55
Mini-break
MSR Plenary
at
Foyer
12:30 - 14:00
[Day 2] - Lunch break
ICGSE 2019 Main
at
Foyer
12:30
90m
Meeting
Steering Board meeting at Dièse
ICGSE 2019 Main
12:30 - 14:00
Lunch and Poster Review
TechDebt
at
Foyer
12:30 - 14:00
Lunch
MOBILESoft
at
Foyer
12:30 - 14:00
Lunch
ICPC Presentations
at
Foyer
12:30 - 13:50
Lunch
MSR Plenary
at
Foyer
14:35 - 14:45
Mini-break
MSR Plenary
at
Foyer
14:35 - 14:45
Mini-break
MSR Plenary
at
Foyer
15:30 - 16:00
Break
MSR Plenary
at
Foyer
15:30 - 16:00
Break
MSR Plenary
at
Foyer
15:30 - 16:00
Break
TechDebt
at
Foyer
15:30 - 16:00
Break
ICPC Presentations
at
Foyer
15:30 - 16:00
[Day 2] - Second coffee break
ICGSE 2019 Main
at
Foyer
15:45 - 16:00
Break
MOBILESoft
at
Foyer
Mon 27 May
Displayed time zone:
Eastern Time (US & Canada)
change
09:30 - 09:40
Mini-break
MSR Plenary
at
Foyer
09:30 - 09:40
Mini-break
MSR Plenary
at
Foyer
10:30 - 11:00
Break
MSR Plenary
at
Foyer
10:30 - 11:00
Coffee break
FormaliSE
at
Foyer
10:30
30m
Coffee break
Coffee break
FormaliSE
10:30 - 11:00
Break
MSR Plenary
at
Foyer
10:30 - 11:00
Break
TechDebt
at
Foyer
11:45 - 11:55
Mini-break
MSR Plenary
at
Foyer
11:45 - 11:55
Mini-break
MSR Plenary
at
Foyer
12:30 - 14:00
Lunch
FormaliSE
at
Foyer
12:30
90m
Lunch
Lunch
FormaliSE
12:30 - 13:50
Lunch
MSR Plenary
at
Foyer
12:30 - 14:00
Lunch
TechDebt
at
Foyer
14:00 - 15:30
Session 3
FormaliSE
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-break
MSR Plenary
at
Foyer
14:35 - 14:45
Mini-break
MSR Plenary
at
Foyer
15:30 - 16:00
Break
MSR Plenary
at
Foyer
15:30 - 16:00
Coffee break
FormaliSE
at
Foyer
15:30
30m
Coffee break
Tea break
FormaliSE
15:30 - 16:00
Break
MSR Plenary
at
Foyer
15:30 - 16:00
Break / Informal Demos Continue
TechDebt
at
Foyer
Sat 25 May
Displayed time zone:
Eastern Time (US & Canada)
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Foyer
MOBILESoft
Coffee break
ICPC Presentations
Break
10:30 - 11:00
ICGSE 2019 Main
[Day 1] - First coffee break
10:30 - 11:00
ICGSE 2019 Main
[Day 1] - Lunch break
ICPC Presentations
Lunch
12:40 - 14:00
ICPC Presentations
Break
ICGSE 2019 Main
[Day 1] - Second coffee break
15:30 - 16:00
MOBILESoft
Break
15:30 - 16:00
ICGSE 2019 Main
[Day 1] - Break
Sun 26 May
Displayed time zone:
Eastern Time (US & Canada)
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
Foyer
MSR Plenary
Break
TechDebt
Break
10:30 - 11:00
ICGSE 2019 Main
[Day 2] - First coffee break
10:30 - 11:00
MOBILESoft
Coffee break
10:30 - 11:00
ICPC Presentations
Break
10:35 - 11:00
MSR Plenary
Mini-break
MSR Plenary
Mini-break
11:45 - 11:55
ICGSE 2019 Main
[Day 2] - Lunch break
TechDebt
Lunch and Poster Review
12:30 - 14:00
MOBILESoft
Lunch
12:30 - 14:00
ICPC Presentations
Lunch
12:30 - 14:00
MSR Plenary
Lunch
12:30 - 13:50
MSR Plenary
Mini-break
MSR Plenary
Mini-break
14:35 - 14:45
MSR Plenary
Break
MSR Plenary
Break
15:30 - 16:00
TechDebt
Break
15:30 - 16:00
ICPC Presentations
Break
15:30 - 16:00
ICGSE 2019 Main
[Day 2] - Second coffee break
15:30 - 16:00
MOBILESoft
Break
15:45 - 16:00
Mon 27 May
Displayed time zone:
Eastern Time (US & Canada)
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
Foyer
MSR Plenary
Mini-break
MSR Plenary
Mini-break
09:30 - 09:40
MSR Plenary
Break
FormaliSE
Coffee break
10:30 - 11:00
MSR Plenary
Break
10:30 - 11:00
TechDebt
Break
10:30 - 11:00
MSR Plenary
Mini-break
MSR Plenary
Mini-break
11:45 - 11:55
FormaliSE
Lunch
MSR Plenary
Lunch
12:30 - 13:50
TechDebt
Lunch
12:30 - 14:00
FormaliSE
Session 3
MSR Plenary
Mini-break
14:35 - 14:45
MSR Plenary
Mini-break
14:35 - 14:45
MSR Plenary
Break
FormaliSE
Coffee break
15:30 - 16:00
MSR Plenary
Break
15:30 - 16:00
TechDebt
Break / Informal Demos Continue
15:30 - 16:00
Sun 26 May
Displayed time zone:
Eastern Time (US & Canada)
change
Room
12:00
15
30
45
13:00
15
30
45
Foyer
ICGSE Main
Steering Board meeting at Dièse
12:30 - 14:00
Mon 27 May
Displayed time zone:
Eastern Time (US & Canada)
change
Room
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
Foyer
FormaliSE
Coffee break
10:30 - 11:00
FormaliSE
Lunch
12:30 - 14:00
FormaliSE
Parallelizable Reachability Analysis Algorithms for Feed-Forward Neural ...
14:00 - 14:25
FormaliSE
Towards Sampling and Simulation-Based Analysis of Featured Weighted Aut ...
14:25 - 14:40
FormaliSE
Verifying Channel Communication Correctness for a Multi-Core Cooperativ ...
14:40 - 15:05
FormaliSE
A Generalized Program Verification Workflow Based on Loop Elimination a ...
15:05 - 15:30
FormaliSE
Tea break
15:30 - 16:00
x
Mon 23 Dec 08:01