| 2006 |
|---|
| 5 | EE | Biniam Gebremichael,
Frits W. Vaandrager,
Miaomiao Zhang:
Analysis of the zeroconf protocol using UPPAAL.
EMSOFT 2006: 242-251 |
| 2005 |
|---|
| 4 | EE | Biniam Gebremichael,
Frits W. Vaandrager,
Miaomiao Zhang,
Kees Goossens,
Edwin Rijpkema,
Andrei Radulescu:
Deadlock Prevention in the Æthereal Protocol.
CHARME 2005: 345-348 |
| 3 | EE | Pedro R. D'Argenio,
Biniam Gebremichael:
The Coarsest Congruence for Timed Automata with Deadlines Contained in Bisimulation.
CONCUR 2005: 125-140 |
| 2 | EE | Biniam Gebremichael,
Frits W. Vaandrager:
Specifying Urgency in Timed I/O Automata.
SEFM 2005: 64-74 |
| 2003 |
|---|
| 1 | EE | Biniam Gebremichael,
Frits W. Vaandrager:
Control Synthesis for a Smart Card Personalization System Using Symbolic Model Checking.
FORMATS 2003: 189-203 |
