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

Tobias Nießen On Leave

Univ.Ass. / MSc

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)
  • Finding ∀∃ Hyperbugs using Symbolic Execution / Correnson, A., Nießen, T., Finkbeiner, B., & Weissenbacher, G. (2024). Finding ∀∃ Hyperbugs using Symbolic Execution. Proceedings of the ACM on Programming Languages, 8(OOPSLA2), 1420–1445. https://doi.org/10.1145/3689761
  • Finding counterexamples to ∀∃ hyperproperties / Nießen, T., & Weissenbacher, G. (2024, January 16). Finding counterexamples to ∀∃ hyperproperties [Conference Presentation]. Formal Methods for Incorrectness 2024, London, United Kingdom of Great Britain and Northern Ireland (the). https://doi.org/10.34726/5455
    Download: Extended abstract (432 KB)