selected publications

• conference paper

  • Exact high level WCET analysis of synchronous programs by symbolic state space exploration.  2003 Design, Automation and Test in Europe Conference and Exhibition. 2003