Finite-state abstractions of infinite-state systems

Informations projet

FINABIS

N° de convention de subvention: 101077902

DOI

10.3030/101077902

Date de signature de la CE 20 Decembre 2022

Date de début 1 Janvier 2023

Date de fin 31 Decembre 2027

Financé au titre de

• European Research Council (ERC)

Coût total

€ 1 482 500,00

Contribution de l’UE

€ 1 482 500,00

Coordonné par

MAX-PLANCK-GESELLSCHAFT ZUR FORDERUNG DER WISSENSCHAFTEN EV
Germany

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Livrables

Data Management Plan (1)

Data Management Plan

Drafting of Data Management Plan

Publications

Conference proceedings (15)

Directed Regular and Context-Free Languages

Auteurs: Ganardi, M.; Sağlam, I.; Zetzsche, G.
Publié dans: Proc. of STACS 2024, 2024
Éditeur: 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

Auteurs: Pascal Bergsträßer, Chris Köcher, Anthony W. Lin, Georg Zetzsche
Publié dans: Proc. of NeurIPS 2024, 2024
Éditeur: NeurIPS

Slice closures of indexed languages and word equations with counting constraints

Auteurs: Laura Ciobanu; Georg Zetzsche
Publié dans: Proc. of LICS 2024, 2024
Éditeur: ACM
DOI: 10.1145/3661814.3662134

Priority Downward Closures

Auteurs: Anand, A.; Zetzsche, G.
Publié dans: Proc. of CONCUR 2023, 2023
Éditeur: Leibniz International Proceedings in Informatics
DOI: 10.4230/LIPICS.CONCUR.2023.39

Context-Bounded Analysis of Concurrent Programs (Invited Talk)

Auteurs: Baumann, Pascal; Ganardi, Moses; Majumdar, Rupak; Thinniyam, Ramanathan S.; Zetzsche, Georg
Publié dans: Proc. of ICALP 2023, 2023
Éditeur: Leibniz International Proceedings in Informatics
DOI: 10.4230/LIPICS.ICALP.2023.3

Regular Separability in Büchi VASS

Auteurs: Baumann, P.; Meyer, R.; Zetzsche, G.
Publié dans: Proc. of STACS 2023, 2023
Éditeur: Leibniz International Proceedings in Informatics
DOI: 10.4230/LIPICS.STACS.2023.9

Unboundedness Problems for Machines with Reversal-Bounded Counters

Auteurs: Pascal Baumann; Flavio D’Alessandro; Moses Ganardi; Oscar Ibarra; Ian McQuillan; Lia Schütze; Georg Zetzsche
Publié dans: Proc. of FoSSaCS 2023, 2023
Éditeur: Springer, Cham
DOI: 10.1007/978-3-031-30829-1_12

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

Auteurs: Pascal Baumann, Eren Keskin, Roland Meyer, Georg Zetzsche
Publié dans: Proc. of ICALP 2024, 2024
Éditeur: Leibniz International Proceedings in Informatics
DOI: 10.4230/LIPICS.ICALP.2024.126

Regular Separators for VASS Coverability Languages

Auteurs: Köcher, Chris; Zetzsche, Georg
Publié dans: Proc. of FSTTCS 2023, 2023
Éditeur: Leibniz International Proceedings in Informatics
DOI: 10.4230/LIPICS.FSTTCS.2023.15

Checking Refinement of Asynchronous Programs against Context-Free Specifications

Auteurs: Baumann, Pascal; Ganardi, Moses; Majumdar, Rupak; Thinniyam, Ramanathan S.; Zetzsche, Georg
Publié dans: Proc. of ICALP 2023, 2023
Éditeur: Leibniz International Proceedings in Informatics
DOI: 10.48550/ARXIV.2306.13058

An Efficient Quantifier Elimination Procedure for Presburger Arithmetic

Auteurs: Christoph Haase, Shankara Narayanan Krishna, Khushraj Madnani, Om Swostik Mishra, Georg Zetzsche
Publié dans: Proc. of ICALP 2024, 2024
Éditeur: Leibniz International Proceedings in Informatics
DOI: 10.4230/LIPICS.ICALP.2024.142

Reachability in Continuous Pushdown VASS

Auteurs: A. R. Balasubramanian, Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche
Publié dans: Proceedings of the ACM on Programming Languages, Numéro 8, 2024, ISSN 2475-1421
Éditeur: Association for Computing Machinery (ACM)
DOI: 10.1145/3633279

Ramsey Quantifiers in Linear Arithmetics

Auteurs: Pascal Bergsträßer, Moses Ganardi, Anthony W. Lin, Georg Zetzsche
Publié dans: Proceedings of the ACM on Programming Languages, Numéro 8, 2024, ISSN 2475-1421
Éditeur: Association for Computing Machinery (ACM)
DOI: 10.1145/3632843

Checking Refinement of Asynchronous Programs against Context-Free Specifications

Auteurs: Baumann, P.; Ganardi, M.; Majumdar, R.; Thinniyam Srinivasan, R.; Zetzsche, G.
Publié dans: Proc. of ICALP 2023, 2023
Éditeur: Leibniz International Proceedings in Informatics
DOI: 10.4230/LIPICS.ICALP.2023.110

Verifying Unboundedness via Amalgamation

Auteurs: Ashwani Anand; Sylvain Schmitz; Lia Schütze; Georg Zetzsche
Publié dans: Proc. of LICS 2024, 2024
Éditeur: ACM
DOI: 10.1145/3661814.3662133