| 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 | 70 | 2010 |
| Automation in warehouse development R Hamberg, J Verriet Springer, 2012 | 44 | 2012 |
| A Digital Twin for Cyber-Physical Energy Systems PP Pileggi, J Verriet, J Broekhuijsen, C van Leeuwen, W Wijbrandi, ... 7th Workshop on Modeling and Simulation of Cyber-Physical Energy Systems …, 2019 | 33* | 2019 |
| Digital Twin Strategies for SoS M Borth, J Verriet, G Muller 2019 14th Annual Conference System of Systems Engineering (SoSE), 164-169, 2019 | 27 | 2019 |
| Model-based design of adaptive embedded systems T Basten, R Hamberg, F Reckers, J Verriet Springer, 2013 | 24 | 2013 |
| 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 |
| A Digital Twin Method for Automated Behavior Analysis of Large-Scale Distributed IoT Systems J Sleuters, Y Li, J Verriet, M Velikova, R Doornbos 2019 14th Annual Conference System of Systems Engineering (SoSE), 2019 | 14 | 2019 |
| Warehouse simulation through model configuration J Verriet, R Hamberg, J Caarls, B van Wijngaarden ECMS, 629-635, 2013 | 12 | 2013 |
| Scheduling with communication for multiprocessor computation J Verriet Utrecht University, 1998 | 12 | 1998 |
| Scheduling tree-structured programs in the LogP model JH Verriet Utrecht University: Information and Computing Sciences, 1997 | 12 | 1997 |
| A holonic approach to warehouse control H Moneva, J Caarls, J Verriet 7th International Conference on Practical Applications of Agents and Multi …, 2009 | 11 | 2009 |
| Scheduling UET, UCT dags with release dates and deadlines JH Verriet Utrecht University, 1995 | 11 | 1995 |
| Virtual Prototyping of Large-Scale IoT Control Systems Using Domain-Specific Languages J Verriet, L Buit, R Doornbos, B Huijbrechts, K Sevo, J Sleuters, ... 7th International Conference on Model-Driven Engineering and Software …, 2019 | 10 | 2019 |
| 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 |
| Machine learning for digital twins to predict responsiveness of cyber-physical energy systems R Snijders, P Pileggi, J Broekhuijsen, J Verriet, M Wiering, K Kok 2020 8th Workshop on Modeling and Simulation of Cyber-Physical Energy …, 2020 | 9 | 2020 |
| Performance engineering for industrial embedded data-processing systems M Hendriks, J Verriet, T Basten, M Brassé, R Dankers, R Laan, A Lint, ... International Conference on Product-Focused Software Process Improvement …, 2015 | 9 | 2015 |
| Model-driven development of logistic systems using domain-specific tooling J Verriet, HL Liang, R Hamberg, B Wijngaarden Complex Systems Design & Management, 165-176, 2013 | 9 | 2013 |
| The complexity of scheduling graphs of bounded width subject to non-zero communication delays JH Verriet Utrecht University: Information and Computing Sciences, 1997 | 9 | 1997 |
| Flexible transportation in warehouses S Adinandra, J Caarls, D Kostić, J Verriet, H Nijmeijer Automation in Warehouse Development, 191-207, 2012 | 8 | 2012 |
Twan BastenProfessor of Computational Models, Electrical Engineering, Eindhoven University of TechnologyVerified email at tue.nl
