Martijn Hendriks
Department of Model-Based System Development
Institute for Computing and Information Sciences
University of Nijmegen


As of November 1, 2011 I am a research fellow at the Embedded Systems Institute in Eindhoven.

Research

Publications can be found here.

Some of my interests are the following:

  1. Design space exploration of embedded systems with timed automata.
  2. Model checking timed automata.

Projects:

  1. Currently I am involved in the Octopus project.
  2. I have been involved in the AMETIST project.