Dirk Beyer
Ludwig-Maximilians-Universität München
H-index: 49
Europe-Germany
Top articles of Dirk Beyer
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
CPAchecker 2.3 with Strategy Selection: (Competition Contribution) | Daniel Baier Dirk Beyer Po-Chun Chien Marek Jankola Matthias Kettl | 2024/4/5 | |
State of the art in software verification and witness validation: SV-COMP 2024 | Dirk Beyer | 2024/4/5 | |
Software verification witnesses 2.0 | Proc. SPIN. Springer | Paulína Ayaziová Dirk Beyer Marian Lingsch-Rosenfeld Martin Spiessl Jan Strejček | 2024 |
Btor2-Cert: A Certifying Hardware-Verification Framework Using Software Analyzers | Zsófia Ádám Dirk Beyer Po-Chun Chien Nian-Ze Lee Nils Sirrenberg | 2024/4/5 | |
Augmenting Interpolation-Based Model Checking with Auxiliary Invariants (Extended Version) | arXiv preprint arXiv:2403.07821 | Dirk Beyer Po-Chun Chien Nian-Ze Lee | 2024/3/12 |
Fundamental Approaches to Software Engineering: 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software … | Dirk Beyer Ana Cavalcanti | 2024 | |
Fault Localization on Verification Witnesses (Poster Paper) | Proc. ICSE. ACM | Dirk Beyer Matthias Kettl Thomas Lemberger | 2024 |
Bridging Hardware and Software Analysis with Btor2C: A Word-Level-Circuit-to-C Translator | Dirk Beyer Po-Chun Chien Nian-Ze Lee | 2023/4/20 | |
cegar-pt: A Tool for Abstraction by Program Transformation | Dirk Beyer Marian Lingsch-Rosenfeld Martin Spiessl | 2023/9/11 | |
Competition on software verification and witness validation: SV-COMP 2023 | Dirk Beyer | 2023/4/20 | |
Enhancing CPAchecker: A Framework for Distributed Analyses | Dirk Beyer Matthias Kettl | 2023/9/11 | |
Six Years Later: Testing vs. Model Checking | Cooperative Software Verification with Test Generation and Formal Verification | Dirk Beyer Thomas Lemberger | 2023 |
CPA-DF: A Tool for Configurable Interval Analysis to Boost Program Verification | Dirk Beyer Po-Chun Chien Nian-Ze Lee | 2023/9/11 | |
Software Testing: 5th Comparative Evaluation: Test-Comp 2023. | Dirk Beyer | 2023/4/20 | |
LIV: Loop-Invariant Validation Using Straight-Line Programs | Dirk Beyer Martin Spiessl | 2023/9/11 | |
Component-based CEGAR-Building Software Verifiers from Off-the-Shelf Components | Software Engineering 2023 | Dirk Beyer Jan Haltermann Thomas Lemberger Heike Wehrheim | 2023 |
CoVeriTeam Service: Verification as a Service | Dirk Beyer Sudeep Kanav Henrik Wachowitz | 2023/5/14 | |
Cooperative verification: Towards reliable safety-critical systems (invited talk) | Dirk Beyer | 2022/11/29 | |
Progress on software verification: SV-COMP 2022 | Dirk Beyer | 2022/3/30 | |
Correction to: Reliable benchmarking: requirements and solutions | International Journal on Software Tools for Technology Transfer | Dirk Beyer Stefan Löwe Philipp Wendler | 2022/8/1 |