Caz Saaltink

According to our database, Caz Saaltink authored at least 3 papers between 2023 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2024

Artifact for the paper Solving Queries for Boolean Fault Tree Logic via Quantified SAT.

Caz Saaltink, Stefano M. Nicoletti, Matthias Volk, Ernst Moritz Hahn, Mariëlle Stoelinga

Dataset, April, 2024

2023

Artifact for the paper Solving Queries for Boolean Fault Tree Logic via Quantified SAT.

Caz Saaltink, Stefano M. Nicoletti, Matthias Volk, Ernst Moritz Hahn, Mariëlle Stoelinga

Dataset, July, 2023

Solving Queries for Boolean Fault Tree Logic via Quantified SAT.

Caz Saaltink, Stefano M. Nicoletti, Matthias Volk, Ernst Moritz Hahn, Mariëlle Stoelinga

Proceedings of the 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, 2023