Henrik Wachowitz

According to our database, Henrik Wachowitz authored at least 31 papers between 2022 and 2026.

Collaborative distances:

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

2026

Artifact for the FASE 26 Paper: Testing in Formal Verification via Witness Generation (Empirical Evaluation).

Dirk Beyer, Thomas Lemberger, Henrik Wachowitz

Dataset, January, 2026

AFL-TC: Transforming Fuzzer Test Inputs for Test-Comp (Competition Contribution).

Thomas Lemberger, Henrik Wachowitz

Proceedings of the Fundamental Approaches to Software Engineering, 2026

Testing in Formal Verification via Witness Generation (Empirical Evaluation).

Dirk Beyer, Thomas Lemberger, Henrik Wachowitz

Proceedings of the Fundamental Approaches to Software Engineering, 2026

2025

Nacpa: Native Checking with Parallel-Portfolio Analyses - (Competition Contribution).

Thomas Lemberger, Henrik Wachowitz

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2025

2024

Reproduction Package for the FM 2024 Article 'FM-Weck: Containerized Execution of Formal-Methods Tools'.

Dirk Beyer, Henrik Wachowitz

Dataset, September, 2024

Reproduction Package for FM 2024 Article 'Software Verification with CPAchecker 3.0: Tutorial and User Guide'.

Daniel Beier, Dirk Beyer, Po-Chun Chien, Marie-Christine Jakobs, Marek Jankola, Matthias Kettl, Nian-Ze Lee, Thomas Lemberger, Marian Lingsch Rosenfeld, Henrik Wachowitz, Philipp Wendler

Dataset, September, 2024

CPA-Daemon.

Dirk Beyer, Thomas Lemberger, Henrik Wachowitz

Dataset, August, 2024

Reproduction Package for FM 2024 Article 'Software Verification with CPAchecker 3.0: Tutorial and User Guide'.

Daniel Beier, Dirk Beyer, Po-Chun Chien, Marie-Christine Jakobs, Marek Jankola, Matthias Kettl, Nian-Ze Lee, Thomas Lemberger, Marian Lingsch Rosenfeld, Henrik Wachowitz, Philipp Wendler

Dataset, July, 2024

Reproduction Package for fm-weck: Containerized Execution of Formal-Methods Tools.

Dirk Beyer, Henrik Wachowitz

Dataset, June, 2024

CoVeriTeam Service Release 1.2.

Dirk Beyer, Sudeep Kanav, Henrik Wachowitz

Dataset, June, 2024

Reproduction Package for FM 2024 Article 'Software Verification with CPAchecker: Tutorial and User Guide'.

Daniel Beier, Dirk Beyer, Po-Chun Chien, Marie-Christine Jakobs, Marek Jankola, Matthias Kettl, Nian-Ze Lee, Thomas Lemberger, Marian Lingsch Rosenfeld, Henrik Wachowitz, Philipp Wendler

Dataset, June, 2024

CoVeriTeam Release 1.2.3 (with FM-Tools 2.0).

Dirk Beyer, Henrik Wachowitz

Dataset, May, 2024

CoVeriTeam Release 1.2.3.

Dirk Beyer, Henrik Wachowitz

Dataset, May, 2024

Reproduction Package for ATVA 2024 Submission 'CPA-Daemon: Mitigating Tool Restarts for Java-Based Verifiers'.

Dirk Beyer, Thomas Lemberger, Henrik Wachowitz

Dataset, May, 2024

CoVeriTeam Release 1.2.2.

Dirk Beyer, Henrik Wachowitz

Dataset, January, 2024

CoVeriTeam Release 1.2.1.

Dirk Beyer, Henrik Wachowitz

Dataset, January, 2024

CoVeriTeam Release 1.2.

Dirk Beyer, Henrik Wachowitz

Dataset, January, 2024

Software Verification with CPAchecker 3.0: Tutorial and User Guide (Extended Version).

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

CoRR, 2024

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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

CoVeriTeam GUI: A No-Code Approach to Cooperative Software Verification.

Thomas Lemberger, Henrik Wachowitz

Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering, 2024

FM-Weck: Containerized Execution of Formal-Methods Tools.

Dirk Beyer, Henrik Wachowitz

Proceedings of the Formal Methods - 26th International Symposium, 2024

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

Proceedings of the Formal Methods - 26th International Symposium, 2024

CPA-Daemon: Mitigating Tool Restarts for Java-Based Verifiers.

Dirk Beyer, Thomas Lemberger, Henrik Wachowitz

Proceedings of the Automated Technology for Verification and Analysis, 2024

2023

CoVeriTeam Release 1.1.

Dirk Beyer, Henrik Wachowitz

Dataset, November, 2023

Reproduction Package for TACAS 2024 Submission 'CPA-Daemon: Mitigating Tool Restarts for Java-Based Verifiers'.

Dirk Beyer, Thomas Lemberger, Henrik Wachowitz

Dataset, October, 2023

CoVeriTeam Release 1.0.

Dirk Beyer, Sudeep Kanav, Henrik Wachowitz

Dataset, February, 2023

CoVeriTeam Service Release 1.1.

Dirk Beyer, Sudeep Kanav, Henrik Wachowitz

Dataset, February, 2023

Reproduction Package for the ICSE 2023 Article 'CoVeriTeam Service: Verification as a Service'.

Dirk Beyer, Sudeep Kanav, Henrik Wachowitz

Dataset, February, 2023

CoVeriTeam Service Release 1.0.

Dirk Beyer, Sudeep Kanav, Henrik Wachowitz

Dataset, February, 2023

CoVeriTeam Service: Verification as a Service.

Dirk Beyer, Sudeep Kanav, Henrik Wachowitz

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: ICSE 2023 Companion Proceedings, 2023

2022

Reproduction Package for the ICSE 2023 Submission 'CoVeriTeam Service: Verification as a Service'.

Dirk Beyer, Sudeep Kanav, Henrik Wachowitz

Dataset, November, 2022