Engineering a Formally Verified Automated Bug Finder. - Arthur Correnson; Dominic Steinhöfel (ESEC/SIGSOFT FSE, 2023)

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

An Intermediate Program Representation for Optimizing Stream-Based Languages. - Jan Baumeister; Arthur Correnson; Bernd Finkbeiner; Frederik Scheerer (CAV (3), 2025)

Coinductive Proofs for Temporal Hyperliveness. - Arthur Correnson; Bernd Finkbeiner (Proc. ACM Program. Lang., 2025)