Sarah Sallinger

According to our database, Sarah Sallinger authored at least 2 papers in 2023.

Collaborative distances:

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

2023

A Formalization of Heisenbugs and Their Causes.

Sarah Sallinger, Georg Weissenbacher, Florian Zuleger

Proceedings of the Software Engineering and Formal Methods - 21st International Conference, 2023

Deductive Controller Synthesis for Probabilistic Hyperproperties.

Roman Andriushchenko, Ezio Bartocci, Milan Ceska, Francesco Pontiggia, Sarah Sallinger

Proceedings of the Quantitative Evaluation of Systems - 20th International Conference, 2023