Dirk Beyer

Orcid: 0000-0003-4832-7662

Affiliations:
  • LMU Munich, SoSy Lab, Germany
  • University of Passau, Faculty of Computer Science and Mathematics, Germany
  • Simon Fraser University, School of Computing Science, Canada
  • EPFL, Lausanne, School of Computer and Communication Sciences, Switzerland
  • Brandenburg Technical University at Cottbus, Germany


According to our database1, Dirk Beyer authored at least 164 papers between 1998 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
A Retrospective Study of one Decade of Artifact Evaluations.
Proceedings of the Software Engineering 2024, Fachtagung des GI-Fachbereichs Softwaretechnik, Linz, Austria, February 26, 2024

2023
Bridging Hardware and Software Analysis with Btor2C: A Word-Level-Circuit-to-C Translator.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

Competition on Software Verification and Witness Validation: SV-COMP 2023.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

Component-based CEGAR - Building Software Verifiers from Off-the-Shelf Components.
Proceedings of the Software Engineering 2023, 2023

LIV: Loop-Invariant Validation Using Straight-Line Programs.
Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

cegar-pt: A Tool for Abstraction by Program Transformation.
Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

CPA-DF: A Tool for Configurable Interval Analysis to Boost Program Verification.
Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

CoVeriTeam Service: Verification as a Service.
Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: ICSE 2023 Companion Proceedings, 2023

Software Testing: 5th Comparative Evaluation: Test-Comp 2023.
Proceedings of the Fundamental Approaches to Software Engineering, 2023

2022
Verification Witnesses.
ACM Trans. Softw. Eng. Methodol., 2022

Correction to: Reliable benchmarking: requirements and solutions.
Int. J. Softw. Tools Technol. Transf., 2022

Interpolation and SAT-Based Model Checking Revisited: Adoption to Software Verification.
CoRR, 2022

