WOSCA 2021
Sun 11 - Sat 17 July 2021
Online
co-located with
ECOOP and ISSTA 2021
Toggle navigation
Attending
Venue: online
Program
WOSCA Program
Your Program
Filter by Day
Sun 11 Jul
Mon 12 Jul
Tue 13 Jul
Wed 14 Jul
Thu 15 Jul
Fri 16 Jul
Sat 17 Jul
Track/Call
Organization
WOSCA 2021 Committees
Not available
Contributors
People Index
Search
Series
Sign in
Sign up
ECOOP and ISSTA 2021
(
series
) /
WOSCA 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
Sat 23 Nov 23:15