| Engineering a formally verified automated bug finder A Correnson, D Steinhöfel Proceedings of the 31st ACM Joint European Software Engineering Conference …, 2023 | 4 | 2023 |
| Finding∀∃ Hyperbugs using Symbolic Execution A Correnson, T Nießen, B Finkbeiner, G Weissenbacher Proceedings of the ACM on Programming Languages 8 (OOPSLA2), 1420-1445, 2024 | | 2024 |
| Formal Verification of Symbolic Bug Finders A Correnson CISPA, 2024 | | 2024 |
| À la recherche de tous les vrais bugs A Correnson 35es Journées Francophones des Langages Applicatifs (JFLA 2024), 2024 | | 2024 |
| Goose: an OCaml environment for quantum computing D Carnier, A Correnson, C McNally, Y Moawad JFLA 2023-34èmes Journées Francophones des Langages Applicatifs, 285-287, 2023 | | 2023 |
| Comment dompter un troupeau de flottants sauvages? A Correnson JFLA 2023-34èmes Journées Francophones des Langages Applicatifs, 265-273, 2023 | | 2023 |
| Un Coq apprend à un bébé Colibri à flotter A Correnson, F Bobot 33èmes Journées Francophones des Langages Applicatifs, 61-77, 2022 | | 2022 |
| ICFP: G: Formal Verification of a Lazy Software Model Checker A CORRENSON | | |
| HAL Id: hal-03936876 D Carnier, A Correnson, C McNally, Y Moawad | | |
