Write a Blog >>
TechDebt 2018
Sun 27 - Mon 28 May 2018
Gothenburg, Sweden
co-located with
* ICSE 2018 *
Toggle navigation
Attending
Venue: Congress center Gothia Towers
* ICSE 2018 *
Registration
Accommodation, Hotels, Sharing rooms
Gothenburg
Travel
Travel and participation support
Social Events
Excursions and Side Program
Support Opportunities and Exibitions
Resources
ICSE Morning Run
Football
Sponsors and Supporters
Lunch and Coffee Break menus
Photos
Program
Complete Program
Your Program
Sun 27 May
Mon 28 May
Track/Call
Organization
TechDebt 2018
Organizing Committee
Contributors
People Index
Search
Series
Series
TechDebt 2020
TechDebt 2019
TechDebt 2018
Sign in
Sign up
* ICSE 2018 *
(
series
) /
TechDebt 2018 (
series
) /
Congress center Gothia Towers
/
Room information: R22+23
Venue
Congress center Gothia Towers
Room name
R22+23
Floor
2
Capacity
50
Additional information
There is no additional information of this room available.
Display in different 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) Greenwich Mean Time : Belfast
(GMT+01:00) Greenwich Mean Time : Dublin
(GMT+01:00) Greenwich Mean Time : Lisbon
(GMT+01:00) Greenwich Mean Time : 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) 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
Apply
Program
Detailed Table
Session Timeline
Detailed Timeline
×
You're viewing the program in a time zone which is different from your device's time zone -
change time zone
Mon 28 May
Times are displayed in time zone:
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
icse-2018-Workshops
09:00 - 17:30:
Workshops
- AST - 13th IEEE/ACM International Workshop on Automation of Software Test at
R22+23
Tue 29 May
Times are displayed in time zone:
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
icse-2018-Workshops
09:00 - 17:30:
Workshops
- AST - 13th IEEE/ACM International Workshop on Automation of Software Test at
R22+23
Sat 2 Jun
Times are displayed in time zone:
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Formalise-2018-papers
08:45 - 09:00:
FormaliSE 2018
- Welcome at
R22+23
Chair(s):
Patrizio Pelliccione
University of Gothenburg & Chalmers University of Technology
,
Paola Spoletini
Kennesaw State University
Formalise-2018-papers
09:00 - 10:00:
FormaliSE 2018
- Keynote at
R22+23
Chair(s):
Stefania Gnesi
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo"
Formalise-2018-papers
09:00 - 10:00
Talk
Risk management of high tech systems
Marielle Stoelinga
University of Twente
Formalise-2018-papers
10:00 - 10:30:
FormaliSE 2018
- Formal Methods for Autonomous Systems 1 at
R22+23
Chair(s):
Claudio Menghi
University of Gothenburg, Sweden
Formalise-2018-papers
10:00 - 10:30
Full-paper
Formal Verification of Complex Robotic Systems on Resource-Constrained Platforms
Formalise-2018-papers
11:00 - 12:30:
FormaliSE 2018
- Runtime verification at
R22+23
Chair(s):
Domenico Bianculli
University of Luxembourg
Formalise-2018-papers
11:00 - 11:30
Research paper
Extending Specification Patterns for Verification of Parametric Traces
Formalise-2018-papers
11:30 - 12:00
Research paper
Runtime Verification of Hyperproperties for Deterministic Programs
Formalise-2018-papers
12:00 - 12:30
Research paper
Testing Meets Static and Runtime Verification
Formalise-2018-papers
13:45 - 14:15:
FormaliSE 2018
- Student presentations at
R22+23
Chair(s):
Nico Plat
Thanos
Formalise-2018-papers
14:15 - 15:30:
FormaliSE 2018
- Program Verification and Application at
R22+23
Chair(s):
Wolfgang Ahrendt
Chalmers University of Technology
Formalise-2018-papers
14:15 - 14:40
Research paper
CIL to Java-bytecode Translation for Static Analysis Leveraging
Formalise-2018-papers
14:40 - 15:05
Research paper
Modeling Time in Java Programs for Automatic Error Detection
Formalise-2018-papers
15:05 - 15:30
Talk
[Short paper] Domain-specific Design of Patient Classification in Cancer-related Cachexia Research
Alexander Wickert
University of Potsdam
,
Anna-Lena Lamprecht
Utrecht University
,
Tiziana Margaria
University of Limerick and Lero - The Irish Software Research Centre
Formalise-2018-papers
16:00 - 17:15:
FormaliSE 2018
- Formal Methods for Autonomous Systems 2 at
R22+23
Chair(s):
Michael Whalen
University of Minnesota
Formalise-2018-papers
16:00 - 16:25
Research paper
Self-Adaptive Automata
Formalise-2018-papers
16:25 - 16:50
Research paper
Formal Verification of an Autonomous Wheel Loader by Model Checking
Formalise-2018-papers
16:50 - 17:15
Short-paper
[Short paper] Formal verification of automotive embedded software
Formalise-2018-papers
17:15 - 17:30:
FormaliSE 2018
- Closing remarks at
R22+23
Chair(s):
Stefania Gnesi
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo"
,
Nico Plat
Thanos
Mon 28 May
Times are displayed in time zone:
(GMT+02:00) 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
Times are displayed in time zone:
(GMT+02:00) 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
Times are displayed in time zone:
(GMT+02:00) 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
Times are displayed in time zone:
(GMT+02:00) 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 16 Jul 19:24