Volgen
Martijn Hendriks
Titel
Geciteerd door
Geciteerd door
Jaar
Uppaal 4.0
G Behrmann, A David, KG Larsen, J Hċkansson, P Pettersson, W Yi, ...
Los Alamitos, CA: IEEE Computer Society, 2006
5122006
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
1232004
Timed automata based analysis of embedded system architectures
M Hendriks, M Verhoef
Proceedings 20th IEEE International Parallel & Distributed Processing …, 2006
1112006
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
782010
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, 633-647, 2006
302006
Model checking the time to reach agreement
M Hendriks
FORMATS 5, 98-111, 2005
262005
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
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
212013
Pareto analysis with uncertainty
M Hendriks, M Geilen, T Basten
2011 IFIP 9th International Conference on Embedded and Ubiquitous Computing …, 2011
212011
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
202011
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
182017
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
172016
Reconstructing critical paths from execution traces
M Hendriks, FW Vaandrager
2012 IEEE 15th International Conference on Computational Science and …, 2012
142012
Enhancing uppaal by exploiting symmetry
M Hendriks
Nijmegen Institute for Computing and Information Sciences, Faculty of …, 2002
122002
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
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20