Distributed Systems > CS > JBI > FWN > RUG

Dr. Doina Bucur

  • e-mail: doina.bucur [at] gmail.com
  • personal website: Doina Bucur


  • Embedded system software analysis and verification
  • Software-based methods for behavioural fault detection and recovery
  • Methods for the development of correct and intelligible context-aware embedded software
  • Correct-by-design code synthesis for sensor platforms
  • Network protocol design and analysis

Recent publications


(For more publications go to Doina's publication page)