|
Eine Ebene nach oben |
Gruppiert nach:
Dokumententyp
| Veröffentlichungsdatum
Springe zu: Konferenzbeitrag
Anzahl der Publikationen: 3
Konferenzbeitrag
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