selected publications

• academic article

  • T-CREST: Time-predictable multi-core architecture for embedded systems.  Journal of Systems Architecture.  61:449-471. 2015

• conference paper

  • Designing applications for heterogeneous many-core architectures with the FlexTiles Platform.  . 2015
  • Checking Pipelined Distributed Global Properties for Post-silicon Debug.  Workshop RTL and High Level Testing. 1-6. 2010