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
- 2025
[j19]Dirk Beyer
, Nian-Ze Lee, Philipp Wendler:
Interpolation and SAT-Based Model Checking Revisited: Adoption to Software Verification. J. Autom. Reason. 69(1): 5 (2025)- [i20]Dirk Beyer, Marek Jankola, Marian Lingsch Rosenfeld, Tian Xia, Xiyue Zheng:
A Modular Program-Transformation Framework for Reducing Specifications to Reachability. CoRR abs/2501.16310 (2025) - 2024
- [j18]Dirk Beyer, Matthias Kettl, Thomas Lemberger:
Decomposing Software Verification using Distributed Summary Synthesis. Proc. ACM Softw. Eng. 1(FSE): 1307-1329 (2024) - [j17]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) - [j16]Dirk Beyer, Thomas Lemberger:
Six years later: testing vs. model checking. Int. J. Softw. Tools Technol. Transf. 26(6): 633-646 (2024) - [c152]Dirk Beyer, Thomas Lemberger, Henrik Wachowitz:
CPA-Daemon: Mitigating Tool Restarts for Java-Based Verifiers. ATVA (2) 2024: 158-173 - [c151]Dirk Beyer, Nian-Ze Lee:
The Transformation Game: Joining Forces for Verification. Principles of Verification (3) 2024: 175-205 - [c150]Dirk Beyer, Henrik Wachowitz:
FM-Weck: Containerized Execution of Formal-Methods Tools. FM (2) 2024: 39-47 - [c149]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 - [c148]Dirk Beyer, Matthias Kettl, Thomas Lemberger:
Fault Localization on Verification Witnesses (Poster Paper). ICSE Companion 2024: 339-340 - [c147]Dirk Beyer, Po-Chun Chien, Marek Jankola:
BenchCloud: A Platform for Scalable Performance Benchmarking. ASE 2024: 2386-2389 - [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] - [d222]Zsófia Ádám, Dirk Beyer, Po-Chun Chien, Nian-Ze Lee, Nils Sirrenberg:
Reproduction Package for TACAS 2024 Article 'Btor2-Cert: A Certifying Hardware-Verification Framework Using Software Analyzers'. Version TACAS24-proceedings. Zenodo, 2024 [all versions]
- [d221]Paulína Ayaziová, Dirk Beyer, Marian Lingsch Rosenfeld, Martin Spiessl, Jan Strejcek:
Reproduction Package for SPIN 2024 Submission 'Verification Witnesses Version 2'. Version SPIN24-submission. Zenodo, 2024 [all versions] - [d220]Paulína Ayaziová, Dirk Beyer, Marian Lingsch Rosenfeld, Martin Spiessl, Jan Strejcek:
Reproduction Package for SPIN 2024 Submission 'Verification Witnesses Version 2'. Version SPIN24-revision. Zenodo, 2024 [all versions] - [d219]Paulína Ayaziová, Dirk Beyer, Marian Lingsch Rosenfeld, Martin Spiessl, Jan Strejcek:
Reproduction Package for SPIN 2024 Article 'Verification Witnesses Version 2'. Version SPIN24-proceedings. Zenodo, 2024 [all versions] - [d218]Daniel Beier, Dirk Beyer, Po-Chun Chien, Marie-Christine Jakobs, Marek Jankola, Matthias Kettl, Nian-Ze Lee, Thomas Lemberger, Marian Lingsch Rosenfeld, Henrik Wachowitz, Philipp Wendler:
Reproduction Package for FM 2024 Article 'Software Verification with CPAchecker: Tutorial and User Guide'. Zenodo, 2024 - [d217]Daniel Beier, Dirk Beyer, Po-Chun Chien, Marie-Christine Jakobs, Marek Jankola, Matthias Kettl, Nian-Ze Lee, Thomas Lemberger, Marian Lingsch Rosenfeld, Henrik Wachowitz, Philipp Wendler:
Reproduction Package for FM 2024 Article 'Software Verification with CPAchecker 3.0: Tutorial and User Guide'. Zenodo, 2024 - [d216]Dirk Beyer:
SV-Benchmarks: Benchmark Set for Software Verification (SV-COMP 2024). Zenodo, 2024 - [d215]Dirk Beyer:
Verification Witnesses from Verification Tools (SV-COMP 2024). Zenodo, 2024 - [d214]Dirk Beyer:
FM-Tools Data Set of Metadata about Verifiers and Validators (SV-COMP 2024). Zenodo, 2024 - [d213]Dirk Beyer:
Results of the 13th Intl. Competition on Software Verification (SV-COMP 2024). Zenodo, 2024 - [d212]Dirk Beyer:
FM-Tools Release 2.0. Zenodo, 2024 - [d211]Dirk Beyer, Po-Chun Chien, Marek Jankola:
BenchCloud: A Platform for Scalable Performance Benchmarking. Zenodo, 2024 - [d210]Dirk Beyer, Po-Chun Chien, Marek Jankola, Nian-Ze Lee:
Reproduction Package for FSE 2024 Article 'A Transferability Study of Interpolation-Based Hardware Model Checking for Software Verification'. Zenodo, 2024 - [d209]Dirk Beyer, Po-Chun Chien, Nian-Ze Lee:
Reproduction package for SPIN 2024 submission 'Augmenting Interpolation-Based Model Checking with Auxiliary Invariants'. Version SPIN24-submission. Zenodo, 2024 [all versions] - [d208]Dirk Beyer, Matthias Kettl, Thomas Lemberger:
Reproduction Package for FSE 2024 Revision 'Decomposing Software Verification Using Distributed Summary Synthesis'. Zenodo, 2024 - [d207]Dirk Beyer, Matthias Kettl, Thomas Lemberger:
Reproduction Package for FSE 2024 Article 'Decomposing Software Verification Using Distributed Summary Synthesis'. Zenodo, 2024 - [d206]Dirk Beyer, Sudeep Kanav, Henrik Wachowitz:
CoVeriTeam Service Release 1.2. Zenodo, 2024 - [d205]Dirk Beyer, Thomas Lemberger, Henrik Wachowitz:
Reproduction Package for ATVA 2024 Submission 'CPA-Daemon: Mitigating Tool Restarts for Java-Based Verifiers'. Zenodo, 2024 - [d204]Dirk Beyer, Philipp Wendler:
CPAchecker Release 2.3.1 (unix). Version 2.3.1 (unix). Zenodo, 2024 [all versions] - [d203]Dirk Beyer, Henrik Wachowitz:
CoVeriTeam Release 1.2. Zenodo, 2024 - [d202]Dirk Beyer, Henrik Wachowitz:
CoVeriTeam Release 1.2.1. Zenodo, 2024 - [d201]Dirk Beyer, Henrik Wachowitz:
CoVeriTeam Release 1.2.2. Zenodo, 2024 - [d200]Dirk Beyer, Henrik Wachowitz:
CoVeriTeam Release 1.2.3. Zenodo, 2024 - [d199]Dirk Beyer, Henrik Wachowitz:
CoVeriTeam Release 1.2.3 (with FM-Tools 2.0). Zenodo, 2024 - [d198]Dirk Beyer, Henrik Wachowitz:
Reproduction Package for fm-weck: Containerized Execution of Formal-Methods Tools. Zenodo, 2024 - [d197]Dirk Beyer, Philipp Wendler:
CPAchecker Release 2.3.1 (image). Zenodo, 2024 - [d196]Dirk Beyer, Philipp Wendler:
CPAchecker Release 2.4 (unix). Zenodo, 2024 - [d195]Dirk Beyer, Philipp Wendler:
CPAchecker Release 2.4 (image). Zenodo, 2024 - [d194]Dirk Beyer, Philipp Wendler:
CPAchecker Release 3.0 (unix). Zenodo, 2024 - [d193]Dirk Beyer, Philipp Wendler:
CPAchecker Release 3.0 (image). Zenodo, 2024 - [d192]Philipp Wendler, Dirk Beyer:
sosy-lab/benchexec: Release 3.21. Version 3.21. Zenodo, 2024 [all versions] - [d191]Philipp Wendler, Dirk Beyer:
sosy-lab/benchexec: Release 3.22. Zenodo, 2024 - [d190]Philipp Wendler, Dirk Beyer:
sosy-lab/benchexec: Release 3.23. Zenodo, 2024 - [d189]Philipp Wendler, Dirk Beyer:
sosy-lab/benchexec: Release 3.24. Zenodo, 2024 - [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 - [d188]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'. Version TACAS24-submission. Zenodo, 2023 [all versions] - [d187]Paulína Ayaziová, Dirk Beyer, Marian Lingsch Rosenfeld, Martin Spiessl, Jan Strejcek:
Reproduction Package for FSE 2024 Submission 'Verification Witnesses Version 2'. Version FSE24-submission. Zenodo, 2023 [all versions] - [d186]Dirk Beyer:
SV-Benchmarks: Benchmark Set for Software Verification and Testing (SV-COMP 2023 and Test-Comp 2023). Zenodo, 2023 - [d185]Dirk Beyer:
Verifiers and Validators of the 12th Intl. Competition on Software Verification (SV-COMP 2023). Zenodo, 2023 - [d184]Dirk Beyer:
Verification Witnesses from Verification Tools (SV-COMP 2023). Zenodo, 2023 - [d183]Dirk Beyer:
Results of the 12th Intl. Competition on Software Verification (SV-COMP 2023). Zenodo, 2023 - [d182]Dirk Beyer:
Test-Suite Generators and Validator of the 5th Intl. Competition on Software Testing (Test-Comp 2023). Zenodo, 2023 - [d181]Dirk Beyer:
Results of the 5th Intl. Competition on Software Testing (Test-Comp 2023). Zenodo, 2023 - [d180]Dirk Beyer:
Test Suites from Test-Generation Tools (Test-Comp 2023). Zenodo, 2023 - [d179]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'. Version ASE23-submission. Zenodo, 2023 [all versions] - [d178]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'. Version ASE23-proceedings. Zenodo, 2023 [all versions] - [d177]Dirk Beyer, Po-Chun Chien, Nian-Ze Lee:
SoSy-Lab Virtual Machine (Ubuntu 22.04 LTS). Version 22.04. Zenodo, 2023 [all versions] - [d176]Dirk Beyer, Po-Chun Chien, Nian-Ze Lee:
Reproduction package for VMCAI 2024 submission 'Augmenting Interpolation-Based Model Checking with Auxiliary Invariants'. Version VMCAI24-submission. Zenodo, 2023 [all versions] - [d175]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 - [d174]Dirk Beyer, Lars Grunske, Matthias Kettl, Marian Lingsch Rosenfeld, Moeketsi Raselimo:
Benchmark Set for Program Repair Based on Partial Fixes. Version MSR24-submission. Zenodo, 2023 [all versions] - [d173]Dirk Beyer, Lars Grunske, Matthias Kettl, Marian Lingsch Rosenfeld, Moeketsi Raselimo:
Benchmark Set for Program Repair Based on Partial Fixes, Dataset. Version 3. Zenodo, 2023 [all versions] - [d172]Dirk Beyer, Sudeep Kanav:
Reproduction Package for STTT Submission 'Cooperative Verification: A Literature Review'. Version STTT23-submission-1. Zenodo, 2023 [all versions] - [d171]Dirk Beyer, Sudeep Kanav:
Reproduction Package for STTT Submission 'Cooperative Verification: A Literature Review'. Version STTT23-submission-2. Zenodo, 2023 [all versions] - [d170]Dirk Beyer, Matthias Kettl:
Reproduction Package for ASE 2023 Submission 'FaultY: A Framework for Managing Fault Candidates'. Version ASE23-submission. Zenodo, 2023 [all versions] - [d169]Dirk Beyer, Sudeep Kanav, Tobias Kleinert, Cedric Richter:
Reproduction Package for FMSD Article 'Construction of Verifier Combinations From Off-the-Shelf Components'. Version FMSD-revision. Zenodo, 2023 [all versions] - [d168]Dirk Beyer, Matthias Kettl, Thomas Lemberger:
Reproduction Package for ICSE 2024 Submission 'Fault Localization on Verification Witnesses'. Zenodo, 2023 - [d167]Dirk Beyer, Sudeep Kanav, Henrik Wachowitz:
CoVeriTeam Service Release 1.0. Version 1.0. Zenodo, 2023 [all versions] - [d166]Dirk Beyer, Sudeep Kanav, Henrik Wachowitz:
Reproduction Package for the ICSE 2023 Article 'CoVeriTeam Service: Verification as a Service'. Version ICSE23-proceedings. Zenodo, 2023 [all versions] - [d165]Dirk Beyer, Sudeep Kanav, Henrik Wachowitz:
CoVeriTeam Service Release 1.1. Version 1.1. Zenodo, 2023 [all versions] - [d164]Dirk Beyer, Sudeep Kanav, Henrik Wachowitz:
CoVeriTeam Release 1.0. Version 1.0. Zenodo, 2023 [all versions] - [d163]Dirk Beyer, Thomas Lemberger:
Reproduction Package for STTT Submission 'Six Years Later: Testing vs. Model Checking'. Version 2. Zenodo, 2023 [all versions] - [d162]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'. Version Btor2C-artifact-TACAS23-proceedings. Zenodo, 2023 [all versions] - [d161]Dirk Beyer, Nian-Ze Lee, Philipp Wendler:
Reproduction Package for JAR Article 'Interpolation and SAT-Based Model Checking Revisited'. Version IMC-artifact-JAR-revision. Zenodo, 2023 [all versions] - [d160]Dirk Beyer, Thomas Lemberger, Henrik Wachowitz:
Reproduction Package for TACAS 2024 Submission 'CPA-Daemon: Mitigating Tool Restarts for Java-Based Verifiers'. Zenodo, 2023 - [d159]Dirk Beyer, Marian Lingsch Rosenfeld, Martin Spiessl:
Reproduction Package for ASE 2023 Article 'CEGAR-PT: A Tool for Abstraction by Program Transformation'. Zenodo, 2023 - [d158]Dirk Beyer, Martin Spiessl:
Reproduction Package for ASE 2023 submission 'LIV: Invariant Validation using Straight-Line Programs'. Version ASE23-submission. Zenodo, 2023 [all versions] - [d157]Dirk Beyer, Martin Spiessl:
Reproduction Package for ASE 2023 Article 'LIV: Invariant Validation using Straight-Line Programs'. Version ASE23-proceedings. Zenodo, 2023 [all versions] - [d156]Dirk Beyer, Philipp Wendler:
CPAchecker 2.2.1-svn-44999 (SV-COMP24 Prerun). Version 2.2.1-svn-44999. Zenodo, 2023 [all versions] - [d155]Dirk Beyer, Philipp Wendler:
CPAchecker 2.3 (SV-COMP24 Submission). Version 2.3 (unix). Zenodo, 2023 [all versions] - [d154]Dirk Beyer, Philipp Wendler:
CPAchecker Release 2.3 (unix). Version 2.3 (unix). Zenodo, 2023 [all versions] - [d153]Marian Lingsch Rosenfeld, Dirk Beyer:
Witness Linter (SV-Comp 2024). Version 1.4-dev. Zenodo, 2023 [all versions] - [d152]Marian Lingsch Rosenfeld, Dirk Beyer:
Witness Linter (SV-Comp 2024). Version 1.4-dev. Zenodo, 2023 [all versions] - [d151]Marian Lingsch Rosenfeld, Dirk Beyer:
Witness Linter (SV-Comp 2024). Version 1.4-dev. Zenodo, 2023 [all versions] - [d150]Marian Lingsch Rosenfeld, Dirk Beyer:
Witness Linter (SV-Comp 2024). Version 1.4-dev. Zenodo, 2023 [all versions] - [d149]Marian Lingsch Rosenfeld, Dirk Beyer:
Witness Linter (SV-Comp 2024). Version 2.0-dev. Zenodo, 2023 [all versions] - [d148]Marian Lingsch Rosenfeld, Dirk Beyer:
Witness Linter (SV-Comp 2024). Version 2.0. Zenodo, 2023 [all versions] - [d147]Marian Lingsch Rosenfeld, Dirk Beyer:
Witness Linter (SV-Comp 2024). Version 2.0.1. Zenodo, 2023 [all versions] - [d146]Marian Lingsch Rosenfeld, Dirk Beyer:
Witness Linter (SV-Comp 2024). Version 2.0.2. Zenodo, 2023 [all versions] - [d145]Marian Lingsch Rosenfeld, Martin Spiessl, Dirk Beyer:
MetaVal: Witness Validation via Verification (SV-COMP24). Zenodo, 2023 - [d144]Philipp Wendler, Dirk Beyer:
sosy-lab/benchexec: Release 3.16. Version 3.16. Zenodo, 2023 [all versions] - [d143]Philipp Wendler, Dirk Beyer:
sosy-lab/benchexec: Release 3.17. Version 3.17. Zenodo, 2023 [all versions] - [d142]Philipp Wendler, Dirk Beyer:
sosy-lab/benchexec: Release 3.18. Version 3.18. Zenodo, 2023 [all versions] - [d141]Philipp Wendler, Dirk Beyer:
sosy-lab/benchexec: Release 3.19. Version 3.19. Zenodo, 2023 [all versions] - [d140]Philipp Wendler, Dirk Beyer:
sosy-lab/benchexec: Release 3.20. Version 3.20. Zenodo, 2023 [all versions] - [d139]Dirk Beyer, Henrik Wachowitz:
CoVeriTeam Release 1.1. Version 1.1. Zenodo, 2023 [all versions] - 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). Version svcomp22. Zenodo, 2022 [all versions] - [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). Version svcomp22.1. Zenodo, 2022 [all versions] - [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'. Version CCEGAR-artifact-ICSE22-submission-ae.vm. Zenodo, 2022 [all versions] - [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'. Version CCEGAR-artifact-ICSE22-submission-ae-rev1.vm. Zenodo, 2022 [all versions] - [d128]Dirk Beyer, Jan Haltermann, Thomas Lemberger, Heike Wehrheim, Philipp Wendler:
CPAchecker Release 2.1.1 (unix). Version 2.1.1 (unix). Zenodo, 2022 [all versions] - [d127]Dirk Beyer, Sudeep Kanav:
CoVeriTeam Release 0.9. Version 0.9. Zenodo, 2022 [all versions] - [d126]Dirk Beyer, Sudeep Kanav:
CoVeriTeam Release c-cegar-icse2022. Version c-cegar-icse2022. Zenodo, 2022 [all versions] - [d125]Dirk Beyer, Matthias Kettl:
Reproduction Package for Submission 'FaultY: A Framework for Managing Fault Candidates'. Version 1.0. Zenodo, 2022 [all versions] - [d124]Dirk Beyer, Sudeep Kanav, Tobias Kleinert, Cedric Richter:
Reproduction Package for FMSD Article 'Construction of Verifier Combinations From Off-the-Shelf Components'. Version FMSD-submission. Zenodo, 2022 [all versions] - [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'. Version FASE21-submission-AE. Zenodo, 2022 [all versions] - [d120]Dirk Beyer, Sudeep Kanav, Henrik Wachowitz:
Reproduction Package for the ICSE 2023 Submission 'CoVeriTeam Service: Verification as a Service'. Version ICSE23-submission. Zenodo, 2022 [all versions] - [d119]Dirk Beyer, Thomas Lemberger:
Reproduction Package for STTT Submission 'Five Years Later: Testing vs. Model Checking'. Version TestStudy-artifact-STTT22-submission. Zenodo, 2022 [all versions] - [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'. Version Btor2C-artifact-TACAS23-submission. Zenodo, 2022 [all versions] - [d117]Dirk Beyer, Nian-Ze Lee, Philipp Wendler:
Reproduction Package for CAV 2022 Submission 'Interpolation and SAT-Based Model Checking Revisited'. Version IMC-artifact-CAV22-submission. Zenodo, 2022 [all versions] - [d116]Dirk Beyer, Nian-Ze Lee, Philipp Wendler:
Reproduction Package for JAR Submission 'Interpolation and SAT-Based Model Checking Revisited'. Version IMC-artifact-JAR-submission. Zenodo, 2022 [all versions] - [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). Version 2.2 (unix). Zenodo, 2022 [all versions] - [d111]Philipp Wendler, Dirk Beyer:
sosy-lab/benchexec: Release 3.11. Version 3.11. Zenodo, 2022 [all versions] - [d110]Philipp Wendler, Dirk Beyer:
sosy-lab/benchexec: Release 3.12. Version 3.12. Zenodo, 2022 [all versions] - [d109]Philipp Wendler, Dirk Beyer:
sosy-lab/benchexec: Release 3.13. Version 3.13. Zenodo, 2022 [all versions] - [d108]Philipp Wendler, Dirk Beyer:
sosy-lab/benchexec: Release 3.14. Version 3.14. Zenodo, 2022 [all versions] - [d107]Philipp Wendler, Dirk Beyer:
sosy-lab/benchexec: Release 3.15. Version 3.15. Zenodo, 2022 [all versions] - [d106]Stefan Winter, Chris Timperley, Ben Hermann, Jürgen Cito, Jonathan Bell, Michael Hilton, Dirk Beyer:
Reproduction Package (Docker container) for the FSE 2022 Article 'A Retrospective Study of one Decade of Artifact Evaluations'. Version 1.0: Submission to FSE 2022 Artifact Evaluation. Zenodo, 2022 [all versions] - [d105]Stefan Winter, Chris Timperley, Ben Hermann, Jürgen Cito, Jonathan Bell, Michael Hilton, Dirk Beyer:
Reproduction Package (Docker container) for the ESEC/FSE 2022 Article 'A Retrospective Study of one Decade of Artifact Evaluations'. Version 1.1: Update to include Camera Ready changes. Zenodo, 2022 [all versions] - [i16]Dirk Beyer, Nian-Ze Lee, Philipp Wendler:
Interpolation and SAT-Based Model Checking Revisited: Adoption to Software Verification. CoRR abs/2208.05046 (2022) - 2021
- [j13]Dirk Beyer, Matthias Dangl, Philipp Wendler:
Correction to: A Unifying View on SMT-Based Software Verification. J. Autom. Reason. 65(3): 461 (2021) - [j12]Dirk Beyer, Marie-Christine Jakobs:
Cooperative verifier-based testing with CoVeriTest. Int. J. Softw. Tools Technol. Transf. 23(3): 313-333 (2021) - [j11]Dirk Beyer, Marieke Huisman:
TOOLympics I: Competition on software testing. Int. J. Softw. Tools Technol. Transf. 23(6): 829-832 (2021) - [j10]Dirk Beyer:
First international competition on software testing. Int. J. Softw. Tools Technol. Transf. 23(6): 833-846 (2021) - [j9]Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen:
TOOLympics II: competitions on formal methods. Int. J. Softw. Tools Technol. Transf. 23(6): 879-881 (2021) - [c117]Dirk Beyer, Karlheinz Friedberger, Stephan Holzner:
PJBDD: A BDD Library for Java and Multi-Threading. ATVA 2021: 144-149 - [c116]Daniel Baier, Dirk Beyer, Karlheinz Friedberger:
JavaSMT 3: Interacting with SMT Solvers in Java. CAV (2) 2021: 195-208 - [c115]Dirk Beyer:
Status Report on Software Testing: Test-Comp 2021. FASE 2021: 341-357 - [c114]Dirk Beyer:
Software Verification: 10th Comparative Evaluation (SV-COMP 2021). TACAS (2) 2021: 401-422 - [d104]Daniel Baier, Dirk Beyer, Karlheinz Friedberger:
Reproduction Package (VM) for CAV 2021 Article 'JavaSMT 3: Interacting with SMT Solvers in Java'. Zenodo, 2021 - [d103]Daniel Baier, Dirk Beyer, Karlheinz Friedberger:
Reproduction Package for CAV 2021 Article 'JavaSMT 3: Interacting with SMT Solvers in Java'. Zenodo, 2021 - [d102]Dirk Beyer:
SV-Benchmarks: Benchmark Set of 10th Intl. Competition on Software Verification (SV-COMP 2021). Zenodo, 2021 - [d101]Dirk Beyer:
SV-Benchmarks: Benchmark Set of 3rd Intl. Competition on Software Testing (Test-Comp 2021). Zenodo, 2021 - [d100]Dirk Beyer:
Verification Witnesses from Verification Tools (SV-COMP 2021). Zenodo, 2021 - [d99]Dirk Beyer:
Results of the 10th Intl. Competition on Software Verification (SV-COMP 2021). Zenodo, 2021 - [d98]Dirk Beyer:
Test Suites from Test-Generation Tools (Test-Comp 2021). Zenodo, 2021 - [d97]Dirk Beyer:
Results of the 3rd Intl. Competition on Software Testing (Test-Comp 2021). Zenodo, 2021 - [d96]Dirk Beyer, Karlheinz Friedberger, Stephan Holzner:
Reproduction Package for ATVA 2021 Article 'PJBDD: A BDD Library for Java and Multi-Threading'. Version PJBDD-artifact-ATVA21-proceedings. Zenodo, 2021 [all versions] - [d95]Dirk Beyer, Lars Grunske, Thomas Lemberger, Minxing Tang:
Benchmark Set for Program Repair Based on Partial Fixes. Version v1. Zenodo, 2021 [all versions] - [d94]Dirk Beyer, Jan Haltermann, Thomas Lemberger, Heike Wehrheim:
Reproduction Package (Reduced Version) for Article "Decomposing Software Verification into Off-the-Shelf Components: An Application to CEGAR". Version CCEGAR-artifact-ICSE22-submission.small. Zenodo, 2021 [all versions] - [d93]Dirk Beyer, Jan Haltermann, Thomas Lemberger, Heike Wehrheim:
Reproduction Package (Full Version) for ICSE 2022 Article 'Decomposing Software Verification into Off-the-Shelf Components: An Application to CEGAR'. Version CCEGAR-artifact-ICSE22-submission.full. Zenodo, 2021 [all versions] - [d92]Dirk Beyer, Sudeep Kanav:
Reproduction Package for Article 'Construction of Verifier Combinations Based on Off-the-Shelf Verifiers'. Version FASE21-submission. Zenodo, 2021 [all versions] - [d91]Dirk Beyer, Sudeep Kanav:
CoVeriTeam Release 0.6. Version 0.6. Zenodo, 2021 [all versions] - [d90]Dirk Beyer, Sudeep Kanav:
CoVeriTeam Release svcomp22 and testcomp22. Version svcomp22-testcomp22. Zenodo, 2021 [all versions] - [d89]Dirk Beyer, Nian-Ze Lee, Philipp Wendler:
Reproduction Package for ICSE 2022 Submission 'Interpolation and SAT-Based Model Checking Revisited'. Version IMC-artifact-ICSE22-submission. Zenodo, 2021 [all versions] - [d88]Dirk Beyer, Philipp Wendler:
CPAchecker Release 2.1 (unix). Version 2.1 (unix). Zenodo, 2021 [all versions] - [d87]Philipp Wendler, Dirk Beyer:
sosy-lab/benchexec: Release 3.7. Version 3.7. Zenodo, 2021 [all versions] - [d86]Philipp Wendler, Dirk Beyer:
sosy-lab/benchexec: Release 3.8. Version 3.8. Zenodo, 2021 [all versions] - [d85]Philipp Wendler, Dirk Beyer:
sosy-lab/benchexec: Release 3.9. Version 3.9. Zenodo, 2021 [all versions] - [d84]Philipp Wendler, Dirk Beyer:
sosy-lab/benchexec: Release 3.10. Version 3.10. Zenodo, 2021 [all versions] - [i15]Dirk Beyer, Lars Grunske, Thomas Lemberger, Minxing Tang:
Towards a Benchmark Set for Program Repair Based on Partial Fixes. CoRR abs/2107.08038 (2021) - 2020
- [j8]Dirk Beyer, Marieke Huisman:
Selected and Extended Papers from TACAS 2018: Preface. J. Autom. Reason. 64(7): 1331-1332 (2020) - [j7]Dirk Beyer, Marieke Huisman:
Tools for the construction and analysis of systems. Int. J. Softw. Tools Technol. Transf. 22(6): 685-687 (2020) - [c113]Dirk Beyer, Martin Spiessl:
MetaVal: Witness Validation via Verification. CAV (2) 2020: 165-177 - [c112]Dirk Beyer:
Second Competition on Software Testing: Test-Comp 2020. FASE 2020: 505-519 - [c111]Dirk Beyer, Heike Wehrheim:
Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework. ISoLA (1) 2020: 143-167 - [c110]Dirk Beyer, Sudeep Kanav:
An Interface Theory for Program Verification. ISoLA (1) 2020: 168-186 - [c109]Markus Schordan, Dirk Beyer, Irena Bojanova:
Software Verification Tools (Track Introduction). ISoLA (4) 2020: 177-181 - [c108]Dirk Beyer, Karlheinz Friedberger:
Violation Witnesses and Result Validation for Multi-Threaded Programs - Implementation and Evaluation with CPAchecker. ISoLA (1) 2020: 449-470 - [c107]Dirk Beyer, Marie-Christine Jakobs:
Cooperative Test-Case Generation with Verifiers. SE 2020: 107-108 - [c106]Dirk Beyer, Marie-Christine Jakobs:
FRed: Conditional Model Checking via Reducers and Folders. SEFM 2020: 113-132 - [c105]Dirk Beyer, Marie-Christine Jakobs, Thomas Lemberger:
Difference Verification with Conditions. SEFM 2020: 133-154 - [c104]Dirk Beyer, Karlheinz Friedberger:
Domain-independent interprocedural program analysis using block-abstraction memoization. ESEC/SIGSOFT FSE 2020: 50-62 - [c103]Dirk Beyer, Matthias Dangl:
Software Verification with PDR: An Implementation of the State of the Art. TACAS (1) 2020: 3-21 - [c102]Dirk Beyer, Philipp Wendler:
CPU Energy Meter: A Tool for Energy-Aware Algorithms Engineering. TACAS (2) 2020: 126-133 - [c101]Dirk Beyer:
Advances in Automatic Software Verification: SV-COMP 2020. TACAS (2) 2020: 347-367 - [e7]Dirk Beyer, Damien Zufferey:
Verification, Model Checking, and Abstract Interpretation - 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020, Proceedings. Lecture Notes in Computer Science 11990, Springer 2020, ISBN 978-3-030-39321-2 [contents] - [d83]Dirk Beyer:
Verification Witnesses from Verification Tools (SV-COMP 2020). Zenodo, 2020 - [d82]Dirk Beyer:
Results of the 9th International Competition on Software Verification (SV-COMP 2020). Zenodo, 2020 - [d81]Dirk Beyer:
SV-Benchmarks: Benchmark Set of 9th Intl. Competition on Software Verification (SV-COMP 2020). Zenodo, 2020 - [d80]Dirk Beyer:
SV-Benchmarks: Benchmark Set of the 2nd Intl. Competition on Software Testing (Test-Comp 2020). Zenodo, 2020 - [d79]Dirk Beyer:
Results of the 2nd International Competition on Software Testing (Test-Comp 2020). Zenodo, 2020 - [d78]Dirk Beyer:
Test Suites from Test-Generation Tools (Test-Comp 2020). Zenodo, 2020 - [d77]Dirk Beyer:
SMT Formulas for Boolean Programs from SLAM. Zenodo, 2020 - [d76]Dirk Beyer:
SV-Benchmarks: Benchmark Set of the 1st Intl. Competition on Software Testing (Test-Comp 2019). Zenodo, 2020 - [d75]Dirk Beyer:
Test Suites from Test-Generation Tools (Test-Comp 2019). Zenodo, 2020 - [d74]Dirk Beyer:
Results of the 1st International Competition on Software Testing (Test-Comp 2019). Zenodo, 2020 - [d73]Dirk Beyer, Matthias Dangl:
Replication Artifact for Article 'Software Verification with PDR: An Implementation of the State of the Art'. Version tacas20. Zenodo, 2020 [all versions] - [d72]Dirk Beyer, Matthias Dangl, Daniel Dietsch, Matthias Heizmann, Thomas Lemberger, Michael Tautschnig:
Reproduction Package for TOSEM Article 'Verification Witnesses'. Zenodo, 2020 - [d71]Dirk Beyer, Karlheinz Friedberger:
Replication Artifact for Article 'Domain-Independent Interprocedural Program Analysis using Block-Abstraction Memoization'. Version FSE20-submission. Zenodo, 2020 [all versions] - [d70]Dirk Beyer, Karlheinz Friedberger:
Replication Artifact for Article 'Domain-Independent Interprocedural Program Analysis using Block-Abstraction Memoization'. Version FSE20-submission-ae. Zenodo, 2020 [all versions] - [d69]Dirk Beyer, Karlheinz Friedberger:
Replication Artifact for Article 'Domain-Independent Interprocedural Program Analysis using Block-Abstraction Memoization'. Version FSE20-proceedings. Zenodo, 2020 [all versions] - [d68]Dirk Beyer, Karlheinz Friedberger:
Reproduction Package for ISoLA 2020 Article 'Violation Witnesses and Result Validation for Multi-Threaded Programs'. Zenodo, 2020 - [d67]Dirk Beyer, Karlheinz Friedberger:
Reproduction Package for ESEC/FSE 2020 Article 'Domain-Independent Interprocedural Program Analysis using Block-Abstraction Memoization'. Version FSE20-proceedings-final. Zenodo, 2020 [all versions] - [d66]Dirk Beyer, Karlheinz Friedberger, Stephan Holzner:
Replication Package for Article 'PJBDD: A BDD Library for Java and Multi-Threading'. Version 1.0. Zenodo, 2020 [all versions] - [d65]Dirk Beyer, Karlheinz Friedberger, Stephan Holzner:
Reproduction Package for Article 'PJBDD: A BDD Library for Java and Multi-Threading'. Version TACAS21-submission. Zenodo, 2020 [all versions] - [d64]Dirk Beyer, Karlheinz Friedberger, Stephan Holzner:
Reproduction Package for Article 'PJBDD: A BDD Library for Java and Multi-Threading'. Version TACAS21-submission-v2. Zenodo, 2020 [all versions] - [d63]Dirk Beyer, Marie-Christine Jakobs:
Reproduction Package for STTT Article 'Cooperative, Verifier-Based Testing with CoVeriTest'. Zenodo, 2020 - [d62]Dirk Beyer, Marie-Christine Jakobs:
Replication Package for SEFM 2020 Article 'FRed: Conditional Model Checking via Reducers and Folders'. Zenodo, 2020 - [d61]Dirk Beyer, Marie-Christine Jakobs, Thomas Lemberger:
Reproduction Package for SEFM 2020 Article 'Difference Verification with Conditions'. Version DIFFERENCEMC-artifact-SEFM20-proceedings. Zenodo, 2020 [all versions] - [d60]Dirk Beyer, Sudeep Kanav:
CoVeriTeam Release 0.1 - ASE20-submission. Version 0.1-ASE20-submission. Zenodo, 2020 [all versions] - [d59]Dirk Beyer, Sudeep Kanav:
Replication Package (Virtual Machine) for Article 'CoVeriTeam: On-Demand Composition of Cooperative Verification Systems'. Version COVERITEAM-artifactVM-ASE20-submission. Zenodo, 2020 [all versions] - [d58]Dirk Beyer, Sudeep Kanav:
CoVeriTeam Release 0.1. Version 0.1. Zenodo, 2020 [all versions] - [d57]Dirk Beyer, Sudeep Kanav:
CoVeriTeam Release 0.2. Version 0.2. Zenodo, 2020 [all versions] - [d56]Dirk Beyer, Sudeep Kanav:
CoVeriTeam Release 0.3. Version 0.3. Zenodo, 2020 [all versions] - [d55]Dirk Beyer, Sudeep Kanav:
CoVeriTeam Release 0.4. Version 0.4. Zenodo, 2020 [all versions] - [d54]Dirk Beyer, Sudeep Kanav:
CoVeriTeam Release 0.5. Version 0.5. Zenodo, 2020 [all versions] - [d53]Dirk Beyer, Sudeep Kanav:
Reproduction Package for Article 'CoVeriTeam: On-Demand Composition of Cooperative Verification Systems'. Version COVERITEAM-artifact-TACAS21-submission. Zenodo, 2020 [all versions] - [d52]Dirk Beyer, Sudeep Kanav:
Reproduction Package for TACAS 2022 Article 'CoVeriTeam: On-Demand Composition of Cooperative Verification Systems'. Version COVERITEAM-artifact-TACAS22-submission. Zenodo, 2020 [all versions] - [d51]Dirk Beyer, Sudeep Kanav:
CoVeriTeam Release svcomp21 and testcomp21. Version svcomp21-testcomp21. Zenodo, 2020 [all versions] - [d50]Dirk Beyer, Thomas Lemberger, Marie-Christine Jakobs:
Replication Package for Article 'Difference Verification with Conditions'. Version SEFM2020-submission. Zenodo, 2020 [all versions] - [d49]Dirk Beyer, Nian-Ze Lee, Philipp Wendler:
Reproduction Package for TACAS 2021 Submission 'Interpolation and SAT-Based Model Checking Revisited'. Version IMC-artifact-TACAS21-submission. Zenodo, 2020 [all versions] - [d48]Dirk Beyer, Martin Spiessl:
Tool Package for Article 'MetaVal: Witness Validation via Verification'. Version MetaVal-artifactVM-CAV20-submission. Zenodo, 2020 [all versions] - [d47]Dirk Beyer, Martin Spiessl:
Reproduction Package (Virtual Machine) for CAV 2020 Article 'MetaVal: Witness Validation via Verification'. Version MetaVal-1.0-artifactVM-CAV20-final. Zenodo, 2020 [all versions] - [d46]Dirk Beyer, Philipp Wendler:
Reproduction Artifact for TACAS 2020 Article 'CPU Energy Meter: A Tool for Energy-Aware Algorithms Engineering'. Zenodo, 2020 - [d45]Dirk Beyer, Philipp Wendler:
CPAchecker Release 1.9.1 (unix). Version 1.9.1 (unix). Zenodo, 2020 [all versions] - [d44]Dirk Beyer, Philipp Wendler:
CPAchecker Release 2.0 (unix). Version 2.0 (unix). Zenodo, 2020 [all versions] - [d43]Philipp Wendler, Dirk Beyer:
sosy-lab/benchexec: Release 2.6. Version 2.6. Zenodo, 2020 [all versions] - [d42]Philipp Wendler, Dirk Beyer:
sosy-lab/benchexec: Release 2.7. Version 2.7. Zenodo, 2020 [all versions] - [d41]Philipp Wendler, Dirk Beyer:
sosy-lab/benchexec: Release 3.0. Version 3.0. Zenodo, 2020 [all versions] - [d40]Philipp Wendler, Dirk Beyer:
sosy-lab/benchexec: Release 3.1. Version 3.1. Zenodo, 2020 [all versions] - [d39]Philipp Wendler, Dirk Beyer:
sosy-lab/benchexec: Release 3.2. Version 3.2. Zenodo, 2020 [all versions] - [d38]Philipp Wendler, Dirk Beyer:
sosy-lab/benchexec: Release 3.3. Version 3.3. Zenodo, 2020 [all versions] - [d37]Philipp Wendler, Dirk Beyer:
sosy-lab/benchexec: Release 3.4. Version 3.4. Zenodo, 2020 [all versions] - [d36]Philipp Wendler, Dirk Beyer:
sosy-lab/benchexec: Release 3.5. Version 3.5. Zenodo, 2020 [all versions] - [d35]Philipp Wendler, Dirk Beyer:
sosy-lab/benchexec: Release 3.6. Version 3.6. Zenodo, 2020 [all versions]
2010 – 2019
- 2019
- [j6]Dirk Beyer, Stefan Löwe, Philipp Wendler:
Reliable benchmarking: requirements and solutions. Int. J. Softw. Tools Technol. Transf. 21(1): 1-29 (2019) - [c100]Dirk Beyer, Thomas Lemberger:
Conditional Testing - Off-the-Shelf Combination of Test-Case Generators. ATVA 2019: 189-208 - [c99]Dirk Beyer, Marie-Christine Jakobs:
CoVeriTest: Cooperative Verifier-Based Testing. FASE 2019: 389-408 - [c98]Dirk Beyer, Thomas Lemberger:
TestCov: Robust Test-Suite Execution and Coverage Measurement. ASE 2019: 1074-1077 - [c97]Dirk Beyer:
A data set of program invariants and error paths. MSR 2019: 111-115 - [c96]Dirk Beyer, Marie-Christine Jakobs, Thomas Lemberger, Heike Wehrheim:
Combining Verifiers in Conditional Model Checking via Reducers. SE/SWM 2019: 151-152 - [c95]Ezio Bartocci, Dirk Beyer, Paul E. Black, Grigory Fedyukovich, Hubert Garavel, Arnd Hartmanns, Marieke Huisman, Fabrice Kordon, Julian Nagele, Mihaela Sighireanu, Bernhard Steffen, Martin Suda, Geoff Sutcliffe, Tjark Weber, Akihisa Yamada:
TOOLympics 2019: An Overview of Competitions in Formal Methods. TACAS (3) 2019: 3-24 - [c94]Dirk Beyer:
Automatic Verification of C and Java Programs: SV-COMP 2019. TACAS (3) 2019: 133-155 - [c93]Dirk Beyer:
International Competition on Software Testing (Test-Comp). TACAS (3) 2019: 167-175 - [e6]Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen:
Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III. Lecture Notes in Computer Science 11429, Springer 2019, ISBN 978-3-030-17501-6 [contents] - [e5]Dirk Beyer, Chantal Keller:
Tests and Proofs - 13th International Conference, TAP@FM 2019, Porto, Portugal, October 9-11, 2019, Proceedings. Lecture Notes in Computer Science 11823, Springer 2019, ISBN 978-3-030-31156-8 [contents] - [d34]Dirk Beyer:
Verification Witnesses from Verification Tools (SV-COMP 2019). Zenodo, 2019 - [d33]Dirk Beyer:
SV-Benchmarks: Benchmark Set of 8th Intl. Competition on Software Verification (SV-COMP 2019). Zenodo, 2019 - [d32]Dirk Beyer, Matthias Dangl:
Reproduction Package for TACAS 2020 Article 'Software Verification with PDR: Implementation and Empirical Evaluation of the State of the Art'. Zenodo, 2019 - [d31]Dirk Beyer, Matthias Dangl:
Replication Artifact for Article 'Software Verification with PDR: An Implementation of the State of the Art'. Version 1.0. Zenodo, 2019 [all versions] - [d30]Dirk Beyer, Marie-Christine Jakobs:
Replication Package for Article "CoVeriTest: Cooperative Verifier-Based Testing" in Proc. FASE '19. Zenodo, 2019 - [d29]Dirk Beyer, Thomas Lemberger:
Replication Artifact for Article "Conditional Testing: Off-the-Shelf Combination of Test-Case Generators". Version 1.0. Zenodo, 2019 [all versions] - [d28]Dirk Beyer, Thomas Lemberger:
Reproduction Package for ATVA 2019 Article 'Conditional Testing: Off-the-Shelf Combination of Test-Case Generators'. Version 2.0. Zenodo, 2019 [all versions] - [d27]Dirk Beyer, Thomas Lemberger:
Reproduction Package for Article ASE 2019 'TestCov: Robust Test-Suite Execution and Coverage Measurement'. Zenodo, 2019 - [d26]Philipp Wendler, Dirk Beyer:
sosy-lab/benchexec: Release 1.18. Version 1.18. Zenodo, 2019 [all versions] - [d25]Philipp Wendler, Dirk Beyer:
sosy-lab/benchexec: Release 1.19. Version 1.19. Zenodo, 2019 [all versions] - [d24]Philipp Wendler, Dirk Beyer:
sosy-lab/benchexec: Release 1.20. Version 1.20. Zenodo, 2019 [all versions] - [d23]Philipp Wendler, Dirk Beyer:
sosy-lab/benchexec: Release 1.21. Version 1.21. Zenodo, 2019 [all versions] - [d22]Philipp Wendler, Dirk Beyer:
sosy-lab/benchexec: Release 1.22. Version 1.22. Zenodo, 2019 [all versions] - [d21]Philipp Wendler, Dirk Beyer:
sosy-lab/benchexec: Release 2.0. Version 2.0. Zenodo, 2019 [all versions] - [d20]Philipp Wendler, Dirk Beyer:
sosy-lab/benchexec: Release 2.2. Version 2.2. Zenodo, 2019 [all versions] - [d19]Philipp Wendler, Dirk Beyer:
sosy-lab/benchexec: Release 2.3. Version 2.3. Zenodo, 2019 [all versions] - [d18]Philipp Wendler, Dirk Beyer:
sosy-lab/benchexec: Release 2.5. Version 2.5. Zenodo, 2019 [all versions] - [d17]Philipp Wendler, Dirk Beyer:
sosy-lab/benchexec: Release 2.5.1. Version 2.5.1. Zenodo, 2019 [all versions] - [d16]Philipp Wendler, Dirk Beyer, Aditya Arora:
sosy-lab/benchexec: Release 2.1. Version 2.1. Zenodo, 2019 [all versions] - [i14]Dirk Beyer, Heike Wehrheim:
Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework. CoRR abs/1905.08505 (2019) - [i13]Dirk Beyer, Matthias Dangl:
Software Verification with PDR: Implementation and Empirical Evaluation of the State of the Art. CoRR abs/1908.06271 (2019) - 2018
- [j5]Dirk Beyer, Matthias Dangl, Philipp Wendler:
A Unifying View on SMT-Based Software Verification. J. Autom. Reason. 60(3): 299-335 (2018) - [c92]Dirk Beyer, Marie-Christine Jakobs, Thomas Lemberger, Heike Wehrheim:
Reducer-based construction of conditional verifiers. ICSE 2018: 1182-1193 - [c91]Markus Schordan, Dirk Beyer, Stephen F. Siegel:
Evaluating Tools for Software Verification (Track Introduction). ISoLA (2) 2018: 139-143 - [c90]Dirk Beyer, Matthias Dangl:
Strategy Selection for Software Verification Based on Boolean Features - A Simple but Effective Approach. ISoLA (2) 2018: 144-159 - [c89]Dirk Beyer, Karlheinz Friedberger:
In-Place vs. Copy-on-Write CEGAR Refinement for Block Summarization with Caching. ISoLA (2) 2018: 197-215 - [c88]Dirk Beyer, Karlheinz Friedberger:
Domain-independent multi-threaded software model checking. ASE 2018: 634-644 - [c87]Dirk Beyer, Thomas Lemberger:
CPA-SymExec: efficient symbolic execution in CPAchecker. ASE 2018: 900-903 - [c86]Dirk Beyer, Matthias Dangl, Thomas Lemberger, Michael Tautschnig:
Tests from Witnesses - Execution-Based Validation of Verification Results. TAP@STAF 2018: 3-23 - [p2]Dirk Beyer, Sumit Gulwani, David A. Schmidt:
Combining Model Checking and Data-Flow Analysis. Handbook of Model Checking 2018: 493-540 - [e4]Dirk Beyer, Marieke Huisman:
Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I. Lecture Notes in Computer Science 10805, Springer 2018, ISBN 978-3-319-89959-6 [contents] - [e3]Dirk Beyer, Marieke Huisman:
Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II. Lecture Notes in Computer Science 10806, Springer 2018, ISBN 978-3-319-89962-6 [contents] - [d15]Dirk Beyer, Karlheinz Friedberger:
Reproduction Package for ASE 2018 Article 'Domain-Independent Multi-threaded Software Model Checking'. Zenodo, 2018 - [d14]Dirk Beyer, Marie-Christine Jakobs, Thomas Lemberger, Heike Wehrheim:
Reproduction Package for ICSE 2018 Article 'Reducer-Based Construction of Conditional Verifiers'. Zenodo, 2018 - [d13]Dirk Beyer, Thomas Lemberger:
Replication Package for Article "Software Verification: Testing vs. Model Checking", Proc. HVC'17. Zenodo, 2018 - [d12]Dirk Beyer, Thomas Lemberger:
Replication Package for ISoLA 2016 Article 'Symbolic Execution with CEGAR'. Zenodo, 2018 - [d11]Dirk Beyer, Thomas Lemberger:
Replication Package for Article "CPA-SymExec: Efficient Symbolic Execution in CPAchecker". Version 1.0. Zenodo, 2018 [all versions] - [d10]Dirk Beyer, Thomas Lemberger:
SV-Benchmarks: Benchmark set of 5th Intl. Competition on Software Verification (SV-COMP'16). Zenodo, 2018 - [d9]Dirk Beyer, Thomas Lemberger:
Reproduction Package for ASE 2018 Article 'CPA-SymExec: Efficient Symbolic Execution in CPAchecker'. Version 2.0. Zenodo, 2018 [all versions] - [d8]Dirk Beyer, Thomas Lemberger, Philipp Wendler:
SoSy-Lab Virtual Machine (Ubuntu 16.04 LTS). Version 1.0.0. Zenodo, 2018 [all versions] - [d7]Dirk Beyer, Thomas Lemberger, Philipp Wendler:
SoSy-Lab Virtual Machine (Ubuntu 16.04 LTS). Version 1.1.0. Zenodo, 2018 [all versions] - [d6]Philipp Wendler, Dirk Beyer:
sosy-lab/benchexec: Release 1.16. Version 1.16. Zenodo, 2018 [all versions] - [d5]Philipp Wendler, Dirk Beyer:
sosy-lab/benchexec: Release 1.17. Version 1.17. Zenodo, 2018 [all versions] - 2017
- [c85]Dirk Beyer, Thomas Lemberger:
Software Verification: Testing vs. Model Checking - A Comparative Evaluation of the State of the Art. Haifa Verification Conference 2017: 99-114 - [c84]Dirk Beyer, Matthias Dangl, Daniel Dietsch, Matthias Heizmann:
Exchanging Verification Witnesses between Verifiers. Software Engineering 2017: 93-94 - [c83]Dirk Beyer:
Software Verification with Validation of Results - (Report on SV-COMP 2017). TACAS (2) 2017: 331-349 - [p1]Dirk Beyer, Rolf Hennicker, Martin Hofmann, Tobias Nipkow, Martin Wirsing:
Software-Verifikation. 50 Jahre Universitäts-Informatik in München 2017: 75-86 - 2016
- [c82]Dirk Beyer, Matthias Dangl:
Verification-Aided Debugging: An Interactive Web-Service for Exploring Error Witnesses. CAV (2) 2016: 502-509 - [c81]Markus Schordan, Dirk Beyer, Jonas Lundberg:
Evaluation and Reproducibility of Program Analysis and Verification (Track Introduction). ISoLA (1) 2016: 191-194 - [c80]Dirk Beyer, Thomas Lemberger:
Symbolic Execution with CEGAR. ISoLA (1) 2016: 195-211 - [c79]Dirk Beyer:
Partial Verification and Intermediate Results as a Solution to Combine Automatic and Interactive Verification Techniques. ISoLA (1) 2016: 874-880 - [c78]Malte Lochau, Johannes Bürdek, Stefan Bauregger, Andreas Holzer, Alexander von Rhein, Sven Apel, Dirk Beyer:
On facilitating reuse in multi-goal test-suite generation for software product lines. Software Engineering 2016: 81-82 - [c77]Dirk Beyer, Matthias Dangl, Daniel Dietsch, Matthias Heizmann, Andreas Stahlbauer:
Witness validation and stepwise testification across software verifiers. Software Engineering 2016: 105-106 - [c76]Dirk Beyer, Matthias Dangl, Daniel Dietsch, Matthias Heizmann:
Correctness witnesses: exchanging verification results between verifiers. SIGSOFT FSE 2016: 326-337 - [c75]Sven Apel, Dirk Beyer, Vitaly O. Mordan, Vadim S. Mutilin, Andreas Stahlbauer:
On-the-fly decomposition of specifications in software model checking. SIGSOFT FSE 2016: 349-361 - [c74]Dirk Beyer:
Reliable and Reproducible Competition Results with BenchExec and Witnesses (Report on SV-COMP 2016). TACAS 2016: 887-904 - [c73]Egor George Karpenkov, Karlheinz Friedberger, Dirk Beyer:
JavaSMT: A Unified Interface for SMT Solvers in Java. VSTTE 2016: 139-148 - [c72]Dirk Beyer, Matthias Dangl:
SMT-based Software Model Checking: An Experimental Comparison of Four Algorithms. VSTTE 2016: 181-198 - [c71]Dirk Beyer, Karlheinz Friedberger:
A Light-Weight Approach for Verifying Multi-Threaded Programs with CPAchecker. MEMICS 2016: 61-71 - [d4]Dirk Beyer, Matthias Dangl:
Replication Package (Virtual Machine) for Article "Verification-Aided Debugging: An Interactive Web-Service for Exploring Error Witnesses", Proc. CAV'16. Zenodo, 2016 - [d3]Dirk Beyer, Matthias Dangl:
Data Set for Article "Verification-Aided Debugging: An Interactive Web-Service for Exploring Error Witnesses", Proc. CAV'16. Zenodo, 2016 - [d2]Dirk Beyer, Matthias Dangl, Daniel Dietsch, Matthias Heizmann:
Replication Package for Article "Correctness Witnesses: Exchanging Verification Results between Verifiers". Zenodo, 2016 - 2015
- [c70]Dirk Beyer, Matthias Dangl, Philipp Wendler:
Boosting k-Induction with Continuously-Refined Invariants. CAV (1) 2015: 622-640 - [c69]Johannes Bürdek, Malte Lochau, Stefan Bauregger, Andreas Holzer, Alexander von Rhein, Sven Apel, Dirk Beyer:
Facilitating Reuse in Multi-goal Test-Suite Generation for Software Product Lines. FASE 2015: 84-99 - [c68]Dirk Beyer, Stefan Löwe, Philipp Wendler:
Sliced Path Prefixes: An Effective Method to Enable Refinement Selection. FORTE 2015: 228-243 - [c67]Alexander von Rhein, Alexander Grebhahn, Sven Apel, Norbert Siegmund, Dirk Beyer, Thorsten Berger:
Presence-Condition Simplification in Highly Configurable Systems. ICSE (1) 2015: 178-188 - [c66]Dirk Beyer, Stefan Löwe:
Interpolation for Value Analysis. Software Engineering & Management 2015: 73-74 - [c65]Dirk Beyer, Matthias Dangl, Daniel Dietsch, Matthias Heizmann, Andreas Stahlbauer:
Witness validation and stepwise testification across software verifiers. ESEC/SIGSOFT FSE 2015: 721-733 - [c64]Dirk Beyer, Stefan Löwe, Philipp Wendler:
Refinement Selection. SPIN 2015: 20-38 - [c63]Dirk Beyer, Stefan Löwe, Philipp Wendler:
Benchmarking and Resource Measurement. SPIN 2015: 160-178 - [c62]Dirk Beyer:
Software Verification and Verifiable Witnesses - (Report on SV-COMP 2015). TACAS 2015: 401-416 - [d1]Dirk Beyer, Matthias Dangl, Philipp Wendler:
Reproduction Package (Virtual Machine) for CAV 2015 Article 'Boosting k‑Induction with Continuously‑Refined Invariants'. Zenodo, 2015 - [i12]Dirk Beyer, Stefan Löwe, Philipp Wendler:
Domain-Type-Guided Refinement Selection Based on Sliced Path Prefixes. CoRR abs/1502.00045 (2015) - [i11]Dirk Beyer, Matthias Dangl, Philipp Wendler:
Combining k-Induction with Continuously-Refined Invariants. CoRR abs/1502.00096 (2015) - 2014
- [j4]Falk Howar, Malte Isberner, Maik Merten, Bernhard Steffen, Dirk Beyer, Corina S. Pasareanu:
Rigorous examination of reactive systems - The RERS challenges 2012 and 2013. Int. J. Softw. Tools Technol. Transf. 16(5): 457-464 (2014) - [j3]Dirk Beyer, Andreas Stahlbauer:
BDD-based software verification - Applications to event-condition-action systems. Int. J. Softw. Tools Technol. Transf. 16(5): 507-518 (2014) - [c61]Dirk Beyer, Georg Dresler, Philipp Wendler:
Software Verification in the Google App-Engine Cloud. CAV 2014: 327-333 - [c60]Markus Schordan, Welf Löwe, Dirk Beyer:
Evaluation and Reproducibility of Program Analysis (Track Introduction). ISoLA (2) 2014: 479-481 - [c59]Dirk Beyer, Peter Häring:
A formal evaluation of DepDegree based on weyuker's properties. ICPC 2014: 258-261 - [c58]Dirk Beyer, Stefan Löwe, Evgeny Novikov, Andreas Stahlbauer, Philipp Wendler:
Precision Reuse in CPAchecker. Software Engineering 2014: 41-42 - [c57]Dirk Beyer, Andreas Holzer, Michael Tautschnig, Helmut Veith:
Reusing Information in Multi-Goal Reachability Analyses. Software Engineering 2014: 97-98 - [c56]Dirk Beyer:
Status Report on Software Verification - (Competition Summary SV-COMP 2014). TACAS 2014: 373-388 - [i10]Dirk Beyer, Marieke Huisman, Vladimir Klebanov, Rosemary Monahan:
Evaluating Software Verification Systems: Benchmarks and Competitions (Dagstuhl Reports 14171). Dagstuhl Reports 4(4): 1-19 (2014) - 2013
- [c55]Dirk Beyer, Andreas Holzer, Michael Tautschnig, Helmut Veith:
Information Reuse for Multi-goal Reachability Analyses. ESOP 2013: 472-491 - [c54]Dirk Beyer, Stefan Löwe:
Explicit-State Software Model Checking Based on CEGAR and Interpolation. FASE 2013: 146-162 - [c53]Sven Apel, Dirk Beyer, Karlheinz Friedberger, Franco Raimondi, Alexander von Rhein:
Domain Types: Abstract-Domain Selection Based on Variable Usage. Haifa Verification Conference 2013: 262-278 - [c52]Sven Apel, Alexander von Rhein, Philipp Wendler, Armin Größlinger, Dirk Beyer:
Strategies for product-line verification: case studies and experiments. ICSE 2013: 482-491 - [c51]Dirk Beyer, Stefan Löwe, Evgeny Novikov, Andreas Stahlbauer, Philipp Wendler:
Precision reuse for efficient regression verification. ESEC/SIGSOFT FSE 2013: 389-399 - [c50]Dirk Beyer, Philipp Wendler:
Reuse of Verification Results - Conditional Model Checking, Precision Reuse, and Verification Witnesses. SPIN 2013: 1-17 - [c49]Dirk Beyer:
Second Competition on Software Verification - (Summary of SV-COMP 2013). TACAS 2013: 594-609 - [e2]Dirk Beyer, Michele Boreale:
Formal Techniques for Distributed Systems - Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings. Lecture Notes in Computer Science 7892, Springer 2013, ISBN 978-3-642-38591-9 [contents] - [i9]Sven Apel, Dirk Beyer, Karlheinz Friedberger, Franco Raimondi, Alexander von Rhein:
Domain Types: Selecting Abstractions Based on Variable Usage. CoRR abs/1305.6640 (2013) - [i8]Dirk Beyer, Stefan Löwe, Evgeny Novikov, Andreas Stahlbauer, Philipp Wendler:
Reusing Precisions for Efficient Regression Verification. CoRR abs/1305.6915 (2013) - 2012
- [c48]Dirk Beyer, Philipp Wendler:
Algorithms for software model checking: Predicate abstraction vs. Impact. FMCAD 2012: 106-113 - [c47]Dirk Beyer, Alexander K. Petrenko:
Linux Driver Verification - (Position Paper). ISoLA (2) 2012: 1-6 - [c46]Falk Howar, Malte Isberner, Maik Merten, Bernhard Steffen, Dirk Beyer:
The RERS Grey-Box Challenge 2012: Analysis of Event-Condition-Action Systems. ISoLA (1) 2012: 608-614 - [c45]Dirk Beyer, Andreas Stahlbauer:
BDD-Based Software Model Checking with CPAchecker. MEMICS 2012: 1-11 - [c44]Dirk Beyer, Thomas A. Henzinger, M. Erkan Keremoglu, Philipp Wendler:
Conditional model checking: a technique to pass information between verifiers. SIGSOFT FSE 2012: 57 - [c43]Dirk Beyer:
Competition on Software Verification - (SV-COMP). TACAS 2012: 504-524 - [e1]Dirk Beyer, Arie van Deursen, Michael W. Godfrey:
IEEE 20th International Conference on Program Comprehension, ICPC 2012, Passau, Germany, June 11-13, 2012. IEEE Computer Society 2012, ISBN 978-1-4673-1216-5 [contents] - [i7]Dirk Beyer, Stefan Löwe:
Explicit-Value Analysis Based on CEGAR and Interpolation. CoRR abs/1212.6542 (2012) - 2011
- [c42]Dirk Beyer, M. Erkan Keremoglu:
CPAchecker: A Tool for Configurable Software Verification. CAV 2011: 184-190 - [c41]Sven Apel, Dirk Beyer:
Feature cohesion in software product lines: an exploratory study. ICSE 2011: 421-430 - [c40]Sven Apel, Hendrik Speidel, Philipp Wendler, Alexander von Rhein, Dirk Beyer:
Detection of feature interactions using feature-aware verification. ASE 2011: 372-375 - [i6]Dirk Beyer, Thomas A. Henzinger, M. Erkan Keremoglu, Philipp Wendler:
Conditional Model Checking. CoRR abs/1109.6926 (2011) - [i5]Sven Apel, Hendrik Speidel, Philipp Wendler, Alexander von Rhein, Dirk Beyer:
Feature-Aware Verification. CoRR abs/1110.0021 (2011) - 2010
- [c39]Dirk Beyer, Thomas A. Henzinger, Grégory Théoduloz, Damien Zufferey:
Shape Refinement through Explicit Heap Analysis. FASE 2010: 263-277 - [c38]Dirk Beyer, M. Erkan Keremoglu, Philipp Wendler:
Predicate abstraction with adjustable-block encoding. FMCAD 2010: 189-197 - [c37]Dirk Beyer, Ashgan Fararooy:
DepDigger: A Tool for Detecting Complex Low-Level Dependencies. ICPC 2010: 40-41 - [c36]Dirk Beyer, Ashgan Fararooy:
CheckDep: A Tool for Tracking Software Dependencies. ICPC 2010: 42-43 - [c35]Dirk Beyer, Ashgan Fararooy:
A Simple and Effective Measure for Complex Low-Level Dependencies. ICPC 2010: 80-83
2000 – 2009
- 2009
- [c34]Dirk Beyer, Alessandro Cimatti, Alberto Griggio, M. Erkan Keremoglu, Roberto Sebastiani:
Software model checking via large-block encoding. FMCAD 2009: 25-32 - [i4]Dirk Beyer, M. Erkan Keremoglu:
CPAchecker: A Tool for Configurable Software Verification. CoRR abs/0902.0019 (2009) - [i3]Dirk Beyer, Alessandro Cimatti, Alberto Griggio, M. Erkan Keremoglu, Roberto Sebastiani:
Software Model Checking via Large-Block Encoding. CoRR abs/0904.4709 (2009) - 2008
- [c33]Dirk Beyer, Damien Zufferey, Rupak Majumdar:
CSIsat: Interpolation for LA+EUF. CAV 2008: 304-308 - [c32]Dirk Beyer:
CCVisu: automatic visual software decomposition. ICSE Companion 2008: 967-968 - [c31]Dirk Beyer, Thomas A. Henzinger, Grégory Théoduloz:
Program Analysis with Dynamic Precision Adjustment. ASE 2008: 29-38 - 2007
- [j2]Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar:
The software model checker Blast. Int. J. Softw. Tools Technol. Transf. 9(5-6): 505-525 (2007) - [c30]Dirk Beyer, Thomas A. Henzinger, Vasu Singh:
Algorithms for Interface Synthesis. CAV 2007: 4-19 - [c29]Dirk Beyer, Thomas A. Henzinger, Grégory Théoduloz:
Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis. CAV 2007: 504-518 - [c28]Dirk Beyer, Arindam Chakrabarti, Thomas A. Henzinger, Sanjit A. Seshia:
An Application ofWeb-Service Interfaces. ICWS 2007: 831-838 - [c27]Dirk Beyer, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko:
Path invariants. PLDI 2007: 300-309 - [c26]Dirk Beyer, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko:
Invariant Synthesis for Combined Theories. VMCAI 2007: 378-394 - 2006
- [c25]Dirk Beyer, Thomas A. Henzinger, Grégory Théoduloz:
Lazy Shape Analysis. CAV 2006: 532-546 - [c24]Basil Becker, Dirk Beyer, Holger Giese, Florian Klein, Daniela Schilling:
Symbolic invariant verification for systems with dynamic structural adaptation. ICSE 2006: 72-81 - [c23]Dirk Beyer:
Relational programming with CrocoPat. ICSE 2006: 807-810 - [c22]Dirk Beyer, Ahmed E. Hassan:
Evolution Storyboards: Visualization of Software Structure Dynamics. ICPC 2006: 248-251 - [c21]Dirk Beyer:
Co-change visualization applied to PostgreSQL and ArgoUML: (MSR challenge report). MSR 2006: 165-166 - [c20]Dirk Beyer, Ahmed E. Hassan:
Animated Visualization of Software History using Evolution Storyboards. WCRE 2006: 199-210 - [i2]Dirk Beyer, Thomas A. Henzinger, Grégory Théoduloz:
Lazy Shape Analysis. Software Verification: Infinite-State Model Checking and Static Program Analysis 2006 - 2005
- [j1]Dirk Beyer, Andreas Noack, Claus Lewerentz:
Efficient Relational Calculation for Software Analysis. IEEE Trans. Software Eng. 31(2): 137-149 (2005) - [c19]Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar:
Checking Memory Safety with Blast. FASE 2005: 2-18 - [c18]Dirk Beyer:
Co-Change Visualization. ICSM (Industrial and Tool Volume) 2005: 89-92 - [c17]Dirk Beyer, Andreas Noack:
Clustering Software Artifacts Based on Frequent Common Changes. IWPC 2005: 259-268 - [c16]Dirk Beyer, Arindam Chakrabarti, Thomas A. Henzinger:
Web service interfaces. WWW 2005: 148-159 - 2004
- [c15]Dirk Beyer, Adam Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar:
Generating Tests from Counterexamples. ICSE 2004: 326-335 - [c14]Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar:
An Eclipse Plug-in for Model Checking. IWPC 2004: 251-255 - [c13]Dirk Beyer, Adam Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar:
Invited talk: the blast query language for software verification. PEPM 2004: 201-202 - [c12]Dirk Beyer, Adam Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar:
Invited talk: the blast query language for software verification. PPDP 2004: 1-2 - [c11]Dirk Beyer, Adam Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar:
The Blast Query Language for Software Verification.. SAS 2004: 2-18 - [i1]Dirk Beyer, Andreas Noack:
CrocoPat 2.1 Introduction and Reference Manual. CoRR cs.PL/0409009 (2004) - 2003
- [c10]Dirk Beyer, Claus Lewerentz, Andreas Noack:
Rabbit: A Tool for BDD-Based Verification of Real-Time Systems. CAV 2003: 122-125 - [c9]Dirk Beyer, Andreas Noack:
Can Decision Diagrams Overcome State Space Explosion in Real-Time Verification? FORTE 2003: 193-208 - [c8]Dirk Beyer, Claus Lewerentz:
CrocoPat: Efficient Pattern Analysis in Object-Oriented Programs. IWPC 2003: 294-295 - [c7]Dirk Beyer, Andreas Noack, Claus Lewerentz:
Simple and Efficient Relational Querying of Software Structures. WCRE 2003: 216-225 - 2002
- [b1]Dirk Beyer:
Formale Verifikation von Realzeit-Systemen mittels Cottbus-Timed-Automata. Brandenburg University of Technology, Cottbus - Senftenberg, Germany, 2002, ISBN 978-3-89820-450-7, pp. 1-251 - 2001
- [c6]Dirk Beyer:
Efficient Reachability Analysis and Refinement Checking of Timed Automata Using BDDs. CHARME 2001: 86-91 - [c5]Dirk Beyer:
Improvements in BDD-Based Reachability Analysis of Timed Automata. FME 2001: 318-343 - 2000
- [c4]Dirk Beyer, Andreas Noack:
BDD-basierte Verifikation von Echtzeit-Systemen. FBT 2000: 79-89 - [c3]Dirk Beyer, Claus Lewerentz, Frank Simon:
Impact of Inheritance on Metrics for Size, Coupling, and Cohesion in Object-Oriented Systems. IWSM 2000: 1-17
1990 – 1999
- 1999
- [c2]Dirk Beyer, Heinrich Rust:
Concepts of Cottbus Timed Automata. FBT 1999: 27-34 - 1998
- [c1]Dirk Beyer, Heinrich Rust:
Modeling a Production Cell as a Distributed Real-Time System with Cottbus Timed Automata. FBT 1998: 148-159
Coauthor Index
[j18] [j16] [c152] [c149] [c148] [c143] [c139] [d218] [d217] [d208] [d207] [d205] [i17] [c133] [d168] [d163] [d160] [j14] [c125] [d130] [d129] [d128] [d122] [d119] [d95] [d94] [d93] [i15] [c105] [d72] [d61] [d50] [c100] [c98] [c96] [d29] [d28] [d27] [c92] [c87] [c86] [d14] [d13] [d12] [d11] [d10] [d9] [d8] [d7] [c85] [c80]
[j19] [c149] [c139] [d218] [d217] [d204] [d197] [d196] [d195] [d194] [d193] [d192] [d191] [d190] [d189] [i17] [d161] [d156] [d155] [d154] [d144] [d143] [d142] [d141] [d140] [j15] [d128] [d117] [d116] [d112] [d111] [d110] [d109] [d108] [d107] [i16] [j13] [d89] [d88] [d87] [d86] [d85] [d84] [c102] [d49] [d46] [d45] [d44] [d43] [d42] [d41] [d40] [d39] [d38] [d37] [d36] [d35] [j6] [d26] [d25] [d24] [d23] [d22] [d21] [d20] [d19] [d18] [d17] [d16] [j5] [d8] [d7] [d6] [d5] [c70] [c68] [c64] [c63] [d1] [i12] [i11] [c61] [c58] [c52] [c51] [c50] [i8] [c48] [c44] [c40] [i6] [i5] [c38]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-03-21 02:11 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
