Tobias Nießen

Most-cited papers

1. Optimizing Agent Planning for Security and Autonomy

   Aashish Kolluri, Rishi Sharma, Manuel Costa, Boris Köpf +4 more

   2026arXiv.org18 citations

   Semantic Scholar

   Save

2. Insights into WebAssembly: compilation performance and shared code caching in Node.js

   Tobias Nießen, Michael H. Dawson, Panos Patros, K. Kent

   2020Conference of the Centre for Advanced Studies on Collaborative Research11 citations

   Semantic Scholar

   Save

3. Finding ∀∃ Hyperbugs using Symbolic Execution

   Arthur Correnson, Tobias Nießen, Bernd Finkbeiner, Georg Weissenbacher

   2024Proc. ACM Program. Lang.6 citations Open access

   Semantic Scholar

   Save

4. Differential Property Monitoring for Backdoor Detection

   Otto Brechelmacher, D. Ničković, Tobias Nießen, Sarah Sallinger +1 more

   2024IEEE International Conference on Formal Engineering Methods1 citations

   Semantic Scholar

   Save

5. SAT Modulo Well-Founded Semantics

   Thomas Eiter, Tobias Nießen, Davide Soldà

   2026International Conference on Theory and Applications of Satisfiability Testing0 citations

   Semantic Scholar

   Save

6. Trusted and Transparent Time-Stamping Through TEEs and Network Time Security

   Tobias Nießen, Andrew Paverd

   2026SysTEX@EuroSys0 citations Open access

   Semantic Scholar

   Save

7. Finding $\forall\exists$ Hyperbugs using Symbolic Execution

   Arthur Correnson, Tobias Nießen, Bernd Finkbeiner, Georg Weissenbacher

   20250 citations

   Semantic Scholar

   Save

8. Symbolic execution for refuting ∀∃ hyperproperties

   Arthur Correnson, Tobias Nießen, Bernd Finkbeiner, Georg Weissenbacher

   2025Acta Informatica0 citations Open access

   Semantic Scholar

   Save