CPAchecker: A Tool for Configurable Software Verification von Beyer, Dirk, Keremoglu, M. Erkan

Volltext

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 2... von Beyer, Dirk, Cavalcanti, Ana

Volltext

A Unifying View on SMT-Based Software Verification von Beyer, Dirk, Dangl, Matthias, Wendler, Philipp

Volltext

Verification, Model Checking, and Abstract Interpretation: 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020, Proceedings von Beyer, Dirk, Zufferey, Damien

Volltext

Tests and Proofs: 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9-11, 2019, Proceedings von Beyer, Dirk, Keller, Chantal

Volltext

European benchmarking of determinants of profitability for companies with accrual accounting in the agricultural sector von Beyer, Dirk, Hinke, Jana

Volltext

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... von Beyer, Dirk, Huisman, Marieke

Volltext

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 von Beyer, Dirk, Huisman, Marieke, Kordon, Fabrice, Steffen, Bernhard

Volltext

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

Volltext

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... von Beyer, Dirk, Huisman, Marieke

Volltext

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...

Volltext

Tools and Algorithms for the Construction and Analysis of Systems: Part I : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and... von Marieke Huisman, Dirk Beyer

Volltext

First international competition on software testing von Beyer, Dirk

Volltext

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... von Beyer, Dirk, Huisman, Marieke

Volltext

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,... von Beyer, Dirk, Huisman, Marieke, Kordon, Fabrice, Steffen, Bernhard

Volltext

A Light-Weight Approach for Verifying Multi-Threaded Programs with CPAchecker von Beyer, Dirk, Friedberger, Karlheinz

Volltext

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... von Dirk Beyer, Marieke Huisman

Volltext

TOOLympics I: Competition on software testing von Beyer, Dirk, Huisman Marieke

Volltext

TOOLympics I: Competition on software testing: A special issue for Test-Comp 2019 von Beyer, Dirk, Huisman, Marieke

Volltext

Reliable benchmarking: requirements and solutions von Beyer, Dirk, Löwe, Stefan, Wendler, Philipp

Volltext