Anzahl der Publikationen: 27
2022
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
Beyer, Dirk
ORCID: https://orcid.org/0000-0003-4832-7662 und Spiessl, Martin
ORCID: 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
ORCID: 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: https://orcid.org/0000-0003-4832-7662 und Kanav, Sudeep
ORCID: 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: https://orcid.org/0000-0003-4832-7662 und Strejček, Jan
ORCID: 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: https://orcid.org/0000-0003-4832-7662; Spiessl, Martin
ORCID: https://orcid.org/0000-0002-9169-9130 und Umbricht, Sven
ORCID: 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: https://orcid.org/0000-0003-4832-7662; Lingsch Rosenfeld, Marian
ORCID: https://orcid.org/0000-0002-8172-3184 und Spiessl, Martin
ORCID: 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: https://orcid.org/0000-0003-4832-7662; Kanav, Sudeep
ORCID: https://orcid.org/0000-0001-6078-4175 und Richter, Cedric
ORCID: 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: 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
2021
Baier, Daniel
ORCID: https://orcid.org/0000-0001-9116-1974; Beyer, Dirk
ORCID: https://orcid.org/0000-0003-4832-7662 und Friedberger, Karlheinz
ORCID: 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: https://orcid.org/0000-0003-4832-7662; Friedberger, Karlheinz
ORCID: 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
Beyer, Dirk
ORCID: 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
2019
2018
2016
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
Sat Aug 3 23:48:57 2024 CEST
erstellt.