Logo Logo
[höher] Eine Ebene höher
Exportieren als [RSS feed] RSS 1.0 [RSS2 feed] RSS 2.0
Gruppiert nach: Dokumententyp | Veröffentlichungsdatum
Springe zu: 2025 | 2024 | 2023 | 2022 | 2021 | 2020 | 2019 | 2018 | 2016
Anzahl der Publikationen: 33

2025

Beyer, Dirk ORCID logoORCID: https://orcid.org/0000-0003-4832-7662; Lee, Nian-Ze ORCID logoORCID: https://orcid.org/0000-0002-8096-5595 und Wendler, Philipp ORCID logoORCID: https://orcid.org/0000-0002-5139-341X (2025): Interpolation and SAT-Based Model Checking Revisited: Adoption to Software Verification. In: Journal of Automated Reasoning, Bd. 69, Nr. 1, 5 [PDF, 981kB]

2024

Beyer, Dirk ORCID logoORCID: https://orcid.org/0000-0003-4832-7662 und Lemberger, Thomas ORCID logoORCID: https://orcid.org/0000-0003-0291-815X (2024): Six years later: testing vs. model checking. In: International Journal on Software Tools for Technology Transfer, Bd. 26, Nr. 6: S. 633-646 [PDF, 1MB]

2023

Beyer, Dirk ORCID logoORCID: https://orcid.org/0000-0003-4832-7662; Kanav, Sudeep ORCID logoORCID: https://orcid.org/0000-0001-6078-4175 und Wachowitz, Henrik (2023): CoVeriTeam Service: Verification as a Service. 45th IEEE/ACM International Conference on Software Engineering (ICSE), Melbourne, Australia, 14. - 20. Mai 2023. Institute of Electrical and Electronics Engineers (Hrsg.), In: 2023 IEEE/ACM 45th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion), Piscataway: IEEE. S. 21-25 [PDF, 286kB]

Beyer, Dirk ORCID logoORCID: https://orcid.org/0000-0003-4832-7662; Chien, Po-Chun und Lee, Nian-Ze (2023): CPA-DF. A Tool for Configurable Interval Analysis to Boost Program Verification. 38th IEEE/ACM International Conference on Automated Software Engineering (ASE), Echternach, Luxembourg, 11. - 15. September 2023. Bissyandé, Tegawendé F. (Hrsg.): In: 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE), Piscataway: IEEE. S. 2050-2053 [PDF, 332kB]

Beyer, Dirk ORCID logoORCID: https://orcid.org/0000-0003-4832-7662 und Spiessl, Martin ORCID logoORCID: https://orcid.org/0000-0002-9169-9130 (2023): LIV. Loop-Invariant Validation using Straight-Line Programs. 38th IEEE/ACM International Conference on Automated Software Engineering (ASE), Echternach, Luxemburg, Sep 11-15, 2023. In: 2023 38th IEEE/ACM International Conference on Automated Software Engineering, Piscataway, NJ: IEEE. S. 2074-2077

Beyer, Dirk ORCID logoORCID: https://orcid.org/0000-0003-4832-7662; Lingsch-Rosenfeld, Marian ORCID logoORCID: https://orcid.org/0000-0002-8172-3184 und Spiessl, Martin ORCID logoORCID: https://orcid.org/0000-0002-9169-9130 (2023): CEGAR-PT. A Tool for Abstraction by Program Transformation. 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE), Kirchberg, Luxembourg, 11-15 September 2023. In: 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE), Piscataway, NJ: IEEE. S. 2078-2081 [PDF, 136kB]

2022

Beyer, Dirk ORCID logoORCID: https://orcid.org/0000-0003-4832-7662; Haltermann, Jan; Lemberger, Thomas und Wehrheim, Heike (2022): Decomposing software verification into off-the-shelf components. 44th International Conference on Software Engineering: ICSE '22, Pittsburgh Pennsylvania, May 21 - 29, 2022. In: Proceedings of the 44th International Conference on Software Engineering, New York: Association for Computing Machinery. S. 536-548

Beyer, Dirk ORCID logoORCID: https://orcid.org/0000-0003-4832-7662 (2022): Advances in Automatic Software Testing: Test-Comp 2022. 25th International Conference, FASE 2022, Munich, Germany, April 2–7, 2022. In: Fundamental Approaches to Software Engineering. 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Lecture Notes in Computer Science Bd. 13241 S. 321-335

Beyer, Dirk ORCID logoORCID: https://orcid.org/0000-0003-4832-7662; Kanav, Sudeep ORCID logoORCID: https://orcid.org/0000-0001-6078-4175 und Richter, Cedric ORCID logoORCID: https://orcid.org/0000-0003-2906-6508 (2022): Construction of Verifier Combinations Based on Off-the-Shelf Verifiers. . In: Fundamental Approaches to Software Engineering. 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Lecture Notes in Computer Science Bd. 13241 Cham, Switzerland: Springer. S. 49-70

