Sign in
Dawit Legesse Tirore
ORCID
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 2
Top Topics
Database
Multiresolution
Top Venues
ITP
ICTAC
</>
Publications
</>
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)