SPLASH Workshop/Symposium Events 2023
2023 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH Events 2023)
Powered by
Conference Publishing Consulting

9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2023), October 22, 2023, Cascais, Portugal

Workshop FTSCS 2023 – Author Index

Contents - Abstracts - Authors

A B C E G H L M N O P S V

Aranda, Jesús FTSCS '23: "Formal Verification of a Mechanical ..."
Artho, Cyrille FTSCS '23: "Does Rust SPARK Joy? Safe ..."
Bae, Kyungmin FTSCS '23: "Bounded STL Model Checking ..."
Betancourt, Joan S. FTSCS '23: "Formal Verification of a Mechanical ..."
Cortés, David FTSCS '23: "Formal Verification of a Mechanical ..."
Cuartas, Jaime FTSCS '23: "Formal Verification of a Mechanical ..."
Escobar, Santiago FTSCS '23: "Symbolic Analysis by Using ..."
García, José I. FTSCS '23: "Formal Verification of a Mechanical ..."
Gilcher, Florian FTSCS '23: "Does Rust SPARK Joy? Safe ..."
Gleirscher, Mario FTSCS '23: "Probabilistic Risk Assessment ..."
Hahn, Ernst Moritz FTSCS '23: "Solving Queries for Boolean ..."
Haxthausen, Anne E. FTSCS '23: "Probabilistic Risk Assessment ..."
López-Rueda, Raúl FTSCS '23: "Symbolic Analysis by Using ..."
Maiga, Aïssata FTSCS '23: "Does Rust SPARK Joy? Safe ..."
Moy, Yannick FTSCS '23: "Does Rust SPARK Joy? Safe ..."
Nicoletti, Stefano M. FTSCS '23: "Solving Queries for Boolean ..."
Ortiz, James FTSCS '23: "Formal Verification of a Mechanical ..."
Peleska, Jan FTSCS '23: "Probabilistic Risk Assessment ..."
Saaltink, Caz FTSCS '23: "Solving Queries for Boolean ..."
Sapiña, Julia FTSCS '23: "Symbolic Analysis by Using ..."
Stoelinga, Mariëlle FTSCS '23: "Solving Queries for Boolean ..."
Valencia, Andrés M. FTSCS '23: "Formal Verification of a Mechanical ..."
Volk, Matthias FTSCS '23: "Solving Queries for Boolean ..."

23 authors

proc time: 5.11