Dawit Legesse Tirore

According to our database, Dawit Legesse Tirore authored at least 5 papers between 2022 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Multiparty Asynchronous Session Types: A Mechanised Proof of Subject Reduction (Artifact).

Dawit Legesse Tirore, Jesper Bengtson, Marco Carbone

Dagstuhl Artifacts Ser., 2025

Multiparty Asynchronous Session Types: A Mechanised Proof of Subject Reduction.

Dawit Legesse Tirore, Jesper Bengtson, Marco Carbone

Proceedings of the 39th European Conference on Object-Oriented Programming, 2025

2024

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

Proceedings of the Coordination Models and Languages, 2024

2023

A Sound and Complete Projection for Global Types.

Dawit Legesse Tirore, Jesper Bengtson, Marco Carbone

Proceedings of the 14th International Conference on Interactive Theorem Proving, 2023

2022

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, Dawit Legesse Tirore, Dmitriy Traytel, Sheila Zingg

Proceedings of the Theoretical Aspects of Computing - ICTAC 2022, 2022