The Static Analyzer Frama-C in SV-COMP (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

CoVeriTeam: On-Demand Composition of Cooperative Verification Systems.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

Progress on Software Verification: SV-COMP 2022.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

Cooperation Between Automatic and Interactive Software Verifiers.
Proceedings of the Software Engineering and Formal Methods - 20th International Conference, 2022

A Unifying Approach for Control-Flow-Based Loop Abstraction.
Proceedings of the Software Engineering and Formal Methods - 20th International Conference, 2022

Case Study on Verification-Witness Validators: Where We Are and Where We Go.
Proceedings of the Static Analysis - 29th International Symposium, 2022

Decomposing Software Verification into Off-the-Shelf Components: An Application to CEGAR.
Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

Cooperative Verification: Towards Reliable Safety-Critical Systems (Invited Talk).
Proceedings of the 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, 2022

Construction of Verifier Combinations Based on Off-the-Shelf Verifiers.
Proceedings of the Fundamental Approaches to Software Engineering, 2022

Advances in Automatic Software Testing: Test-Comp 2022.
Proceedings of the Fundamental Approaches to Software Engineering, 2022

Software Model Checking: 20 Years and Beyond.
Proceedings of the Principles of Systems Design, 2022

2021
Cooperative verifier-based testing with CoVeriTest.
Int. J. Softw. Tools Technol. Transf., 2021

TOOLympics II: competitions on formal methods.
Int. J. Softw. Tools Technol. Transf., 2021

TOOLympics I: Competition on software testing.
Int. J. Softw. Tools Technol. Transf., 2021

First international competition on software testing.
Int. J. Softw. Tools Technol. Transf., 2021

Correction to: A Unifying View on SMT-Based Software Verification.
J. Autom. Reason., 2021

Towards a Benchmark Set for Program Repair Based on Partial Fixes.
CoRR, 2021

Software Verification: 10th Comparative Evaluation (SV-COMP 2021).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

Status Report on Software Testing: Test-Comp 2021.
Proceedings of the Fundamental Approaches to Software Engineering, 2021

JavaSMT 3: Interacting with SMT Solvers in Java.
Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

PJBDD: A BDD Library for Java and Multi-Threading.
Proceedings of the Automated Technology for Verification and Analysis, 2021

2020
Tools for the construction and analysis of systems.
Int. J. Softw. Tools Technol. Transf., 2020

Selected and Extended Papers from TACAS 2018: Preface.
J. Autom. Reason., 2020

Advances in Automatic Software Verification: SV-COMP 2020.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

CPU Energy Meter: A Tool for Energy-Aware Algorithms Engineering.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

Software Verification with PDR: An Implementation of the State of the Art.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

Domain-independent interprocedural program analysis using block-abstraction memoization.
Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

Difference Verification with Conditions.
Proceedings of the Software Engineering and Formal Methods - 18th International Conference, 2020

FRed: Conditional Model Checking via Reducers and Folders.
Proceedings of the Software Engineering and Formal Methods - 18th International Conference, 2020

Cooperative Test-Case Generation with Verifiers.
Proceedings of the Software Engineering 2020, 2020

Software Verification Tools (Track Introduction).
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends, 2020

Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, 2020

An Interface Theory for Program Verification.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, 2020

Violation Witnesses and Result Validation for Multi-Threaded Programs - Implementation and Evaluation with CPAchecker.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, 2020

Second Competition on Software Testing: Test-Comp 2020.
Proceedings of the Fundamental Approaches to Software Engineering, 2020

MetaVal: Witness Validation via Verification.
Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2019
Reliable benchmarking: requirements and solutions.
Int. J. Softw. Tools Technol. Transf., 2019

Software Verification with PDR: Implementation and Empirical Evaluation of the State of the Art.
CoRR, 2019

International Competition on Software Testing (Test-Comp).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Automatic Verification of C and Java Programs: SV-COMP 2019.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

TOOLympics 2019: An Overview of Competitions in Formal Methods.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Combining Verifiers in Conditional Model Checking via Reducers.
Proceedings of the Software Engineering and Software Management, 2019

A data set of program invariants and error paths.
Proceedings of the 16th International Conference on Mining Software Repositories, 2019

TestCov: Robust Test-Suite Execution and Coverage Measurement.
Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

CoVeriTest: Cooperative Verifier-Based Testing.
Proceedings of the Fundamental Approaches to Software Engineering, 2019

Conditional Testing - Off-the-Shelf Combination of Test-Case Generators.
Proceedings of the Automated Technology for Verification and Analysis, 2019

2018
Combining Model Checking and Data-Flow Analysis.
Proceedings of the Handbook of Model Checking., 2018

A Unifying View on SMT-Based Software Verification.
J. Autom. Reason., 2018

Tests from Witnesses - Execution-Based Validation of Verification Results.
Proceedings of the Tests and Proofs - 12th International Conference, 2018

Domain-independent multi-threaded software model checking.
Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

CPA-SymExec: efficient symbolic execution in CPAchecker.
Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

Evaluating Tools for Software Verification (Track Introduction).
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification, 2018

In-Place vs. Copy-on-Write CEGAR Refinement for Block Summarization with Caching.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification, 2018

Strategy Selection for Software Verification Based on Boolean Features - A Simple but Effective Approach.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification, 2018

Reducer-based construction of conditional verifiers.
Proceedings of the 40th International Conference on Software Engineering, 2018

2017
Software Verification with Validation of Results - (Report on SV-COMP 2017).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

Exchanging Verification Witnesses between Verifiers.
Proceedings of the Software Engineering 2017, 2017

Software Verification: Testing vs. Model Checking - A Comparative Evaluation of the State of the Art.
Proceedings of the Hardware and Software: Verification and Testing, 2017

Software-Verifikation.
Proceedings of the 50 Jahre Universitäts-Informatik in München, 2017

2016
A Light-Weight Approach for Verifying Multi-Threaded Programs with CPAchecker.
Proceedings of the Proceedings 11th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, 2016

JavaSMT: A Unified Interface for SMT Solvers in Java.
Proceedings of the Verified Software. Theories, Tools, and Experiments, 2016

SMT-based Software Model Checking: An Experimental Comparison of Four Algorithms.
Proceedings of the Verified Software. Theories, Tools, and Experiments, 2016

Reliable and Reproducible Competition Results with BenchExec and Witnesses (Report on SV-COMP 2016).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

On-the-fly decomposition of specifications in software model checking.
Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

Correctness witnesses: exchanging verification results between verifiers.
Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

On facilitating reuse in multi-goal test-suite generation for software product lines.
Proceedings of the Software Engineering 2016, 2016

Witness validation and stepwise testification across software verifiers.
Proceedings of the Software Engineering 2016, 2016

Evaluation and Reproducibility of Program Analysis and Verification (Track Introduction).
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

Symbolic Execution with CEGAR.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

Partial Verification and Intermediate Results as a Solution to Combine Automatic and Interactive Verification Techniques.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

Verification-Aided Debugging: An Interactive Web-Service for Exploring Error Witnesses.
Proceedings of the Computer Aided Verification - 28th International Conference, 2016

2015
Domain-Type-Guided Refinement Selection Based on Sliced Path Prefixes.
CoRR, 2015

Combining k-Induction with Continuously-Refined Invariants.
CoRR, 2015

Software Verification and Verifiable Witnesses - (Report on SV-COMP 2015).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

Benchmarking and Resource Measurement.
Proceedings of the Model Checking Software - 22nd International Symposium, 2015

Refinement Selection.
Proceedings of the Model Checking Software - 22nd International Symposium, 2015

Interpolation for Value Analysis.
Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 2015

Presence-Condition Simplification in Highly Configurable Systems.
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Sliced Path Prefixes: An Effective Method to Enable Refinement Selection.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2015

Boosting k-Induction with Continuously-Refined Invariants.
Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014
Rigorous examination of reactive systems - The RERS challenges 2012 and 2013.
Int. J. Softw. Tools Technol. Transf., 2014

BDD-based software verification - Applications to event-condition-action systems.
Int. J. Softw. Tools Technol. Transf., 2014

Evaluating Software Verification Systems: Benchmarks and Competitions (Dagstuhl Reports 14171).
Dagstuhl Reports, 2014

Status Report on Software Verification - (Competition Summary SV-COMP 2014).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

Precision Reuse in CPAchecker.
Proceedings of the Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar, 2014

Reusing Information in Multi-Goal Reachability Analyses.
Proceedings of the Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar, 2014

A formal evaluation of DepDegree based on weyuker's properties.
Proceedings of the 22nd International Conference on Program Comprehension, 2014

Evaluation and Reproducibility of Program Analysis (Track Introduction).
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

Software Verification in the Google App-Engine Cloud.
Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2013
Reusing Precisions for Efficient Regression Verification
CoRR, 2013

Domain Types: Selecting Abstractions Based on Variable Usage
CoRR, 2013

Second Competition on Software Verification - (Summary of SV-COMP 2013).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

Reuse of Verification Results - Conditional Model Checking, Precision Reuse, and Verification Witnesses.
Proceedings of the Model Checking Software - 20th International Symposium, 2013

Precision reuse for efficient regression verification.
Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

Strategies for product-line verification: case studies and experiments.
Proceedings of the 35th International Conference on Software Engineering, 2013

Domain Types: Abstract-Domain Selection Based on Variable Usage.
Proceedings of the Hardware and Software: Verification and Testing, 2013

Explicit-State Software Model Checking Based on CEGAR and Interpolation.
Proceedings of the Fundamental Approaches to Software Engineering, 2013

Information Reuse for Multi-goal Reachability Analyses.
Proceedings of the Programming Languages and Systems, 2013

2012
Explicit-Value Analysis Based on CEGAR and Interpolation
CoRR, 2012

Competition on Software Verification - (SV-COMP).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

Conditional model checking: a technique to pass information between verifiers.
Proceedings of the 20th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-20), 2012

