selected publications

• academic article

  • Proceedings of the 29th International Conference on Architecture of Computing Systems -- ARCS 2016 - Volume 9637.  .  2016
  • The Real-Time Systems Compiler: migrating event-triggered systems to time-triggered systems.  Software - Practice and Experience.  41:1491-1515. 2011
  • Synthesising Real-Time Systems from Atomic Basic Blocks.  .  2006

• chapter

  • A distributed implementation of shared uirtual memory with strong and weak coherence.  Springer eBooks. 23-31. 1991

• conference paper

  • Challenges in operating-systems reengineering for many cores.  . 2010
  • Dual, mobile and reactive objects-operating system support for load balancing parallel VR applications.  . 2002