Verification and Language Theory

Informations projet

VERLAN

N° de convention de subvention: 101027412

DOI

10.3030/101027412

Projet clôturé

Date de signature de la CE 22 Mars 2021

Date de début 1 Septembre 2021

Date de fin 26 Août 2024

Financé au titre de

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Coût total

€ 175 572,48

Contribution de l’UE

€ 175 572,48

Coordonné par

UNIVERSITEIT VAN AMSTERDAM
Netherlands

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 .

Publications

Conference proceedings (7)

Probabilistic Guarded KAT Modulo Bisimilarity: Completeness and Complexity

Auteurs: Wojciech Różowski, Tobias Kappé, Dexter Kozen, Todd Schmid, and Alexandra Silva
Publié dans: Proceedings of the International Colloquium on Automata, Languages, and Programming, ICALP 2023, 2023, Page(s) 136:1-136:20
Éditeur: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.icalp.2023.136

A Categorical Framework for Learning Generalised Tree Automata

Auteurs: Gerco van Heerdt, Tobias Kappé, Jurriaan Rot, Matteo Sammartino, Alexandra Silva
Publié dans: Lecture Notes in Computer Science, Coalgebraic Methods in Computer Science, 2022, Page(s) 67-87
Éditeur: Springer International Publishing
DOI: 10.1007/978-3-031-10736-8_4

Formal Abstractions for Packet Scheduling

Auteurs: Anshuman Mohan, Yunhe Liu, Nate Foster, Tobias Kappé, Dexter Kozen
Publié dans: Proceedings of the ACM on Programming Languages, Numéro 7, 2023, Page(s) 1338-1362, ISSN 2475-1421
Éditeur: ACM
DOI: 10.1145/3622845

Leapfrog: certified equivalence for protocol parsers

Auteurs: Ryan Doenges, Tobias Kappé, John Sarracino, Nate Foster, Greg Morrisett
Publié dans: Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2023
Éditeur: ACM
DOI: 10.1145/3519939.3523715

Concurrent NetKAT

Auteurs: Jana Wagemaker, Nate Foster, Tobias Kappé, Dexter Kozen, Jurriaan Rot, Alexandra Silva
Publié dans: Lecture Notes in Computer Science, Programming Languages and Systems, 2023, Page(s) 575-602
Éditeur: Springer International Publishing
DOI: 10.1007/978-3-030-99336-8_21

Completeness and the Finite Model Property for Kleene Algebra, Reconsidered

Auteurs: Tobias Kappé
Publié dans: Lecture Notes in Computer Science, Relational and Algebraic Methods in Computer Science, 2024, Page(s) 158-175
Éditeur: Springer International Publishing
DOI: 10.1007/978-3-031-28083-2_10

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

Auteurs: Tobias Kappé, Todd Schmid, Alexandra Silva
Publié dans: Lecture Notes in Computer Science, Programming Languages and Systems, 2023, Page(s) 309-336
Éditeur: Springer Nature Switzerland
DOI: 10.1007/978-3-031-30044-8_12