Martijn Hendriks
Cited by
Cited by
Uppaal 4.0
G Behrmann, A David, KG Larsen, J Hċkansson, P Pettersson, W Yi, ...
Los Alamitos, CA: IEEE Computer Society, 2006
Adding Symmetry Reduction to Uppaal
M Hendriks, G Behrmann, K Larsen, P Niebert, F Vaandrager
Formal Modeling and Analysis of Timed Systems: First International Workshop …, 2004
Timed automata based analysis of embedded system architectures
M Hendriks, M Verhoef
Proceedings 20th IEEE International Parallel & Distributed Processing …, 2006
Model-driven design-space exploration for embedded systems: The octopus toolset
T Basten, E Van Benthum, M Geilen, M Hendriks, F Houben, G Igna, ...
Leveraging Applications of Formal Methods, Verification, and Validation: 4th …, 2010
Exact acceleration of real-time model checking
M Hendriks, KG Larsen
Electronic Notes in Theoretical Computer Science 65 (6), 120-139, 2002
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
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, 633-647, 2006
Model checking the time to reach agreement
M Hendriks
FORMATS 5, 98-111, 2005
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
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
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
Pareto analysis with uncertainty
M Hendriks, M Geilen, T Basten
2011 IFIP 9th International Conference on Embedded and Ubiquitous Computing …, 2011
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, 487-510, 2017
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, 21-40, 2016
Reconstructing critical paths from execution traces
M Hendriks, FW Vaandrager
2012 IEEE 15th International Conference on Computational Science and …, 2012
Interface modeling for quality and resource management
M Hendriks, M Geilen, K Goossens, R de Jong, T Basten
arXiv preprint arXiv:2002.08181, 2020
Enhancing uppaal by exploiting symmetry
M Hendriks
Nijmegen Institute for Computing and Information Sciences, Faculty of …, 2002
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
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
Model-driven system-performance engineering for cyber-physical systems
B Van der Sanden, Y Li, J van den Aker, B Akesson, T Bijlsma, ...
Proceedings of the 2021 International Conference on Embedded Software, 11-22, 2021
The system can't perform the operation now. Try again later.
Articles 1–20