Checkpoint/Rollback vs Causally-Consistent Reversibility. - Martin Vassor; Jean-Bernard Stefani (RC, 2018)

Encapsulation and Sharing in Dynamic Software Architectures: The Hypercell Framework. - Jean-Bernard Stefani; Martin Vassor (FORTE, 2019)

Reversibility and Predictions. - Martin Vassor (RC, 2021)

Graphes de localités : une approche formelle à l'encapsulation et implémentation. (Location graphs : a formal approach to encapsulation and its implementation). - Martin Vassor (2021)

Artifact: Deadlock-Free Asynchronous Message Reoerderign in Rust with Multiparty Session Types. - Zak Cutner; Nobuko Yoshida; Martin Vassor (Zenodo, 2021)

Deadlock-free asynchronous message reordering in rust with multiparty session types. - Zak Cutner; Nobuko Yoshida; Martin Vassor (PPoPP, 2022)

The Concurrent Calculi Formalisation Benchmark. - Marco Carbone; David Castro-Perez; Francisco Ferreira 001; Lorenzo Gheri; Frederik Krogsdal Jacobsen; Alberto Momigliano; Luca Padovani; Alceste Scalas; Dawit Legesse Tirore; Martin Vassor; Nobuko Yoshida; Daniel Zackon (COORDINATION, 2024)

Refinements for Multiparty Message-Passing Protocols: Specification-Agnostic Theory and Implementation. - Martin Vassor; Nobuko Yoshida (ECOOP, 2024)

Refinements for Multiparty Message-Passing Protocols: Specification-Agnostic Theory and Implementation (Artifact). - Martin Vassor; Nobuko Yoshida (Dagstuhl Artifacts Ser., 2024)

Artifact: Refinements for Multiparty Message-Passing Protocols. - Martin Vassor; Nobuko Yoshida (Zenodo, 2024)

Encoding Choice and Replication in $ mathtt{ textbf{roll}} text {-} pi $. - Adam D. Barwell; Ping Hou; Martin Vassor; Nobuko Yoshida (RC, 2025)