default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDirk Beyer 0001
Person information
- affiliation: LMU Munich, SoSy Lab, Germany
- affiliation: University of Passau, Faculty of Computer Science and Mathematics, Germany
- affiliation: Simon Fraser University, School of Computing Science, Canada
- affiliation: EPFL, Lausanne, School of Computer and Communication Sciences, Switzerland
- affiliation: Brandenburg Technical University at Cottbus, Germany
Other persons with the same name
- Dirk Beyer 0002 — MarketShare L.L.P. (and 2 more)
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j17]Dirk Beyer
, Matthias Kettl, Thomas Lemberger:
Decomposing Software Verification using Distributed Summary Synthesis. Proc. ACM Softw. Eng. 1(FSE): 1307-1329 (2024)- [j16]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): 2028-2050 (2024) - [c149]Dirk Beyer, Henrik Wachowitz:
FM-Weck: Containerized Execution of Formal-Methods Tools. FM (2) 2024: 39-47 - [c148]Daniel Baier, Dirk Beyer, Po-Chun Chien, Marie-Christine Jakobs, Marek Jankola, Matthias Kettl, Nian-Ze Lee, Thomas Lemberger, Marian Lingsch Rosenfeld, Henrik Wachowitz, Philipp Wendler:
Software Verification with CPAchecker 3.0: Tutorial and User Guide. FM (2) 2024: 543-570 - [c147]Dirk Beyer, Matthias Kettl, Thomas Lemberger:
Fault Localization on Verification Witnesses (Poster Paper). ICSE Companion 2024: 339-340 - [c146]Dirk Beyer, Lars Grunske, Matthias Kettl, Marian Lingsch Rosenfeld, Moeketsi Raselimo:
P3: A Dataset of Partial Program Patches. MSR 2024: 123-127 - [c145]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: 95-96 - [c144]Paulína Ayaziová, Dirk Beyer, Marian Lingsch Rosenfeld, Martin Spiessl, Jan Strejcek:
Software Verification Witnesses 2.0. SPIN 2024: 184-203 - [c143]Dirk Beyer, Matthias Kettl, Thomas Lemberger:
Fault Localization on Verification Witnesses. SPIN 2024: 205-224 - [c142]Dirk Beyer, Po-Chun Chien, Nian-Ze Lee:
Augmenting Interpolation-Based Model Checking with Auxiliary Invariants. SPIN 2024: 227-247 - [c141]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: 129-149 - [c140]Dirk Beyer:
State of the Art in Software Verification and Witness Validation: SV-COMP 2024. TACAS (3) 2024: 299-329 - [c139]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: 359-364 - [e8]Dirk Beyer, Ana Cavalcanti:
Fundamental Approaches to Software Engineering - 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings. Lecture Notes in Computer Science 14573, Springer 2024, ISBN 978-3-031-57258-6 [contents] - [i19]Dirk Beyer, Po-Chun Chien, Nian-Ze Lee:
Augmenting Interpolation-Based Model Checking with Auxiliary Invariants (Extended Version). CoRR abs/2403.07821 (2024) - [i18]Salih Ates, Dirk Beyer, Po-Chun Chien, Nian-Ze Lee:
MoXIchecker: An Extensible Model Checker for MoXI. CoRR abs/2407.15551 (2024) - [i17]Daniel Baier, Dirk Beyer, Po-Chun Chien, Marie-Christine Jakobs, Marek Jankola, Matthias Kettl, Nian-Ze Lee, Thomas Lemberger, Marian Lingsch Rosenfeld, Henrik Wachowitz, Philipp Wendler:
Software Verification with CPAchecker 3.0: Tutorial and User Guide (Extended Version). CoRR abs/2409.02094 (2024) - 2023
- [c138]Dirk Beyer:
Software Testing: 5th Comparative Evaluation: Test-Comp 2023. FASE 2023: 309-323 - [c137]Dirk Beyer, Sudeep Kanav, Henrik Wachowitz:
CoVeriTeam Service: Verification as a Service. ICSE Companion 2023: 21-25 - [c136]Dirk Beyer, Po-Chun Chien, Nian-Ze Lee:
CPA-DF: A Tool for Configurable Interval Analysis to Boost Program Verification. ASE 2023: 2050-2053 - [c135]Dirk Beyer, Martin Spiessl:
LIV: Loop-Invariant Validation Using Straight-Line Programs. ASE 2023: 2074-2077 - [c134]Dirk Beyer, Marian Lingsch Rosenfeld, Martin Spiessl:
cegar-pt: A Tool for Abstraction by Program Transformation. ASE 2023: 2078-2081 - [c133]Dirk Beyer, Jan Haltermann, Thomas Lemberger, Heike Wehrheim:
Component-based CEGAR - Building Software Verifiers from Off-the-Shelf Components. Software Engineering 2023: 37-38 - [c132]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: 152-172 - [c131]Dirk Beyer:
Competition on Software Verification and Witness Validation: SV-COMP 2023. TACAS (2) 2023: 495-522 - [c130]Dirk Beyer:
Safeguarding AI-Based Software Development and Verification using Witnesses (Position Paper). AISoLA (Selected Papers) 2023: 351-361 - [d187]Zsófia Ádám, Dirk Beyer, Po-Chun Chien, Nian-Ze Lee, Nils Sirrenberg:
Reproduction Package for TACAS 2024 Submission 'Btor2-Cert: A Certifying Hardware-Verification Framework Using Software Analyzers'. Zenodo, 2023
- [d186]Paulína Ayaziová, Dirk Beyer, Marian Lingsch Rosenfeld, Martin Spiessl, Jan Strejcek:
Reproduction Package for FSE 2024 Submission 'Verification Witnesses Version 2'. Zenodo, 2023 - [d185]Dirk Beyer:
SV-Benchmarks: Benchmark Set for Software Verification and Testing (SV-COMP 2023 and Test-Comp 2023). Zenodo, 2023 - [d184]Dirk Beyer:
Verifiers and Validators of the 12th Intl. Competition on Software Verification (SV-COMP 2023). Zenodo, 2023 - [d183]Dirk Beyer:
Verification Witnesses from Verification Tools (SV-COMP 2023). Zenodo, 2023 - [d182]Dirk Beyer:
Results of the 12th Intl. Competition on Software Verification (SV-COMP 2023). Zenodo, 2023 - [d181]Dirk Beyer:
Test-Suite Generators and Validator of the 5th Intl. Competition on Software Testing (Test-Comp 2023). Zenodo, 2023 - [d180]Dirk Beyer:
Results of the 5th Intl. Competition on Software Testing (Test-Comp 2023). Zenodo, 2023 - [d179]Dirk Beyer:
Test Suites from Test-Generation Tools (Test-Comp 2023). Zenodo, 2023 - [d178]Dirk Beyer, Po-Chun Chien, Nian-Ze Lee:
Reproduction Package for ASE 2023 Tool-Demo Submission 'CPA-DF: A Tool for Configurable Interval Analysis to Boost Program Verification'. Zenodo, 2023 - [d177]Dirk Beyer, Po-Chun Chien, Nian-Ze Lee:
Reproduction Package for ASE 2023 Article 'CPA-DF: A Tool for Configurable Interval Analysis to Boost Program Verification'. Zenodo, 2023 - [d176]Dirk Beyer, Po-Chun Chien, Nian-Ze Lee:
SoSy-Lab Virtual Machine (Ubuntu 22.04 LTS). Zenodo, 2023 - [d175]Dirk Beyer, Po-Chun Chien, Nian-Ze Lee:
Reproduction package for VMCAI 2024 submission 'Augmenting Interpolation-Based Model Checking with Auxiliary Invariants'. Zenodo, 2023 - [d174]Dirk Beyer, Lars Grunske, Matthias Kettl, Marian Lingsch Rosenfeld, Moeketsi Raselimo:
Reproduction Package for MSR 2024 Article 'P3: A Dataset of Partial Program Fixes'. Zenodo, 2023 - [d173]Dirk Beyer, Lars Grunske, Matthias Kettl, Marian Lingsch Rosenfeld, Moeketsi Raselimo:
Benchmark Set for Program Repair Based on Partial Fixes. Zenodo, 2023 - [d172]Dirk Beyer, Lars Grunske, Matthias Kettl, Marian Lingsch Rosenfeld, Moeketsi Raselimo:
Benchmark Set for Program Repair Based on Partial Fixes, Dataset. Zenodo, 2023 - [d171]Dirk Beyer, Sudeep Kanav:
Reproduction Package for STTT Submission 'Cooperative Verification: A Literature Review'. Zenodo, 2023 - [d170]Dirk Beyer, Sudeep Kanav:
Reproduction Package for STTT Submission 'Cooperative Verification: A Literature Review'. Zenodo, 2023 - [d169]Dirk Beyer, Matthias Kettl:
Reproduction Package for ASE 2023 Submission 'FaultY: A Framework for Managing Fault Candidates'. Zenodo, 2023 - [d168]Dirk Beyer, Sudeep Kanav, Tobias Kleinert, Cedric Richter:
Reproduction Package for FMSD Article 'Construction of Verifier Combinations From Off-the-Shelf Components'. Zenodo, 2023 - [d167]Dirk Beyer, Matthias Kettl, Thomas Lemberger:
Reproduction Package for ICSE 2024 Submission 'Fault Localization on Verification Witnesses'. Zenodo, 2023 - [d166]Dirk Beyer, Sudeep Kanav, Henrik Wachowitz:
CoVeriTeam Service Release 1.0. Zenodo, 2023 - [d165]Dirk Beyer, Sudeep Kanav, Henrik Wachowitz:
Reproduction Package for the ICSE 2023 Article 'CoVeriTeam Service: Verification as a Service'. Zenodo, 2023 - [d164]Dirk Beyer, Sudeep Kanav, Henrik Wachowitz:
CoVeriTeam Service Release 1.1. Zenodo, 2023 - [d163]Dirk Beyer, Sudeep Kanav, Henrik Wachowitz:
CoVeriTeam Release 1.0. Zenodo, 2023 - [d162]Dirk Beyer, Thomas Lemberger:
Reproduction Package for STTT Submission 'Six Years Later: Testing vs. Model Checking'. Zenodo, 2023 - [d161]Dirk Beyer, Nian-Ze Lee, Po-Chun Chien:
Reproduction Package for TACAS 2023 Article 'Bridging Hardware and Software Analysis with Btor2C: A Word-Level-Circuit-to-C Converter'. Zenodo, 2023 - [d160]Dirk Beyer, Nian-Ze Lee, Philipp Wendler:
Reproduction Package for JAR Article 'Interpolation and SAT-Based Model Checking Revisited'. Zenodo, 2023 - [d159]Dirk Beyer, Thomas Lemberger, Henrik Wachowitz:
Reproduction Package for TACAS 2024 Submission 'CPA-Daemon: Mitigating Tool Restarts for Java-Based Verifiers'. Zenodo, 2023 - [d158]Dirk Beyer, Marian Lingsch Rosenfeld, Martin Spiessl:
Reproduction Package for ASE 2023 Article 'CEGAR-PT: A Tool for Abstraction by Program Transformation'. Zenodo, 2023 - [d157]Dirk Beyer, Martin Spiessl:
Reproduction Package for ASE 2023 submission 'LIV: Invariant Validation using Straight-Line Programs'. Zenodo, 2023 - [d156]Dirk Beyer, Martin Spiessl:
Reproduction Package for ASE 2023 Article 'LIV: Invariant Validation using Straight-Line Programs'. Zenodo, 2023 - [d155]Dirk Beyer, Philipp Wendler:
CPAchecker 2.2.1-svn-44999 (SV-COMP24 Prerun). Zenodo, 2023 - [d154]Dirk Beyer, Philipp Wendler:
CPAchecker 2.3 (SV-COMP24 Submission). Zenodo, 2023 - [d153]Dirk Beyer, Philipp Wendler:
CPAchecker Release 2.3 (unix). Zenodo, 2023 - [d152]Marian Lingsch Rosenfeld, Dirk Beyer:
Witness Linter (SV-Comp 2024). Zenodo, 2023 - [d151]Marian Lingsch Rosenfeld, Dirk Beyer:
Witness Linter (SV-Comp 2024). Zenodo, 2023 - [d150]Marian Lingsch Rosenfeld, Dirk Beyer:
Witness Linter (SV-Comp 2024). Zenodo, 2023 - [d149]Marian Lingsch Rosenfeld, Dirk Beyer:
Witness Linter (SV-Comp 2024). Zenodo, 2023 - [d148]Marian Lingsch Rosenfeld, Dirk Beyer:
Witness Linter (SV-Comp 2024). Zenodo, 2023 - [d147]Marian Lingsch Rosenfeld, Dirk Beyer:
Witness Linter (SV-Comp 2024). Zenodo, 2023 - [d146]Marian Lingsch Rosenfeld, Dirk Beyer:
Witness Linter (SV-Comp 2024). Zenodo, 2023 - [d145]Marian Lingsch Rosenfeld, Dirk Beyer:
Witness Linter (SV-Comp 2024). Zenodo, 2023 - [d144]Marian Lingsch Rosenfeld, Martin Spiessl, Dirk Beyer:
MetaVal: Witness Validation via Verification (SV-COMP24). Zenodo, 2023 - [d143]Philipp Wendler, Dirk Beyer:
sosy-lab/benchexec: Release 3.16. Zenodo, 2023 - [d142]Philipp Wendler, Dirk Beyer:
sosy-lab/benchexec: Release 3.17. Zenodo, 2023 - [d141]Philipp Wendler, Dirk Beyer:
sosy-lab/benchexec: Release 3.18. Zenodo, 2023 - [d140]Philipp Wendler, Dirk Beyer:
sosy-lab/benchexec: Release 3.19. Zenodo, 2023 - [d139]Philipp Wendler, Dirk Beyer:
sosy-lab/benchexec: Release 3.20. Zenodo, 2023 - 2022
- [j15]Dirk Beyer, Stefan Löwe, Philipp Wendler:
Correction to: Reliable benchmarking: requirements and solutions. Int. J. Softw. Tools Technol. Transf. 24(4): 661 (2022) - [j14]Dirk Beyer, Matthias Dangl, Daniel Dietsch, Matthias Heizmann, Thomas Lemberger, Michael Tautschnig:
Verification Witnesses. ACM Trans. Softw. Eng. Methodol. 31(4): 57:1-57:69 (2022) - [c129]Dirk Beyer, Andreas Podelski:
Software Model Checking: 20 Years and Beyond. Principles of Systems Design 2022: 554-582 - [c128]Dirk Beyer, Sudeep Kanav, Cedric Richter:
Construction of Verifier Combinations Based on Off-the-Shelf Verifiers. FASE 2022: 49-70 - [c127]Dirk Beyer:
Advances in Automatic Software Testing: Test-Comp 2022. FASE 2022: 321-335 - [c126]Dirk Beyer:
Cooperative Verification: Towards Reliable Safety-Critical Systems (Invited Talk). FTSCS 2022: 1-2 - [c125]Dirk Beyer, Jan Haltermann, Thomas Lemberger, Heike Wehrheim:
Decomposing Software Verification into Off-the-Shelf Components: An Application to CEGAR. ICSE 2022: 536-548 - [c124]Dirk Beyer, Jan Strejcek:
Case Study on Verification-Witness Validators: Where We Are and Where We Go. SAS 2022: 160-174 - [c123]Dirk Beyer, Marian Lingsch Rosenfeld, Martin Spiessl:
A Unifying Approach for Control-Flow-Based Loop Abstraction. SEFM 2022: 3-19 - [c122]Dirk Beyer, Martin Spiessl, Sven Umbricht:
Cooperation Between Automatic and Interactive Software Verifiers. SEFM 2022: 111-128 - [c121]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: 145-156 - [c120]Dirk Beyer:
Progress on Software Verification: SV-COMP 2022. TACAS (2) 2022: 375-402 - [c119]Dirk Beyer, Martin Spiessl:
The Static Analyzer Frama-C in SV-COMP (Competition Contribution). TACAS (2) 2022: 429-434 - [c118]Dirk Beyer, Sudeep Kanav:
CoVeriTeam: On-Demand Composition of Cooperative Verification Systems. TACAS (1) 2022: 561-579 - [d138]Dirk Beyer:
SV-Benchmarks: Benchmark Set for Software Verification and Testing (SV-COMP 2022 and Test-Comp 2022). Zenodo, 2022 - [d137]Dirk Beyer:
Verification Witnesses from Verification Tools (SV-COMP 2022). Zenodo, 2022 - [d136]Dirk Beyer:
Results of the 11th Intl. Competition on Software Verification (SV-COMP 2022). Zenodo, 2022 - [d135]Dirk Beyer:
Results of the 4th Intl. Competition on Software Testing (Test-Comp 2022). Zenodo, 2022 - [d134]Dirk Beyer:
Verification Witnesses from Verification Tools (SV-COMP 2022). Zenodo, 2022 - [d133]Dirk Beyer:
Test Suites from Test-Generation Tools (Test-Comp 2022). Zenodo, 2022 - [d132]Dirk Beyer:
Verifiers and Validators of the 11th Intl. Competition on Software Verification (SV-COMP 2022). Zenodo, 2022 - [d131]Dirk Beyer:
Test-Suite Generators and Validator of the 4th Intl. Competition on Software Testing (Test-Comp 2022). Zenodo, 2022 - [d130]Dirk Beyer, Jan Haltermann, Thomas Lemberger, Heike Wehrheim:
Reproduction Package (VM Version) for ICSE 2022 Article 'Decomposing Software Verification into Off-the-Shelf Components: An Application to CEGAR'. Zenodo, 2022 - [d129]Dirk Beyer, Jan Haltermann, Thomas Lemberger, Heike Wehrheim:
Reproduction Package (VM Version) for ICSE 2022 Article 'Decomposing Software Verification into Off-the-Shelf Components: An Application to CEGAR'. Zenodo, 2022 - [d128]Dirk Beyer, Jan Haltermann, Thomas Lemberger, Heike Wehrheim, Philipp Wendler:
CPAchecker Release 2.1.1 (unix). Zenodo, 2022 - [d127]Dirk Beyer, Sudeep Kanav:
CoVeriTeam Release 0.9. Zenodo, 2022 - [d126]Dirk Beyer, Sudeep Kanav:
CoVeriTeam Release c-cegar-icse2022. Zenodo, 2022 - [d125]Dirk Beyer, Matthias Kettl:
Reproduction Package for Submission 'FaultY: A Framework for Managing Fault Candidates'. Zenodo, 2022 - [d124]Dirk Beyer, Sudeep Kanav, Tobias Kleinert, Cedric Richter:
Reproduction Package for FMSD Article 'Construction of Verifier Combinations From Off-the-Shelf Components'. Zenodo, 2022 - [d123]Dirk Beyer, Sudeep Kanav, Tobias Kleinert, Cedric Richter:
CoVeriTeam Verifier - Algorithm Selection and Parallel Portfolio (SV-COMP 2023). Zenodo, 2022 - [d122]Dirk Beyer, Matthias Kettl, Thomas Lemberger:
Reproduction Package for SEFM 2022 Submission 'Fault Localization on Verification Witnesses'. Zenodo, 2022 - [d121]Dirk Beyer, Sudeep Kanav, Cedric Richter:
Reproduction Package for FASE 2022 Article 'Construction of Verifier Combinations Based on Off-the-Shelf Verifiers'. Zenodo, 2022 - [d120]Dirk Beyer, Sudeep Kanav, Henrik Wachowitz:
Reproduction Package for the ICSE 2023 Submission 'CoVeriTeam Service: Verification as a Service'. Zenodo, 2022 - [d119]Dirk Beyer, Thomas Lemberger:
Reproduction Package for STTT Submission 'Five Years Later: Testing vs. Model Checking'. Zenodo, 2022 - [d118]Dirk Beyer, Nian-Ze Lee, Po-Chun Chien:
Reproduction Package for TACAS 2023 Submission 'Bridging Hardware and Software Analysis with Btor2C: A Word-Level-Circuit-to-C Converter'. Zenodo, 2022 - [d117]Dirk Beyer, Nian-Ze Lee, Philipp Wendler:
Reproduction Package for CAV 2022 Submission 'Interpolation and SAT-Based Model Checking Revisited'. Zenodo, 2022 - [d116]Dirk Beyer, Nian-Ze Lee, Philipp Wendler:
Reproduction Package for JAR Submission 'Interpolation and SAT-Based Model Checking Revisited'. Zenodo, 2022 - [d115]Dirk Beyer, Marian Lingsch Rosenfeld, Martin Spiessl:
Reproduction Package for SEFM 2022 Article 'A Unifying Approach for Control-Flow-Based Loop Abstraction'. Zenodo, 2022 - [d114]Dirk Beyer, Jan Strejcek:
Reproduction Package for SAS 2022 Article 'Case Study on Verification-Witness Validators: Where We Are and Where We Go'. Zenodo, 2022 - [d113]Dirk Beyer, Martin Spiessl, Sven Umbricht:
Reproduction Package for SEFM 2022 Article 'Cooperation between Automatic and Interactive Software Verifiers'. Zenodo, 2022 - [d112]Dirk Beyer, Philipp Wendler:
CPAchecker Release 2.2 (unix). Zenodo, 2022 - [d111]