Follow
Jacques Verriet
Title
Cited by
Cited by
Year
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
702010
Automation in warehouse development
R Hamberg, J Verriet
Springer, 2012
442012
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
272019
Model-based design of adaptive embedded systems
T Basten, R Hamberg, F Reckers, J Verriet
Springer, 2013
242013
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
172017
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
162016
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
142019
Warehouse simulation through model configuration
J Verriet, R Hamberg, J Caarls, B van Wijngaarden
ECMS, 629-635, 2013
122013
Scheduling with communication for multiprocessor computation
J Verriet
Utrecht University, 1998
121998
Scheduling tree-structured programs in the LogP model
JH Verriet
Utrecht University: Information and Computing Sciences, 1997
121997
A holonic approach to warehouse control
H Moneva, J Caarls, J Verriet
7th International Conference on Practical Applications of Agents and Multi …, 2009
112009
Scheduling UET, UCT dags with release dates and deadlines
JH Verriet
Utrecht University, 1995
111995
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
102019
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
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
92020
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
92015
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
92013
The complexity of scheduling graphs of bounded width subject to non-zero communication delays
JH Verriet
Utrecht University: Information and Computing Sciences, 1997
91997
Flexible transportation in warehouses
S Adinandra, J Caarls, D Kostić, J Verriet, H Nijmeijer
Automation in Warehouse Development, 191-207, 2012
82012
The system can't perform the operation now. Try again later.
Articles 1–20