BDD-Based Software Model Checking with CPAchecker.
Proceedings of the Mathematical and Engineering Methods in Computer Science, 2012

The RERS Grey-Box Challenge 2012: Analysis of Event-Condition-Action Systems.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

Linux Driver Verification - (Position Paper).
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies, 2012

Algorithms for software model checking: Predicate abstraction vs. Impact.
Proceedings of the Formal Methods in Computer-Aided Design, 2012

2011
Feature-Aware Verification
CoRR, 2011

Conditional Model Checking
CoRR, 2011

Detection of feature interactions using feature-aware verification.
Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

Feature cohesion in software product lines: an exploratory study.
Proceedings of the 33rd International Conference on Software Engineering, 2011

CPAchecker: A Tool for Configurable Software Verification.
Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2010
A Simple and Effective Measure for Complex Low-Level Dependencies.
Proceedings of the 18th IEEE International Conference on Program Comprehension, 2010

CheckDep: A Tool for Tracking Software Dependencies.
Proceedings of the 18th IEEE International Conference on Program Comprehension, 2010

DepDigger: A Tool for Detecting Complex Low-Level Dependencies.
Proceedings of the 18th IEEE International Conference on Program Comprehension, 2010

Predicate abstraction with adjustable-block encoding.
Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, 2010

Shape Refinement through Explicit Heap Analysis.
Proceedings of the Fundamental Approaches to Software Engineering, 2010

