1:06:38

[FTSCS23] Opening, Keynote: Bounded STL Model Checking for Hybrid Systems

ACM SIGPLAN

27:01

[FTSCS23] Probabilistic Risk Assessment of an Obstacle Detection System for GoA 4 Freight ...

ACM SIGPLAN

24:40

[FTSCS23] Solving Queries for Boolean Fault Tree Logic via Quantified SAT

ACM SIGPLAN

31:51

[FTSCS23] Symbolic analysis by using folding narrowing with irreducibility and SMT constra...

ACM SIGPLAN

29:01

[FTSCS23] Does Rust SPARK Joy? Safe Bindings from Rust to SPARK, Applied to the BBQueue Li...

ACM SIGPLAN

32:00

[FTSCS23] Formal Verification of a Mechanical Ventilator using UPPAAL

ACM SIGPLAN

13:46

[FTSCS23] Discussions, Closing

ACM SIGPLAN