


Остановите войну!
for scientists:


default search action
Dirk 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
- 2023
- [c134]Dirk Beyer
:
Software Testing: 5th Comparative Evaluation: Test-Comp 2023. FASE 2023: 309-323 - [c133]Dirk Beyer, Sudeep Kanav, Henrik Wachowitz:
CoVeriTeam Service: Verification as a Service. ICSE Companion 2023: 21-25 - [c132]Dirk Beyer, Jan Haltermann, Thomas Lemberger, Heike Wehrheim:
Component-based CEGAR - Building Software Verifiers from Off-the-Shelf Components. Software Engineering 2023: 37-38 - [c131]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 - [c130]Dirk Beyer
:
Competition on Software Verification and Witness Validation: SV-COMP 2023. TACAS (2) 2023: 495-522 - 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 - [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 - [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]
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] - [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] - 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 - 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 - [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]