Write a Blog >>
SPIN 2021
Mon 12 Jul 2021 Online
co-located with ECOOP and ISSTA 2021
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

Conference Day
Mon 12 Jul

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

09:50 - 10:00
OpeningSPIN at SPIN
Chair(s): Alfons LaarmanLeiden University
10:00 - 11:00
Invited talk 1SPIN at SPIN
Chair(s): Dragan BosnackiEindhoven University of Technology, The Netherlands
10:00
60m
Talk
Safety versus security: why have they not married yet?
SPIN
Marielle StoelingaUniversity of Twente and Radboud University, Nijmegen
11:00 - 12:00
Session 1SPIN at SPIN
Chair(s): Anton WijsEindhoven University of Technology
11:00
20m
Talk
Verifying Pipeline Implementations in OpenMP
SPIN
Maik WiesnerTU Darmstadt, Marie-Christine JakobsTU Darmstadt, Germany
11:20
20m
Talk
A model-checked I2C specification
SPIN
Lukas HumbelETH Zurich, Daniel SchwynETH Zurich, Nora HossleETH Zurich, Roni HäckiETH Zurich, Melissa LicciardelloETH Zurich, Jan SchärETH Zurich, David CockETH Zurich, Michael GiardinoETH Zurich, Timothy RoscoeETH Zurich
11:40
20m
Talk
PatEC: Pattern-based Equivalence Checking
SPIN
Marie-Christine JakobsTU Darmstadt, Germany
12:00 - 13:00
Lunch breakSPIN at SPIN
13:00 - 14:00
Invited talk 2SPIN at SPIN
Chair(s): Ana SokolovaUniversity of Salzburg
13:00
60m
Talk
Spatial Model Checking and its applications to Medical Image Analysis
SPIN
Vincenzo CianciaIstituto 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 MoverEcole Polytechnique
14:00
20m
Talk
Spotlight Abstraction in Model Checking Real-Time Task Schedulability
SPIN
Madoda NxumaloUniversity of Pretoria, Nils TimmUniversity of Pretoria, Stefan GrunerUniversity of Pretoria
14:20
20m
Talk
Accelerating the Computation of Dead and Concurrent Places using Reductions
SPIN
Nicolas AmatLAAS-CNRS, Silvano DAL ZILIOLAAS-CNRS, Didier Le BotlanLAAS-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
16:00 - 17:00
Session 3SPIN at SPIN
Chair(s): Tatjana PetrovUniversität Konstanz
16:00
20m
Talk
Go2Pins: a framework for the LTL verification of Go programs
SPIN
16:20
20m
Talk
C-SMC: A Hybrid Statistical Model Checking and Concrete Runtime Engine for Analyzing C Programs
SPIN
Antoine ChenoyUniversité catholique de Louvain, Fabien DucheneICTEAM, UCLouvain, Thomas Given-WilsonUniversité catholique de Louvain, Axel LegayUniversité Catholique de Louvain, Belgium
16:40
20m
Talk
Probabilistic Model Checking of Randomized Java Code
SPIN
Syyeda Zainab FatmiYork University, Xiang ChenUniversity of Waterloo, Yash DhamijaYork University, Maeve WildesMcGill University, Qiyi TangUniversity of Oxford, Franck van BreugelYork University, Canada
17:00 - 17:15
Closing statementSPIN at SPIN
Chair(s): Alfons LaarmanLeiden University

Conference Day
Mon 12 Jul

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