VeriMon: A Formally Verified Monitoring Tool. - David A. Basin; Thibault Dardinier; Nico Hauser; Lukas Heimes; Jonathan Julián Huerta y Munive; Nicolas Kaletsch; Srdan Krstic; Emanuele Marsicano; Martin Raszyk; Joshua Schneider 001; Dawit Legesse Tirore; Dmitriy Traytel; et al. (ICTAC, 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)

Multiparty Asynchronous Session Types: A Mechanised Proof of Subject Reduction. - Dawit Legesse Tirore; Jesper Bengtson; Marco Carbone (ECOOP, 2025)

Multiparty Asynchronous Session Types: A Mechanised Proof of Subject Reduction (Artifact). - Dawit Legesse Tirore; Jesper Bengtson; Marco Carbone (Dagstuhl Artifacts Ser., 2025)

A Sound and Complete Projection for Global Types. - Dawit Legesse Tirore; Jesper Bengtson; Marco Carbone (J. Autom. Reason., 2025)