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 |
Digital Twin Strategies for SoS M Borth, J Verriet, G Muller 2019 14th Annual Conference System of Systems Engineering (SoSE), 164-169, 2019 | 69 | 2019 |
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 | 69* | 2019 |
Automation in warehouse development R Hamberg, J Verriet Springer, 2012 | 54 | 2012 |
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 | 32 | 2020 |
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 | 31 | 2019 |
Model-based design of adaptive embedded systems T Basten, R Hamberg, F Reckers, J Verriet Springer, 2013 | 25 | 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 | 21 | 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 | 20 | 2016 |
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 | 15 | 2021 |
Warehouse simulation through model configuration J Verriet, R Hamberg, J Caarls, B van Wijngaarden ECMS, 629-635, 2013 | 14 | 2013 |
Scheduling tree-structured programs in the LogP model JH Verriet Utrecht University: Information and Computing Sciences, 1997 | 14 | 1997 |
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 |
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 UET, UCT dags with release dates and deadlines J Verriet Department of Computer Science, Utrecht University, 1995 | 11 | 1995 |
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 | 10 | 2015 |
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 |
Scheduling interval-ordered tasks with non-uniform deadlines subject to non-zero communication delays J Verriet Parallel Computing 25 (1), 3-21, 1999 | 10 | 1999 |