| 2026 | ICST | Round-Trip Mutation Testing: Translating Code to Natural Language Intent and back. | Asma Hamidi, Cedric Richter, Ahmed Khanfir, Mike Papadakis |
| 2025 | ICSE | Cooperative Software Verification via Dynamic Program Splitting. | Cedric Richter, Marek Chalupa, Marie-Christine Jakobs, Heike Wehrheim |
| 2025 | TACAS | BUBAAK: Dynamic Cooperative Verification - (Competition Contribution). | Marek Chalupa, Cedric Richter |
| 2024 | FASE | Can ChatGPT support software verification? | Christian Janen, Cedric Richter, Heike Wehrheim |
| 2024 | TACAS | Bubaak-SpLit: Split what you cannot verify (Competition contribution). | Marek Chalupa, Cedric Richter |
| 2023 | FASE | Parallel Program Analysis via Range Splitting. | Jan Haltermann, Marie-Christine Jakobs, Cedric Richter, Heike Wehrheim |
| 2023 | SEFM | Robustness Testing of Software Verifiers. | Florian Dyck, Cedric Richter, Heike Wehrheim |
| 2023 | SEFM | Ranged Program Analysis via Instrumentation. | Jan Haltermann, Marie-Christine Jakobs, Cedric Richter, Heike Wehrheim |
| 2022 | FASE | Construction of Verifier Combinations Based on Off-the-Shelf Verifiers. | Dirk Beyer, Sudeep Kanav, Cedric Richter |
| 2022 | ICST | Learning Realistic Mutations: Bug Creation for Neural Bug Detectors. | Cedric Richter, Heike Wehrheim |
| 2022 | MSR | TSSB-3M: Mining single statement bugs at massive scale. | Cedric Richter, Heike Wehrheim |
| 2021 | FASE | CoVeriTest with Adaptive Time Scheduling (Competition Contribution). | Marie-Christine Jakobs, Cedric Richter |
| 2019 | TACAS | PeSCo: Predicting Sequential Combinations of Verifiers - (Competition Contribution). | Cedric Richter, Heike Wehrheim |