Biniam Gebremichael

According to our database, Biniam Gebremichael authored at least 6 papers between 2003 and 2011.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2011

Formal specification and analysis of zeroconf using uppaalS.

Jasper Berendsen, Biniam Gebremichael, Frits W. Vaandrager, Miaomiao Zhang

ACM Trans. Embed. Comput. Syst., 2011

2006

Analysis of the zeroconf protocol using UPPAAL.

Biniam Gebremichael, Frits W. Vaandrager, Miaomiao Zhang

Proceedings of the 6th ACM & IEEE International conference on Embedded software, 2006

2005

Specifying Urgency in Timed I/O Automata.

Biniam Gebremichael, Frits W. Vaandrager

Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 2005

The Coarsest Congruence for Timed Automata with Deadlines Contained in Bisimulation.

Pedro R. D'Argenio, Biniam Gebremichael

Proceedings of the CONCUR 2005 - Concurrency Theory, 16th International Conference, 2005

Deadlock Prevention in the Æthereal Protocol.

Biniam Gebremichael, Frits W. Vaandrager, Miaomiao Zhang, Kees Goossens, Edwin Rijpkema, Andrei Radulescu

Proceedings of the Correct Hardware Design and Verification Methods, 2005

2003

Control Synthesis for a Smart Card Personalization System Using Symbolic Model Checking.

Biniam Gebremichael, Frits W. Vaandrager

Proceedings of the Formal Modeling and Analysis of Timed Systems: First International Workshop, 2003