Research

My research interest is on formal modeling and analysis of real-time systems, with special focus on expressivity of timed automata models and applications. Projects the European project AMETIST (Advanced Methods for Timed Systems), NWO project HaaST (Verification of Hard and Softly Timed Systems) PhD Thesis

Refereed Conference Papers

Some of my publications are also in Trier's DBLP database.

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.

Work in progress

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

What else

• Teaching - Memory Management || Model checking with SMV
• Maintaining JuRI - Information website for International PhD students in Nijmegen
• An interview with Bits&Chips - "Passion for Mathematics" ( in Dutch )
• What does Gebre mean in Gebremichael?
• Tigrigna: a language with more than 320 letters. ...more on my geez page