| Uppaal 4.0 G Behrmann, A David, KG Larsen, J Håkansson, P Pettersson, W Yi, ... Los Alamitos, CA: IEEE Computer Society, 2006 | 529 | 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 | 127 | 2004 |
| Timed automata based analysis of embedded system architectures M Hendriks, M Verhoef Proceedings 20th IEEE International Parallel & Distributed Processing …, 2006 | 114 | 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 | 79 | 2010 |
| Exact acceleration of real-time model checking M Hendriks, KG Larsen Electronic Notes in Theoretical Computer Science 65 (6), 120-139, 2002 | 60 | 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 | 53 | 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 | 30 | 2006 |
| Model checking the time to reach agreement M Hendriks International Conference on Formal Modeling and Analysis of Timed Systems …, 2005 | 26 | 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 | 24 | 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 | 21 | 2013 |
| Pareto analysis with uncertainty M Hendriks, M Geilen, T Basten 2011 IFIP 9th International Conference on Embedded and Ubiquitous Computing …, 2011 | 21 | 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 | 21 | 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 | 19 | 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 | 19 | 2016 |
| Reconstructing critical paths from execution traces M Hendriks, FW Vaandrager 2012 IEEE 15th International Conference on Computational Science and …, 2012 | 13 | 2012 |
| Enhancing uppaal by exploiting symmetry M Hendriks Nijmegen Institute for Computing and Information Sciences, Faculty of …, 2002 | 13 | 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 | 12 | 2021 |
| 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 | 11 | 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 | 10 | 2018 |
| 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 | 10 | 2013 |
