Modeling a Production Cell as a Distributed Real-Time System with Cottbus Timed Automata. - Dirk Beyer 001; Heinrich Rust (FBT, 1998)

Concepts of Cottbus Timed Automata. - Dirk Beyer 001; Heinrich Rust (FBT, 1999)

BDD-basierte Verifikation von Echtzeit-Systemen. - Dirk Beyer 001; Andreas Noack 001 (FBT, 2000)

Impact of Inheritance on Metrics for Size, Coupling, and Cohesion in Object-Oriented Systems. - Dirk Beyer 001; Claus Lewerentz; Frank Simon (IWSM, 2000)

Efficient Reachability Analysis and Refinement Checking of Timed Automata Using BDDs. - Dirk Beyer 001 (CHARME, 2001)

Improvements in BDD-Based Reachability Analysis of Timed Automata. - Dirk Beyer 001 (FME, 2001)

Formale Verifikation von Realzeit-Systemen mittels Cottbus-Timed-Automata. - Dirk Beyer 001 (2002)

Rabbit: A Tool for BDD-Based Verification of Real-Time Systems. - Dirk Beyer 001; Claus Lewerentz; Andreas Noack 001 (CAV, 2003)

Can Decision Diagrams Overcome State Space Explosion in Real-Time Verification? - Dirk Beyer 001; Andreas Noack 001 (FORTE, 2003)

CrocoPat: Efficient Pattern Analysis in Object-Oriented Programs. - Dirk Beyer 001; Claus Lewerentz (IWPC, 2003)

Simple and Efficient Relational Querying of Software Structures. - Dirk Beyer 001; Andreas Noack 001; Claus Lewerentz (WCRE, 2003)

Generating Tests from Counterexamples. - Dirk Beyer 001; Adam Chlipala; Thomas A. Henzinger; Ranjit Jhala; Rupak Majumdar (ICSE, 2004)

An Eclipse Plug-in for Model Checking. - Dirk Beyer 001; Thomas A. Henzinger; Ranjit Jhala; Rupak Majumdar (IWPC, 2004)

Invited talk: the blast query language for software verification. - Dirk Beyer 001; Adam Chlipala; Thomas A. Henzinger; Ranjit Jhala; Rupak Majumdar (PEPM, 2004)

The Blast Query Language for Software Verification.. - Dirk Beyer 001; Adam Chlipala; Thomas A. Henzinger; Ranjit Jhala; Rupak Majumdar (SAS, 2004)

CrocoPat 2.1 Introduction and Reference Manual - Dirk Beyer 001; Andreas Noack 001 (CoRR, 2004)

Checking Memory Safety with Blast. - Dirk Beyer 001; Thomas A. Henzinger; Ranjit Jhala; Rupak Majumdar (FASE, 2005)

Co-Change Visualization. - Dirk Beyer 001 (ICSM (Industrial and Tool Volume), 2005)

Clustering Software Artifacts Based on Frequent Common Changes. - Dirk Beyer 001; Andreas Noack 001 (IWPC, 2005)

Web service interfaces. - Dirk Beyer 001; Arindam Chakrabarti; Thomas A. Henzinger (WWW, 2005)

Efficient Relational Calculation for Software Analysis. - Dirk Beyer 001; Andreas Noack 001; Claus Lewerentz (IEEE Trans. Software Eng., 2005)

Lazy Shape Analysis. - Dirk Beyer 001; Thomas A. Henzinger; Grégory Théoduloz (CAV, 2006)

Symbolic invariant verification for systems with dynamic structural adaptation. - Basil Becker; Dirk Beyer 001; Holger Giese; Florian Klein 001; Daniela Schilling (ICSE, 2006)

Relational programming with CrocoPat. - Dirk Beyer 001 (ICSE, 2006)

Evolution Storyboards: Visualization of Software Structure Dynamics. - Dirk Beyer 001; Ahmed E. Hassan (ICPC, 2006)

Co-change visualization applied to PostgreSQL and ArgoUML: (MSR challenge report). - Dirk Beyer 001 (MSR, 2006)

Animated Visualization of Software History using Evolution Storyboards. - Dirk Beyer 001; Ahmed E. Hassan (WCRE, 2006)

Algorithms for Interface Synthesis. - Dirk Beyer 001; Thomas A. Henzinger; Vasu Singh (CAV, 2007)

Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis. - Dirk Beyer 001; Thomas A. Henzinger; Grégory Théoduloz (CAV, 2007)

An Application ofWeb-Service Interfaces. - Dirk Beyer 001; Arindam Chakrabarti; Thomas A. Henzinger; Sanjit A. Seshia (ICWS, 2007)

Path invariants. - Dirk Beyer 001; Thomas A. Henzinger; Rupak Majumdar; Andrey Rybalchenko (PLDI, 2007)

Invariant Synthesis for Combined Theories. - Dirk Beyer 001; Thomas A. Henzinger; Rupak Majumdar; Andrey Rybalchenko (VMCAI, 2007)

The software model checker Blast. - Dirk Beyer 001; Thomas A. Henzinger; Ranjit Jhala; Rupak Majumdar (Int. J. Softw. Tools Technol. Transf., 2007)

CSIsat: Interpolation for LA+EUF. - Dirk Beyer 001; Damien Zufferey; Rupak Majumdar (CAV, 2008)

CCVisu: automatic visual software decomposition. - Dirk Beyer 001 (ICSE Companion, 2008)

Program Analysis with Dynamic Precision Adjustment. - Dirk Beyer 001; Thomas A. Henzinger; Grégory Théoduloz (ASE, 2008)

Software model checking via large-block encoding. - Dirk Beyer 001; Alessandro Cimatti; Alberto Griggio; M. Erkan Keremoglu; Roberto Sebastiani (FMCAD, 2009)

Shape Refinement through Explicit Heap Analysis. - Dirk Beyer 001; Thomas A. Henzinger; Grégory Théoduloz; Damien Zufferey (FASE, 2010)

Predicate abstraction with adjustable-block encoding. - Dirk Beyer 001; M. Erkan Keremoglu; Philipp Wendler (FMCAD, 2010)

DepDigger: A Tool for Detecting Complex Low-Level Dependencies. - Dirk Beyer 001; Ashgan Fararooy (ICPC, 2010)

CheckDep: A Tool for Tracking Software Dependencies. - Dirk Beyer 001; Ashgan Fararooy (ICPC, 2010)

A Simple and Effective Measure for Complex Low-Level Dependencies. - Dirk Beyer 001; Ashgan Fararooy (ICPC, 2010)

CPAchecker: A Tool for Configurable Software Verification. - Dirk Beyer 001; M. Erkan Keremoglu (CAV, 2011)

Feature cohesion in software product lines: an exploratory study. - Sven Apel; Dirk Beyer 001 (ICSE, 2011)

Detection of feature interactions using feature-aware verification. - Sven Apel; Hendrik Speidel; Philipp Wendler; Alexander von Rhein; Dirk Beyer 001 (ASE, 2011)

Conditional Model Checking - Dirk Beyer 001; Thomas A. Henzinger; M. Erkan Keremoglu; Philipp Wendler (CoRR, 2011)

Feature-Aware Verification - Sven Apel; Hendrik Speidel; Philipp Wendler; Alexander von Rhein; Dirk Beyer 001 (CoRR, 2011)

Algorithms for software model checking: Predicate abstraction vs. Impact. - Dirk Beyer 001; Philipp Wendler (FMCAD, 2012)

Linux Driver Verification - (Position Paper). - Dirk Beyer 001; Alexander K. Petrenko (ISoLA (2), 2012)

The RERS Grey-Box Challenge 2012: Analysis of Event-Condition-Action Systems. - Falk Howar; Malte Isberner; Maik Merten; Bernhard Steffen; Dirk Beyer 001 (ISoLA (1), 2012)

BDD-Based Software Model Checking with CPAchecker. - Dirk Beyer 001; Andreas Stahlbauer (MEMICS, 2012)

Conditional model checking: a technique to pass information between verifiers. - Dirk Beyer 001; Thomas A. Henzinger; M. Erkan Keremoglu; Philipp Wendler (SIGSOFT FSE, 2012)

Competition on Software Verification - (SV-COMP). - Dirk Beyer 001 (TACAS, 2012)

Explicit-Value Analysis Based on CEGAR and Interpolation - Dirk Beyer 001; Stefan Löwe (CoRR, 2012)

Information Reuse for Multi-goal Reachability Analyses. - Dirk Beyer 001; Andreas Holzer; Michael Tautschnig; Helmut Veith (ESOP, 2013)

Explicit-State Software Model Checking Based on CEGAR and Interpolation. - Dirk Beyer 001; Stefan Löwe (FASE, 2013)

Domain Types: Abstract-Domain Selection Based on Variable Usage. - Sven Apel; Dirk Beyer 001; Karlheinz Friedberger; Franco Raimondi; Alexander von Rhein (Haifa Verification Conference, 2013)

Strategies for product-line verification: case studies and experiments. - Sven Apel; Alexander von Rhein; Philipp Wendler; Armin Größlinger; Dirk Beyer 001 (ICSE, 2013)

Precision reuse for efficient regression verification. - Dirk Beyer 001; Stefan Löwe; Evgeny Novikov; Andreas Stahlbauer; Philipp Wendler (ESEC/SIGSOFT FSE, 2013)

Reuse of Verification Results - Conditional Model Checking, Precision Reuse, and Verification Witnesses. - Dirk Beyer 001; Philipp Wendler (SPIN, 2013)

Second Competition on Software Verification - (Summary of SV-COMP 2013). - Dirk Beyer 001 (TACAS, 2013)

Domain Types: Selecting Abstractions Based on Variable Usage - Sven Apel; Dirk Beyer 001; Karlheinz Friedberger; Franco Raimondi; Alexander von Rhein (CoRR, 2013)

