Publications of Martijn Hendriks

Also see my entry in the Trier DBLP database.

Uppaal 4.0

G. Behrmann, A. David, K.G. Larsen, J. Hakansson, P. Pettersson, W. Yi and M. Hendriks.
Invited paper for QEST 2006.

Timed Automata Based Analysis of Embedded System Architectures

M. Hendriks, M. Verhoef.
  • To appear in WPDRTS 06 [ bib, pdf ].
  • Available as technical report ICIS-R06003.
  • The Uppaal model is available here, and here is the description of the complete case study (this paper only considers a architecture A).

Model Checking Timed Automata - Techniques and Applications

M. Hendriks. PhD thesis, Radboud University Nijmegen. Available as pdf here.

Causal Dependencies in Parallel Composition of Stochastic Processes

L. Cheung, M. Hendriks. Available as technical report ICIS-R05020.

Model Checking the Time to Reach Agreement

 M. Hendriks.

Scheduling Lacquer Production by Reachability Analysis - A Case Study

 G. Behrmann, E. Brinksma, M. Hendriks and A. Mader.

Model Checker Aided Design of a Controller for a Wafer Scanner

M. Hendriks, N. J. M. van den Nieuwelaar and F. W. Vaandrager.
  • Accepted for a special issue of STTT [ bib, pdf ].
  • An extended abstract appeared in the proceedings of ISoLA 2004. The slides are available.
  • Available as technical report NIII-R0430, June 2004.
  • The models and some slides

Adding Symmetry Reduction to Uppaal

M. Hendriks and G. Behrmann and K. G. Larsen and P. Niebert and F. W. Vaandrager.

Recognizing Finite Repetitive Scheduling Patterns in Manufacturing Systems

M. Hendriks and N. J. M. van den Nieuwelaar and F. W. Vaandrager. Proceedings of MISTA 2003 [ bib, ps.gz, pdf ]

Exact Acceleration of Real-Time Model Checking

M. Hendriks and K. G. Larsen.

Translating UPPAAL to Not Quite C

M. Hendriks. Technical report CSI-R0108, CSI, University of Nijmegen, March 2001.