Jacques Verriet
Cited by
Cited by
Model-driven design-space exploration for embedded systems: The octopus toolset
T Basten, E Van Benthum, M Geilen, M Hendriks, F Houben, G Igna, ...
International Symposium On Leveraging Applications of Formal Methods …, 2010
Automation in warehouse development
R Hamberg, J Verriet
Springer, 2012
Model-based design of adaptive embedded systems
T Basten, R Hamberg, F Reckers, J Verriet
Springer, 2013
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
Digital Twin Strategies for SoS
M Borth, J Verriet, G Muller
2019 14th Annual Conference System of Systems Engineering (SoSE), 164-169, 2019
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
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
Scheduling tree-structured programs in the LogP model
JH Verriet
Utrecht University: Information and Computing Sciences, 1997
Scheduling with communication for multiprocessor computation
J Verriet
Utrecht University, 1998
A holonic approach to warehouse control
H Moneva, J Caarls, J Verriet
7th International Conference on Practical Applications of Agents and Multi …, 2009
Scheduling UET, UCT dags with release dates and deadlines
JH Verriet
Utrecht University, 1995
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
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
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
Model-driven development of logistic systems using domain-specific tooling
J Verriet, HL Liang, R Hamberg, B van Wijngaarden
Complex Systems Design & Management, 165-176, 2013
The complexity of scheduling graphs of bounded width subject to non-zero communication delays
JH Verriet
Utrecht University: Information and Computing Sciences, 1997
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
Warehouse simulation through model configuration
J Verriet, R Hamberg, J Caarls, B van Wijngaarden
ECMS, 629-635, 2013
Flexible transportation in warehouses
S Adinandra, J Caarls, D Kostić, J Verriet, H Nijmeijer
Automation in Warehouse Development, 191-207, 2012
Robustness Analysis for Indoor Lighting Systems: An Application of Model Checking in Large-Scale Distributed Control Systems
R Doornbos, J Verriet, M Verberkt
10th International Conference on Systems, Barcelona, Spain, 2015
The system can't perform the operation now. Try again later.
Articles 1–20