Dawit Legesse Tirore

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

Collaborative distances:

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

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