Biniam Gebremichael
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2005–2006
Best venue rank
Journal Published
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2006 | EMSOFT | Analysis of the zeroconf protocol using UPPAAL. | Biniam Gebremichael, Frits W. Vaandrager, Miaomiao Zhang |
| 2005 | CONCUR | The Coarsest Congruence for Timed Automata with Deadlines Contained in Bisimulation. | Pedro R. D'Argenio, Biniam Gebremichael |
| 2005 | SEFM | Specifying Urgency in Timed I/O Automata. | Biniam Gebremichael, Frits W. Vaandrager |