Finite-state abstractions of infinite-state systems

Información del proyecto

FINABIS

Identificador del acuerdo de subvención: 101077902

DOI

10.3030/101077902

Fecha de la firma de la CE 20 Diciembre 2022

Fecha de inicio 1 Enero 2023

Fecha de finalización 31 Diciembre 2027

Financiado con arreglo a

• European Research Council (ERC)

Coste total

€ 1 482 500,00

Aportación de la UE

€ 1 482 500,00

Coordinado por

MAX-PLANCK-GESELLSCHAFT ZUR FORDERUNG DER WISSENSCHAFTEN EV
Germany

CORDIS proporciona enlaces a los documentos públicos y las publicaciones de los proyectos de los programas marco HORIZONTE.

Los enlaces a los documentos y las publicaciones de los proyectos del Séptimo Programa Marco, así como los enlaces a algunos tipos de resultados específicos, como conjuntos de datos y «software», se obtienen dinámicamente de OpenAIRE .

Resultado final

Data Management Plan (1)

Data Management Plan

Drafting of Data Management Plan

Publicaciones

Conference proceedings (15)

Directed Regular and Context-Free Languages

Autores: Ganardi, M.; Sağlam, I.; Zetzsche, G.
Publicado en: Proc. of STACS 2024, 2024
Editor: 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

Autores: Pascal Bergsträßer, Chris Köcher, Anthony W. Lin, Georg Zetzsche
Publicado en: Proc. of NeurIPS 2024, 2024
Editor: NeurIPS

Slice closures of indexed languages and word equations with counting constraints

Autores: Laura Ciobanu; Georg Zetzsche
Publicado en: Proc. of LICS 2024, 2024
Editor: ACM
DOI: 10.1145/3661814.3662134

Priority Downward Closures

Autores: Anand, A.; Zetzsche, G.
Publicado en: Proc. of CONCUR 2023, 2023
Editor: Leibniz International Proceedings in Informatics
DOI: 10.4230/LIPICS.CONCUR.2023.39

Context-Bounded Analysis of Concurrent Programs (Invited Talk)

Autores: Baumann, Pascal; Ganardi, Moses; Majumdar, Rupak; Thinniyam, Ramanathan S.; Zetzsche, Georg
Publicado en: Proc. of ICALP 2023, 2023
Editor: Leibniz International Proceedings in Informatics
DOI: 10.4230/LIPICS.ICALP.2023.3

Regular Separability in Büchi VASS

Autores: Baumann, P.; Meyer, R.; Zetzsche, G.
Publicado en: Proc. of STACS 2023, 2023
Editor: Leibniz International Proceedings in Informatics
DOI: 10.4230/LIPICS.STACS.2023.9

Unboundedness Problems for Machines with Reversal-Bounded Counters

Autores: Pascal Baumann; Flavio D’Alessandro; Moses Ganardi; Oscar Ibarra; Ian McQuillan; Lia Schütze; Georg Zetzsche
Publicado en: Proc. of FoSSaCS 2023, 2023
Editor: Springer, Cham
DOI: 10.1007/978-3-031-30829-1_12

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

Autores: Pascal Baumann, Eren Keskin, Roland Meyer, Georg Zetzsche
Publicado en: Proc. of ICALP 2024, 2024
Editor: Leibniz International Proceedings in Informatics
DOI: 10.4230/LIPICS.ICALP.2024.126

Regular Separators for VASS Coverability Languages

Autores: Köcher, Chris; Zetzsche, Georg
Publicado en: Proc. of FSTTCS 2023, 2023
Editor: Leibniz International Proceedings in Informatics
DOI: 10.4230/LIPICS.FSTTCS.2023.15

Checking Refinement of Asynchronous Programs against Context-Free Specifications

Autores: Baumann, Pascal; Ganardi, Moses; Majumdar, Rupak; Thinniyam, Ramanathan S.; Zetzsche, Georg
Publicado en: Proc. of ICALP 2023, 2023
Editor: Leibniz International Proceedings in Informatics
DOI: 10.48550/ARXIV.2306.13058

An Efficient Quantifier Elimination Procedure for Presburger Arithmetic

Autores: Christoph Haase, Shankara Narayanan Krishna, Khushraj Madnani, Om Swostik Mishra, Georg Zetzsche
Publicado en: Proc. of ICALP 2024, 2024
Editor: Leibniz International Proceedings in Informatics
DOI: 10.4230/LIPICS.ICALP.2024.142

Reachability in Continuous Pushdown VASS

Autores: A. R. Balasubramanian, Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche
Publicado en: Proceedings of the ACM on Programming Languages, Edición 8, 2024, ISSN 2475-1421
Editor: Association for Computing Machinery (ACM)
DOI: 10.1145/3633279

Ramsey Quantifiers in Linear Arithmetics

Autores: Pascal Bergsträßer, Moses Ganardi, Anthony W. Lin, Georg Zetzsche
Publicado en: Proceedings of the ACM on Programming Languages, Edición 8, 2024, ISSN 2475-1421
Editor: Association for Computing Machinery (ACM)
DOI: 10.1145/3632843

Checking Refinement of Asynchronous Programs against Context-Free Specifications

Autores: Baumann, P.; Ganardi, M.; Majumdar, R.; Thinniyam Srinivasan, R.; Zetzsche, G.
Publicado en: Proc. of ICALP 2023, 2023
Editor: Leibniz International Proceedings in Informatics
DOI: 10.4230/LIPICS.ICALP.2023.110

Verifying Unboundedness via Amalgamation

Autores: Ashwani Anand; Sylvain Schmitz; Lia Schütze; Georg Zetzsche
Publicado en: Proc. of LICS 2024, 2024
Editor: ACM
DOI: 10.1145/3661814.3662133