Verification and Language Theory

Informazioni relative al progetto

VERLAN

ID dell’accordo di sovvenzione: 101027412

DOI 10.3030/101027412

Progetto chiuso

Data della firma CE 22 Marzo 2021

Data di avvio 1 Settembre 2021

Data di completamento 26 Agosto 2024

Finanziato da

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Costo totale € 175 572,48

Contributo UE € 175 572,48

Coordinato da

UNIVERSITEIT VAN AMSTERDAM
Paesi Bassi

CORDIS fornisce collegamenti ai risultati finali pubblici e alle pubblicazioni dei progetti ORIZZONTE.

I link ai risultati e alle pubblicazioni dei progetti del 7° PQ, così come i link ad alcuni tipi di risultati specifici come dataset e software, sono recuperati dinamicamente da .OpenAIRE .

Pubblicazioni

Atti di conferenza (7)

Probabilistic Guarded KAT Modulo Bisimilarity: Completeness and Complexity

Autori: Wojciech Różowski, Tobias Kappé, Dexter Kozen, Todd Schmid, and Alexandra Silva
Pubblicato in: Proceedings of the International Colloquium on Automata, Languages, and Programming, ICALP 2023, 2023, Pagina/e 136:1-136:20
Editore: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.icalp.2023.136

A Categorical Framework for Learning Generalised Tree Automata

Autori: Gerco van Heerdt, Tobias Kappé, Jurriaan Rot, Matteo Sammartino, Alexandra Silva
Pubblicato in: Lecture Notes in Computer Science, Coalgebraic Methods in Computer Science, 2022, Pagina/e 67-87
Editore: Springer International Publishing
DOI: 10.1007/978-3-031-10736-8_4

Formal Abstractions for Packet Scheduling

Autori: Anshuman Mohan, Yunhe Liu, Nate Foster, Tobias Kappé, Dexter Kozen
Pubblicato in: Proceedings of the ACM on Programming Languages, Numero 7, 2023, Pagina/e 1338-1362, ISSN 2475-1421
Editore: ACM
DOI: 10.1145/3622845

Leapfrog: certified equivalence for protocol parsers

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

Concurrent NetKAT

Autori: Jana Wagemaker, Nate Foster, Tobias Kappé, Dexter Kozen, Jurriaan Rot, Alexandra Silva
Pubblicato in: Lecture Notes in Computer Science, Programming Languages and Systems, 2023, Pagina/e 575-602
Editore: Springer International Publishing
DOI: 10.1007/978-3-030-99336-8_21

Completeness and the Finite Model Property for Kleene Algebra, Reconsidered

Autori: Tobias Kappé
Pubblicato in: Lecture Notes in Computer Science, Relational and Algebraic Methods in Computer Science, 2024, Pagina/e 158-175
Editore: Springer International Publishing
DOI: 10.1007/978-3-031-28083-2_10

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

Autori: Tobias Kappé, Todd Schmid, Alexandra Silva
Pubblicato in: Lecture Notes in Computer Science, Programming Languages and Systems, 2023, Pagina/e 309-336
Editore: Springer Nature Switzerland
DOI: 10.1007/978-3-031-30044-8_12