Verification and Language Theory

Informations projet

VERLAN

N° de convention de subvention: 101027412

DOI 10.3030/101027412

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

Publications

Conference proceedings (3)

A Categorical Framework for Learning Generalised Tree Automata

Auteurs: Gerco van Heerdt, Tobias Kappé, Jurriaan Rot, Matteo Sammartino, Alexandra Silva
Publié dans: Proceedings of CMCS 2022, 2022, Page(s) 67-87
Éditeur: Springer
DOI: 10.1007/978-3-031-10736-8_4

Concurrent NetKAT: Modeling and analyzing stateful, concurrent networks

Auteurs: Jana Wagemaker, Nate Foster, Tobias Kappé, Dexter Kozen, Jurriaan Rot, Alexandra Silva
Publié dans: Proceedings of ESOP 2022, 2022, Page(s) 575-602
Éditeur: Springer
DOI: 10.1007/978-3-030-99336-8_21

Leapfrog: Certified Equivalence for Protocol Parsers

Auteurs: Ryan Doenges, Tobias Kappé, John Sarracino, Nate Foster, Greg Morrisett
Publié dans: Proceedings of PLDI 2022, 2022, Page(s) 950-965
Éditeur: ACM
DOI: 10.1145/3519939.3523715