Reusing Precisions for Efficient Regression Verification - Dirk Beyer 001; Stefan Löwe; Evgeny Novikov; Andreas Stahlbauer; Philipp Wendler (CoRR, 2013)

Software Verification in the Google App-Engine Cloud. - Dirk Beyer 001; Georg Dresler; Philipp Wendler (CAV, 2014)

Evaluation and Reproducibility of Program Analysis (Track Introduction). - Markus Schordan; Welf Löwe; Dirk Beyer 001 (ISoLA (2), 2014)

A formal evaluation of DepDegree based on weyuker's properties. - Dirk Beyer 001; Peter Häring (ICPC, 2014)

Reusing Information in Multi-Goal Reachability Analyses. - Dirk Beyer 001; Andreas Holzer; Michael Tautschnig; Helmut Veith (Software Engineering, 2014)

Precision Reuse in CPAchecker. - Dirk Beyer 001; Stefan Löwe; Evgeny Novikov; Andreas Stahlbauer; Philipp Wendler (Software Engineering, 2014)

Status Report on Software Verification - (Competition Summary SV-COMP 2014). - Dirk Beyer 001 (TACAS, 2014)

Evaluating Software Verification Systems: Benchmarks and Competitions (Dagstuhl Reports 14171). - Dirk Beyer 001; Marieke Huisman; Vladimir Klebanov; Rosemary Monahan (Dagstuhl Reports, 2014)

BDD-based software verification - Applications to event-condition-action systems. - Dirk Beyer 001; Andreas Stahlbauer (Int. J. Softw. Tools Technol. Transf., 2014)

Rigorous examination of reactive systems - The RERS challenges 2012 and 2013. - Falk Howar; Malte Isberner; Maik Merten; Bernhard Steffen; Dirk Beyer 001; Corina S. Pasareanu (Int. J. Softw. Tools Technol. Transf., 2014)

Boosting k-Induction with Continuously-Refined Invariants. - Dirk Beyer 001; Matthias Dangl; Philipp Wendler (CAV (1), 2015)

Sliced Path Prefixes: An Effective Method to Enable Refinement Selection. - Dirk Beyer 001; Stefan Löwe; Philipp Wendler (FORTE, 2015)

Presence-Condition Simplification in Highly Configurable Systems. - Alexander von Rhein; Alexander Grebhahn; Sven Apel; Norbert Siegmund; Dirk Beyer 001; Thorsten Berger (ICSE (1), 2015)

Interpolation for Value Analysis. - Dirk Beyer 001; Stefan Löwe (Software Engineering & Management, 2015)

Refinement Selection. - Dirk Beyer 001; Stefan Löwe; Philipp Wendler (SPIN, 2015)

Benchmarking and Resource Measurement. - Dirk Beyer 001; Stefan Löwe; Philipp Wendler (SPIN, 2015)

Software Verification and Verifiable Witnesses - (Report on SV-COMP 2015). - Dirk Beyer 001 (TACAS, 2015)

Combining k-Induction with Continuously-Refined Invariants. - Dirk Beyer 001; Matthias Dangl; Philipp Wendler (CoRR, 2015)

Domain-Type-Guided Refinement Selection Based on Sliced Path Prefixes. - Dirk Beyer 001; Stefan Löwe; Philipp Wendler (CoRR, 2015)

Reproduction Package (Virtual Machine) for CAV 2015 Article 'Boosting k‑Induction with Continuously‑Refined Invariants'. - Dirk Beyer 001; Matthias Dangl; Philipp Wendler (Zenodo, 2015)

Verification-Aided Debugging: An Interactive Web-Service for Exploring Error Witnesses. - Dirk Beyer 001; Matthias Dangl (CAV (2), 2016)

Partial Verification and Intermediate Results as a Solution to Combine Automatic and Interactive Verification Techniques. - Dirk Beyer 001 (ISoLA (1), 2016)

Symbolic Execution with CEGAR. - Dirk Beyer 001; Thomas Lemberger 002 (ISoLA (1), 2016)

Evaluation and Reproducibility of Program Analysis and Verification (Track Introduction). - Markus Schordan; Dirk Beyer 001; Jonas Lundberg (ISoLA (1), 2016)

Witness validation and stepwise testification across software verifiers. - Dirk Beyer 001; Matthias Dangl; Daniel Dietsch; Matthias Heizmann; Andreas Stahlbauer (Software Engineering, 2016)

On facilitating reuse in multi-goal test-suite generation for software product lines. - Malte Lochau; Johannes Bürdek; Stefan Bauregger; Andreas Holzer; Alexander von Rhein; Sven Apel; Dirk Beyer 001 (Software Engineering, 2016)

Correctness witnesses: exchanging verification results between verifiers. - Dirk Beyer 001; Matthias Dangl; Daniel Dietsch; Matthias Heizmann (SIGSOFT FSE, 2016)

On-the-fly decomposition of specifications in software model checking. - Sven Apel; Dirk Beyer 001; Vitaly O. Mordan; Vadim S. Mutilin; Andreas Stahlbauer (SIGSOFT FSE, 2016)

Reliable and Reproducible Competition Results with BenchExec and Witnesses (Report on SV-COMP 2016). - Dirk Beyer 001 (TACAS, 2016)

SMT-based Software Model Checking: An Experimental Comparison of Four Algorithms. - Dirk Beyer 001; Matthias Dangl (VSTTE, 2016)

JavaSMT: A Unified Interface for SMT Solvers in Java. - Egor George Karpenkov; Karlheinz Friedberger; Dirk Beyer 001 (VSTTE, 2016)

A Light-Weight Approach for Verifying Multi-Threaded Programs with CPAchecker. - Dirk Beyer 001; Karlheinz Friedberger (MEMICS, 2016)

Replication Package (Virtual Machine) for Article "Verification-Aided Debugging: An Interactive Web-Service for Exploring Error Witnesses", Proc. CAV'16. - Dirk Beyer 001; Matthias Dangl (Zenodo, 2016)

Data Set for Article "Verification-Aided Debugging: An Interactive Web-Service for Exploring Error Witnesses", Proc. CAV'16. - Dirk Beyer 001; Matthias Dangl (Zenodo, 2016)

Replication Package for Article "Correctness Witnesses: Exchanging Verification Results between Verifiers". - Dirk Beyer 001; Matthias Dangl; Daniel Dietsch; Matthias Heizmann (Zenodo, 2016)

Software-Verifikation. - Dirk Beyer 001; Rolf Hennicker; Martin Hofmann 001; Tobias Nipkow; Martin Wirsing (50 Jahre Universitäts-Informatik in München, 2017)

Software Verification: Testing vs. Model Checking - A Comparative Evaluation of the State of the Art. - Dirk Beyer 001; Thomas Lemberger 002 (Haifa Verification Conference, 2017)

Exchanging Verification Witnesses between Verifiers. - Dirk Beyer 001; Matthias Dangl; Daniel Dietsch; Matthias Heizmann (Software Engineering, 2017)

Software Verification with Validation of Results - (Report on SV-COMP 2017). - Dirk Beyer 001 (TACAS (2), 2017)

Reducer-based construction of conditional verifiers. - Dirk Beyer 001; Marie-Christine Jakobs; Thomas Lemberger 002; Heike Wehrheim (ICSE, 2018)

Strategy Selection for Software Verification Based on Boolean Features - A Simple but Effective Approach. - Dirk Beyer 001; Matthias Dangl (ISoLA (2), 2018)

In-Place vs. Copy-on-Write CEGAR Refinement for Block Summarization with Caching. - Dirk Beyer 001; Karlheinz Friedberger (ISoLA (2), 2018)

Evaluating Tools for Software Verification (Track Introduction). - Markus Schordan; Dirk Beyer 001; Stephen F. Siegel (ISoLA (2), 2018)

CPA-SymExec: efficient symbolic execution in CPAchecker. - Dirk Beyer 001; Thomas Lemberger 002 (ASE, 2018)

Domain-independent multi-threaded software model checking. - Dirk Beyer 001; Karlheinz Friedberger (ASE, 2018)

Tests from Witnesses - Execution-Based Validation of Verification Results. - Dirk Beyer 001; Matthias Dangl; Thomas Lemberger 002; Michael Tautschnig (TAP@STAF, 2018)

A Unifying View on SMT-Based Software Verification. - Dirk Beyer 001; Matthias Dangl; Philipp Wendler (J. Autom. Reason., 2018)

Combining Model Checking and Data-Flow Analysis. - Dirk Beyer 001; Sumit Gulwani; David A. Schmidt (Handbook of Model Checking, 2018)

Replication Package for Article "Software Verification: Testing vs. Model Checking", Proc. HVC'17. - Dirk Beyer 001; Thomas Lemberger 002 (Zenodo, 2018)

Replication Package for ISoLA 2016 Article 'Symbolic Execution with CEGAR'. - Dirk Beyer 001; Thomas Lemberger 002 (Zenodo, 2018)

