ECOOP and ISSTA 2021 (series) / SPIN 2021 (series) /
SPIN 2021 Program
This is the SPIN 2021 program - see the full program for ECOOP and ISSTA 2021 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Mon 12 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change
Mon 12 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change
09:50 - 10:00 | |||
10:00 - 11:00 | Invited talk 1SPIN at SPIN Chair(s): Dragan Bosnacki Eindhoven University of Technology, The Netherlands | ||
10:00 60mTalk | Safety versus security: why have they not married yet? SPIN Marielle Stoelinga University of Twente and Radboud University, Nijmegen | ||
11:00 - 12:00 | |||
11:00 20mTalk | Verifying Pipeline Implementations in OpenMP SPIN | ||
11:20 20mTalk | 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 20mTalk | PatEC: Pattern-based Equivalence Checking SPIN Marie-Christine Jakobs TU Darmstadt, Germany | ||
13:00 - 14:00 | |||
13:00 60mTalk | 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 | |||
14:00 20mTalk | 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 20mTalk | Accelerating the Computation of Dead and Concurrent Places using Reductions SPIN | ||
14:40 20mCoffee break | Coffee break SPIN | ||
15:00 - 16:00 | |||
15:00 60mTalk | The Rise and Fall of Linear Temporal Logic SPIN | ||
16:00 - 17:00 | |||
16:00 20mTalk | Go2Pins: a framework for the LTL verification of Go programs SPIN | ||
16:20 20mTalk | 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 20mTalk | 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 | |||