Martijn Hendriks
Martijn Hendriks
Embedded Systems Innovation by TNO
Verified email at tno.nl
Title
Cited by
Cited by
Year
Uppaal 4.0
G Behrmann, A David, KG Larsen, J Hċkansson, P Pettersson, W Yi, ...
Los Alamitos, CA: IEEE Computer Society, 2006
4332006
Adding symmetry reduction to uppaal
M Hendriks, G Behrmann, K Larsen, P Niebert, F Vaandrager
International Conference on Formal Modeling and Analysis of Timed Systems, 46-59, 2003
1172003
Timed automata based analysis of embedded system architectures
M Hendriks, M Verhoef
Proceedings 20th IEEE International Parallel & Distributed Processing …, 2006
1042006
Model-driven design-space exploration for embedded systems: The octopus toolset
T Basten, E Van Benthum, M Geilen, M Hendriks, F Houben, G Igna, ...
International Symposium On Leveraging Applications of Formal Methods …, 2010
632010
Exact acceleration of real-time model checking
M Hendriks, KG Larsen
Electronic Notes in Theoretical Computer Science 65 (6), 120-139, 2002
602002
Scheduling lacquer production by reachability analysis–a case study
G Behrmann, E Brinksma, M Hendriks, A Mader
IFAC Proceedings Volumes 38 (1), 50-55, 2005
532005
Model checker aided design of a controller for a wafer scanner
M Hendriks, B van den Nieuwelaar, F Vaandrager
International Journal on Software Tools for Technology Transfer 8 (6), 633-647, 2006
292006
Model checking the time to reach agreement
M Hendriks
International Conference on Formal Modeling and Analysis of Timed Systems …, 2005
232005
xCPS: a tool to explore cyber physical systems
S Adyanthaya, HA Ara, J Bastos, A Behrouzian, RM Sánchez, ...
ACM SIGBED Review 14 (1), 81-95, 2017
182017
Model-driven design-space exploration for software-intensive embedded systems
T Basten, M Hendriks, N Trčka, L Somers, M Geilen, Y Yang, G Igna, ...
Model-Based Design of Adaptive Embedded Systems, 189-244, 2013
182013
Integrated model-driven design-space exploration for embedded systems
N Trčka, M Hendriks, T Basten, M Geilen, L Somers
2011 International Conference on Embedded Computer Systems: Architectures …, 2011
172011
Pareto analysis with uncertainty
M Hendriks, M Geilen, T Basten
2011 IFIP 9th International Conference on Embedded and Ubiquitous Computing …, 2011
162011
A blueprint for system-level performance modeling of software-intensive embedded systems
M Hendriks, T Basten, J Verriet, M Brassé, L Somers
International Journal on Software Tools for Technology Transfer 18 (1), 21-40, 2016
142016
Analyzing execution traces: critical-path analysis and distance analysis
M Hendriks, J Verriet, T Basten, B Theelen, M Brassé, L Somers
International Journal on Software Tools for Technology Transfer 19 (4), 487-510, 2017
132017
Enhancing uppaal by exploiting symmetry
M Hendriks
Nijmegen Institute for Computing and Information Sciences, Faculty of …, 2002
122002
Development of reactive programs using UPPAAL
M Hendriks
Master's thesis, KUN, Nijmegen University, 2002
92002
A systematic engineering tool chain approach for self-organizing building automation systems
A Mc Gibney, S Rea, M Lehmann, S Thior, S Lesecq, M Hendriks, ...
IECON 2013-39th Annual Conference of the IEEE Industrial Electronics Society …, 2013
82013
Architecture for self-organizing, co-operative and robust Building Automation Systems
F Bernier, J Ploennigs, D Pesch, S Lesecq, T Basten, M Boubekeur, ...
IECON 2013-39th Annual Conference of the IEEE Industrial Electronics Society …, 2013
82013
Reconstructing critical paths from execution traces
M Hendriks, FW Vaandrager
2012 IEEE 15th International Conference on Computational Science and …, 2012
82012
Recognizing finite repetitive scheduling patterns in manufacturing systems
M Hendriks, B van den Nieuwelaar, F Vaandrager
Proceedings of the 1st Multidisciplinary International Conference on …, 2003
82003
The system can't perform the operation now. Try again later.
Articles 1–20