Program - SPLASH 2023

Detailed Table Column Timeline Session Timeline Detailed Timeline

Time Zone

The program is currently displayed in (GMT+01:00) Lisbon.

Use conference time zone: (GMT+01:00) LisbonSelect other time zone

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 programSpecify 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

Sun 22 Oct
Displayed time zone: Lisbon change

09:00 - 10:30	Opening, KeynoteFTSCS at Room IV Chair(s): Peter Ölveczky University of Oslo

09:15 75m Talk		Opening, Keynote: Bounded STL Model Checking for Hybrid Systems FTSCS Kyungmin Bae POSTECH

11:00 - 12:30	Paper presentationsFTSCS at Room IV Chair(s): Cyrille Artho KTH Royal Institute of Technology, Sweden

11:00 30m Talk		Probabilistic Risk Assessment of an Obstacle Detection System for GoA 4 Freight Trains FTSCS Mario Gleirscher University of Bremen, Anne Haxthausen , Jan Peleska
11:30 30m Talk		Solving Queries for Boolean Fault Tree Logic via Quantified SAT FTSCS Caz Saaltink , Stefano M. Nicoletti , Matthias Volk , Ernst Moritz Hahn , Marielle Stoelinga University of Twente and Radboud University, Nijmegen
12:00 30m Talk		Symbolic analysis by using folding narrowing with irreducibility and SMT constraints FTSCS Santiago Escobar , Raul Lopez , Julia Sapiña

14:00 - 15:30	Paper presentations 2FTSCS at Room IV Chair(s): Kyungmin Bae POSTECH

14:00 30m Talk		Does Rust SPARK Joy? Safe Bindings from Rust to SPARK, Applied to the BBQueue Library FTSCS Aïssata Maiga , Cyrille Artho KTH Royal Institute of Technology, Sweden, Florian Gilcher , Yannick Moy AdaCore
14:30 30m Talk		Formal Verification of a Mechanical Ventilator using UPPAALRemote FTSCS Jaime Cuartas Universidad del Valle, David Cortés , Joan S Betancourt , Jesus Aranda Universidad del Valle, Jose Garcia , Andres Valencia , James Ortiz Université de Namur
15:00 30m Talk		Discussions, Closing FTSCS Peter Ölveczky University of Oslo, Cyrille Artho KTH Royal Institute of Technology, Sweden

FTSCS 2023 Program

Sun 22 Oct
Displayed time zone: Lisbon change

Tracks

Co-hosted Conferences

Workshops

FTSCS 2023 Program

Switch Program View

Program Display Configuration

Sun 22 OctDisplayed time zone: Lisbon change

Get Calendar (iCal)

Sun 22 Oct
Displayed time zone: Lisbon change