Jeroen Voeten
Technische Universiteit Eindhoven
H-index: 19
Europe-Netherlands
Top articles of Jeroen Voeten
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Thirteen concepts to play it safe with the cloud | Teun Hendriks Benny Akesson Jeroen Voeten Martijn Hendriks Javier Coronel Parada | 2023/4/17 | |
Tool interoperability for model-based systems engineering | arXiv preprint arXiv:2302.03503 | Sander Thuijsman Gökhan Kahraman Alireza Mohamadkhani Ferry Timmers Loek Cleophas | 2023/2/7 |
Time-and Behavior-Preserving Execution of Determinate Supervisory Control | arXiv preprint arXiv:2312.05011 | Alireza Mohamadkhani Marc Geilen Jeroen Voeten Twan Basten | 2023/12/8 |
Work-in-Progress: Tight Response-Time Analysis for Periodic Preemptive Tasks Under Global Scheduling | Pourya Gohari Jeroen Voeten Mitra Nasri | 2023/12/5 | |
Modeling and analysis of switching max-plus linear systems with discrete-event feedback | Discrete Event Dynamic Systems | Alireza Mohamadkhani Marc Geilen Jeroen Voeten Twan Basten | 2023/9 |
Response-time Analysis of Fault-Tolerant Hard Real-Time Systems Under Global Scheduling | Pourya Gohari Jeroen Voeten Mitra Nasri | 2023/8/30 | |
Data-age analysis for multi-rate task chains under timing uncertainty | Pourya Gohari Mitra Nasri Jeroen Voeten | 2022/6/7 | |
Supervisor synthesis and throughput optimization of partially-controllable manufacturing systems | Discrete Event Dynamic Systems | Berend Jan Christiaan van Putten Bram van der Sanden Michel Reniers Jeroen Voeten Ramon Schiffelers | 2021/3 |
Taming the state-space explosion in the makespan optimization of Flexible Manufacturing Systems | ACM Transactions on Cyber-Physical Systems | João Bastos Jeroen Voeten Sander Stuijk Ramon Schiffelers Henk Corporaal | 2021/1/4 |
Model-driven system-performance engineering for cyber-physical systems | Bram Van der Sanden Yonghui Li Joris van den Aker Benny Akesson Tjerk Bijlsma | 2021/9/30 | |
LSAT: Specification and analysis of product logistics in flexible manufacturing systems | Bram van der Sanden Yuri Blankenstein Ramon Schiffelers Jeroen Voeten | 2021/8/23 | |
SMT-based verification of temporal properties for component-based software systems | IFAC-PapersOnLine | Ruben Jonk Jeroen Voeten Marc Geilen Twan Basten Ramon Schiffelers | 2020/1/1 |
Scenarios in the design of flexible manufacturing systems | System-scenario-based design principles and applications | Francky Catthoor Twan Basten Nikolaos Zompakis Marc Geilen Per Gunnar Kjeldsberg | 2020 |