|
Search the dblp DataBase
Biniam Gebremichael:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Biniam Gebremichael, Frits W. Vaandrager, Miaomiao Zhang, Kees Goossens, Edwin Rijpkema, Andrei Radulescu
Deadlock Prevention in the Æthereal Protocol. [Citation Graph (0, 0)][DBLP] CHARME, 2005, pp:345-348 [Conf]
- Pedro R. D'Argenio, Biniam Gebremichael
The Coarsest Congruence for Timed Automata with Deadlines Contained in Bisimulation. [Citation Graph (0, 0)][DBLP] CONCUR, 2005, pp:125-140 [Conf]
- Biniam Gebremichael, Frits W. Vaandrager, Miaomiao Zhang
Analysis of the zeroconf protocol using UPPAAL. [Citation Graph (0, 0)][DBLP] EMSOFT, 2006, pp:242-251 [Conf]
- Biniam Gebremichael, Frits W. Vaandrager
Control Synthesis for a Smart Card Personalization System Using Symbolic Model Checking. [Citation Graph (0, 0)][DBLP] FORMATS, 2003, pp:189-203 [Conf]
- Biniam Gebremichael, Frits W. Vaandrager
Specifying Urgency in Timed I/O Automata. [Citation Graph (0, 0)][DBLP] SEFM, 2005, pp:64-74 [Conf]
Search in 0.001secs, Finished in 0.002secs
|