Biniam Gebremichael

Institute for Computing and Information Sciences
Radboud University Nijmegen

Email: biniam AT cs,ru,nl( more)


Refereed Conference Papers

  1. Analysis of a Protocol for Dynamic Configuration of IPv4 in UPPAAL. [EMsoft06]
    - with Frits Vaandrager and M. Zhang. © ACM SigBED.
  2. The Coarsest Congruence for TADs Contained in Bisimulation. [CONCUR'05]
    - with Pedro D'Argenio. © Springer-Verlag LNCS 3653.
  3. Specifying Urgency in Timed I/O Automata. [SEFM'05]
    - with Frits Vaandrager. © IEEE Computer Society.
  4. Deadlock Prevention in Aethereal Protocol. [CHARME'05]
    - with F. Vaandrager, K. Goossens, A. Radulescu et al. © Springer-Verlag LNCS 3725.
  5. A Formal Model of a Car Periphery Supervision System in UPPAAL. [WODES'04]
    - with T. Krilavicius and Y.S. Usenko. © Elsevier Science Ltd.
  6. Control Synthesis for a Smart Card Personalisation System in SMV. [FORMATS'03]
    - with Frits Vaandrager. © Springer-Verlag LNCS 2791.
  7. Vehicle Surveillance System with Real-Time Data Processing. [DSMSI'03]
    - with H. Hermanns, T. Krilavicius and Y.S. Usenko.
  8. Work in progress

  9. Algebra for Timed Automata with Deadlines
    - with Pedro D'Argenio.

What else