Verification and Language Theory

Projektinformationen

VERLAN

ID Finanzhilfevereinbarung: 101027412

DOI

10.3030/101027412

Projekt abgeschlossen

EK-Unterschriftsdatum 22 März 2021

Startdatum 1 September 2021

Enddatum 26 August 2024

Finanziert unter

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Gesamtkosten

€ 175 572,48

EU-Beitrag

€ 175 572,48

Koordiniert durch

UNIVERSITEIT VAN AMSTERDAM
Netherlands

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.

Veröffentlichungen

Conference proceedings (7)

Probabilistic Guarded KAT Modulo Bisimilarity: Completeness and Complexity

Autoren: Wojciech Różowski, Tobias Kappé, Dexter Kozen, Todd Schmid, and Alexandra Silva
Veröffentlicht in: Proceedings of the International Colloquium on Automata, Languages, and Programming, ICALP 2023, 2023, Seite(n) 136:1-136:20
Herausgeber: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.icalp.2023.136

A Categorical Framework for Learning Generalised Tree Automata

Autoren: Gerco van Heerdt, Tobias Kappé, Jurriaan Rot, Matteo Sammartino, Alexandra Silva
Veröffentlicht in: Lecture Notes in Computer Science, Coalgebraic Methods in Computer Science, 2022, Seite(n) 67-87
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-031-10736-8_4

Formal Abstractions for Packet Scheduling

Autoren: Anshuman Mohan, Yunhe Liu, Nate Foster, Tobias Kappé, Dexter Kozen
Veröffentlicht in: Proceedings of the ACM on Programming Languages, Ausgabe 7, 2023, Seite(n) 1338-1362, ISSN 2475-1421
Herausgeber: ACM
DOI: 10.1145/3622845

Leapfrog: certified equivalence for protocol parsers

Autoren: Ryan Doenges, Tobias Kappé, John Sarracino, Nate Foster, Greg Morrisett
Veröffentlicht in: Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2023
Herausgeber: ACM
DOI: 10.1145/3519939.3523715

Concurrent NetKAT

Autoren: Jana Wagemaker, Nate Foster, Tobias Kappé, Dexter Kozen, Jurriaan Rot, Alexandra Silva
Veröffentlicht in: Lecture Notes in Computer Science, Programming Languages and Systems, 2023, Seite(n) 575-602
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-030-99336-8_21

Completeness and the Finite Model Property for Kleene Algebra, Reconsidered

Autoren: Tobias Kappé
Veröffentlicht in: Lecture Notes in Computer Science, Relational and Algebraic Methods in Computer Science, 2024, Seite(n) 158-175
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-031-28083-2_10

A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests

Autoren: Tobias Kappé, Todd Schmid, Alexandra Silva
Veröffentlicht in: Lecture Notes in Computer Science, Programming Languages and Systems, 2023, Seite(n) 309-336
Herausgeber: Springer Nature Switzerland
DOI: 10.1007/978-3-031-30044-8_12