Biniam Gebremichael

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

Coauthor Index

1	Jasper Berendsen	[6]
2	Pedro R. D'Argenio	[3]
3	Kees G. W. Goossens (Kees Goossens)	[4]
4	Andrei Radulescu	[4]
5	Edwin Rijpkema	[4]
6	Frits W. Vaandrager	[1] [2] [4] [5] [6]
7	Miaomiao Zhang	[4] [5] [6]

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page