Follow
Tobias Kappé
Tobias Kappé
Open Universiteit & ILLC, University of Amsterdam
Verified email at uva.nl - Homepage
Title
Cited by
Cited by
Year
Guarded Kleene algebra with tests: verification of uninterpreted programs in nearly linear time
S Smolka, N Foster, J Hsu, T Kappé, D Kozen, A Silva
Proceedings of the ACM on Programming Languages 4 (POPL), 1-28, 2019
402019
Concurrent Kleene algebra: free model and completeness
T Kappé, P Brunet, A Silva, F Zanasi
European Symposium on Programming, 856-882, 2018
382018
Concurrent Kleene Algebra with Observations: From Hypotheses to Completeness.
T Kappé, P Brunet, A Silva, J Wagemaker, F Zanasi
FoSSaCS 2020, 381-400, 2020
212020
Formal specification and analysis of robust adaptive distributed cyber-physical systems
C Talcott, V Nigam, F Arbab, T Kappé
International School on Formal Methods for the Design of Computer …, 2016
212016
Constraint automata with memory cells and their composition
SSTQ Jongmans, T Kappé, F Arbab
Science of Computer Programming 146, 50-86, 2017
202017
Guarded Kleene Algebra with Tests: Coequations, Coinduction, and Completeness
T Schmid, T Kappé, D Kozen, A Silva
arXiv preprint arXiv:2102.08286, 2021
192021
A Compositional Framework for Preference-Aware Agents
T Kappé, F Arbab, C Talcott
V2CPS@IFM 2016, 21-35, 2016
192016
On series-parallel pomset languages: Rationality, context-freeness and automata
T Kappé, P Brunet, B Luttik, A Silva, F Zanasi
Journal of Logical and Algebraic Methods in Programming 103, 130-153, 2019
182019
Kleene algebra with observations
T Kappé, P Brunet, J Rot, A Silva, J Wagemaker, F Zanasi
CONCUR 2019, 2018
162018
Partially Observable Concurrent Kleene Algebra
J Wagemaker, P Brunet, S Docherty, T Kappé, J Rot, A Silva
arXiv preprint arXiv:2007.07593, 2020
92020
Brzozowski Goes Concurrent - A Kleene Theorem for Pomset Languages
T Kappé, P Brunet, B Luttik, A Silva, F Zanasi
CONCUR 2017, 25:1-25:16, 2017
92017
Completeness and Incompleteness of Synchronous Kleene Algebra
J Wagemaker, M Bonsangue, T Kappé, J Rot, A Silva
International Conference on Mathematics of Program Construction, 385-413, 2019
82019
Tree Automata as Algebras: Minimisation and Determinisation
G Heerdt, T Kappe, JC Rot, M Sammartino, A Silva
CALCO 2019, 6: 1-6: 22, 2019
8*2019
Concurrent NetKAT
J Wagemaker, N Foster, T Kappé, D Kozen, J Rot, A Silva
ESOP, 0
8*
Soft component automata: Composition, compilation, logic, and verification
T Kappé, B Lion, F Arbab, C Talcott
Science of Computer Programming 183, 102300, 2019
72019
A Component-Oriented Framework for Autonomous Agents
T Kappé, F Arbab, C Talcott
FACS 2017, 20-38, 2017
72017
A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests
T Schmid, T Kappé, A Silva
European Symposium on Programming, 309-336, 2023
62023
Leapfrog: certified equivalence for protocol parsers
R Doenges, T Kappé, J Sarracino, N Foster, G Morrisett
Proceedings of the 43rd ACM SIGPLAN International Conference on Programming …, 2022
62022
Composing Constraint Automata, State-by-State
SSTQ Jongmans, T Kappé, F Arbab
FACS 2015, 217-236, 2015
6*2015
Probabilistic Guarded KAT Modulo Bisimilarity: Completeness and Complexity
W Różowski, T Kappé, D Kozen, T Schmid, A Silva
arXiv preprint arXiv:2305.01755, 2023
52023
The system can't perform the operation now. Try again later.
Articles 1–20