TU Wien Informatics

Overview Professors Scientific Staff Administrative Staff Student Staff External Lecturers By Responsibilities By Committee By Name
Related
Guest Professors Honoraries Alumni (LinkedIn) #5qw

Sarah Sophie Sallinger

Projektass.in / MSc

Sarah Sophie Sallinger

Role

Contact

  • Differential Property Monitoring for Backdoor Detection / Brechelmacher, O., Ničković, D., Nießen, T., Sallinger, S. S., & Weissenbacher, G. (2024). Differential Property Monitoring for Backdoor Detection. In K. Ogata, D. Mery, M. Sun, & S. Liu (Eds.), Formal Methods and Software Engineering (pp. 216–236). Springer. https://doi.org/10.34726/8400
    Project: ARTIST (2021–2026)
  • A Formalization of Heisenbugs and Their Causes / Sallinger, S., Weissenbacher, G., & Zuleger, F. (2023). A Formalization of Heisenbugs and Their Causes. In C. Ferreira & T. A. C. Willemse (Eds.), Software Engineering and Formal Methods : 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings (pp. 282–300). Springer. https://doi.org/10.34726/5381
    Download: Preprint for self-archivation (552 KB)
    Project: ARTIST (2021–2026)
  • Deductive Controller Synthesis for Probabilistic Hyperproperties / Andriushchenko, R., Bartocci, E., Češka, M., Pontiggia, F., & Sallinger, S. S. (2023). Deductive Controller Synthesis for Probabilistic Hyperproperties. In N. Jansen & M. Tribastone (Eds.), Quantitative Evaluation of Systems - 20th International Conference, QEST 2023 (pp. 47–64). Springer. https://doi.org/10.1007/978-3-031-43835-6_20
    Project: ProbInG (2020–2025)