2009
Software model checking via large-block encoding.
Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, 2009

2008
Program Analysis with Dynamic Precision Adjustment.
Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

CCVisu: automatic visual software decomposition.
Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

CSIsat: Interpolation for LA+EUF.
Proceedings of the Computer Aided Verification, 20th International Conference, 2008

2007
The software model checker Blast.
Int. J. Softw. Tools Technol. Transf., 2007

Invariant Synthesis for Combined Theories.
Proceedings of the Verification, 2007

Path invariants.
Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 2007

An Application ofWeb-Service Interfaces.
Proceedings of the 2007 IEEE International Conference on Web Services (ICWS 2007), 2007

Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis.
Proceedings of the Computer Aided Verification, 19th International Conference, 2007

Algorithms for Interface Synthesis.
Proceedings of the Computer Aided Verification, 19th International Conference, 2007

2006
Animated Visualization of Software History using Evolution Storyboards.
Proceedings of the 13th Working Conference on Reverse Engineering (WCRE 2006), 2006

Co-change visualization applied to PostgreSQL and ArgoUML: (MSR challenge report).
Proceedings of the 2006 International Workshop on Mining Software Repositories, 2006

Evolution Storyboards: Visualization of Software Structure Dynamics.
Proceedings of the 14th International Conference on Program Comprehension (ICPC 2006), 2006

Relational programming with CrocoPat.
Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

Symbolic invariant verification for systems with dynamic structural adaptation.
Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

Lazy Shape Analysis.
Proceedings of the Computer Aided Verification, 18th International Conference, 2006

2005
Efficient Relational Calculation for Software Analysis.
IEEE Trans. Software Eng., 2005

Web service interfaces.
Proceedings of the 14th international conference on World Wide Web, 2005

Clustering Software Artifacts Based on Frequent Common Changes.
Proceedings of the 13th International Workshop on Program Comprehension (IWPC 2005), 2005

Co-Change Visualization.
Proceedings of the 21st IEEE International Conference on Software Maintenance, 2005

Checking Memory Safety with Blast.
Proceedings of the Fundamental Approaches to Software Engineering, 2005

2004
CrocoPat 2.1 Introduction and Reference Manual
CoRR, 2004

The Blast Query Language for Software Verification..
Proceedings of the Static Analysis, 11th International Symposium, 2004

Invited talk: the blast query language for software verification.
Proceedings of the 2004 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2004

An Eclipse Plug-in for Model Checking.
Proceedings of the 12th International Workshop on Program Comprehension (IWPC 2004), 2004

Generating Tests from Counterexamples.
Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004

2003
Simple and Efficient Relational Querying of Software Structures.
Proceedings of the 10th Working Conference on Reverse Engineering, 2003

CrocoPat: Efficient Pattern Analysis in Object-Oriented Programs.
Proceedings of the 11th International Workshop on Program Comprehension (IWPC 2003), 2003

Can Decision Diagrams Overcome State Space Explosion in Real-Time Verification?
Proceedings of the Formal Techniques for Networked and Distributed Systems - FORTE 2003, 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29, 2003

Rabbit: A Tool for BDD-Based Verification of Real-Time Systems.
Proceedings of the Computer Aided Verification, 15th International Conference, 2003

2002
Formale Verifikation von Realzeit-Systemen mittels Cottbus-Timed-Automata.
PhD thesis, 2002

2001
Improvements in BDD-Based Reachability Analysis of Timed Automata.
Proceedings of the FME 2001: Formal Methods for Increasing Software Productivity, 2001

Efficient Reachability Analysis and Refinement Checking of Timed Automata Using BDDs.
Proceedings of the Correct Hardware Design and Verification Methods, 2001

2000
Impact of Inheritance on Metrics for Size, Coupling, and Cohesion in Object-Oriented Systems.
Proceedings of the New Approaches in Software Measurement, 10th International Workshop, 2000

BDD-basierte Verifikation von Echtzeit-Systemen.
Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 2000

1999
Concepts of Cottbus Timed Automata.
Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1999

1998
Modeling a Production Cell as a Distributed Real-Time System with Cottbus Timed Automata.
Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1998


  Loading...