Write a Blog >>
MSR 2018
Mon 28 - Tue 29 May 2018
Gothenburg, Sweden
co-located with
* ICSE 2018 *
Toggle navigation
Attending
Venue: Congress center Gothia Towers
Program
MSR Program
Your Program
MSR Program
Mon 28 May
Tue 29 May
Tracks
MSR 2018
Technical Papers
Mining Challenge
Data Showcase
FOSS Award
Organization
MSR 2018 Committees
Organizing committee
Track Committees
Technical Papers
FOSS Award Committee
Program Committee
Mining Challenge
Data Showcase
FOSS Award
Contributors
People Index
Search
Series
Series
MSR 2025
MSR 2024
MSR 2023
MSR 2022
MSR 2021
MSR 2020
MSR 2019
MSR 2018
Sign in
Sign up
* ICSE 2018 *
(
series
) /
MSR 2018
(
series
) /
Congress center Gothia Towers
/
Room information: R22+23
Venue
Congress center Gothia Towers
Room name
R22+23
Floor
2
Capacity
50
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+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
.
Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
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
Mon 28 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
09:00 - 17:30
AST - 13th IEEE/ACM International Workshop on Automation of Software Test
* ICSE * Workshops
at
R22+23
Tue 29 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
09:00 - 17:30
AST - 13th IEEE/ACM International Workshop on Automation of Software Test
* ICSE * Workshops
at
R22+23
Sat 2 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
08:45 - 09:00
Welcome
FormaliSE
at
R22+23
Chair(s):
Patrizio Pelliccione
University of Gothenburg & Chalmers University of Technology
,
Paola Spoletini
Kennesaw State University
09:00 - 10:00
Keynote
FormaliSE
at
R22+23
Chair(s):
Stefania Gnesi
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo"
09:00
60m
Talk
Risk management of high tech systems
FormaliSE
Marielle Stoelinga
University of Twente
10:00 - 10:30
Formal Methods for Autonomous Systems 1
FormaliSE
at
R22+23
Chair(s):
Claudio Menghi
University of Gothenburg, Sweden
10:00
30m
Full-paper
Formal Verification of Complex Robotic Systems on Resource-Constrained Platforms
FormaliSE
11:00 - 12:30
Runtime verification
FormaliSE
at
R22+23
Chair(s):
Domenico Bianculli
University of Luxembourg
11:00
30m
Research paper
Extending Specification Patterns for Verification of Parametric Traces
FormaliSE
11:30
30m
Research paper
Runtime Verification of Hyperproperties for Deterministic Programs
FormaliSE
12:00
30m
Research paper
Testing Meets Static and Runtime Verification
FormaliSE
13:45 - 14:15
Student presentations
FormaliSE
at
R22+23
Chair(s):
Nico Plat
Thanos
14:15 - 15:30
Program Verification and Application
FormaliSE
at
R22+23
Chair(s):
Wolfgang Ahrendt
Chalmers University of Technology
14:15
25m
Research paper
CIL to Java-bytecode Translation for Static Analysis Leveraging
FormaliSE
14:40
25m
Research paper
Modeling Time in Java Programs for Automatic Error Detection
FormaliSE
15:05
25m
Talk
[Short paper] Domain-specific Design of Patient Classification in Cancer-related Cachexia Research
FormaliSE
Alexander Wickert
University of Potsdam
,
Anna-Lena Lamprecht
Utrecht University
,
Tiziana Margaria
University of Limerick and Lero - The Irish Software Research Centre
16:00 - 17:15
Formal Methods for Autonomous Systems 2
FormaliSE
at
R22+23
Chair(s):
Michael Whalen
University of Minnesota
16:00
25m
Research paper
Self-Adaptive Automata
FormaliSE
16:25
25m
Research paper
Formal Verification of an Autonomous Wheel Loader by Model Checking
FormaliSE
16:50
25m
Short-paper
[Short paper] Formal verification of automotive embedded software
FormaliSE
17:15 - 17:30
Closing remarks
FormaliSE
at
R22+23
Chair(s):
Stefania Gnesi
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo"
,
Nico Plat
Thanos
Mon 28 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
R22+23
* ICSE * Workshops
AST - 13th IEEE/ACM International Workshop on Automation of Software Test
Tue 29 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
R22+23
* ICSE * Workshops
AST - 13th IEEE/ACM International Workshop on Automation of Software Test
Sat 2 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
8:00
30
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
R22+23
FormaliSE
Welcome
FormaliSE
Keynote
FormaliSE
Formal Methods for Autonomous Systems 1
FormaliSE
Runtime verification
FormaliSE
Student presentations
FormaliSE
Program Verification and Application
FormaliSE
Formal Methods for Autonomous Systems 2
FormaliSE
Closing remarks
Sat 2 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
15
30
45
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
16:00
15
30
45
17:00
15
30
45
R22+23
FormaliSE
Risk management of high tech systems
09:00 - 10:00
FormaliSE
Formal Verification of Complex Robotic Systems on Resource-Constrained ...
10:00 - 10:30
FormaliSE
Extending Specification Patterns for Verification of Parametric Traces
11:00 - 11:30
FormaliSE
Runtime Verification of Hyperproperties for Deterministic Programs
11:30 - 12:00
FormaliSE
Testing Meets Static and Runtime Verification
12:00 - 12:30
FormaliSE
CIL to Java-bytecode Translation for Static Analysis Leveraging
14:15 - 14:40
FormaliSE
Modeling Time in Java Programs for Automatic Error Detection
14:40 - 15:05
FormaliSE
[Short paper] Domain-specific Design of Patient Classification in Cance ...
15:05 - 15:30
FormaliSE
Self-Adaptive Automata
16:00 - 16:25
FormaliSE
Formal Verification of an Autonomous Wheel Loader by Model Checking
16:25 - 16:50
FormaliSE
[Short paper] Formal verification of automotive embedded software
16:50 - 17:15
x
Thu 21 Nov 10:51