| Uppaal 4.0 G Behrmann, A David, KG Larsen, J Hċkansson, P Pettersson, W Yi, ... Los Alamitos, CA: IEEE Computer Society, 2006 | 547 | 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 | 131 | 2004 |
| Timed automata based analysis of embedded system architectures M Hendriks, M Verhoef Proceedings 20th IEEE International Parallel & Distributed Processing …, 2006 | 117 | 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 | 82 | 2010 |
| Exact acceleration of real-time model checking M Hendriks, KG Larsen Electronic Notes in Theoretical Computer Science 65 (6), 120-139, 2002 | 61 | 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 | 45 | 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 | 32 | 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 | 30 | 2017 |
| Model checking the time to reach agreement M Hendriks International Conference on Formal Modeling and Analysis of Timed Systems …, 2005 | 27 | 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 | 21 | 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 |
| 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 | 20 | 2016 |
| 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 | 20 | 2005 |
| 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 | 17 | 2021 |
| Reconstructing critical paths from execution traces M Hendriks, FW Vaandrager 2012 IEEE 15th International Conference on Computational Science and …, 2012 | 16 | 2012 |
| UPPAAL 4.0 M Hendriks, W Yi, P Petterson, J Hakansson, KG Larsen, A David, ... Third International Conference on the Quantitative Evaluation of Systems …, 2006 | 13 | 2006 |
| Enhancing uppaal by exploiting symmetry M Hendriks Nijmegen Institute for Computing and Information Sciences, Faculty of …, 2002 | 13 | 2002 |
| 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 | 12 | 2018 |