Beyer, Dirk ORCID logoORCID: https://orcid.org/0000-0003-4832-7662; Lingsch Rosenfeld, Marian ORCID logoORCID: https://orcid.org/0000-0002-8172-3184 und Spiessl, Martin ORCID logoORCID: https://orcid.org/0000-0002-9169-9130 (2022): A Unifying Approach for Control-Flow-Based Loop Abstraction. 20th International Conference on Software Engineering and Formal Methods, SEFM 2022, Berlin, Germany, September 26–30, 2022. Schlingloff, Bernd-Holger und Chai, Ming (Hrsg.): In: Software Engineering and Formal Methods. 20th International Conference, SEFM 2022, Berlin, Germany, September 26–30, 2022, Proceedings, Lecture Notes in Computer Science Bd. 13550 Cham, Switzerland: Springer. S. 3-19

Beyer, Dirk ORCID logoORCID: https://orcid.org/0000-0003-4832-7662; Spiessl, Martin ORCID logoORCID: https://orcid.org/0000-0002-9169-9130 und Umbricht, Sven ORCID logoORCID: https://orcid.org/0000-0002-5704-0404 (2022): Cooperation Between Automatic and Interactive Software Verifiers. 20th International Conference on Software Engineering and Formal Methods, SEFM 2022, Berlin, Germany, September 26–30, 2022. Schlingloff, Bernd-Holger und Chai, Ming (Hrsg.): In: Software Engineering and Formal Methods. 20th International Conference, SEFM 2022, Berlin, Germany, September 26–30, 2022, Proceedings, Lecture Notes in Computer Science Bd. 13550 Cham, Switzerland: Springer. S. 111-128

Beyer, Dirk ORCID logoORCID: https://orcid.org/0000-0003-4832-7662 und Strejček, Jan ORCID logoORCID: https://orcid.org/0000-0001-5873-403X (2022): Case Study on Verification-Witness Validators: Where We Are and Where We Go. 29th International Symposium, SAS 2022, Auckland, New Zealand, December 5–7, 2022. Singh, Gagandeep und Urban, Caterina (Hrsg.): In: Static Analysis. Proceedings, Lecture Notes in Computer Science Bd. 13790 Cham, Switzerland: Springer. S. 160-174

Beyer, Dirk ORCID logoORCID: https://orcid.org/0000-0003-4832-7662 und Kanav, Sudeep ORCID logoORCID: https://orcid.org/0000-0001-6078-4175 (2022): CoVeriTeam: On-Demand Composition of Cooperative Verification Systems. 28th international conference, TACAS 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2-7, 2022. Fisman, Dana (Hrsg.): In: Tools and algorithms for the construction and analysis of systems. Part 1. 28th international conference, TACAS 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022 : proceedings, Lecture Notes in Computer Science Bd. 13243 Cham, Switzerland: Springer. S. 561-579

Beyer, Dirk ORCID logoORCID: https://orcid.org/0000-0003-4832-7662 (2022): Progress on Software Verification: SV-COMP 2022. 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022. In: Tools and Algorithms for the Construction and Analysis of Systems. 28th international conference, TACAS 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022 : proceedings, Part II, Lecture Notes in Computer Science Bd. 13244 Cham, Switzerland: Springer. S. 375-402

Beyer, Dirk ORCID logoORCID: https://orcid.org/0000-0003-4832-7662 und Spiessl, Martin ORCID logoORCID: https://orcid.org/0000-0002-9169-9130 (2022): The Static Analyzer Frama-C in SV-COMP (Competition Contribution). 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022. Fisman, Dana und Rosu, Grigore (Hrsg.): In: Tools and Algorithms for the Construction and Analysis of Systems. 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Proceedings, Part II, Lecture Notes in Computer Science Bd. 13244 Cham: Springer. S. 429-434

Beyer, Dirk; Dangl, Matthias; Dietsch, Daniel; Heizmann, Matthias; Lemberger, Thomas und Tautschnig, Michael (2022): Verification Witnesses. In: ACM Transactions on Software Engineering and Methodology, Bd. 31, Nr. 4, 57

2021

Beyer, Dirk und Jakobs, Marie-Christine (2021): Cooperative verifier-based testing with CoVeriTest. In: International Journal on Software Tools for Technology Transfer, Bd. 23, Nr. 3: S. 313-333

Beyer, Dirk (2021): First international competition on software testing. In: International Journal on Software Tools for Technology Transfer, Bd. 23, Nr. 6: S. 833-846

Beyer, Dirk ORCID logoORCID: https://orcid.org/0000-0003-4832-7662; Friedberger, Karlheinz ORCID logoORCID: https://orcid.org/0000-0001-7624-654X und Holzner, Stephan (2021): PJBDD: A BDD Library for Java and Multi-Threading. In: Hou, Zhe und Ganesh, Vijay (Hrsg.): Automated Technology for Verification and Analysis : 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, Proceedings. Lecture Notes in Computer Science (LNCS), Bd. 12971. Cham: Springer. S. 144-149

