Dirk Beyer

ORCID

Publication Activity (10 Years)

Years Active: 1998-2024
Publications (10 Years): 103

Top Venues

Int. J. Softw. Tools Technol. Transf.

CoRR

TACAS (2)

Software Engineering

Brandenburg University of Technology, Cottbus - Senftenberg, Germany (PHD)

Education History

Brandenburg University of Technology, Cottbus - Senftenberg, Germany

PHD

Publications

Dirk Beyer, Po-Chun Chien, Nian-Ze Lee
Augmenting Interpolation-Based Model Checking with Auxiliary Invariants (Extended Version). CoRR (2024)
Zsófia Ádám, Dirk Beyer, Po-Chun Chien, Nian-Ze Lee, Nils Sirrenberg
Btor2-Cert: A Certifying Hardware-Verification Framework Using Software Analyzers. TACAS (3) (2024)
Dirk Beyer, Matthias Kettl, Thomas Lemberger
Fault Localization on Verification Witnesses (Poster Paper). ICSE Companion (2024)
Dirk Beyer, Lars Grunske, Matthias Kettl, Marian Lingsch Rosenfeld, Moeketsi Raselimo
P3: A Dataset of Partial Program Patches. MSR (2024)
Stefan Winter, Christopher Steven Timperley, Ben Hermann, Jürgen Cito, Jonathan Bell, Michael Hilton, Dirk Beyer
A Retrospective Study of one Decade of Artifact Evaluations. Software Engineering (2024)
Dirk Beyer, Po-Chun Chien, Marek Jankola, Nian-Ze Lee
A Transferability Study of Interpolation-Based Hardware Model Checking for Software Verification. Proc. ACM Softw. Eng. 1 (FSE) (2024)
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
CPAchecker 2.3 with Strategy Selection - (Competition Contribution). TACAS (3) (2024)
Salih Ates, Dirk Beyer, Po-Chun Chien, Nian-Ze Lee
MoXIchecker: An Extensible Model Checker for MoXI. CoRR (2024)
Dirk Beyer
State of the Art in Software Verification and Witness Validation: SV-COMP 2024. TACAS (3) (2024)
Dirk Beyer, Matthias Kettl, Thomas Lemberger
Decomposing Software Verification using Distributed Summary Synthesis. Proc. ACM Softw. Eng. 1 (FSE) (2024)
Dirk Beyer, Po-Chun Chien, Nian-Ze Lee
CPA-DF: A Tool for Configurable Interval Analysis to Boost Program Verification. ASE (2023)
Dirk Beyer, Martin Spiessl
LIV: Loop-Invariant Validation Using Straight-Line Programs. ASE (2023)
Dirk Beyer, Sudeep Kanav, Henrik Wachowitz
CoVeriTeam Service: Verification as a Service. ICSE Companion (2023)
Dirk Beyer, Po-Chun Chien, Nian-Ze Lee
Bridging Hardware and Software Analysis with Btor2C: A Word-Level-Circuit-to-C Translator. TACAS (2) (2023)
Dirk Beyer
Competition on Software Verification and Witness Validation: SV-COMP 2023. TACAS (2) (2023)
Dirk Beyer, Marian Lingsch Rosenfeld, Martin Spiessl
cegar-pt: A Tool for Abstraction by Program Transformation. ASE (2023)
Dirk Beyer, Jan Haltermann, Thomas Lemberger, Heike Wehrheim
Component-based CEGAR - Building Software Verifiers from Off-the-Shelf Components. Software Engineering (2023)
Dirk Beyer
Software Testing: 5th Comparative Evaluation: Test-Comp 2023. FASE (2023)
Dirk Beyer, Nian-Ze Lee, Philipp Wendler
Interpolation and SAT-Based Model Checking Revisited: Adoption to Software Verification. CoRR (2022)
Dirk Beyer, Marian Lingsch Rosenfeld, Martin Spiessl
A Unifying Approach for Control-Flow-Based Loop Abstraction. SEFM (2022)
Dirk Beyer
Advances in Automatic Software Testing: Test-Comp 2022. FASE (2022)
Dirk Beyer, Matthias Dangl, Daniel Dietsch, Matthias Heizmann, Thomas Lemberger, Michael Tautschnig
Verification Witnesses. ACM Trans. Softw. Eng. Methodol. 31 (4) (2022)
Dirk Beyer
Cooperative Verification: Towards Reliable Safety-Critical Systems (Invited Talk). FTSCS (2022)
Stefan Winter, Christopher Steven Timperley, Ben Hermann, Jürgen Cito, Jonathan Bell, Michael Hilton, Dirk Beyer
A retrospective study of one decade of artifact evaluations. ESEC/SIGSOFT FSE (2022)
Dirk Beyer, Martin Spiessl, Sven Umbricht
Cooperation Between Automatic and Interactive Software Verifiers. SEFM (2022)
Dirk Beyer, Thomas Lemberger, Jan Haltermann, Heike Wehrheim
Decomposing Software Verification into Off-the-Shelf Components: An Application to CEGAR. ICSE (2022)
Dirk Beyer, Sudeep Kanav, Cedric Richter
Construction of Verifier Combinations Based on Off-the-Shelf Verifiers. FASE (2022)
Dirk Beyer, Stefan Löwe, Philipp Wendler
Correction to: Reliable benchmarking: requirements and solutions. Int. J. Softw. Tools Technol. Transf. 24 (4) (2022)
Dirk Beyer
Progress on Software Verification: SV-COMP 2022. TACAS (2) (2022)
Dirk Beyer, Andreas Podelski
Software Model Checking: 20 Years and Beyond. Principles of Systems Design (2022)
Dirk Beyer, Sudeep Kanav
CoVeriTeam: On-Demand Composition of Cooperative Verification Systems. TACAS (1) (2022)
Dirk Beyer, Jan Strejcek
Case Study on Verification-Witness Validators: Where We Are and Where We Go. SAS (2022)
Dirk Beyer, Martin Spiessl
The Static Analyzer Frama-C in SV-COMP (Competition Contribution). TACAS (2) (2022)
Dirk Beyer
First international competition on software testing. Int. J. Softw. Tools Technol. Transf. 23 (6) (2021)
Dirk Beyer, Karlheinz Friedberger, Stephan Holzner
PJBDD: A BDD Library for Java and Multi-Threading. ATVA (2021)
Dirk Beyer, Marie-Christine Jakobs
Cooperative verifier-based testing with CoVeriTest. Int. J. Softw. Tools Technol. Transf. 23 (3) (2021)
Dirk Beyer, Marieke Huisman
TOOLympics I: Competition on software testing. Int. J. Softw. Tools Technol. Transf. 23 (6) (2021)
Dirk Beyer, Matthias Dangl, Philipp Wendler
Correction to: A Unifying View on SMT-Based Software Verification. J. Autom. Reason. 65 (3) (2021)
Dirk Beyer
Status Report on Software Testing: Test-Comp 2021. FASE (2021)
Daniel Baier, Dirk Beyer, Karlheinz Friedberger
JavaSMT 3: Interacting with SMT Solvers in Java. CAV (2) (2021)
Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen
TOOLympics II: competitions on formal methods. Int. J. Softw. Tools Technol. Transf. 23 (6) (2021)
Dirk Beyer, Lars Grunske, Thomas Lemberger, Minxing Tang
Towards a Benchmark Set for Program Repair Based on Partial Fixes. CoRR (2021)
Dirk Beyer
Software Verification: 10th Comparative Evaluation (SV-COMP 2021). TACAS (2) (2021)
Dirk Beyer, Marie-Christine Jakobs
FRed: Conditional Model Checking via Reducers and Folders. SEFM (2020)
Dirk Beyer, Marieke Huisman
Selected and Extended Papers from TACAS 2018: Preface. J. Autom. Reason. 64 (7) (2020)
Dirk Beyer, Martin Spiessl
MetaVal: Witness Validation via Verification. CAV (2) (2020)
Dirk Beyer, Philipp Wendler
CPU Energy Meter: A Tool for Energy-Aware Algorithms Engineering. TACAS (2) (2020)
Dirk Beyer
Advances in Automatic Software Verification: SV-COMP 2020. TACAS (2) (2020)
Dirk Beyer, Marieke Huisman
Tools for the construction and analysis of systems. Int. J. Softw. Tools Technol. Transf. 22 (6) (2020)
Dirk Beyer
Second Competition on Software Testing: Test-Comp 2020. FASE (2020)
Markus Schordan, Dirk Beyer, Irena Bojanova
Software Verification Tools (Track Introduction). ISoLA (4) (2020)
Dirk Beyer, Sudeep Kanav
An Interface Theory for Program Verification. ISoLA (1) (2020)
Dirk Beyer, Marie-Christine Jakobs
Cooperative Test-Case Generation with Verifiers. SE (2020)
Dirk Beyer, Karlheinz Friedberger
Violation Witnesses and Result Validation for Multi-Threaded Programs - Implementation and Evaluation with CPAchecker. ISoLA (1) (2020)
Dirk Beyer, Matthias Dangl
Software Verification with PDR: An Implementation of the State of the Art. TACAS (1) (2020)
Dirk Beyer, Karlheinz Friedberger
Domain-independent interprocedural program analysis using block-abstraction memoization. ESEC/SIGSOFT FSE (2020)
Dirk Beyer, Marie-Christine Jakobs, Thomas Lemberger
Difference Verification with Conditions. SEFM (2020)
Dirk Beyer, Heike Wehrheim
Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework. ISoLA (1) (2020)
Dirk Beyer
Automatic Verification of C and Java Programs: SV-COMP 2019. TACAS (3) (2019)
Dirk Beyer, Marie-Christine Jakobs, Thomas Lemberger, Heike Wehrheim
Combining Verifiers in Conditional Model Checking via Reducers. SE/SWM (2019)
Dirk Beyer
International Competition on Software Testing (Test-Comp). TACAS (3) (2019)
Dirk Beyer
A data set of program invariants and error paths. MSR (2019)
Dirk Beyer, Heike Wehrheim
Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework. CoRR (2019)
Dirk Beyer, Matthias Dangl
Software Verification with PDR: Implementation and Empirical Evaluation of the State of the Art. CoRR (2019)
Dirk Beyer, Marie-Christine Jakobs
CoVeriTest: Cooperative Verifier-Based Testing. FASE (2019)
Dirk Beyer, Stefan Löwe, Philipp Wendler
Reliable benchmarking: requirements and solutions. Int. J. Softw. Tools Technol. Transf. 21 (1) (2019)
Dirk Beyer, Thomas Lemberger
Conditional Testing - Off-the-Shelf Combination of Test-Case Generators. ATVA (2019)
Dirk Beyer, Thomas Lemberger
TestCov: Robust Test-Suite Execution and Coverage Measurement. ASE (2019)
Ezio Bartocci, Dirk Beyer, Paul E. Black, Grigory Fedyukovich, Hubert Garavel, Arnd Hartmanns, Marieke Huisman, Fabrice Kordon, Julian Nagele, Mihaela Sighireanu, Bernhard Steffen, Martin Suda, Geoff Sutcliffe, Tjark Weber, Akihisa Yamada
TOOLympics 2019: An Overview of Competitions in Formal Methods. TACAS (3) (2019)
Dirk Beyer, Karlheinz Friedberger
Domain-independent multi-threaded software model checking. ASE (2018)
Dirk Beyer, Marie-Christine Jakobs, Thomas Lemberger, Heike Wehrheim
Reducer-based construction of conditional verifiers. ICSE (2018)
Dirk Beyer, Karlheinz Friedberger
In-Place vs. Copy-on-Write CEGAR Refinement for Block Summarization with Caching. ISoLA (2) (2018)
Dirk Beyer, Matthias Dangl, Thomas Lemberger, Michael Tautschnig
Tests from Witnesses - Execution-Based Validation of Verification Results. TAP@STAF (2018)
Dirk Beyer, Thomas Lemberger
CPA-SymExec: efficient symbolic execution in CPAchecker. ASE (2018)
Dirk Beyer, Matthias Dangl, Philipp Wendler
A Unifying View on SMT-Based Software Verification. J. Autom. Reason. 60 (3) (2018)
Dirk Beyer, Matthias Dangl
Strategy Selection for Software Verification Based on Boolean Features - A Simple but Effective Approach. ISoLA (2) (2018)
Markus Schordan, Dirk Beyer, Stephen F. Siegel
Evaluating Tools for Software Verification (Track Introduction). ISoLA (2) (2018)
Dirk Beyer, Matthias Dangl, Daniel Dietsch, Matthias Heizmann
Exchanging Verification Witnesses between Verifiers. Software Engineering (2017)
Dirk Beyer, Thomas Lemberger
Software Verification: Testing vs. Model Checking - A Comparative Evaluation of the State of the Art. Haifa Verification Conference (2017)
Dirk Beyer
Software Verification with Validation of Results - (Report on SV-COMP 2017). TACAS (2) (2017)
Dirk Beyer, Matthias Dangl
SMT-based Software Model Checking: An Experimental Comparison of Four Algorithms. VSTTE (2016)
Egor George Karpenkov, Karlheinz Friedberger, Dirk Beyer
JavaSMT: A Unified Interface for SMT Solvers in Java. VSTTE (2016)
Dirk Beyer
Reliable and Reproducible Competition Results with BenchExec and Witnesses (Report on SV-COMP 2016). TACAS (2016)
Dirk Beyer, Thomas Lemberger
Symbolic Execution with CEGAR. ISoLA (1) (2016)
Dirk Beyer
Partial Verification and Intermediate Results as a Solution to Combine Automatic and Interactive Verification Techniques. ISoLA (1) (2016)
Malte Lochau, Johannes Bürdek, Stefan Bauregger, Andreas Holzer, Alexander von Rhein, Sven Apel, Dirk Beyer
On facilitating reuse in multi-goal test-suite generation for software product lines. Software Engineering (2016)
Dirk Beyer, Matthias Dangl, Daniel Dietsch, Matthias Heizmann, Andreas Stahlbauer
Witness validation and stepwise testification across software verifiers. Software Engineering (2016)
Dirk Beyer, Matthias Dangl
Verification-Aided Debugging: An Interactive Web-Service for Exploring Error Witnesses. CAV (2) (2016)
Dirk Beyer, Matthias Dangl, Daniel Dietsch, Matthias Heizmann
Correctness witnesses: exchanging verification results between verifiers. SIGSOFT FSE (2016)
Dirk Beyer, Karlheinz Friedberger
A Light-Weight Approach for Verifying Multi-Threaded Programs with CPAchecker. MEMICS (2016)
Sven Apel, Dirk Beyer, Vitaly O. Mordan, Vadim S. Mutilin, Andreas Stahlbauer
On-the-fly decomposition of specifications in software model checking. SIGSOFT FSE (2016)
Markus Schordan, Dirk Beyer, Jonas Lundberg
Evaluation and Reproducibility of Program Analysis and Verification (Track Introduction). ISoLA (1) (2016)
Dirk Beyer, Matthias Dangl, Philipp Wendler
Combining k-Induction with Continuously-Refined Invariants. CoRR (2015)
Dirk Beyer, Stefan Löwe, Philipp Wendler
Benchmarking and Resource Measurement. SPIN (2015)
Dirk Beyer, Matthias Dangl, Daniel Dietsch, Matthias Heizmann, Andreas Stahlbauer
Witness validation and stepwise testification across software verifiers. ESEC/SIGSOFT FSE (2015)
Dirk Beyer, Stefan Löwe
Interpolation for Value Analysis. Software Engineering & Management (2015)
Dirk Beyer
Software Verification and Verifiable Witnesses - (Report on SV-COMP 2015). TACAS (2015)
Johannes Bürdek, Malte Lochau, Stefan Bauregger, Andreas Holzer, Alexander von Rhein, Sven Apel, Dirk Beyer
Facilitating Reuse in Multi-goal Test-Suite Generation for Software Product Lines. FASE (2015)
Alexander von Rhein, Alexander Grebhahn, Sven Apel, Norbert Siegmund, Dirk Beyer, Thorsten Berger
Presence-Condition Simplification in Highly Configurable Systems. ICSE (1) (2015)
Dirk Beyer, Stefan Löwe, Philipp Wendler
Refinement Selection. SPIN (2015)

Dirk Beyer.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Dirk Beyer