Dawit Legesse Tirore

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 3

Top Topics

Mutual Exclusion

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)
Dawit Legesse Tirore, Jesper Bengtson, Marco Carbone
A Sound and Complete Projection for Global Types. ITP (2023)
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, Dawit Legesse Tirore, Dmitriy Traytel, Sheila Zingg
VeriMon: A Formally Verified Monitoring Tool. ICTAC (2022)