![[höher]](/style/images/multi_up.png)
Eine Ebene höherGruppiert nach: Dokumententyp |
Veröffentlichungsdatum
Anzahl der Publikationen: 5
2023
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]
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
2022
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; 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 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