Arthur Correnson

11 papers Journal 9Unranked 2
YearRankTypeTitle / Venue / Authors
2025 J jnl
Almost Fair Simulations.
Proc. ACM Program. Lang.
Arthur Correnson, Iona Kuhn, Bernd Finkbeiner
2025 — conf
An Intermediate Program Representation for Optimizing Stream-Based Languages.
CAV (3)
Jan Baumeister, Arthur Correnson, Bernd Finkbeiner, Frederik Scheerer
2025 J jnl
An Intermediate Program Representation for Optimizing Stream-Based Languages.
CoRR
Jan Baumeister, Arthur Correnson, Bernd Finkbeiner, Frederik Scheerer
2025 J jnl
Coinductive Proofs for Temporal Hyperliveness.
CoRR
Arthur Correnson, Bernd Finkbeiner
2025 J jnl
Coinductive Proofs for Temporal Hyperliveness.
Proc. ACM Program. Lang.
Arthur Correnson, Bernd Finkbeiner
2025 J jnl
Finding ∀∃ Hyperbugs using Symbolic Execution.
CoRR
Arthur Correnson, Tobias Nießen, Bernd Finkbeiner, Georg Weissenbacher
2025 J jnl
Pacing Types: Safe Monitoring of Asynchronous Streams.
CoRR
Florian Kohn, Arthur Correnson, Jan Baumeister, Bernd Finkbeiner
2025 J jnl
Symbolic execution for refuting ∀∃ hyperproperties.
Acta Informatica
Arthur Correnson, Tobias Nießen, Bernd Finkbeiner, Georg Weissenbacher
2024 J jnl
Finding ∀∃ Hyperbugs using Symbolic Execution.
Proc. ACM Program. Lang.
Arthur Correnson, Tobias Nießen, Bernd Finkbeiner, Georg Weissenbacher
2023 — conf
Engineering a Formally Verified Automated Bug Finder.
ESEC/SIGSOFT FSE
Arthur Correnson, Dominic Steinhöfel
2023 J jnl
Engineering a Formally Verified Automated Bug Finder.
CoRR
Arthur Correnson, Dominic Steinhöfel