1. Modelling, Verifying and Testing the Contract Automata Runtime Environment with Uppaal;Lecture Notes in Computer Science;2024
2. Asynchronous Subtyping by Trace Relaxation;Lecture Notes in Computer Science;2024
3. Polymorphic Typestate for Session Types;International Symposium on Principles and Practice of Declarative Programming;2023-10-22
4. EXPRESSing Session Types;Electronic Proceedings in Theoretical Computer Science;2023-09-14
5. A Runtime Environment for Contract Automata;Formal Methods;2023