Tobias Kappé

According to our database, Tobias Kappé authored at least 28 papers between 2015 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Formal Abstractions for Packet Scheduling.

Anshuman Mohan, Yunhe Liu, Nate Foster, Tobias Kappé, Dexter Kozen

Proc. ACM Program. Lang., October, 2023

Probabilistic Guarded KAT Modulo Bisimilarity: Completeness and Complexity.

Wojciech Rozowski, Tobias Kappé, Dexter Kozen, Todd Schmid, Alexandra Silva

Proceedings of the 50th International Colloquium on Automata, Languages, and Programming, 2023

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

Todd Schmid, Tobias Kappé, Alexandra Silva

Proceedings of the Programming Languages and Systems, 2023

Completeness and the Finite Model Property for Kleene Algebra, Reconsidered.

Tobias Kappé

Proceedings of the Relational and Algebraic Methods in Computer Science, 2023

2022

Leapfrog: certified equivalence for protocol parsers.

Ryan Doenges, Tobias Kappé, John Sarracino, Nate Foster, Greg Morrisett

Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

Concurrent NetKAT - Modeling and analyzing stateful, concurrent networks.

Jana Wagemaker, Nate Foster, Tobias Kappé, Dexter Kozen, Jurriaan Rot, Alexandra Silva

Proceedings of the Programming Languages and Systems, 2022

A Categorical Framework for Learning Generalised Tree Automata.

Gerco van Heerdt, Tobias Kappé, Jurriaan Rot, Matteo Sammartino, Alexandra Silva

Proceedings of the Coalgebraic Methods in Computer Science, 2022

2021

Equivalence checking for weak bi-Kleene algebra.

Tobias Kappé, Paul Brunet, Bas Luttik, Alexandra Silva, Fabio Zanasi

Log. Methods Comput. Sci., 2021

Guarded Kleene Algebra with Tests: Coequations, Coinduction, and Completeness.

Todd Schmid, Tobias Kappé, Dexter Kozen, Alexandra Silva

Proceedings of the 48th International Colloquium on Automata, Languages, and Programming, 2021

Learning Pomset Automata.

Gerco van Heerdt, Tobias Kappé, Jurriaan Rot, Alexandra Silva

Proceedings of the Foundations of Software Science and Computation Structures, 2021

2020

Concurrent Kleene Algebra: completeness and decidability.

Tobias Kappé

PhD thesis, 2020

Guarded Kleene algebra with tests: verification of uninterpreted programs in nearly linear time.

Steffen Smolka, Nate Foster, Justin Hsu, Tobias Kappé, Dexter Kozen, Alexandra Silva

Proc. ACM Program. Lang., 2020

Concurrent Kleene Algebra with Observations: From Hypotheses to Completeness.

Tobias Kappé, Paul Brunet, Alexandra Silva, Jana Wagemaker, Fabio Zanasi

Proceedings of the Foundations of Software Science and Computation Structures, 2020

Partially Observable Concurrent Kleene Algebra.

Jana Wagemaker, Paul Brunet, Simon Docherty, Tobias Kappé, Jurriaan Rot, Alexandra Silva

Proceedings of the 31st International Conference on Concurrency Theory, 2020

2019

Soft component automata: Composition, compilation, logic, and verification.

Tobias Kappé, Benjamin Lion, Farhad Arbab, Carolyn L. Talcott

Sci. Comput. Program., 2019

On series-parallel pomset languages: Rationality, context-freeness and automata.

Tobias Kappé, Paul Brunet, Bas Luttik, Alexandra Silva, Fabio Zanasi

J. Log. Algebraic Methods Program., 2019

Completeness and Incompleteness of Synchronous Kleene Algebra.

Jana Wagemaker, Marcello M. Bonsangue, Tobias Kappé, Jurriaan Rot, Alexandra Silva

Proceedings of the Mathematics of Program Construction - 13th International Conference, 2019

Kleene Algebra with Observations.

Tobias Kappé, Paul Brunet, Jurriaan Rot, Alexandra Silva, Jana Wagemaker, Fabio Zanasi

Proceedings of the 30th International Conference on Concurrency Theory, 2019

Tree Automata as Algebras: Minimisation and Determinisation.

Gerco van Heerdt, Tobias Kappé, Jurriaan Rot, Matteo Sammartino, Alexandra Silva

Proceedings of the 8th Conference on Algebra and Coalgebra in Computer Science, 2019

2018

Decision problems for Clark-congruential languages.

Makoto Kanazawa, Tobias Kappé

Proceedings of the 14th International Conference on Grammatical Inference, 2018

Concurrent Kleene Algebra: Free Model and Completeness.

Tobias Kappé, Paul Brunet, Alexandra Silva, Fabio Zanasi

Proceedings of the Programming Languages and Systems, 2018

Learning to Coordinate.

Gerco van Heerdt, Bart Jacobs, Tobias Kappé, Alexandra Silva

Proceedings of the It's All About Coordination, 2018

2017

Constraint automata with memory cells and their composition.

Sung-Shik T. Q. Jongmans, Tobias Kappé, Farhad Arbab

Sci. Comput. Program., 2017

A Component-Oriented Framework for Autonomous Agents.

Tobias Kappé, Farhad Arbab, Carolyn L. Talcott

Proceedings of the Formal Aspects of Component Software - 14th International Conference, 2017

Brzozowski Goes Concurrent - A Kleene Theorem for Pomset Languages.

Tobias Kappé, Paul Brunet, Bas Luttik, Alexandra Silva, Fabio Zanasi

Proceedings of the 28th International Conference on Concurrency Theory, 2017

2016

A Compositional Framework for Preference-Aware Agents.

Tobias Kappé, Farhad Arbab, Carolyn L. Talcott

Proceedings of the The First Workshop on Verification and Validation of Cyber-Physical Systems, 2016

Formal Specification and Analysis of Robust Adaptive Distributed Cyber-Physical Systems.

Carolyn L. Talcott, Vivek Nigam, Farhad Arbab, Tobias Kappé

Proceedings of the Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems, 2016

2015

Composing Constraint Automata, State-by-State.

Sung-Shik T. Q. Jongmans, Tobias Kappé, Farhad Arbab

Proceedings of the Formal Aspects of Component Software - 12th International Conference, 2015