Henrik Wachowitz
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
5
Active years
2023–2026
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | FASE | Testing in Formal Verification via Witness Generation (Empirical Evaluation). | Dirk Beyer, Thomas Lemberger, Henrik Wachowitz |
| 2026 | FASE | AFL-TC: Transforming Fuzzer Test Inputs for Test-Comp (Competition Contribution). | Thomas Lemberger, Henrik Wachowitz |
| 2025 | TACAS | Nacpa: Native Checking with Parallel-Portfolio Analyses - (Competition Contribution). | Thomas Lemberger, Henrik Wachowitz |
| 2024 | ATVA | CPA-Daemon: Mitigating Tool Restarts for Java-Based Verifiers. | Dirk Beyer, Thomas Lemberger, Henrik Wachowitz |
| 2024 | FM | Software Verification with CPAchecker 3.0: Tutorial and User Guide. | Daniel Baier, Dirk Beyer, Po-Chun Chien, Marie-Christine Jakobs, Marek Jankola, Matthias Kettl, Nian-Ze Lee, Thomas Lemberger, Marian Lingsch Rosenfeld, Henrik Wachowitz, Philipp Wendler |
| 2024 | FM | FM-Weck: Containerized Execution of Formal-Methods Tools. | Dirk Beyer, Henrik Wachowitz |
| 2024 | TACAS | CPAchecker 2.3 with Strategy Selection - (Competition Contribution). | Daniel Baier, Dirk Beyer, Po-Chun Chien, Marek Jankola, Matthias Kettl, Nian-Ze Lee, Thomas Lemberger, Marian Lingsch Rosenfeld, Martin Spiessl, Henrik Wachowitz, Philipp Wendler |
| 2023 | ICSE | CoVeriTeam Service: Verification as a Service. | Dirk Beyer, Sudeep Kanav, Henrik Wachowitz |