Send email Copy Email Address
Placeholder
PhD Student

Arthur Correnson

Email

Phone

Address

Stuhlsatzenhaus 5
66123 Saarbrücken (Germany)

Member of Groups

Further Information

Publications by Arthur Correnson

Year 2024

2024-10-08

Finding ∀∃ Hyperbugs using Symbolic Execution

Article

Proceedings of the ACM on Programming Languages

Tags
Reliable Security Guarantees
Authors
Full Paper Visit Detail Page
2024-01-12

Formal Verification of Symbolic Bug Finders

thesis-dissertation

Tags
Reliable Security Guarantees
Authors
Full Paper Visit Detail Page
2024-01

À la recherche de tous les vrais bugs

Conference / Medium

Journées Francophones des Langages Applicatifs (JFLA)

Tags
Reliable Security Guarantees
Authors
Full Paper Visit Detail Page

Year 2023

2023-11-30

Engineering a Formally Verified Automated Bug Finder

Article

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

Tags
Reliable Security Guarantees
Authors
Full Paper Visit Detail Page
2023-11-30

Engineering a Formally Verified Automated Bug Finder.

Conference / Medium

European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE)

Tags
Reliable Security Guarantees
Authors
Full Paper Visit Detail Page
2023-11-30

Engineering a Formally Verified Automated Bug Finder

Article

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

Tags
Reliable Security Guarantees
Authors
Full Paper Visit Detail Page