selected publications

• conference paper

  • Compiling synchronous languages to optimal move code for exposed datapath architectures.  . 2020
  • Welcome to ICCD 2013!.  . 2013
  • Control design for the rotation of crane loads for boom cranes.  . 2004
  • Exact High Level WCET Analysis of Synchronous Programs by Symbolic State Space Exploration.  . 10196-10203. 2003