Biniam Gebremichael

Publication Activity (10 Years)

Years Active: 2003-2011
Publications (10 Years): 0

Publications

Jasper Berendsen, Biniam Gebremichael, Frits W. Vaandrager, Miaomiao Zhang
Formal specification and analysis of zeroconf using uppaalS. ACM Trans. Embed. Comput. Syst. 10 (3) (2011)
Biniam Gebremichael, Frits W. Vaandrager, Miaomiao Zhang
Analysis of the zeroconf protocol using UPPAAL. EMSOFT (2006)
Biniam Gebremichael, Frits W. Vaandrager, Miaomiao Zhang, Kees Goossens, Edwin Rijpkema, Andrei Radulescu
Deadlock Prevention in the Æthereal Protocol. CHARME (2005)
Biniam Gebremichael, Frits W. Vaandrager
Specifying Urgency in Timed I/O Automata. SEFM (2005)
Pedro R. D'Argenio, Biniam Gebremichael
The Coarsest Congruence for Timed Automata with Deadlines Contained in Bisimulation. CONCUR (2005)
Biniam Gebremichael, Frits W. Vaandrager
Control Synthesis for a Smart Card Personalization System Using Symbolic Model Checking. FORMATS (2003)