Dawit Legesse Tirore
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2022–2025
Best venue rank
A
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ECOOP | Multiparty Asynchronous Session Types: A Mechanised Proof of Subject Reduction. | Dawit Legesse Tirore, Jesper Bengtson, Marco Carbone |
| 2024 | Coordination | The 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 |
| 2023 | ITP | A Sound and Complete Projection for Global Types. | Dawit Legesse Tirore, Jesper Bengtson, Marco Carbone |
| 2022 | ICTAC | VeriMon: A Formally Verified Monitoring Tool. | David A. Basin, Thibault Dardinier, Nico Hauser, Lukas Heimes, Jonathan Julin Huerta y Munive, Nicolas Kaletsch, Srdan Krstic, Emanuele Marsicano, Martin Raszyk, Joshua Schneider, Dawit Legesse Tirore, Dmitriy Traytel, Sheila Zingg |