SEAMS 2019
Sat 25 - Sun 26 May 2019
Montreal, QC, Canada
co-located with
ICSE 2019
Toggle navigation
Attending
Venue: Fairmont The Queen Elizabeth Hotel
Registration
Program
SEAMS Program
Your Program
Keynotes
Banquet
Sat 25 May
Sun 26 May
Track/Call
Organization
SEAMS 2019 Committees
Track Committees
Organizing Committee
Program Committee
Artifact Program Committee
Doctoral Projects Program Committee
Contributors
People Index
Search
Series
Series
SEAMS 2025
SEAMS 2024
SEAMS 2023
SEAMS 2022
SEAMS 2021
SEAMS 2020
SEAMS 2019
SEAMS 2018
Sign in
Sign up
ICSE 2019
(
series
) /
SEAMS 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 Main
at
Foyer
12:30 - 14:00
[Day 1] - Lunch break
ICGSE 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 Main
at
Foyer
15:30 - 16:00
Break
MOBILESoft
at
Foyer
17:45 - 18:00
[Day 1] - Break
ICGSE 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 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 Main
at
Foyer
12:30
90m
Meeting
Steering Board meeting at Dièse
ICGSE 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 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 Main
[Day 1] - First coffee break
10:30 - 11:00
ICGSE Main
[Day 1] - Lunch break
ICPC Presentations
Lunch
12:40 - 14:00
ICPC Presentations
Break
ICGSE Main
[Day 1] - Second coffee break
15:30 - 16:00
MOBILESoft
Break
15:30 - 16:00
ICGSE 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 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 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 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
Sun 22 Dec 09:45