Jacques Verriet
Titel
Zitiert von
Zitiert von
Jahr
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
682010
Automation in warehouse development
R Hamberg, J Verriet
Springer, 2012
342012
Model-based design of adaptive embedded systems
T Basten, R Hamberg, F Reckers, J Verriet
Springer, 2013
242013
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
19*2019
Digital Twin Strategies for SoS
M Borth, J Verriet, G Muller
2019 14th Annual Conference System of Systems Engineering (SoSE), 164-169, 2019
152019
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
152016
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
142017
Scheduling tree-structured programs in the LogP model
JH Verriet
Utrecht University: Information and Computing Sciences, 1997
131997
Scheduling with communication for multiprocessor computation
J Verriet
Utrecht University, 1998
121998
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
92019
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
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
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
82019
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
82013
Flexible transportation in warehouses
S Adinandra, J Caarls, D Kostić, J Verriet, H Nijmeijer
Automation in Warehouse Development, 191-207, 2012
82012
Scheduling interval-ordered tasks with non-uniform deadlines subject to non-zero communication delays
J Verriet
Parallel Computing 25 (1), 3-21, 1999
81999
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
72015
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
72015
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20