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