Skip to content
cs-conference-ranking.org

Martin Vassor

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

8

Venues

5

Active years

2018–2026

Best venue rank

C

Where they publish

Papers

8 indexed papers, newest first.

YearVenueTitleAuthors
2026RCA Graph Rewriting-Based Semantics and Implementation for ρ π.Julie Cailler, Martin Vassor
2025RCEncoding Choice and Replication in $\mathtt{\textbf{roll}}\text {-}\pi $.Adam D. Barwell, Ping Hou, Martin Vassor, Nobuko Yoshida
2024CoordinationThe Concurrent Calculi Formalisation Benchmark.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
2024ECOOPRefinements for Multiparty Message-Passing Protocols: Specification-Agnostic Theory and Implementation.Martin Vassor, Nobuko Yoshida
2022PPoPPDeadlock-free asynchronous message reordering in rust with multiparty session types.Zak Cutner, Nobuko Yoshida, Martin Vassor
2021RCReversibility and Predictions.Martin Vassor
2019FORTEEncapsulation and Sharing in Dynamic Software Architectures: The Hypercell Framework.Jean-Bernard Stefani, Martin Vassor
2018RCCheckpoint/Rollback vs Causally-Consistent Reversibility.Martin Vassor, Jean-Bernard Stefani