Stop the war!Остановите войну!
for scientists:
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
- 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]