SPLASH 2023 (series) / FTSCS 2023 (series) /
FTSCS 2023 Program
This is the FTSCS 2023 program - see the full program for SPLASH 2023 and all affiliated events.
Filter Program
Dates
Sun 22 Oct 2023
Rooms
Room IV
Tracks
FTSCS
Badges
Remote
Your Program
Nothing to filter
Sun 22 OctDisplayed time zone: Lisbon change
Sun 22 Oct
Displayed time zone: Lisbon change
09:00 - 10:30 | |||
09:15 75mTalk | 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 30mTalk | Probabilistic Risk Assessment of an Obstacle Detection System for GoA 4 Freight Trains FTSCS | ||
11:30 30mTalk | Solving Queries for Boolean Fault Tree Logic via Quantified SAT FTSCS Caz Saaltink , Stefano M. Nicoletti , Matthias Volk , Ernst Moritz Hahn Queen's University Belfast, Marielle Stoelinga University of Twente and Radboud University, Nijmegen | ||
12:00 30mTalk | Symbolic analysis by using folding narrowing with irreducibility and SMT constraints FTSCS |
14:00 - 15:30 | |||
14:00 30mTalk | 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 30mTalk | 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 30mTalk | Discussions, Closing FTSCS |