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
Production scheduling by reachability analysis-a case study
G Behrmann, E Brinksma, M Hendriks, A Mader
19th IEEE International Parallel and Distributed Processing Symposium, 8 pp., 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
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 checking the time to reach agreement
M Hendriks
International Conference on Formal Modeling and Analysis of Timed Systems …, 2005
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
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
Pareto analysis with uncertainty
M Hendriks, M Geilen, T Basten
2011 IFIP 9th International Conference on Embedded and Ubiquitous Computing …, 2011
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
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
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
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
Reconstructing critical paths from execution traces
M Hendriks, FW Vaandrager
2012 IEEE 15th International Conference on Computational Science and …, 2012
Enhancing uppaal by exploiting symmetry
M Hendriks
Nijmegen Institute for Computing and Information Sciences, Faculty of …, 2002
Interface modeling for quality and resource management
M Hendriks, M Geilen, K Goossens, R de Jong, T Basten
Logical Methods in Computer Science 17, 2021
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
The system can't perform the operation now. Try again later.
Articles 1–20