Logo Logo
Exportieren als [RSS feed] RSS 1.0 [RSS2 feed] RSS 2.0
Gruppiert nach: Dokumententyp | Veröffentlichungsdatum
Springe zu: Konferenzbeitrag
Anzahl der Publikationen: 5

Konferenzbeitrag

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]

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 (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 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

Diese Liste wurde am Sat Dec 21 18:43:30 2024 CET erstellt.