Follow
Martijn Hendriks
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
4992006
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
1222003
Timed automata based analysis of embedded system architectures
M Hendriks, M Verhoef
Proceedings 20th IEEE International Parallel & Distributed Processing …, 2006
1102006
Model-driven design-space exploration for embedded systems: The octopus toolset
T Basten, E Benthum, M Geilen, M Hendriks, F Houben, G Igna, F Reckers, ...
International Symposium On Leveraging Applications of Formal Methods …, 2010
732010
Exact acceleration of real-time model checking
M Hendriks, KG Larsen
Electronic Notes in Theoretical Computer Science 65 (6), 120-139, 2002
622002
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
512005
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
312006
Model checking the time to reach agreement
M Hendriks
International Conference on Formal Modeling and Analysis of Timed Systems …, 2005
252005
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
232017
Pareto analysis with uncertainty
M Hendriks, M Geilen, T Basten
2011 IFIP 9th International Conference on Embedded and Ubiquitous Computing …, 2011
202011
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
192013
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
182017
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
182011
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
172016
Reconstructing critical paths from execution traces
M Hendriks, FW Vaandrager
2012 IEEE 15th International Conference on Computational Science and …, 2012
122012
Enhancing uppaal by exploiting symmetry
M Hendriks
Nijmegen Institute for Computing and Information Sciences, Faculty of …, 2002
112002
Interface modeling for quality and resource management
M Hendriks, M Geilen, K Goossens, R de Jong, T Basten
arXiv preprint arXiv:2002.08181, 2020
102020
A systematic engineering tool chain approach for self-organizing building automation systems
A McGibney, S Rea, M Lehmann, S Thior, S Lesecq, M Hendriks, ...
IECON 2013-39th Annual Conference of the IEEE Industrial Electronics Society …, 2013
102013
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
102013
Scalable analysis for multi-scale dataflow models
HA Ara, A Behrouzian, M Hendriks, M Geilen, D Goswami, T Basten
ACM Transactions on Embedded Computing Systems (TECS) 17 (4), 1-26, 2018
92018
The system can't perform the operation now. Try again later.
Articles 1–20