Baier, Daniel ORCID logoORCID: https://orcid.org/0000-0001-9116-1974; Beyer, Dirk ORCID logoORCID: https://orcid.org/0000-0003-4832-7662 und Friedberger, Karlheinz ORCID logoORCID: https://orcid.org/0000-0001-7624-654X (2021): JavaSMT 3: Interacting with SMT Solvers in Java. In: Silva, Alexandra und Leino, K. Rustan M. (Hrsg.): Computer Aided Verification. 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II. Theoretical Computer Science and General Issues (LNTCS), Bd. 12760. Cham: Springer. S. 195-208

Beyer, Dirk ORCID logoORCID: https://orcid.org/0000-0003-4832-7662 (2021): Status Report on Software Testing: Test-Comp 2021. In: Guerra, Esther und Stoelinga, Mariëlle (Hrsg.): Fundamental Approaches to Software Engineering. 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings. Theoretical Computer Science and General Issues (LNTCS), Bd. 12649. Cham: Springer. S. 341-357

2020

Beyer, Dirk ORCID logoORCID: https://orcid.org/0000-0003-4832-7662 und Huisman, Marieke (2020): Selected and Extended Papers from TACAS 2018: Preface. In: Journal of Automated Reasoning, Bd. 64, Nr. 7: S. 1331-1332 [PDF, 172kB]

Beyer, Dirk ORCID logoORCID: https://orcid.org/0000-0003-4832-7662 und Huisman, Marieke (2020): Tools for the construction and analysis of systems. In: International Journal on Software Tools for Technology Transfer, Bd. 22: S. 685-687 [PDF, 213kB]

2019

Beyer, Dirk und Lemberger, Thomas (2019): TESTCov: Robust Test-Suite Execution and Coverage Measurement. In: 34Th Ieee/Acm International Conference on Automated Software Engineering (Ase 2019): S. 1074-1077

Beyer, Dirk; Loewe, Stefan und Wendler, Philipp (2019): Reliable benchmarking: requirements and solutions. In: International Journal on Software Tools for Technology Transfer, Bd. 21, Nr. 1: S. 1-29

2018

Beyer, Dirk; Dangl, Matthias und Wendler, Philipp (2018): A Unifying View on SMT-Based Software Verification. In: Journal of Automated Reasoning, Bd. 60, Nr. 3: S. 299-335

Beyer, Dirk; Jakobs, Marie-Christine; Lemberger, Thomas und Wehrheim, Heike (2018): Reducer-Based Construction of Conditional Verifiers. In: Proceedings 2018 Ieee/Acm 40Th International Conference on Software Engineering (Icse): S. 1182-1193

2016

Beyer, Dirk und Friedberger, Karlheinz (2016): A Light-Weight Approach for Verifying Multi-Threaded Programs with CPAchecker. In: Electronic Proceedings in Theoretical Computer Science, Nr. 233: S. 61-71 [PDF, 313kB]

Beyer, Dirk (2016): Partial Verification and Intermediate Results as a Solution to Combine Automatic and Interactive Verification Techniques. In: Margaria, Tiziana und Steffen, Bernhard (Hrsg.): Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I. Lecture Notes in Computer Science, Bd. 9952. Cham: Springer. S. 874-880

Beyer, Dirk und Lemberger, Thomas (2016): Symbolic Execution with CEGAR. In: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I. Lecture Notes in Computer Science, Bd. 9952. Cham: Springer. S. 195-211

Schordan, Markus; Beyer, Dirk und Lundberg, Jonas (2016): Evaluation and Reproducibility of Program Analysis and Verification (Track Introduction). In: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I. Theoretical Computer Science and General Issues, Bd. 9952. Cham: Springer. S. 191-194

Beyer, Dirk; Dangl, Matthias; Dietsch, Daniel und Heizmann, Matthias (2016): Correctness Witnesses: Exchanging Verification Results between Verifiers. 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering FSE 2016, Seattle, WA, USA, November 13 - 18, 2016. In: Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, New York: Association for Computing Machinery. S. 326-337

Apel, Sven; Beyer, Dirk; Mordan, Vitaly; Mutilin, Vadim und Stahlbauer, Andreas (2016): On-the-Fly Decomposition of Specifications in Software Model Checking. 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering FSE 2016, Seattle, WA, USA, November 13 - 18, 2016. In: Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, Association for Computing Machinery. S. 349-361

Diese Liste wurde am Sun Oct 26 02:29:10 2025 CEST erstellt.

Open Access LMU verwendet EPrints 3, das an der School of Electronics and Computer Science der Universität Southampton entwickelt wurde.
Impressum − Datenschutz