![[höher]](/style/images/multi_up.png)
Eine Ebene höherGruppiert nach: Dokumententyp |
Veröffentlichungsdatum
Anzahl der Publikationen: 29
2023
Beyer, Dirk 
ORCID: https://orcid.org/0000-0003-4832-7662 und Spiessl, Martin ORCID: 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
ORCID: https://orcid.org/0000-0003-4832-7662 und Spiessl, Martin ORCID: 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: 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
(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]
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
(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; 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
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
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
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
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
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
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
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
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
Beyer, Dirk ORCID: 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
ORCID: 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
2021
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
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 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
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
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
(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
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
Beyer, Dirk ORCID: 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]
ORCID: 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: 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]
ORCID: 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