SV-Benchmarks: Benchmark set of 5th Intl. Competition on Software Verification (SV-COMP'16). - Dirk Beyer 001; Thomas Lemberger 002 (Zenodo, 2018)

SoSy-Lab Virtual Machine (Ubuntu 16.04 LTS). - Dirk Beyer 001; Thomas Lemberger 002; Philipp Wendler (Zenodo, 2018)

SoSy-Lab Virtual Machine (Ubuntu 16.04 LTS). - Dirk Beyer 001; Thomas Lemberger 002; Philipp Wendler (Zenodo, 2018)

sosy-lab/benchexec: Release 1.16. - Philipp Wendler; Dirk Beyer 001 (Zenodo, 2018)

Reproduction Package for ICSE 2018 Article 'Reducer-Based Construction of Conditional Verifiers'. - Dirk Beyer 001; Marie-Christine Jakobs; Thomas Lemberger 002; Heike Wehrheim (Zenodo, 2018)

Replication Package for Article "CPA-SymExec: Efficient Symbolic Execution in CPAchecker". - Dirk Beyer 001; Thomas Lemberger 002 (Zenodo, 2018)

Reproduction Package for ASE 2018 Article 'Domain-Independent Multi-threaded Software Model Checking'. - Dirk Beyer 001; Karlheinz Friedberger (Zenodo, 2018)

Reproduction Package for ASE 2018 Article 'CPA-SymExec: Efficient Symbolic Execution in CPAchecker'. - Dirk Beyer 001; Thomas Lemberger 002 (Zenodo, 2018)

sosy-lab/benchexec: Release 1.17. - Philipp Wendler; Dirk Beyer 001 (Zenodo, 2018)

Conditional Testing - Off-the-Shelf Combination of Test-Case Generators. - Dirk Beyer 001; Thomas Lemberger 002 (ATVA, 2019)

CoVeriTest: Cooperative Verifier-Based Testing. - Dirk Beyer 001; Marie-Christine Jakobs (FASE, 2019)

TestCov: Robust Test-Suite Execution and Coverage Measurement. - Dirk Beyer 001; Thomas Lemberger 002 (ASE, 2019)

A data set of program invariants and error paths. - Dirk Beyer 001 (MSR, 2019)

Combining Verifiers in Conditional Model Checking via Reducers. - Dirk Beyer 001; Marie-Christine Jakobs; Thomas Lemberger 002; Heike Wehrheim (SE/SWM, 2019)

TOOLympics 2019: An Overview of Competitions in Formal Methods. - Ezio Bartocci; Dirk Beyer 001; Paul E. Black; Grigory Fedyukovich; Hubert Garavel; Arnd Hartmanns; Marieke Huisman; Fabrice Kordon; Julian Nagele; Mihaela Sighireanu; Bernhard Steffen; Martin Suda 001; et al. (TACAS (3), 2019)

Automatic Verification of C and Java Programs: SV-COMP 2019. - Dirk Beyer 001 (TACAS (3), 2019)

International Competition on Software Testing (Test-Comp). - Dirk Beyer 001 (TACAS (3), 2019)

Software Verification with PDR: Implementation and Empirical Evaluation of the State of the Art. - Dirk Beyer 001; Matthias Dangl (CoRR, 2019)

Reliable benchmarking: requirements and solutions. - Dirk Beyer 001; Stefan Löwe; Philipp Wendler (Int. J. Softw. Tools Technol. Transf., 2019)

Verification Witnesses from Verification Tools (SV-COMP 2019). - Dirk Beyer 001 (Zenodo, 2019)

Replication Package for Article "CoVeriTest: Cooperative Verifier-Based Testing" in Proc. FASE '19. - Dirk Beyer 001; Marie-Christine Jakobs (Zenodo, 2019)

sosy-lab/benchexec: Release 1.18. - Philipp Wendler; Dirk Beyer 001 (Zenodo, 2019)

SV-Benchmarks: Benchmark Set of 8th Intl. Competition on Software Verification (SV-COMP 2019). - Dirk Beyer 001 (Zenodo, 2019)

Replication Artifact for Article "Conditional Testing: Off-the-Shelf Combination of Test-Case Generators". - Dirk Beyer 001; Thomas Lemberger 002 (Zenodo, 2019)

sosy-lab/benchexec: Release 1.19. - Philipp Wendler; Dirk Beyer 001 (Zenodo, 2019)

sosy-lab/benchexec: Release 1.20. - Philipp Wendler; Dirk Beyer 001 (Zenodo, 2019)

sosy-lab/benchexec: Release 1.21. - Philipp Wendler; Dirk Beyer 001 (Zenodo, 2019)

sosy-lab/benchexec: Release 1.22. - Philipp Wendler; Dirk Beyer 001 (Zenodo, 2019)

sosy-lab/benchexec: Release 2.0. - Philipp Wendler; Dirk Beyer 001 (Zenodo, 2019)

Reproduction Package for TACAS 2020 Article 'Software Verification with PDR: Implementation and Empirical Evaluation of the State of the Art'. - Dirk Beyer 001; Matthias Dangl (Zenodo, 2019)

Reproduction Package for Article ASE 2019 'TestCov: Robust Test-Suite Execution and Coverage Measurement'. - Dirk Beyer 001; Thomas Lemberger 002 (Zenodo, 2019)

sosy-lab/benchexec: Release 2.2. - Philipp Wendler; Dirk Beyer 001 (Zenodo, 2019)

sosy-lab/benchexec: Release 2.1. - Philipp Wendler; Dirk Beyer 001; Aditya Arora (Zenodo, 2019)

Replication Artifact for Article 'Software Verification with PDR: An Implementation of the State of the Art'. - Dirk Beyer 001; Matthias Dangl (Zenodo, 2019)

Reproduction Package for ATVA 2019 Article 'Conditional Testing: Off-the-Shelf Combination of Test-Case Generators'. - Dirk Beyer 001; Thomas Lemberger 002 (Zenodo, 2019)

sosy-lab/benchexec: Release 2.3. - Philipp Wendler; Dirk Beyer 001 (Zenodo, 2019)

sosy-lab/benchexec: Release 2.5. - Philipp Wendler; Dirk Beyer 001 (Zenodo, 2019)

sosy-lab/benchexec: Release 2.5.1. - Philipp Wendler; Dirk Beyer 001 (Zenodo, 2019)

MetaVal: Witness Validation via Verification. - Dirk Beyer 001; Martin Spiessl (CAV (2), 2020)

Second Competition on Software Testing: Test-Comp 2020. - Dirk Beyer 001 (FASE, 2020)

Violation Witnesses and Result Validation for Multi-Threaded Programs - Implementation and Evaluation with CPAchecker. - Dirk Beyer 001; Karlheinz Friedberger (ISoLA (1), 2020)

An Interface Theory for Program Verification. - Dirk Beyer 001; Sudeep Kanav (ISoLA (1), 2020)

Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework. - Dirk Beyer 001; Heike Wehrheim (ISoLA (1), 2020)

Software Verification Tools (Track Introduction). - Markus Schordan; Dirk Beyer 001; Irena Bojanova (ISoLA (4), 2020)

Cooperative Test-Case Generation with Verifiers. - Dirk Beyer 001; Marie-Christine Jakobs (SE, 2020)

FRed: Conditional Model Checking via Reducers and Folders. - Dirk Beyer 001; Marie-Christine Jakobs (SEFM, 2020)

Difference Verification with Conditions. - Dirk Beyer 001; Marie-Christine Jakobs; Thomas Lemberger 002 (SEFM, 2020)

Domain-independent interprocedural program analysis using block-abstraction memoization. - Dirk Beyer 001; Karlheinz Friedberger (ESEC/SIGSOFT FSE, 2020)

Software Verification with PDR: An Implementation of the State of the Art. - Dirk Beyer 001; Matthias Dangl (TACAS (1), 2020)

CPU Energy Meter: A Tool for Energy-Aware Algorithms Engineering. - Dirk Beyer 001; Philipp Wendler (TACAS (2), 2020)

Advances in Automatic Software Verification: SV-COMP 2020. - Dirk Beyer 001 (TACAS (2), 2020)

Selected and Extended Papers from TACAS 2018: Preface. - Dirk Beyer 001; Marieke Huisman (J. Autom. Reason., 2020)

Tools for the construction and analysis of systems. - Dirk Beyer 001; Marieke Huisman (Int. J. Softw. Tools Technol. Transf., 2020)

Verification Witnesses from Verification Tools (SV-COMP 2020). - Dirk Beyer 001 (Zenodo, 2020)

Results of the 9th International Competition on Software Verification (SV-COMP 2020). - Dirk Beyer 001 (Zenodo, 2020)

SV-Benchmarks: Benchmark Set of 9th Intl. Competition on Software Verification (SV-COMP 2020). - Dirk Beyer 001 (Zenodo, 2020)

Replication Package for Article 'PJBDD: A BDD Library for Java and Multi-Threading'. - Dirk Beyer 001; Karlheinz Friedberger; Stephan Holzner (Zenodo, 2020)

Tool Package for Article 'MetaVal: Witness Validation via Verification'. - Dirk Beyer 001; Martin Spiessl (Zenodo, 2020)

SV-Benchmarks: Benchmark Set of the 2nd Intl. Competition on Software Testing (Test-Comp 2020). - Dirk Beyer 001 (Zenodo, 2020)

Results of the 2nd International Competition on Software Testing (Test-Comp 2020). - Dirk Beyer 001 (Zenodo, 2020)

Test Suites from Test-Generation Tools (Test-Comp 2020). - Dirk Beyer 001 (Zenodo, 2020)

Replication Artifact for Article 'Software Verification with PDR: An Implementation of the State of the Art'. - Dirk Beyer 001; Matthias Dangl (Zenodo, 2020)

Reproduction Package for STTT Article 'Cooperative, Verifier-Based Testing with CoVeriTest'. - Dirk Beyer 001; Marie-Christine Jakobs (Zenodo, 2020)

Reproduction Artifact for TACAS 2020 Article 'CPU Energy Meter: A Tool for Energy-Aware Algorithms Engineering'. - Dirk Beyer 001; Philipp Wendler (Zenodo, 2020)

SMT Formulas for Boolean Programs from SLAM. - Dirk Beyer 001 (Zenodo, 2020)

Reproduction Package for TOSEM Article 'Verification Witnesses'. - Dirk Beyer 001; Matthias Dangl; Daniel Dietsch; Matthias Heizmann; Thomas Lemberger 002; Michael Tautschnig (Zenodo, 2020)

Replication Artifact for Article 'Domain-Independent Interprocedural Program Analysis using Block-Abstraction Memoization'. - Dirk Beyer 001; Karlheinz Friedberger (Zenodo, 2020)

SV-Benchmarks: Benchmark Set of the 1st Intl. Competition on Software Testing (Test-Comp 2019). - Dirk Beyer 001 (Zenodo, 2020)

Test Suites from Test-Generation Tools (Test-Comp 2019). - Dirk Beyer 001 (Zenodo, 2020)

Results of the 1st International Competition on Software Testing (Test-Comp 2019). - Dirk Beyer 001 (Zenodo, 2020)

CoVeriTeam Release 0.1 - ASE20-submission. - Dirk Beyer 001; Sudeep Kanav (Zenodo, 2020)

Replication Package (Virtual Machine) for Article 'CoVeriTeam: On-Demand Composition of Cooperative Verification Systems'. - Dirk Beyer 001; Sudeep Kanav (Zenodo, 2020)

CoVeriTeam Release 0.1. - Dirk Beyer 001; Sudeep Kanav (Zenodo, 2020)

Reproduction Package (Virtual Machine) for CAV 2020 Article 'MetaVal: Witness Validation via Verification'. - Dirk Beyer 001; Martin Spiessl (Zenodo, 2020)

CPAchecker Release 1.9.1 (unix). - Dirk Beyer 001; Philipp Wendler (Zenodo, 2020)

sosy-lab/benchexec: Release 2.6. - Philipp Wendler; Dirk Beyer 001 (Zenodo, 2020)

Replication Artifact for Article 'Domain-Independent Interprocedural Program Analysis using Block-Abstraction Memoization'. - Dirk Beyer 001; Karlheinz Friedberger (Zenodo, 2020)

Replication Artifact for Article 'Domain-Independent Interprocedural Program Analysis using Block-Abstraction Memoization'. - Dirk Beyer 001; Karlheinz Friedberger (Zenodo, 2020)

Reproduction Package for ISoLA 2020 Article 'Violation Witnesses and Result Validation for Multi-Threaded Programs'. - Dirk Beyer 001; Karlheinz Friedberger (Zenodo, 2020)

Reproduction Package for ESEC/FSE 2020 Article 'Domain-Independent Interprocedural Program Analysis using Block-Abstraction Memoization'. - Dirk Beyer 001; Karlheinz Friedberger (Zenodo, 2020)

CoVeriTeam Release 0.2. - Dirk Beyer 001; Sudeep Kanav (Zenodo, 2020)

Replication Package for Article 'Difference Verification with Conditions'. - Dirk Beyer 001; Thomas Lemberger 002; Marie-Christine Jakobs (Zenodo, 2020)

sosy-lab/benchexec: Release 2.7. - Philipp Wendler; Dirk Beyer 001 (Zenodo, 2020)

Replication Package for SEFM 2020 Article 'FRed: Conditional Model Checking via Reducers and Folders'. - Dirk Beyer 001; Marie-Christine Jakobs (Zenodo, 2020)

Reproduction Package for SEFM 2020 Article 'Difference Verification with Conditions'. - Dirk Beyer 001; Marie-Christine Jakobs; Thomas Lemberger 002 (Zenodo, 2020)

CoVeriTeam Release 0.3. - Dirk Beyer 001; Sudeep Kanav (Zenodo, 2020)

sosy-lab/benchexec: Release 3.0. - Philipp Wendler; Dirk Beyer 001 (Zenodo, 2020)

CoVeriTeam Release 0.4. - Dirk Beyer 001; Sudeep Kanav (Zenodo, 2020)

sosy-lab/benchexec: Release 3.1. - Philipp Wendler; Dirk Beyer 001 (Zenodo, 2020)

sosy-lab/benchexec: Release 3.2. - Philipp Wendler; Dirk Beyer 001 (Zenodo, 2020)

sosy-lab/benchexec: Release 3.3. - Philipp Wendler; Dirk Beyer 001 (Zenodo, 2020)

Reproduction Package for Article 'PJBDD: A BDD Library for Java and Multi-Threading'. - Dirk Beyer 001; Karlheinz Friedberger; Stephan Holzner (Zenodo, 2020)

CoVeriTeam Release 0.5. - Dirk Beyer 001; Sudeep Kanav (Zenodo, 2020)

Reproduction Package for Article 'CoVeriTeam: On-Demand Composition of Cooperative Verification Systems'. - Dirk Beyer 001; Sudeep Kanav (Zenodo, 2020)

Reproduction Package for TACAS 2022 Article 'CoVeriTeam: On-Demand Composition of Cooperative Verification Systems'. - Dirk Beyer 001; Sudeep Kanav (Zenodo, 2020)

Reproduction Package for TACAS 2021 Submission 'Interpolation and SAT-Based Model Checking Revisited'. - Dirk Beyer 001; Nian-Ze Lee; Philipp Wendler (Zenodo, 2020)

Reproduction Package for Article 'PJBDD: A BDD Library for Java and Multi-Threading'. - Dirk Beyer 001; Karlheinz Friedberger; Stephan Holzner (Zenodo, 2020)

CoVeriTeam Release svcomp21 and testcomp21. - Dirk Beyer 001; Sudeep Kanav (Zenodo, 2020)

CPAchecker Release 2.0 (unix). - Dirk Beyer 001; Philipp Wendler (Zenodo, 2020)

sosy-lab/benchexec: Release 3.4. - Philipp Wendler; Dirk Beyer 001 (Zenodo, 2020)

sosy-lab/benchexec: Release 3.5. - Philipp Wendler; Dirk Beyer 001 (Zenodo, 2020)

sosy-lab/benchexec: Release 3.6. - Philipp Wendler; Dirk Beyer 001 (Zenodo, 2020)

PJBDD: A BDD Library for Java and Multi-Threading. - Dirk Beyer 001; Karlheinz Friedberger; Stephan Holzner (ATVA, 2021)

JavaSMT 3: Interacting with SMT Solvers in Java. - Daniel Baier; Dirk Beyer 001; Karlheinz Friedberger (CAV (2), 2021)

Status Report on Software Testing: Test-Comp 2021. - Dirk Beyer 001 (FASE, 2021)

Software Verification: 10th Comparative Evaluation (SV-COMP 2021). - Dirk Beyer 001 (TACAS (2), 2021)

Towards a Benchmark Set for Program Repair Based on Partial Fixes. - Dirk Beyer 001; Lars Grunske; Thomas Lemberger 002; Minxing Tang (CoRR, 2021)

Correction to: A Unifying View on SMT-Based Software Verification. - Dirk Beyer 001; Matthias Dangl; Philipp Wendler (J. Autom. Reason., 2021)

First international competition on software testing. - Dirk Beyer 001 (Int. J. Softw. Tools Technol. Transf., 2021)

TOOLympics I: Competition on software testing. - Dirk Beyer 001; Marieke Huisman (Int. J. Softw. Tools Technol. Transf., 2021)

TOOLympics II: competitions on formal methods. - Dirk Beyer 001; Marieke Huisman; Fabrice Kordon; Bernhard Steffen (Int. J. Softw. Tools Technol. Transf., 2021)

Cooperative verifier-based testing with CoVeriTest. - Dirk Beyer 001; Marie-Christine Jakobs (Int. J. Softw. Tools Technol. Transf., 2021)

SV-Benchmarks: Benchmark Set of 10th Intl. Competition on Software Verification (SV-COMP 2021). - Dirk Beyer 001 (Zenodo, 2021)

SV-Benchmarks: Benchmark Set of 3rd Intl. Competition on Software Testing (Test-Comp 2021). - Dirk Beyer 001 (Zenodo, 2021)

Verification Witnesses from Verification Tools (SV-COMP 2021). - Dirk Beyer 001 (Zenodo, 2021)

Results of the 10th Intl. Competition on Software Verification (SV-COMP 2021). - Dirk Beyer 001 (Zenodo, 2021)

Test Suites from Test-Generation Tools (Test-Comp 2021). - Dirk Beyer 001 (Zenodo, 2021)

Results of the 3rd Intl. Competition on Software Testing (Test-Comp 2021). - Dirk Beyer 001 (Zenodo, 2021)

Reproduction Package (VM) for CAV 2021 Article 'JavaSMT 3: Interacting with SMT Solvers in Java'. - Daniel Baier; Dirk Beyer 001; Karlheinz Friedberger (Zenodo, 2021)

sosy-lab/benchexec: Release 3.7. - Philipp Wendler; Dirk Beyer 001 (Zenodo, 2021)

Reproduction Package for CAV 2021 Article 'JavaSMT 3: Interacting with SMT Solvers in Java'. - Daniel Baier; Dirk Beyer 001; Karlheinz Friedberger (Zenodo, 2021)

sosy-lab/benchexec: Release 3.8. - Philipp Wendler; Dirk Beyer 001 (Zenodo, 2021)

Reproduction Package for ATVA 2021 Article 'PJBDD: A BDD Library for Java and Multi-Threading'. - Dirk Beyer 001; Karlheinz Friedberger; Stephan Holzner (Zenodo, 2021)

Benchmark Set for Program Repair Based on Partial Fixes. - Dirk Beyer 001; Lars Grunske; Thomas Lemberger 002; Minxing Tang (Zenodo, 2021)

CoVeriTeam Release 0.6. - Dirk Beyer 001; Sudeep Kanav (Zenodo, 2021)

Reproduction Package (Reduced Version) for Article "Decomposing Software Verification into Off-the-Shelf Components: An Application to CEGAR". - Dirk Beyer 001; Jan Haltermann; Thomas Lemberger 002; Heike Wehrheim (Zenodo, 2021)

Reproduction Package (Full Version) for ICSE 2022 Article 'Decomposing Software Verification into Off-the-Shelf Components: An Application to CEGAR'. - Dirk Beyer 001; Jan Haltermann; Thomas Lemberger 002; Heike Wehrheim (Zenodo, 2021)

Reproduction Package for ICSE 2022 Submission 'Interpolation and SAT-Based Model Checking Revisited'. - Dirk Beyer 001; Nian-Ze Lee; Philipp Wendler (Zenodo, 2021)

sosy-lab/benchexec: Release 3.9. - Philipp Wendler; Dirk Beyer 001 (Zenodo, 2021)

CoVeriTeam Release svcomp22 and testcomp22. - Dirk Beyer 001; Sudeep Kanav (Zenodo, 2021)

Reproduction Package for Article 'Construction of Verifier Combinations Based on Off-the-Shelf Verifiers'. - Dirk Beyer 001; Sudeep Kanav (Zenodo, 2021)

CPAchecker Release 2.1 (unix). - Dirk Beyer 001; Philipp Wendler (Zenodo, 2021)

sosy-lab/benchexec: Release 3.10. - Philipp Wendler; Dirk Beyer 001 (Zenodo, 2021)

Software Model Checking: 20 Years and Beyond. - Dirk Beyer 001; Andreas Podelski (Principles of Systems Design, 2022)

Advances in Automatic Software Testing: Test-Comp 2022. - Dirk Beyer 001 (FASE, 2022)

Construction of Verifier Combinations Based on Off-the-Shelf Verifiers. - Dirk Beyer 001; Sudeep Kanav; Cedric Richter (FASE, 2022)

Cooperative Verification: Towards Reliable Safety-Critical Systems (Invited Talk). - Dirk Beyer 001 (FTSCS, 2022)

Decomposing Software Verification into Off-the-Shelf Components: An Application to CEGAR. - Dirk Beyer 001; Jan Haltermann; Thomas Lemberger 002; Heike Wehrheim (ICSE, 2022)

Case Study on Verification-Witness Validators: Where We Are and Where We Go. - Dirk Beyer 001; Jan Strejcek (SAS, 2022)

A Unifying Approach for Control-Flow-Based Loop Abstraction. - Dirk Beyer 001; Marian Lingsch Rosenfeld; Martin Spiessl (SEFM, 2022)

Cooperation Between Automatic and Interactive Software Verifiers. - Dirk Beyer 001; Martin Spiessl; Sven Umbricht (SEFM, 2022)

Progress on Software Verification: SV-COMP 2022. - Dirk Beyer 001 (TACAS (2), 2022)

CoVeriTeam: On-Demand Composition of Cooperative Verification Systems. - Dirk Beyer 001; Sudeep Kanav (TACAS (1), 2022)

The Static Analyzer Frama-C in SV-COMP (Competition Contribution). - Dirk Beyer 001; Martin Spiessl (TACAS (2), 2022)

Correction to: Reliable benchmarking: requirements and solutions. - Dirk Beyer 001; Stefan Löwe; Philipp Wendler (Int. J. Softw. Tools Technol. Transf., 2022)

Verification Witnesses. - Dirk Beyer 001; Matthias Dangl; Daniel Dietsch; Matthias Heizmann; Thomas Lemberger 002; Michael Tautschnig (ACM Trans. Softw. Eng. Methodol., 2022)

SV-Benchmarks: Benchmark Set for Software Verification and Testing (SV-COMP 2022 and Test-Comp 2022). - Dirk Beyer 001 (Zenodo, 2022)

Verification Witnesses from Verification Tools (SV-COMP 2022). - Dirk Beyer 001 (Zenodo, 2022)

Results of the 11th Intl. Competition on Software Verification (SV-COMP 2022). - Dirk Beyer 001 (Zenodo, 2022)

Results of the 4th Intl. Competition on Software Testing (Test-Comp 2022). - Dirk Beyer 001 (Zenodo, 2022)

Verification Witnesses from Verification Tools (SV-COMP 2022). - Dirk Beyer 001 (Zenodo, 2022)

Test Suites from Test-Generation Tools (Test-Comp 2022). - Dirk Beyer 001 (Zenodo, 2022)

Reproduction Package (VM Version) for ICSE 2022 Article 'Decomposing Software Verification into Off-the-Shelf Components: An Application to CEGAR'. - Dirk Beyer 001; Jan Haltermann; Thomas Lemberger 002; Heike Wehrheim (Zenodo, 2022)

CPAchecker Release 2.1.1 (unix). - Dirk Beyer 001; Jan Haltermann; Thomas Lemberger 002; Heike Wehrheim; Philipp Wendler (Zenodo, 2022)

CoVeriTeam Release 0.9. - Dirk Beyer 001; Sudeep Kanav (Zenodo, 2022)

Reproduction Package for FMSD Article 'Construction of Verifier Combinations From Off-the-Shelf Components'. - Dirk Beyer 001; Sudeep Kanav; Tobias Kleinert; Cedric Richter (Zenodo, 2022)

Reproduction Package for FASE 2022 Article 'Construction of Verifier Combinations Based on Off-the-Shelf Verifiers'. - Dirk Beyer 001; Sudeep Kanav; Cedric Richter (Zenodo, 2022)

Reproduction Package for CAV 2022 Submission 'Interpolation and SAT-Based Model Checking Revisited'. - Dirk Beyer 001; Nian-Ze Lee; Philipp Wendler (Zenodo, 2022)

Reproduction Package for SAS 2022 Article 'Case Study on Verification-Witness Validators: Where We Are and Where We Go'. - Dirk Beyer 001; Jan Strejcek (Zenodo, 2022)

Verifiers and Validators of the 11th Intl. Competition on Software Verification (SV-COMP 2022). - Dirk Beyer 001 (Zenodo, 2022)

Test-Suite Generators and Validator of the 4th Intl. Competition on Software Testing (Test-Comp 2022). - Dirk Beyer 001 (Zenodo, 2022)

Reproduction Package (VM Version) for ICSE 2022 Article 'Decomposing Software Verification into Off-the-Shelf Components: An Application to CEGAR'. - Dirk Beyer 001; Jan Haltermann; Thomas Lemberger 002; Heike Wehrheim (Zenodo, 2022)

CoVeriTeam Release c-cegar-icse2022. - Dirk Beyer 001; Sudeep Kanav (Zenodo, 2022)

sosy-lab/benchexec: Release 3.11. - Philipp Wendler; Dirk Beyer 001 (Zenodo, 2022)

Reproduction Package for STTT Submission 'Five Years Later: Testing vs. Model Checking'. - Dirk Beyer 001; Thomas Lemberger 002 (Zenodo, 2022)

Reproduction Package for SEFM 2022 Submission 'Fault Localization on Verification Witnesses'. - Dirk Beyer 001; Matthias Kettl; Thomas Lemberger 002 (Zenodo, 2022)

sosy-lab/benchexec: Release 3.12. - Philipp Wendler; Dirk Beyer 001 (Zenodo, 2022)

Reproduction Package for JAR Submission 'Interpolation and SAT-Based Model Checking Revisited'. - Dirk Beyer 001; Nian-Ze Lee; Philipp Wendler (Zenodo, 2022)

Reproduction Package for SEFM 2022 Article 'A Unifying Approach for Control-Flow-Based Loop Abstraction'. - Dirk Beyer 001; Marian Lingsch Rosenfeld; Martin Spiessl (Zenodo, 2022)

Reproduction Package (Docker container) for the FSE 2022 Article 'A Retrospective Study of one Decade of Artifact Evaluations'. - Stefan Winter 001; Chris Timperley; Ben Hermann; Jürgen Cito; Jonathan Bell 001; Michael Hilton; Dirk Beyer 001 (Zenodo, 2022)

Reproduction Package for SEFM 2022 Article 'Cooperation between Automatic and Interactive Software Verifiers'. - Dirk Beyer 001; Martin Spiessl; Sven Umbricht (Zenodo, 2022)

sosy-lab/benchexec: Release 3.13. - Philipp Wendler; Dirk Beyer 001 (Zenodo, 2022)

Reproduction Package (Docker container) for the ESEC/FSE 2022 Article 'A Retrospective Study of one Decade of Artifact Evaluations'. - Stefan Winter 001; Chris Timperley; Ben Hermann; Jürgen Cito; Jonathan Bell 001; Michael Hilton; Dirk Beyer 001 (Zenodo, 2022)

Reproduction Package for Submission 'FaultY: A Framework for Managing Fault Candidates'. - Dirk Beyer 001; Matthias Kettl (Zenodo, 2022)

Reproduction Package for the ICSE 2023 Submission 'CoVeriTeam Service: Verification as a Service'. - Dirk Beyer 001; Sudeep Kanav; Henrik Wachowitz (Zenodo, 2022)

Reproduction Package for TACAS 2023 Submission 'Bridging Hardware and Software Analysis with Btor2C: A Word-Level-Circuit-to-C Converter'. - Dirk Beyer 001; Nian-Ze Lee; Po-Chun Chien (Zenodo, 2022)

CPAchecker Release 2.2 (unix). - Dirk Beyer 001; Philipp Wendler (Zenodo, 2022)

sosy-lab/benchexec: Release 3.14. - Philipp Wendler; Dirk Beyer 001 (Zenodo, 2022)

sosy-lab/benchexec: Release 3.15. - Philipp Wendler; Dirk Beyer 001 (Zenodo, 2022)

CoVeriTeam Verifier - Algorithm Selection and Parallel Portfolio (SV-COMP 2023). - Dirk Beyer 001; Sudeep Kanav; Tobias Kleinert; Cedric Richter (Zenodo, 2022)

Software Testing: 5th Comparative Evaluation: Test-Comp 2023. - Dirk Beyer 001 (FASE, 2023)

CoVeriTeam Service: Verification as a Service. - Dirk Beyer 001; Sudeep Kanav; Henrik Wachowitz (ICSE Companion, 2023)

CPA-DF: A Tool for Configurable Interval Analysis to Boost Program Verification. - Dirk Beyer 001; Po-Chun Chien; Nian-Ze Lee (ASE, 2023)

cegar-pt: A Tool for Abstraction by Program Transformation. - Dirk Beyer 001; Marian Lingsch Rosenfeld; Martin Spiessl (ASE, 2023)

LIV: Loop-Invariant Validation Using Straight-Line Programs. - Dirk Beyer 001; Martin Spiessl (ASE, 2023)

Component-based CEGAR - Building Software Verifiers from Off-the-Shelf Components. - Dirk Beyer 001; Jan Haltermann; Thomas Lemberger 002; Heike Wehrheim (Software Engineering, 2023)

Competition on Software Verification and Witness Validation: SV-COMP 2023. - Dirk Beyer 001 (TACAS (2), 2023)

Bridging Hardware and Software Analysis with Btor2C: A Word-Level-Circuit-to-C Translator. - Dirk Beyer 001; Po-Chun Chien; Nian-Ze Lee (TACAS (2), 2023)

Safeguarding AI-Based Software Development and Verification using Witnesses (Position Paper). - Dirk Beyer 001 (AISoLA (Selected Papers), 2023)

SV-Benchmarks: Benchmark Set for Software Verification and Testing (SV-COMP 2023 and Test-Comp 2023). - Dirk Beyer 001 (Zenodo, 2023)

Verifiers and Validators of the 12th Intl. Competition on Software Verification (SV-COMP 2023). - Dirk Beyer 001 (Zenodo, 2023)

Verification Witnesses from Verification Tools (SV-COMP 2023). - Dirk Beyer 001 (Zenodo, 2023)

Results of the 12th Intl. Competition on Software Verification (SV-COMP 2023). - Dirk Beyer 001 (Zenodo, 2023)

CoVeriTeam Service Release 1.0. - Dirk Beyer 001; Sudeep Kanav; Henrik Wachowitz (Zenodo, 2023)

Reproduction Package for the ICSE 2023 Article 'CoVeriTeam Service: Verification as a Service'. - Dirk Beyer 001; Sudeep Kanav; Henrik Wachowitz (Zenodo, 2023)

CoVeriTeam Service Release 1.1. - Dirk Beyer 001; Sudeep Kanav; Henrik Wachowitz (Zenodo, 2023)

CoVeriTeam Release 1.0. - Dirk Beyer 001; Sudeep Kanav; Henrik Wachowitz (Zenodo, 2023)

Reproduction Package for TACAS 2023 Article 'Bridging Hardware and Software Analysis with Btor2C: A Word-Level-Circuit-to-C Converter'. - Dirk Beyer 001; Nian-Ze Lee; Po-Chun Chien (Zenodo, 2023)

sosy-lab/benchexec: Release 3.16. - Philipp Wendler; Dirk Beyer 001 (Zenodo, 2023)

Test-Suite Generators and Validator of the 5th Intl. Competition on Software Testing (Test-Comp 2023). - Dirk Beyer 001 (Zenodo, 2023)

Results of the 5th Intl. Competition on Software Testing (Test-Comp 2023). - Dirk Beyer 001 (Zenodo, 2023)

Test Suites from Test-Generation Tools (Test-Comp 2023). - Dirk Beyer 001 (Zenodo, 2023)

Reproduction Package for STTT Submission 'Cooperative Verification: A Literature Review'. - Dirk Beyer 001; Sudeep Kanav (Zenodo, 2023)

Reproduction Package for STTT Submission 'Cooperative Verification: A Literature Review'. - Dirk Beyer 001; Sudeep Kanav (Zenodo, 2023)

Reproduction Package for FMSD Article 'Construction of Verifier Combinations From Off-the-Shelf Components'. - Dirk Beyer 001; Sudeep Kanav; Tobias Kleinert; Cedric Richter (Zenodo, 2023)

Reproduction Package for ASE 2023 Tool-Demo Submission 'CPA-DF: A Tool for Configurable Interval Analysis to Boost Program Verification'. - Dirk Beyer 001; Po-Chun Chien; Nian-Ze Lee (Zenodo, 2023)

Reproduction Package for ASE 2023 Submission 'FaultY: A Framework for Managing Fault Candidates'. - Dirk Beyer 001; Matthias Kettl (Zenodo, 2023)

Reproduction Package for ASE 2023 submission 'LIV: Invariant Validation using Straight-Line Programs'. - Dirk Beyer 001; Martin Spiessl (Zenodo, 2023)

Reproduction Package for ASE 2023 Article 'LIV: Invariant Validation using Straight-Line Programs'. - Dirk Beyer 001; Martin Spiessl (Zenodo, 2023)

Reproduction Package for ICSE 2024 Submission 'Fault Localization on Verification Witnesses'. - Dirk Beyer 001; Matthias Kettl; Thomas Lemberger 002 (Zenodo, 2023)

sosy-lab/benchexec: Release 3.17. - Philipp Wendler; Dirk Beyer 001 (Zenodo, 2023)

Reproduction Package for ASE 2023 Article 'CPA-DF: A Tool for Configurable Interval Analysis to Boost Program Verification'. - Dirk Beyer 001; Po-Chun Chien; Nian-Ze Lee (Zenodo, 2023)

SoSy-Lab Virtual Machine (Ubuntu 22.04 LTS). - Dirk Beyer 001; Po-Chun Chien; Nian-Ze Lee (Zenodo, 2023)

Reproduction Package for ASE 2023 Article 'CEGAR-PT: A Tool for Abstraction by Program Transformation'. - Dirk Beyer 001; Marian Lingsch Rosenfeld; Martin Spiessl (Zenodo, 2023)

Reproduction package for VMCAI 2024 submission 'Augmenting Interpolation-Based Model Checking with Auxiliary Invariants'. - Dirk Beyer 001; Po-Chun Chien; Nian-Ze Lee (Zenodo, 2023)

Reproduction Package for JAR Article 'Interpolation and SAT-Based Model Checking Revisited'. - Dirk Beyer 001; Nian-Ze Lee; Philipp Wendler (Zenodo, 2023)

Reproduction Package for TACAS 2024 Submission 'Btor2-Cert: A Certifying Hardware-Verification Framework Using Software Analyzers'. - Zsófia Ádám; Dirk Beyer 001; Po-Chun Chien; Nian-Ze Lee; Nils Sirrenberg (Zenodo, 2023)

Reproduction Package for FSE 2024 Submission 'Verification Witnesses Version 2'. - Paulína Ayaziová; Dirk Beyer 001; Marian Lingsch Rosenfeld; Martin Spiessl; Jan Strejcek (Zenodo, 2023)

Reproduction Package for TACAS 2024 Submission 'CPA-Daemon: Mitigating Tool Restarts for Java-Based Verifiers'. - Dirk Beyer 001; Thomas Lemberger 002; Henrik Wachowitz (Zenodo, 2023)

sosy-lab/benchexec: Release 3.18. - Philipp Wendler; Dirk Beyer 001 (Zenodo, 2023)

CPAchecker 2.2.1-svn-44999 (SV-COMP24 Prerun). - Dirk Beyer 001; Philipp Wendler (Zenodo, 2023)

CPAchecker 2.3 (SV-COMP24 Submission). - Dirk Beyer 001; Philipp Wendler (Zenodo, 2023)

CPAchecker Release 2.3 (unix). - Dirk Beyer 001; Philipp Wendler (Zenodo, 2023)

Witness Linter (SV-Comp 2024). - Marian Lingsch Rosenfeld; Dirk Beyer 001 (Zenodo, 2023)

Witness Linter (SV-Comp 2024). - Marian Lingsch Rosenfeld; Dirk Beyer 001 (Zenodo, 2023)

Witness Linter (SV-Comp 2024). - Marian Lingsch Rosenfeld; Dirk Beyer 001 (Zenodo, 2023)

Witness Linter (SV-Comp 2024). - Marian Lingsch Rosenfeld; Dirk Beyer 001 (Zenodo, 2023)

Witness Linter (SV-Comp 2024). - Marian Lingsch Rosenfeld; Dirk Beyer 001 (Zenodo, 2023)

Witness Linter (SV-Comp 2024). - Marian Lingsch Rosenfeld; Dirk Beyer 001 (Zenodo, 2023)

Witness Linter (SV-Comp 2024). - Marian Lingsch Rosenfeld; Dirk Beyer 001 (Zenodo, 2023)

Witness Linter (SV-Comp 2024). - Marian Lingsch Rosenfeld; Dirk Beyer 001 (Zenodo, 2023)

MetaVal: Witness Validation via Verification (SV-COMP24). - Marian Lingsch Rosenfeld; Martin Spiessl; Dirk Beyer 001 (Zenodo, 2023)

sosy-lab/benchexec: Release 3.19. - Philipp Wendler; Dirk Beyer 001 (Zenodo, 2023)

sosy-lab/benchexec: Release 3.20. - Philipp Wendler; Dirk Beyer 001 (Zenodo, 2023)

CoVeriTeam Release 1.1. - Dirk Beyer 001; Henrik Wachowitz (Zenodo, 2023)

Reproduction Package for MSR 2024 Article 'P3: A Dataset of Partial Program Fixes'. - Dirk Beyer 001; Lars Grunske; Matthias Kettl; Marian Lingsch Rosenfeld; Moeketsi Raselimo (Zenodo, 2023)

Benchmark Set for Program Repair Based on Partial Fixes. - Dirk Beyer 001; Lars Grunske; Matthias Kettl; Marian Lingsch Rosenfeld; Moeketsi Raselimo (Zenodo, 2023)

Benchmark Set for Program Repair Based on Partial Fixes, Dataset. - Dirk Beyer 001; Lars Grunske; Matthias Kettl; Marian Lingsch Rosenfeld; Moeketsi Raselimo (Zenodo, 2023)

Reproduction Package for STTT Submission 'Six Years Later: Testing vs. Model Checking'. - Dirk Beyer 001; Thomas Lemberger 002 (Zenodo, 2023)

CPA-Daemon: Mitigating Tool Restarts for Java-Based Verifiers. - Dirk Beyer 001; Thomas Lemberger 002; Henrik Wachowitz (ATVA (2), 2024)

The Transformation Game: Joining Forces for Verification. - Dirk Beyer 001; Nian-Ze Lee (Principles of Verification (3), 2024)

Software Verification with CPAchecker 3.0: Tutorial and User Guide. - Daniel Baier; Dirk Beyer 001; Po-Chun Chien; Marie-Christine Jakobs; Marek Jankola; Matthias Kettl; Nian-Ze Lee; Thomas Lemberger 002; Marian Lingsch Rosenfeld; Henrik Wachowitz; Philipp Wendler (FM (2), 2024)

FM-Weck: Containerized Execution of Formal-Methods Tools. - Dirk Beyer 001; Henrik Wachowitz (FM (2), 2024)

Fault Localization on Verification Witnesses (Poster Paper). - Dirk Beyer 001; Matthias Kettl; Thomas Lemberger 002 (ICSE Companion, 2024)

BenchCloud: A Platform for Scalable Performance Benchmarking. - Dirk Beyer 001; Po-Chun Chien; Marek Jankola (ASE, 2024)

P3: A Dataset of Partial Program Patches. - Dirk Beyer 001; Lars Grunske; Matthias Kettl; Marian Lingsch Rosenfeld; Moeketsi Raselimo (MSR, 2024)

A Retrospective Study of one Decade of Artifact Evaluations. - Stefan Winter 001; Christopher Steven Timperley; Ben Hermann; Jürgen Cito; Jonathan Bell 001; Michael Hilton; Dirk Beyer 001 (Software Engineering, 2024)

Software Verification Witnesses 2.0. - Paulína Ayaziová; Dirk Beyer 001; Marian Lingsch Rosenfeld; Martin Spiessl; Jan Strejcek (SPIN, 2024)

Augmenting Interpolation-Based Model Checking with Auxiliary Invariants. - Dirk Beyer 001; Po-Chun Chien; Nian-Ze Lee (SPIN, 2024)

Fault Localization on Verification Witnesses. - Dirk Beyer 001; Matthias Kettl; Thomas Lemberger 002 (SPIN, 2024)

Btor2-Cert: A Certifying Hardware-Verification Framework Using Software Analyzers. - Zsófia Ádám; Dirk Beyer 001; Po-Chun Chien; Nian-Ze Lee; Nils Sirrenberg (TACAS (3), 2024)

CPAchecker 2.3 with Strategy Selection - (Competition Contribution). - Daniel Baier; Dirk Beyer 001; Po-Chun Chien; Marek Jankola; Matthias Kettl; Nian-Ze Lee; Thomas Lemberger 002; Marian Lingsch Rosenfeld; Martin Spiessl; Henrik Wachowitz; Philipp Wendler (TACAS (3), 2024)

State of the Art in Software Verification and Witness Validation: SV-COMP 2024. - Dirk Beyer 001 (TACAS (3), 2024)

MoXIchecker: An Extensible Model Checker for MoXI. - Salih Ates; Dirk Beyer 001; Po-Chun Chien; Nian-Ze Lee (VSTTE, 2024)

Augmenting Interpolation-Based Model Checking with Auxiliary Invariants (Extended Version). - Dirk Beyer 001; Po-Chun Chien; Nian-Ze Lee (CoRR, 2024)

Software Verification with CPAchecker 3.0: Tutorial and User Guide (Extended Version). - Daniel Baier; Dirk Beyer 001; Po-Chun Chien; Marie-Christine Jakobs; Marek Jankola; Matthias Kettl; Nian-Ze Lee; Thomas Lemberger 002; Marian Lingsch Rosenfeld; Henrik Wachowitz; Philipp Wendler (CoRR, 2024)

A Transferability Study of Interpolation-Based Hardware Model Checking for Software Verification. - Dirk Beyer 001; Po-Chun Chien; Marek Jankola; Nian-Ze Lee (Proc. ACM Softw. Eng., 2024)

Decomposing Software Verification using Distributed Summary Synthesis. - Dirk Beyer 001; Matthias Kettl; Thomas Lemberger 002 (Proc. ACM Softw. Eng., 2024)

Reproduction Package for SPIN 2024 Submission 'Verification Witnesses Version 2'. - Paulína Ayaziová; Dirk Beyer 001; Marian Lingsch Rosenfeld; Martin Spiessl; Jan Strejcek (Zenodo, 2024)

Reproduction package for SPIN 2024 submission 'Augmenting Interpolation-Based Model Checking with Auxiliary Invariants'. - Dirk Beyer 001; Po-Chun Chien; Nian-Ze Lee (Zenodo, 2024)

CoVeriTeam Release 1.2. - Dirk Beyer 001; Henrik Wachowitz (Zenodo, 2024)

CoVeriTeam Release 1.2.1. - Dirk Beyer 001; Henrik Wachowitz (Zenodo, 2024)

CoVeriTeam Release 1.2.2. - Dirk Beyer 001; Henrik Wachowitz (Zenodo, 2024)

Reproduction Package for SPIN 2024 Submission 'Verification Witnesses Version 2'. - Paulína Ayaziová; Dirk Beyer 001; Marian Lingsch Rosenfeld; Martin Spiessl; Jan Strejcek (Zenodo, 2024)

FM-Tools Data Set of Metadata about Verifiers and Validators (SV-COMP 2024). - Dirk Beyer 001 (Zenodo, 2024)

sosy-lab/benchexec: Release 3.21. - Philipp Wendler; Dirk Beyer 001 (Zenodo, 2024)

Reproduction Package for SPIN 2024 Article 'Verification Witnesses Version 2'. - Paulína Ayaziová; Dirk Beyer 001; Marian Lingsch Rosenfeld; Martin Spiessl; Jan Strejcek (Zenodo, 2024)

SV-Benchmarks: Benchmark Set for Software Verification (SV-COMP 2024). - Dirk Beyer 001 (Zenodo, 2024)

Verification Witnesses from Verification Tools (SV-COMP 2024). - Dirk Beyer 001 (Zenodo, 2024)

Results of the 13th Intl. Competition on Software Verification (SV-COMP 2024). - Dirk Beyer 001 (Zenodo, 2024)

Reproduction Package for TACAS 2024 Article 'Btor2-Cert: A Certifying Hardware-Verification Framework Using Software Analyzers'. - Zsófia Ádám; Dirk Beyer 001; Po-Chun Chien; Nian-Ze Lee; Nils Sirrenberg (Zenodo, 2024)

CPAchecker Release 2.3.1 (unix). - Dirk Beyer 001; Philipp Wendler (Zenodo, 2024)

FM-Tools Release 2.0. - Dirk Beyer 001 (Zenodo, 2024)

Reproduction Package for FSE 2024 Article 'A Transferability Study of Interpolation-Based Hardware Model Checking for Software Verification'. - Dirk Beyer 001; Po-Chun Chien; Marek Jankola; Nian-Ze Lee (Zenodo, 2024)

Reproduction Package for FSE 2024 Revision 'Decomposing Software Verification Using Distributed Summary Synthesis'. - Dirk Beyer 001; Matthias Kettl; Thomas Lemberger 002 (Zenodo, 2024)

Reproduction Package for ATVA 2024 Submission 'CPA-Daemon: Mitigating Tool Restarts for Java-Based Verifiers'. - Dirk Beyer 001; Thomas Lemberger 002; Henrik Wachowitz (Zenodo, 2024)

CoVeriTeam Release 1.2.3. - Dirk Beyer 001; Henrik Wachowitz (Zenodo, 2024)

CoVeriTeam Release 1.2.3 (with FM-Tools 2.0). - Dirk Beyer 001; Henrik Wachowitz (Zenodo, 2024)

Reproduction Package for FM 2024 Article 'Software Verification with CPAchecker: Tutorial and User Guide'. - Daniel Beier; Dirk Beyer 001; Po-Chun Chien; Marie-Christine Jakobs; Marek Jankola; Matthias Kettl; Nian-Ze Lee; Thomas Lemberger 002; Marian Lingsch Rosenfeld; Henrik Wachowitz; Philipp Wendler (Zenodo, 2024)

BenchCloud: A Platform for Scalable Performance Benchmarking. - Dirk Beyer 001; Po-Chun Chien; Marek Jankola (Zenodo, 2024)

Reproduction Package for FSE 2024 Article 'Decomposing Software Verification Using Distributed Summary Synthesis'. - Dirk Beyer 001; Matthias Kettl; Thomas Lemberger 002 (Zenodo, 2024)

CoVeriTeam Service Release 1.2. - Dirk Beyer 001; Sudeep Kanav; Henrik Wachowitz (Zenodo, 2024)

Reproduction Package for fm-weck: Containerized Execution of Formal-Methods Tools. - Dirk Beyer 001; Henrik Wachowitz (Zenodo, 2024)

CPAchecker Release 2.3.1 (image). - Dirk Beyer 001; Philipp Wendler (Zenodo, 2024)

CPAchecker Release 2.4 (unix). - Dirk Beyer 001; Philipp Wendler (Zenodo, 2024)

CPAchecker Release 2.4 (image). - Dirk Beyer 001; Philipp Wendler (Zenodo, 2024)

sosy-lab/benchexec: Release 3.22. - Philipp Wendler; Dirk Beyer 001 (Zenodo, 2024)

sosy-lab/benchexec: Release 3.23. - Philipp Wendler; Dirk Beyer 001 (Zenodo, 2024)

MoXIchecker Release 0.1. - Salih Ates; Dirk Beyer 001; Po-Chun Chien; Nian-Ze Lee (Zenodo, 2024)

Reproduction Package for FM 2024 Article 'Software Verification with CPAchecker 3.0: Tutorial and User Guide'. - Daniel Beier; Dirk Beyer 001; Po-Chun Chien; Marie-Christine Jakobs; Marek Jankola; Matthias Kettl; Nian-Ze Lee; Thomas Lemberger 002; Marian Lingsch Rosenfeld; Henrik Wachowitz; Philipp Wendler (Zenodo, 2024)

CPAchecker Release 3.0 (unix). - Dirk Beyer 001; Philipp Wendler (Zenodo, 2024)

CPAchecker Release 3.0 (image). - Dirk Beyer 001; Philipp Wendler (Zenodo, 2024)

sosy-lab/benchexec: Release 3.24. - Philipp Wendler; Dirk Beyer 001 (Zenodo, 2024)

CPA-Daemon. - Dirk Beyer 001; Thomas Lemberger 002; Henrik Wachowitz (Zenodo, 2024)

Btor2-Cert (HWMCC 2024 Submission). - Zsófia Ádám; Salih Ates; Dirk Beyer 001; Po-Chun Chien; Nian-Ze Lee (Zenodo, 2024)

Reproduction Package for FM 2024 Article 'Software Verification with CPAchecker 3.0: Tutorial and User Guide'. - Daniel Beier; Dirk Beyer 001; Po-Chun Chien; Marie-Christine Jakobs; Marek Jankola; Matthias Kettl; Nian-Ze Lee; Thomas Lemberger 002; Marian Lingsch Rosenfeld; Henrik Wachowitz; Philipp Wendler (Zenodo, 2024)

BenchCloud Release 1.1. - Dirk Beyer 001; Po-Chun Chien; Marek Jankola (Zenodo, 2024)

Reproduction Package for the FM 2024 Article 'FM-Weck: Containerized Execution of Formal-Methods Tools'. - Dirk Beyer 001; Henrik Wachowitz (Zenodo, 2024)

sosy-lab/benchexec: Release 3.25. - Philipp Wendler; Dirk Beyer 001 (Zenodo, 2024)

MoXIchecker Release 0.2. - Salih Ates; Dirk Beyer 001; Po-Chun Chien; Nian-Ze Lee (Zenodo, 2024)

Reproduction Package for TACAS 2024 Submission 'Synthesis of Precise Error Conditions'. - Dirk Beyer 001; Lars Grunske; Matthias Kettl; Marian Lingsch Rosenfeld; Moeketsi Raselimo; Stefan Winter 001 (Zenodo, 2024)

CPAchecker (SV-COMP25 submission). - Dirk Beyer 001; Philipp Wendler; Marian Lingsch Rosenfeld; Matthias Kettl; Marek Jankola; Marie-Christine Jakobs; Daniel Baier (Zenodo, 2024)

LIV (SV-COMP25 submission). - Marian Lingsch Rosenfeld; Dirk Beyer 001 (Zenodo, 2024)

MetaVal (SV-COMP25 submission). - Marian Lingsch Rosenfeld; Dirk Beyer 001 (Zenodo, 2024)

WitnessLint (SV-COMP25 submission). - Marian Lingsch Rosenfeld; Dirk Beyer 001 (Zenodo, 2024)

MetaVal++ (SV-COMP25 submission). - Marian Lingsch Rosenfeld; Dirk Beyer 001 (Zenodo, 2024)

MetaVal++ (SV-COMP25 submission). - Marian Lingsch Rosenfeld; Dirk Beyer 001 (Zenodo, 2024)

MetaVal++ (SV-COMP25 submission). - Marian Lingsch Rosenfeld; Dirk Beyer 001 (Zenodo, 2024)

WitnessLint (SV-COMP25 submission). - Marian Lingsch Rosenfeld; Dirk Beyer 001 (Zenodo, 2024)

MetaVal (SV-COMP25 submission). - Marian Lingsch Rosenfeld; Dirk Beyer 001 (Zenodo, 2024)

WitnessMap (SV-COMP25 submission). - Marian Lingsch Rosenfeld; Dirk Beyer 001 (Zenodo, 2024)

BenchCloud Release 1.2. - Dirk Beyer 001; Po-Chun Chien; Marek Jankola (Zenodo, 2024)

BenchCloud Release 1.2.1. - Dirk Beyer 001; Po-Chun Chien; Marek Jankola (Zenodo, 2024)

Reproduction Package for TACAS 2024 Submission 'Synthesis of Precise Error Conditions'. - Dirk Beyer 001; Lars Grunske; Matthias Kettl; Marian Lingsch Rosenfeld; Moeketsi Raselimo; Stefan Winter 001 (Zenodo, 2024)

CPAchecker Release 4.0 (unix). - Dirk Beyer 001; Philipp Wendler (Zenodo, 2024)

CPAchecker Release 4.0 (image). - Dirk Beyer 001; Philipp Wendler (Zenodo, 2024)

CPAchecker (SV-COMP25 submission). - Dirk Beyer 001; Philipp Wendler; Marian Lingsch Rosenfeld; Matthias Kettl; Marek Jankola; Marie-Christine Jakobs; Daniel Baier (Zenodo, 2024)

CPAchecker (SV-COMP25 submission). - Dirk Beyer 001; Philipp Wendler; Marian Lingsch Rosenfeld; Matthias Kettl; Marek Jankola; Marie-Christine Jakobs; Daniel Baier (Zenodo, 2024)

CPAchecker (SV-COMP25 submission). - Dirk Beyer 001; Philipp Wendler; Marian Lingsch Rosenfeld; Matthias Kettl; Marek Jankola; Marie-Christine Jakobs; Daniel Baier (Zenodo, 2024)

CPAchecker (SV-COMP25 submission). - Dirk Beyer 001; Philipp Wendler; Marian Lingsch Rosenfeld; Matthias Kettl; Marek Jankola; Marie-Christine Jakobs; Daniel Baier (Zenodo, 2024)

LIV (SV-COMP25 submission). - Marian Lingsch Rosenfeld; Dirk Beyer 001 (Zenodo, 2024)

LIV (SV-COMP25 submission). - Marian Lingsch Rosenfeld; Dirk Beyer 001 (Zenodo, 2024)

MetaVal (SV-COMP25 submission). - Marian Lingsch Rosenfeld; Dirk Beyer 001 (Zenodo, 2024)

MetaVal++ (SV-COMP25 submission). - Marian Lingsch Rosenfeld; Dirk Beyer 001 (Zenodo, 2024)

WitnessMap (SV-COMP25 submission). - Marian Lingsch Rosenfeld; Dirk Beyer 001 (Zenodo, 2024)

LIV (SV-COMP25 submission). - Marian Lingsch Rosenfeld; Dirk Beyer 001 (Zenodo, 2024)

LIV (SV-COMP25 submission). - Marian Lingsch Rosenfeld; Dirk Beyer 001 (Zenodo, 2024)

WitnessMap (SV-COMP25 submission). - Marian Lingsch Rosenfeld; Dirk Beyer 001 (Zenodo, 2024)

LIV (SV-COMP25 submission). - Marian Lingsch Rosenfeld; Dirk Beyer 001 (Zenodo, 2024)

LIV (SV-COMP25 submission). - Marian Lingsch Rosenfeld; Dirk Beyer 001 (Zenodo, 2024)

sosy-lab/benchexec: Release 3.26. - Philipp Wendler; Dirk Beyer 001 (Zenodo, 2024)

sosy-lab/benchexec: Release 3.27. - Philipp Wendler; Dirk Beyer 001 (Zenodo, 2024)

BenchCloud Release 1.3. - Dirk Beyer 001; Po-Chun Chien; Marek Jankola (Zenodo, 2024)

LIV (SV-COMP25 submission). - Marian Lingsch Rosenfeld; Dirk Beyer 001 (Zenodo, 2024)

LIV (SV-COMP25 submission). - Marian Lingsch Rosenfeld; Dirk Beyer 001 (Zenodo, 2024)

Six years later: testing vs. model checking. - Dirk Beyer 001; Thomas Lemberger 002 (Int. J. Softw. Tools Technol. Transf., 2024)

Advances in Automatic Software Testing: Test-Comp 2025. - Dirk Beyer 001 (FASE, 2025)

AutoSV-Annotator: Integrating Deductive and Automatic Software Verification. - Lukas Armborst; Dirk Beyer 001; Marieke Huisman; Marian Lingsch Rosenfeld (FMICS, 2025)

Artifact Evaluations for Stronger Research Results. - Dirk Beyer 001; Stefan Winter 001 (SIGSOFT FSE Companion, 2025)

CPAchecker 4.0 as Witness Validator - (Competition Contribution). - Dirk Beyer 001; Marian Lingsch Rosenfeld (TACAS (3), 2025)

Improvements in Software Verification and Witness Validation: SV-COMP 2025. - Dirk Beyer 001; Jan Strejcek (TACAS (3), 2025)

A Modular Program-Transformation Framework for Reducing Specifications to Reachability. - Dirk Beyer 001; Marek Jankola; Marian Lingsch Rosenfeld; Tian Xia; Xiyue Zheng (CoRR, 2025)

Reproduction Package for SPIN 2025 Submission 'Auto-SV Annotator: Integrating Deductive and Automatic Software Verification'. - Marian Lingsch Rosenfeld; Dirk Beyer 001; Marieke Huisman; Lukas Armborst (Zenodo, 2025)

Reproduction Package for SPIN 2025 Submission 'A Modular Program-Transformation Framework for Reducing Specifications to Reachability'. - Marian Lingsch Rosenfeld; Dirk Beyer 001; Marek Jankola (Zenodo, 2025)

Reproduction Package for SPIN 2025 Submission 'Auto-SV Annotator: Integrating Deductive and Automatic Software Verification'. - Marian Lingsch Rosenfeld; Dirk Beyer 001; Marieke Huisman; Lukas Armborst (Zenodo, 2025)

sosy-lab/benchexec: Release 3.28. - Philipp Wendler; Dirk Beyer 001 (Zenodo, 2025)

sosy-lab/benchexec: Release 3.29. - Philipp Wendler; Dirk Beyer 001 (Zenodo, 2025)

Interpolation and SAT-Based Model Checking Revisited: Adoption to Software Verification. - Dirk Beyer 001; Nian-Ze Lee; Philipp Wendler (J. Autom. Reason., 2025)

Construction of verifier combinations from off-the-shelf components. - Dirk Beyer 001; Sudeep Kanav; Tobias Kleinert; Cedric Richter (Formal Methods Syst. Des., 2025)