Deductive Controller Synthesis for Probabilistic Hyperproperties. - Roman Andriushchenko; Ezio Bartocci; Milan Ceska 002; Francesco Pontiggia; Sarah Sallinger (QEST, 2023)

A Formalization of Heisenbugs and Their Causes. - Sarah Sallinger; Georg Weissenbacher; Florian Zuleger (SEFM, 2023)

Artifact supplement for "Deductive Controller Synthesis for Probabilistic Hyperproperties". - Roman Andriushchenko; Ezio Bartocci; Milan Ceska 002; Francesco Pontiggia; Sarah Sallinger (Zenodo, 2023)

Artifact supplement for "Deductive Controller Synthesis for Probabilistic Hyperproperties". - Roman Andriushchenko; Ezio Bartocci; Milan Ceska 002; Francesco Pontiggia; Sarah Sallinger (Zenodo, 2023)

Artifact supplement for "Deductive Controller Synthesis for Probabilistic Hyperproperties". - Roman Andriushchenko; Ezio Bartocci; Milan Ceska 002; Francesco Pontiggia; Sarah Sallinger (Zenodo, 2023)

Artifact supplement for "Deductive Controller Synthesis for Probabilistic Hyperproperties". - Roman Andriushchenko; Ezio Bartocci; Milan Ceska 002; Francesco Pontiggia; Sarah Sallinger (Zenodo, 2023)

Artifact supplement for "Deductive Controller Synthesis for Probabilistic Hyperproperties". - Roman Andriushchenko; Ezio Bartocci; Milan Ceska 002; Francesco Pontiggia; Sarah Sallinger (Zenodo, 2023)

Differential Property Monitoring for Backdoor Detection. - Otto Brechelmacher; Dejan Nickovic; Tobias Nießen; Sarah Sallinger; Georg Weissenbacher (ICFEM, 2024)