FTSCS

Keyphrases

Publications

2023

Caz Saaltink, Stefano M. Nicoletti, Matthias Volk, Ernst Moritz Hahn, Mariëlle Stoelinga
Solving Queries for Boolean Fault Tree Logic via Quantified SAT. FTSCS (2023)
Jaime Cuartas, David Cortés, Joan S. Betancourt, Jesús Aranda, José I. García, Andrés M. Valencia, James Ortiz
Formal Verification of a Mechanical Ventilator using UPPAAL. FTSCS (2023)
Aïssata Maiga, Cyrille Artho, Florian Gilcher, Yannick Moy
Does Rust SPARK Joy? Safe Bindings from Rust to SPARK, Applied to the BBQueue Library. FTSCS (2023)
Mario Gleirscher, Anne E. Haxthausen, Jan Peleska
Probabilistic Risk Assessment of an Obstacle Detection System for GoA 4 Freight Trains. FTSCS (2023)
Santiago Escobar, Raúl López-Rueda, Julia Sapiña
Symbolic Analysis by Using Folding Narrowing with Irreducibility and SMT Constraints. FTSCS (2023)
Proceedings of the 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2023, Cascais, Portugal, 22 October 2023 FTSCS (2023)
Kyungmin Bae
Bounded STL Model Checking for Hybrid Systems (Invited Talk). FTSCS (2023)

2022

volume 1165, 2020

Formal Techniques for Safety-Critical Systems - 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers FTSCS 1165 (2020)

2019

volume 1008, 2019

Formal Techniques for Safety-Critical Systems - 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers FTSCS 1008 (2019)

2018

volume 694, 2017

Formal Techniques for Safety-Critical Systems - 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers FTSCS 694 (2017)

2016

volume 596, 2016

Formal Techniques for Safety-Critical Systems - Fourth International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers FTSCS 596 (2016)