Insights into WebAssembly: compilation performance and shared code caching in Node.js. - Tobias Nießen; Michael Dawson 001; Panos Patros; Kenneth B. Kent (CASCON, 2020)

Differential Property Monitoring for Backdoor Detection. - Otto Brechelmacher; Dejan Nickovic; Tobias Nießen; Sarah Sallinger; Georg Weissenbacher (ICFEM, 2024)

Finding ∀∃ Hyperbugs using Symbolic Execution. - Arthur Correnson; Tobias Nießen; Bernd Finkbeiner; Georg Weissenbacher (Proc. ACM Program. Lang., 2024)