| Uppaal 4.0 G Behrmann, A David, KG Larsen, J Hċkansson, P Pettersson, W Yi, ... Los Alamitos, CA: IEEE Computer Society, 2006 | 498 | 2006 |
| Adding symmetry reduction to uppaal M Hendriks, G Behrmann, K Larsen, P Niebert, F Vaandrager International Conference on Formal Modeling and Analysis of Timed Systems, 46-59, 2003 | 120 | 2003 |
| Timed automata based analysis of embedded system architectures M Hendriks, M Verhoef Proceedings 20th IEEE International Parallel & Distributed Processing …, 2006 | 110 | 2006 |
| Model-driven design-space exploration for embedded systems: The octopus toolset T Basten, E Benthum, M Geilen, M Hendriks, F Houben, G Igna, F Reckers, ... International Symposium On Leveraging Applications of Formal Methods …, 2010 | 72 | 2010 |
| Exact acceleration of real-time model checking M Hendriks, KG Larsen Electronic Notes in Theoretical Computer Science 65 (6), 120-139, 2002 | 62 | 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 | 51 | 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 (6), 633-647, 2006 | 29 | 2006 |
| Model checking the time to reach agreement M Hendriks International Conference on Formal Modeling and Analysis of Timed Systems …, 2005 | 25 | 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 | 23 | 2017 |
| Pareto analysis with uncertainty M Hendriks, M Geilen, T Basten 2011 IFIP 9th International Conference on Embedded and Ubiquitous Computing …, 2011 | 20 | 2011 |
| 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 | 19 | 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 | 18 | 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 (4), 487-510, 2017 | 17 | 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 (1), 21-40, 2016 | 16 | 2016 |
| Reconstructing critical paths from execution traces M Hendriks, FW Vaandrager 2012 IEEE 15th International Conference on Computational Science and …, 2012 | 11 | 2012 |
| Enhancing uppaal by exploiting symmetry M Hendriks Nijmegen Institute for Computing and Information Sciences, Faculty of …, 2002 | 11 | 2002 |
| Interface modeling for quality and resource management M Hendriks, M Geilen, K Goossens, R de Jong, T Basten arXiv preprint arXiv:2002.08181, 2020 | 10 | 2020 |
| 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 |
| 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 | 10 | 2013 |
| 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 | 9 | 2018 |
