Follow
Jacques Verriet
Title
Cited by
Cited by
Year
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
822010
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
77*2019
Digital Twin Strategies for SoS
M Borth, J Verriet, G Muller
2019 14th Annual Conference System of Systems Engineering (SoSE), 164-169, 2019
712019
Automation in warehouse development
R Hamberg, J Verriet
Springer, 2012
562012
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
362020
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
352019
Model-based design of adaptive embedded systems
T Basten, R Hamberg, F Reckers, J Verriet
Springer, 2013
252013
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
222017
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
202016
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
172021
Warehouse simulation through model configuration
J Verriet, R Hamberg, J Caarls, B van Wijngaarden
ECMS, 629-635, 2013
152013
A holonic approach to warehouse control
H Moneva, J Caarls, J Verriet
7th International Conference on Practical Applications of Agents and Multi …, 2009
152009
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
142019
Scheduling tree-structured programs in the LogP model
JH Verriet
Utrecht University: Information and Computing Sciences, 1997
141997
Scheduling with communication for multiprocessor computation
J Verriet
Utrecht University, 1998
131998
Lifecycle governance for effective digital twins: a joint systems engineering and IT perspective
P Pileggi, E Lazovik, J Broekhuijsen, M Borth, J Verriet
2020 IEEE International Systems Conference (SysCon), 1-8, 2020
112020
Scheduling UET, UCT dags with release dates and deadlines
J Verriet
Department of Computer Science, Utrecht University, 1995
111995
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
102015
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
102013
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
102013
The system can't perform the operation now. Try again later.
Articles 1–20