Write a Blog >>
SPIN 2021
Mon 12 Jul 2021 Online
co-located with ECOOP and ISSTA 2021
ECOOP and ISSTA 2021 (series) / SPIN 2021 (series) / online /

Room information: SPIN

Venueonline
Room nameSPIN
Room InformationNo extra information available
Program

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
OpeningSPIN at SPIN
Chair(s): Alfons Laarman Leiden University
10:00 - 11:00
Invited talk 1SPIN 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 1SPIN 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 breakSPIN at SPIN
13:00 - 14:00
Invited talk 2SPIN 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 2SPIN 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 3SPIN 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 3SPIN 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 statementSPIN at SPIN
Chair(s): Alfons Laarman Leiden University

Mon 12 Jul

Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
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