default search action

combined dblp search
author search
venue search
publication search

ask others

9th FTSCS 2023: Cascais, Portugal

> Home > Conferences and Workshops > FTSCS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/ftscs/2023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftscs/2023
Cyrille Artho, Peter Csaba Ölveczky:
Proceedings of the 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2023, Cascais, Portugal, 22 October 2023. ACM 2023
- view
  authority control:
- export record
  dblp key:
  - conf/ftscs/Bae23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftscs/Bae23
Kyungmin Bae:
Bounded STL Model Checking for Hybrid Systems (Invited Talk). 1
- view
  authority control:
- export record
  dblp key:
  - conf/ftscs/CuartasCBAGVO23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftscs/CuartasCBAGVO23
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. 2-13
- view
  authority control:
- export record
  dblp key:
  - conf/ftscs/0001LS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftscs/0001LS23
Santiago Escobar, Raúl López-Rueda, Julia Sapiña:
Symbolic Analysis by Using Folding Narrowing with Irreducibility and SMT Constraints. 14-25
- view
  authority control:
- export record
  dblp key:
  - conf/ftscs/GleirscherH023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftscs/GleirscherH023
Mario Gleirscher, Anne E. Haxthausen, Jan Peleska:
Probabilistic Risk Assessment of an Obstacle Detection System for GoA 4 Freight Trains. 26-36
- view
  authority control:
- export record
  dblp key:
  - conf/ftscs/MaigaAGM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftscs/MaigaAGM23
Aïssata Maiga, Cyrille Artho, Florian Gilcher, Yannick Moy:
Does Rust SPARK Joy? Safe Bindings from Rust to SPARK, Applied to the BBQueue Library. 37-47
- view
  authority control:
- export record
  dblp key:
  - conf/ftscs/SaaltinkN0HS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftscs/SaaltinkN0HS23
Caz Saaltink, Stefano M. Nicoletti, Matthias Volk, Ernst Moritz Hahn, Mariëlle Stoelinga:
Solving Queries for Boolean Fault Tree Logic via Quantified SAT. 48-59

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.