Volgen
Jacques Verriet
Titel
Geciteerd door
Geciteerd door
Jaar
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
792010
Automation in warehouse development
R Hamberg, J Verriet
Springer, 2012
492012
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
44*2019
Digital Twin Strategies for SoS
M Borth, J Verriet, G Muller
2019 14th Annual Conference System of Systems Engineering (SoSE), 164-169, 2019
402019
Model-based design of adaptive embedded systems
T Basten, R Hamberg, F Reckers, J Verriet
Springer, 2013
242013
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
192019
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
182017
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
172016
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
152020
Scheduling tree-structured programs in the LogP model
JH Verriet
Utrecht University: Information and Computing Sciences, 1997
151997
Warehouse simulation through model configuration
J Verriet, R Hamberg, J Caarls, B van Wijngaarden
ECMS, 629-635, 2013
132013
Scheduling with communication for multiprocessor computation
J Verriet
Utrecht University, 1998
131998
Scheduling UET, UCT dags with release dates and deadlines
JH Verriet
Utrecht University, 1995
121995
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
112019
A holonic approach to warehouse control
H Moneva, J Caarls, J Verriet
7th International Conference on Practical Applications of Agents and Multi …, 2009
112009
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
The complexity of scheduling graphs of bounded width subject to non-zero communication delays
JH Verriet
Utrecht University: Information and Computing Sciences, 1997
101997
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
92015
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
92013
Flexible transportation in warehouses
S Adinandra, J Caarls, D Kostić, J Verriet, H Nijmeijer
Automation in Warehouse Development, 191-207, 2012
82012
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20