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

Room: Huygens Building 02.609
Phone: +31-24-365.31.75
E-mail: M.Hendriks@cs.ru.nl


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.