Arthur Correnson

According to our database, Arthur Correnson authored at least 9 papers between 2023 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

A Deductive System for Contract Satisfaction Proofs.

Arthur Correnson, Haoyi Zeng, Jana Hofmann

CoRR, April, 2026

Pacing Types for Asynchronous Stream Equations.

Florian Kohn, Arthur Correnson, Jan Baumeister, Bernd Finkbeiner

Proceedings of the Formal Methods - 27th International Symposium, 2026

2025

Symbolic execution for refuting ∀∃ hyperproperties.

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

Acta Informatica, December, 2025

Pacing Types: Safe Monitoring of Asynchronous Streams.

Florian Kohn, Arthur Correnson, Jan Baumeister, Bernd Finkbeiner

CoRR, September, 2025

Almost Fair Simulations.

Arthur Correnson, Iona Kuhn, Bernd Finkbeiner

Proc. ACM Program. Lang., 2025

Coinductive Proofs for Temporal Hyperliveness.

Arthur Correnson, Bernd Finkbeiner

Proc. ACM Program. Lang., 2025

An Intermediate Program Representation for Optimizing Stream-Based Languages.

Jan Baumeister, Arthur Correnson, Bernd Finkbeiner, Frederik Scheerer

Proceedings of the Computer Aided Verification - 37th International Conference, 2025

2024

Finding ∀∃ Hyperbugs using Symbolic Execution.

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

Proc. ACM Program. Lang., 2024

2023

Engineering a Formally Verified Automated Bug Finder.

Arthur Correnson, Dominic Steinhöfel

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023