Martijn Hendriks

Martijn Hendriks

The Netherlands Organisation for Applied Scientific Research - / Netherlands
Engineering & Technology / Electrical & Electronic Engineering
AD Scientific Index ID: 4416844
De Nederlandse Organisatie voor Toegepast Natuurwetenschappelijk Onderzoek
person_outline Martijn Hendriks's MOST POPULAR ARTICLES
1-) Timed automata based analysis of embedded system architectures Proceedings 20th IEEE International Parallel & Distributed Processing …, 2006
2-) Model-driven design-space exploration for embedded systems: The octopus toolset Leveraging Applications of Formal Methods, Verification, and Validation: 4th …, 2010
3-) Exact acceleration of real-time model checking Electronic Notes in Theoretical Computer Science 65 (6), 120-139, 2002
4-) Model-driven design-space exploration for embedded systems: The octopus toolsetT Basten, E Van Benthum, M Geilen, M Hendriks, F Houben, G Igna, ...Leveraging Applications of Formal Methods, Verification, and Validation: 4th …, 2010822010
5-) Exact acceleration of real-time model checkingM Hendriks, KG LarsenElectronic Notes in Theoretical Computer Science 65 (6), 120-139, 2002622002