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