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
832010
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
Digital Twin Strategies for SoS
M Borth, J Verriet, G Muller
2019 14th Annual Conference System of Systems Engineering (SoSE), 164-169, 2019
652019
Automation in warehouse development
R Hamberg, J Verriet
Springer, 2012
522012
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
282019
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
272020
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
212017
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
192016
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
142021
Warehouse simulation through model configuration
J Verriet, R Hamberg, J Caarls, B van Wijngaarden
ECMS, 629-635, 2013
142013
Scheduling tree-structured programs in the LogP model
JH Verriet
Utrecht University: Information and Computing Sciences, 1997
141997
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
132019
Scheduling with communication for multiprocessor computation
J Verriet
Utrecht University, 1998
131998
A holonic approach to warehouse control
H Moneva, J Caarls, J Verriet
7th International Conference on Practical Applications of Agents and Multi …, 2009
122009
Scheduling UET, UCT dags with release dates and deadlines
J Verriet
Department of Computer Science, Utrecht University, 1995
111995
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
Scheduling interval-ordered tasks with non-uniform deadlines subject to non-zero communication delays
J Verriet
Parallel Computing 25 (1), 3-21, 1999
101999
The complexity of scheduling graphs of bounded width subject to non-zero communication delays
J Verriet
Department of Computer Science, Utrecht University, 1997
101997
The system can't perform the operation now. Try again later.
Articles 1–20