Finite-state abstractions of infinite-state systems

Projektinformationen

FINABIS

ID Finanzhilfevereinbarung: 101077902

DOI

10.3030/101077902

EK-Unterschriftsdatum 20 Dezember 2022

Startdatum 1 Januar 2023

Enddatum 31 Dezember 2027

Finanziert unter

• European Research Council (ERC)

Gesamtkosten

€ 1 482 500,00

EU-Beitrag

€ 1 482 500,00

Koordiniert durch

MAX-PLANCK-GESELLSCHAFT ZUR FORDERUNG DER WISSENSCHAFTEN EV
Germany

CORDIS bietet Links zu öffentlichen Ergebnissen und Veröffentlichungen von HORIZONT-Projekten.

Links zu Ergebnissen und Veröffentlichungen von RP7-Projekten sowie Links zu einigen Typen spezifischer Ergebnisse wie Datensätzen und Software werden dynamisch von OpenAIRE abgerufen.

Leistungen

Data Management Plan (1)

Data Management Plan

Drafting of Data Management Plan

Veröffentlichungen

Conference proceedings (15)

Directed Regular and Context-Free Languages

Autoren: Ganardi, M.; Sağlam, I.; Zetzsche, G.
Veröffentlicht in: Proc. of STACS 2024, 2024
Herausgeber: Leibniz International Proceedings in Informatics
DOI: 10.4230/LIPICS.STACS.2024.36

The Power of Hard Attention Transformers on Data Sequences: A Formal Language Theoretic Perspective

Autoren: Pascal Bergsträßer, Chris Köcher, Anthony W. Lin, Georg Zetzsche
Veröffentlicht in: Proc. of NeurIPS 2024, 2024
Herausgeber: NeurIPS

Slice closures of indexed languages and word equations with counting constraints

Autoren: Laura Ciobanu; Georg Zetzsche
Veröffentlicht in: Proc. of LICS 2024, 2024
Herausgeber: ACM
DOI: 10.1145/3661814.3662134

Priority Downward Closures

Autoren: Anand, A.; Zetzsche, G.
Veröffentlicht in: Proc. of CONCUR 2023, 2023
Herausgeber: Leibniz International Proceedings in Informatics
DOI: 10.4230/LIPICS.CONCUR.2023.39

Context-Bounded Analysis of Concurrent Programs (Invited Talk)

Autoren: Baumann, Pascal; Ganardi, Moses; Majumdar, Rupak; Thinniyam, Ramanathan S.; Zetzsche, Georg
Veröffentlicht in: Proc. of ICALP 2023, 2023
Herausgeber: Leibniz International Proceedings in Informatics
DOI: 10.4230/LIPICS.ICALP.2023.3

Regular Separability in Büchi VASS

Autoren: Baumann, P.; Meyer, R.; Zetzsche, G.
Veröffentlicht in: Proc. of STACS 2023, 2023
Herausgeber: Leibniz International Proceedings in Informatics
DOI: 10.4230/LIPICS.STACS.2023.9

Unboundedness Problems for Machines with Reversal-Bounded Counters

Autoren: Pascal Baumann; Flavio D’Alessandro; Moses Ganardi; Oscar Ibarra; Ian McQuillan; Lia Schütze; Georg Zetzsche
Veröffentlicht in: Proc. of FoSSaCS 2023, 2023
Herausgeber: Springer, Cham
DOI: 10.1007/978-3-031-30829-1_12

Separability in Büchi VASS and Singly Non-Linear Systems of Inequalities

Autoren: Pascal Baumann, Eren Keskin, Roland Meyer, Georg Zetzsche
Veröffentlicht in: Proc. of ICALP 2024, 2024
Herausgeber: Leibniz International Proceedings in Informatics
DOI: 10.4230/LIPICS.ICALP.2024.126

Regular Separators for VASS Coverability Languages

Autoren: Köcher, Chris; Zetzsche, Georg
Veröffentlicht in: Proc. of FSTTCS 2023, 2023
Herausgeber: Leibniz International Proceedings in Informatics
DOI: 10.4230/LIPICS.FSTTCS.2023.15

Checking Refinement of Asynchronous Programs against Context-Free Specifications

Autoren: Baumann, Pascal; Ganardi, Moses; Majumdar, Rupak; Thinniyam, Ramanathan S.; Zetzsche, Georg
Veröffentlicht in: Proc. of ICALP 2023, 2023
Herausgeber: Leibniz International Proceedings in Informatics
DOI: 10.48550/ARXIV.2306.13058

An Efficient Quantifier Elimination Procedure for Presburger Arithmetic

Autoren: Christoph Haase, Shankara Narayanan Krishna, Khushraj Madnani, Om Swostik Mishra, Georg Zetzsche
Veröffentlicht in: Proc. of ICALP 2024, 2024
Herausgeber: Leibniz International Proceedings in Informatics
DOI: 10.4230/LIPICS.ICALP.2024.142

Reachability in Continuous Pushdown VASS

Autoren: A. R. Balasubramanian, Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche
Veröffentlicht in: Proceedings of the ACM on Programming Languages, Ausgabe 8, 2024, ISSN 2475-1421
Herausgeber: Association for Computing Machinery (ACM)
DOI: 10.1145/3633279

Ramsey Quantifiers in Linear Arithmetics

Autoren: Pascal Bergsträßer, Moses Ganardi, Anthony W. Lin, Georg Zetzsche
Veröffentlicht in: Proceedings of the ACM on Programming Languages, Ausgabe 8, 2024, ISSN 2475-1421
Herausgeber: Association for Computing Machinery (ACM)
DOI: 10.1145/3632843

Checking Refinement of Asynchronous Programs against Context-Free Specifications

Autoren: Baumann, P.; Ganardi, M.; Majumdar, R.; Thinniyam Srinivasan, R.; Zetzsche, G.
Veröffentlicht in: Proc. of ICALP 2023, 2023
Herausgeber: Leibniz International Proceedings in Informatics
DOI: 10.4230/LIPICS.ICALP.2023.110

Verifying Unboundedness via Amalgamation

Autoren: Ashwani Anand; Sylvain Schmitz; Lia Schütze; Georg Zetzsche
Veröffentlicht in: Proc. of LICS 2024, 2024
Herausgeber: ACM
DOI: 10.1145/3661814.3662133