Finite-state abstractions of infinite-state systems

Informacje na temat projektu

FINABIS

Identyfikator umowy o grant: 101077902

DOI

10.3030/101077902

Data podpisania przez KE 20 Grudnia 2022

Data rozpoczęcia 1 Stycznia 2023

Data zakończenia 31 Grudnia 2027

Finansowanie w ramach

• European Research Council (ERC)

Koszt całkowity

€ 1 482 500,00

Wkład UE

€ 1 482 500,00

Koordynowany przez

MAX-PLANCK-GESELLSCHAFT ZUR FORDERUNG DER WISSENSCHAFTEN EV
Germany

CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.

Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .

Rezultaty

Data Management Plan (1)

Data Management Plan

Drafting of Data Management Plan

Publikacje

Conference proceedings (15)

Directed Regular and Context-Free Languages

Autorzy: Ganardi, M.; Sağlam, I.; Zetzsche, G.
Opublikowane w: Proc. of STACS 2024, 2024
Wydawca: 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

Autorzy: Pascal Bergsträßer, Chris Köcher, Anthony W. Lin, Georg Zetzsche
Opublikowane w: Proc. of NeurIPS 2024, 2024
Wydawca: NeurIPS

Slice closures of indexed languages and word equations with counting constraints

Autorzy: Laura Ciobanu; Georg Zetzsche
Opublikowane w: Proc. of LICS 2024, 2024
Wydawca: ACM
DOI: 10.1145/3661814.3662134

Priority Downward Closures

Autorzy: Anand, A.; Zetzsche, G.
Opublikowane w: Proc. of CONCUR 2023, 2023
Wydawca: Leibniz International Proceedings in Informatics
DOI: 10.4230/LIPICS.CONCUR.2023.39

Context-Bounded Analysis of Concurrent Programs (Invited Talk)

Autorzy: Baumann, Pascal; Ganardi, Moses; Majumdar, Rupak; Thinniyam, Ramanathan S.; Zetzsche, Georg
Opublikowane w: Proc. of ICALP 2023, 2023
Wydawca: Leibniz International Proceedings in Informatics
DOI: 10.4230/LIPICS.ICALP.2023.3

Regular Separability in Büchi VASS

Autorzy: Baumann, P.; Meyer, R.; Zetzsche, G.
Opublikowane w: Proc. of STACS 2023, 2023
Wydawca: Leibniz International Proceedings in Informatics
DOI: 10.4230/LIPICS.STACS.2023.9

Unboundedness Problems for Machines with Reversal-Bounded Counters

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

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

Autorzy: Pascal Baumann, Eren Keskin, Roland Meyer, Georg Zetzsche
Opublikowane w: Proc. of ICALP 2024, 2024
Wydawca: Leibniz International Proceedings in Informatics
DOI: 10.4230/LIPICS.ICALP.2024.126

Regular Separators for VASS Coverability Languages

Autorzy: Köcher, Chris; Zetzsche, Georg
Opublikowane w: Proc. of FSTTCS 2023, 2023
Wydawca: Leibniz International Proceedings in Informatics
DOI: 10.4230/LIPICS.FSTTCS.2023.15

Checking Refinement of Asynchronous Programs against Context-Free Specifications

Autorzy: Baumann, Pascal; Ganardi, Moses; Majumdar, Rupak; Thinniyam, Ramanathan S.; Zetzsche, Georg
Opublikowane w: Proc. of ICALP 2023, 2023
Wydawca: Leibniz International Proceedings in Informatics
DOI: 10.48550/ARXIV.2306.13058

An Efficient Quantifier Elimination Procedure for Presburger Arithmetic

Autorzy: Christoph Haase, Shankara Narayanan Krishna, Khushraj Madnani, Om Swostik Mishra, Georg Zetzsche
Opublikowane w: Proc. of ICALP 2024, 2024
Wydawca: Leibniz International Proceedings in Informatics
DOI: 10.4230/LIPICS.ICALP.2024.142

Reachability in Continuous Pushdown VASS

Autorzy: A. R. Balasubramanian, Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche
Opublikowane w: Proceedings of the ACM on Programming Languages, Numer 8, 2024, ISSN 2475-1421
Wydawca: Association for Computing Machinery (ACM)
DOI: 10.1145/3633279

Ramsey Quantifiers in Linear Arithmetics

Autorzy: Pascal Bergsträßer, Moses Ganardi, Anthony W. Lin, Georg Zetzsche
Opublikowane w: Proceedings of the ACM on Programming Languages, Numer 8, 2024, ISSN 2475-1421
Wydawca: Association for Computing Machinery (ACM)
DOI: 10.1145/3632843

Checking Refinement of Asynchronous Programs against Context-Free Specifications

Autorzy: Baumann, P.; Ganardi, M.; Majumdar, R.; Thinniyam Srinivasan, R.; Zetzsche, G.
Opublikowane w: Proc. of ICALP 2023, 2023
Wydawca: Leibniz International Proceedings in Informatics
DOI: 10.4230/LIPICS.ICALP.2023.110

Verifying Unboundedness via Amalgamation

Autorzy: Ashwani Anand; Sylvain Schmitz; Lia Schütze; Georg Zetzsche
Opublikowane w: Proc. of LICS 2024, 2024
Wydawca: ACM
DOI: 10.1145/3661814.3662133