Jacques Verriet
Titolo
Citata da
Citata da
Anno
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
582010
Automation in warehouse development
R Hamberg, J Verriet
Springer, 2012
292012
Model-based design of adaptive embedded systems
T Basten, R Hamberg, F Reckers, J Verriet
Springer, 2013
202013
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
132017
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
132016
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
101995
Scheduling interval-ordered tasks with non-uniform deadlines subject to non-zero communication delays
J Verriet
Parallel Computing 25 (1), 3-21, 1999
81999
The complexity of scheduling graphs of bounded width subject to non-zero communication delays
JH Verriet
Utrecht University: Information and Computing Sciences, 1997
81997
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
72013
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
72013
Flexible transportation in warehouses
S Adinandra, J Caarls, D Kostić, J Verriet, H Nijmeijer
Automation in Warehouse Development, 191-207, 2012
72012
Scheduling interval orders with release dates and deadlines
JH Verriet
Utrecht University: Information and Computing Sciences, 1996
71996
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
62015
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
62015
Cold start control of industrial printers
C Cochior, PPJ van den Bosch, R Waarsing, J Verriet
2012 IEEE/ASME International Conference on Advanced Intelligent Mechatronics …, 2012
62012
Control strategy for systems with input-induced nonlinearities: A printing system case study
C Cochior, PPJ van den Bosch, R Waarsing, J Verriet
2012 American Control Conference (ACC), 1949-1954, 2012
62012
Scheduling tree-like task systems with non-uniform deadlines subject to unit-length communication delays
J Verriet
Discrete applied mathematics 101 (1-3), 269-289, 2000
62000
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20