Write a Blog >>
ISSTA 2021
Sun 11 - Sat 17 July 2021
Online
co-located with
ECOOP and ISSTA 2021
Toggle navigation
Attending
Venue: online
ECOOP and ISSTA 2021
Registration
Information for Attendees
Instructions to Presenters
Equity, Diversity and Inclusion
ECOOP Awards
Sponsorship
ECOOP and ISSTA 2021
Sponsorship
Sponsors and Supporters
Program
Complete Program
Your Program
ECOOP and ISSTA 2021
Schedule Overview
Filter by Day
Sun 11 Jul
Mon 12 Jul
Tue 13 Jul
Wed 14 Jul
Thu 15 Jul
Fri 16 Jul
Sat 17 Jul
Tracks
ISSTA 2021
Technical Papers
Artifact Evaluation
Tool Demonstrations
Keynotes
ECOOP and ISSTA 2021
ECOOP and ISSTA Opening
Sponsors
Summer School
Doctoral Symposium
Discussions with Experts
Posters
Workshops
2022 Previews
Co-hosted Conferences
REBASE
Workshops
AISTA
COP
FTfJP
ICOOOLPS
IWACO
[Cancelled]
VORTEX
WOSCA
[Cancelled]
Organization
ISSTA 2021 Committees
Organizing Comittee
Program Committee
Track Committees
Artifact Evaluation
Tool Demonstrations
ECOOP and ISSTA
Summer School
Doctoral Symposium
Doctoral Symposium Committee
Program Committee
Discussions with Experts
Posters
Workshops
Contributors
People Index
Co-hosted Conferences
REBASE
REBASE
Workshops
AISTA
Organizing Committee
Program Committee
COP
Organizing Committee
Program Committee
FTfJP
Program Committee Chair
Program Committee
Steering Committee
ICOOOLPS
Program Committee
Organizing Committee
IWACO
Organizing Committee
Program Committee
VORTEX
Organizing Committee
Program Committee
WOSCA
N/A - check homepage
Search
Series
Series
ISSTA 2025
ISSTA 2024
ISSTA 2023
ISSTA 2022
ISSTA 2021
ISSTA 2020
ISSTA 2019
ISSTA 2018
ISSTA 2017
Sign in
Sign up
ECOOP and ISSTA 2021
(
series
) /
ISSTA 2021
(
series
) /
online
/
Room information: SPIN
Venue
online
Room name
SPIN
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) Brussels, Copenhagen, Madrid, Paris
.
Use conference time zone: (GMT+02:00) Brussels, Copenhagen, Madrid, Paris
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 12 Jul
Displayed time zone:
Brussels, Copenhagen, Madrid, Paris
change
09:50 - 10:00
Opening
SPIN
at
SPIN
Chair(s):
Alfons Laarman
Leiden University
10:00 - 11:00
Invited talk 1
SPIN
at
SPIN
Chair(s):
Dragan Bosnacki
Eindhoven University of Technology, The Netherlands
10:00
60m
Talk
Safety versus security: why have they not married yet?
SPIN
Marielle Stoelinga
University of Twente and Radboud University, Nijmegen
11:00 - 12:00
Session 1
SPIN
at
SPIN
Chair(s):
Anton Wijs
Eindhoven University of Technology
11:00
20m
Talk
Verifying Pipeline Implementations in OpenMP
SPIN
Maik Wiesner
TU Darmstadt
,
Marie-Christine Jakobs
TU Darmstadt, Germany
11:20
20m
Talk
A model-checked I2C specification
SPIN
Lukas Humbel
ETH Zurich
,
Daniel Schwyn
ETH Zurich
,
Nora Hossle
ETH Zurich
,
Roni Häcki
ETH Zurich
,
Melissa Licciardello
ETH Zurich
,
Jan Schär
ETH Zurich
,
David Cock
ETH Zurich
,
Michael Giardino
ETH Zurich
,
Timothy Roscoe
ETH Zurich
11:40
20m
Talk
PatEC: Pattern-based Equivalence Checking
SPIN
Marie-Christine Jakobs
TU Darmstadt, Germany
12:00 - 13:00
Lunch break
SPIN
at
SPIN
13:00 - 14:00
Invited talk 2
SPIN
at
SPIN
Chair(s):
Ana Sokolova
University of Salzburg
13:00
60m
Talk
Spatial Model Checking and its applications to Medical Image Analysis
SPIN
Vincenzo Ciancia
Istituto di Scienza e Tecnologie dell'Informazione "A. Faedo", Consiglio Nazionale delle Ricerche, Pisa, ITALY
14:00 - 15:00
Session 2
SPIN
at
SPIN
Chair(s):
Sergio Mover
Ecole Polytechnique
14:00
20m
Talk
Spotlight Abstraction in Model Checking Real-Time Task Schedulability
SPIN
Madoda Nxumalo
University of Pretoria
,
Nils Timm
University of Pretoria
,
Stefan Gruner
University of Pretoria
14:20
20m
Talk
Accelerating the Computation of Dead and Concurrent Places using Reductions
SPIN
Nicolas Amat
LAAS-CNRS
,
Silvano DAL ZILIO
LAAS-CNRS
,
Didier Le Botlan
LAAS-CNRS
14:40
20m
Coffee break
Coffee break
SPIN
15:00 - 16:00
Invited talk 3
SPIN
at
SPIN
Chair(s):
Stefan Leue
15:00
60m
Talk
The Rise and Fall of Linear Temporal Logic
SPIN
Moshe Vardi
16:00 - 17:00
Session 3
SPIN
at
SPIN
Chair(s):
Tatjana Petrov
Universität Konstanz
16:00
20m
Talk
Go2Pins: a framework for the LTL verification of Go programs
SPIN
Etienne Renault
LRDE
,
Alexandre Kirszenberg
LRDE
,
Hugo Moreau
LRDE
,
Antoine Martin
EPITA, LRDE
16:20
20m
Talk
C-SMC: A Hybrid Statistical Model Checking and Concrete Runtime Engine for Analyzing C Programs
SPIN
Antoine Chenoy
Université catholique de Louvain
,
Fabien Duchene
ICTEAM, UCLouvain
,
Thomas Given-Wilson
Université catholique de Louvain
,
Axel Legay
Université Catholique de Louvain, Belgium
16:40
20m
Talk
Probabilistic Model Checking of Randomized Java Code
SPIN
Syyeda Zainab Fatmi
York University
,
Xiang Chen
University of Waterloo
,
Yash Dhamija
York University
,
Maeve Wildes
McGill University
,
Qiyi Tang
University of Oxford
,
Franck van Breugel
York University, Canada
17:00 - 17:15
Closing statement
SPIN
at
SPIN
Chair(s):
Alfons Laarman
Leiden University
Mon 12 Jul
Displayed time zone:
Brussels, Copenhagen, Madrid, Paris
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
SPIN
SPIN
Opening
SPIN
Invited talk 1
SPIN
Session 1
SPIN
Lunch break
SPIN
Invited talk 2
SPIN
Session 2
SPIN
Invited talk 3
SPIN
Session 3
SPIN
Closing statement
Mon 12 Jul
Displayed time zone:
Brussels, Copenhagen, Madrid, Paris
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
SPIN
SPIN
Safety versus security: why have they not married yet?
10:00 - 11:00
SPIN
Verifying Pipeline Implementations in OpenMP
11:00 - 11:20
SPIN
A model-checked I2C specification
11:20 - 11:40
SPIN
PatEC: Pattern-based Equivalence Checking
11:40 - 12:00
SPIN
Spatial Model Checking and its applications to Medical Image Analysis
13:00 - 14:00
SPIN
Spotlight Abstraction in Model Checking Real-Time Task Schedulability
14:00 - 14:20
SPIN
Accelerating the Computation of Dead and Concurrent Places using Reductions
14:20 - 14:40
SPIN
Coffee break
14:40 - 15:00
SPIN
The Rise and Fall of Linear Temporal Logic
15:00 - 16:00
SPIN
Go2Pins: a framework for the LTL verification of Go programs
16:00 - 16:20
SPIN
C-SMC: A Hybrid Statistical Model Checking and Concrete Runtime Engine ...
16:20 - 16:40
SPIN
Probabilistic Model Checking of Randomized Java Code
16:40 - 17:00
x
Fri 8 Nov 22:37