Concepedia

Martijn Hendriks

MH

11

Publications

521

Citations

11

H-Index

2002

Active since

Affiliations

Radboud University Nijmegen(Current)

Eindhoven University of Technology

Aalborg University

University of Twente

Martijn Hendriks is an author at Radboud University Nijmegen specializing in engineering, systems engineering, and computer engineering.

Top concepts

Publications per year

2002–2017

11

Publications

11

UPPAAL 4.0

Martijn Hendriks, P. Petterson, John Håkansson et al. · 2006 · 283 citations

, , +12

\nTimed Automata Based Analysis of Embedded System Architecture

Martijn Hendriks, Marcel Verhoef · Radboud Repository (Radboud University) · 2006 · 52 citations

Exact Acceleration of Real-Time Model Checking

Martijn Hendriks, Kim G. Larsen · Electronic Notes in Theoretical Computer Science · 2002 · 41 citations · Full text

, , +21

Production Scheduling by Reachability Analysis - A Case Study

Gerd Behrmann, Ed Brinksma, Martijn Hendriks et al. · 2005 · 32 citations

, , +24

Model checker aided design of a controller for a wafer scanner

Martijn Hendriks, Barend van den Nieuwelaar, Frits Vaandrager · International Journal on Software Tools for Technology Transfer · 2006 · 21 citations

, , +11

Rows per page

1–5 of 11