| 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 |
| 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 | 60* | 2019 |
| Digital Twin Strategies for SoS M Borth, J Verriet, G Muller 2019 14th Annual Conference System of Systems Engineering (SoSE), 164-169, 2019 | 55 | 2019 |
| Automation in warehouse development R Hamberg, J Verriet Springer, 2012 | 52 | 2012 |
| 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 | 27 | 2019 |
| 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 | 24 | 2020 |
| 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, 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 |
| 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 | 13 | 2019 |
| Warehouse simulation through model configuration J Verriet, R Hamberg, J Caarls, B van Wijngaarden ECMS, 629-635, 2013 | 13 | 2013 |
| A holonic approach to warehouse control H Moneva, J Caarls, J Verriet 7th International Conference on Practical Applications of Agents and Multi …, 2009 | 13 | 2009 |
| Scheduling with communication for multiprocessor computation J Verriet Utrecht University, 1998 | 13 | 1998 |
| Scheduling tree-structured programs in the LogP model JH Verriet Utrecht University: Information and Computing Sciences, 1997 | 13 | 1997 |
| 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 |
| Scheduling UET, UCT dags with release dates and deadlines JH Verriet Utrecht University, 1995 | 11 | 1995 |
| 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 |
| Model-driven development of logistic systems using domain-specific tooling J Verriet, HL Liang, R Hamberg, B van Wijngaarden Complex Systems Design & Management: Proceedings of the Third International …, 2013 | 10 | 2013 |
| The complexity of scheduling graphs of bounded width subject to non-zero communication delays JH Verriet Utrecht University: Information and Computing Sciences, 1997 | 10 | 1997 |
| Performance engineering for industrial embedded data-processing systems M Hendriks, J Verriet, T Basten, M Brassé, R Dankers, R Laan, A Lint, ... Product-Focused Software Process Improvement: 16th International Conference …, 2015 | 9 | 2015 |
Twan BastenProfessor of Computational Models, Electrical Engineering, Eindhoven University of TechnologyVerified email at tue.nl
