B. Gebremichael-Tesfagiorgis

Deadlock Prevention in sc Æthereal Protocol

Kees Goossens, Miaomiao Zhang, Edwin Rijpkema, 2005 .

Analysis of a Protocol for Dynamic Configuration of IPv4 Link Local Addresses Using Uppaal

B. Gebremichael-Tesfagiorgis, Frits W. Vaandrager, M. Zhang, 2006 .

Axiomatizing Timed Automata with Deadlines

B. Gebremichael-Tesfagiorgis, P. R. DArgenio, 2006 .

Expressivity of Timed Automata Models

B. Gebremichael-Tesfagiorgis, H. Geuvers, H. Bowman, 2006 .

Formal Models of Guaranteed and Best-Effort Services for Network on Chip

Frits W. Vaandrager, B. Gebremichael-Tesfagiorgis, Michael Q. Zhang, 2005 .