Martin Vassor

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 7

Top Topics

Message Transmission

Privacy Preserving

Top Venues

Publications

Marco Carbone, David Castro-Perez, Francisco Ferreira, Lorenzo Gheri, Frederik Krogsdal Jacobsen, Alberto Momigliano, Luca Padovani, Alceste Scalas, Dawit Legesse Tirore, Martin Vassor, Nobuko Yoshida, Daniel Zackon
The Concurrent Calculi Formalisation Benchmark. COORDINATION (2024)
Martin Vassor, Nobuko Yoshida
Refinements for Multiparty Message-Passing Protocols: Specification-agnostic theory and implementation. CoRR (2024)
Zak Cutner, Nobuko Yoshida, Martin Vassor
Deadlock-free asynchronous message reordering in rust with multiparty session types. PPoPP (2022)
Martin Vassor
Reversibility and Predictions. RC (2021)
Zak Cutner, Nobuko Yoshida, Martin Vassor
Deadlock-free asynchronous message reordering in Rust with multiparty session types. CoRR (2021)
Jean-Bernard Stefani, Martin Vassor
Encapsulation and Sharing in Dynamic Software Architectures: The Hypercell Framework. FORTE (2019)
Martin Vassor, Jean-Bernard Stefani
Checkpoint/Rollback vs Causally-Consistent Reversibility. RC (2018)