Tobias Nießen

Univ.Ass. / MSc

Role

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)