European Commission logo
English English
CORDIS - EU research results

Verification and Language Theory


A Categorical Framework for Learning Generalised Tree Automata

Author(s): Gerco van Heerdt, Tobias Kappé, Jurriaan Rot, Matteo Sammartino, Alexandra Silva
Published in: Proceedings of CMCS 2022, 2022, Page(s) 67-87
Publisher: Springer
DOI: 10.1007/978-3-031-10736-8_4

Concurrent NetKAT: Modeling and analyzing stateful, concurrent networks

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

Leapfrog: Certified Equivalence for Protocol Parsers

Author(s): Ryan Doenges, Tobias Kappé, John Sarracino, Nate Foster, Greg Morrisett
Published in: Proceedings of PLDI 2022, 2022, Page(s) 950-965
Publisher: ACM
DOI: 10.1145/3519939.3523715

Searching for OpenAIRE data...

There was an error trying to search data from OpenAIRE

No results available