Jeroen Voeten

Publication Activity (10 Years)

Years Active: 1996-2024
Publications (10 Years): 21

Top Topics

Equivalence Class

Supervisory Control

Top Venues

Discret. Event Dyn. Syst.

Publications

Pourya Gohari, Jeroen Voeten, Mitra Nasri
Reachability-Based Response-Time Analysis of Preemptive Tasks Under Global Scheduling. ECRTS (2024)
Mahtab Modaber, Martijn Hendriks, Marc Geilen, Twan Basten, Jeroen Voeten
A Method for Building Trustworthy Hybrid Performance Models for Cyber-Physical Systems of Systems. IEEE Access 12 (2024)
Pourya Gohari, Jeroen Voeten, Mitra Nasri
Work-in-Progress: Tight Response-Time Analysis for Periodic Preemptive Tasks Under Global Scheduling. RTSS (2023)
Alireza Mohamadkhani, Marc Geilen, Jeroen Voeten, Twan Basten
Time- and Behavior-Preserving Execution of Determinate Supervisory Control. CoRR (2023)
Alireza Mohamadkhani, Marc Geilen, Jeroen Voeten, Twan Basten
Modeling and analysis of switching max-plus linear systems with discrete-event feedback. Discret. Event Dyn. Syst. 33 (3) (2023)
Pourya Gohari, Jeroen Voeten, Mitra Nasri
Response-time Analysis of Fault-Tolerant Hard Real-Time Systems Under Global Scheduling. RTCSA (2023)
Sander Thuijsman, Gökhan Kahraman, Alireza Mohamadkhani, Ferry Timmers, Loek Cleophas, Marc Geilen, Jan Friso Groote, Michel A. Reniers, Ramon R. H. Schiffelers, Jeroen Voeten
Tool interoperability for model-based systems engineering. CoRR (2023)
Teun Hendriks, Benny Akesson, Jeroen Voeten, Martijn Hendriks, Javier Coronel Parada, Miguel García-Gordillo, Sergio Sáez, Joan J. Valls
Thirteen concepts to play it safe with the cloud. SysCon (2023)
Pourya Gohari, Mitra Nasri, Jeroen Voeten
Data-Age Analysis for Multi-Rate Task Chains under Timing Uncertainty. RTNS (2022)
João Bastos, Jeroen Voeten, Sander Stuijk, Ramon R. H. Schiffelers, Henk Corporaal
Taming the State-space Explosion in the Makespan Optimization of Flexible Manufacturing Systems. ACM Trans. Cyber Phys. Syst. 5 (2) (2021)
Bram van der Sanden, Yuri Blankenstein, Ramon R. H. Schiffelers, Jeroen Voeten
LSAT: Specification and Analysis of Product Logistics in Flexible Manufacturing Systems. CASE (2021)
Berend Jan Christiaan van Putten, Bram van der Sanden, Michel A. Reniers, Jeroen Voeten, Ramon R. H. Schiffelers
Supervisor synthesis and throughput optimization of partially-controllable manufacturing systems. Discret. Event Dyn. Syst. 31 (1) (2021)
Bram van der Sanden, Yonghui Li, Joris van den Aker, Benny Akesson, Tjerk Bijlsma, Martijn Hendriks, Kostas Triantafyllidis, Jacques Verriet, Jeroen Voeten, Twan Basten
Model-driven system-performance engineering for cyber-physical systems. EMSOFT (2021)
Ruben Jonk, Jeroen Voeten, Marc Geilen, Twan Basten, Ramon R. H. Schiffelers
Timing Prediction for Service-Based Applications Mapped on Linux-Based Multi-core Platforms. DSD (2018)
João Bastos, Sander Stuijk, Jeroen Voeten, Ramon R. H. Schiffelers, Henk Corporaal
Exploiting Specification Modularity to Prune the Optimization-Space of Manufacturing Systems. SCOPES (2018)
João Bastos, Bram van der Sanden, Olaf Donk, Jeroen Voeten, Sander Stuijk, Ramon R. H. Schiffelers, Henk Corporaal
Identifying bottlenecks in manufacturing systems using stochastic criticality analysis. FDL (2017)
W. Geelen, Duarte Antunes, Jeroen Voeten, Ramon R. H. Schiffelers, W. P. M. H. Heemels
The Impact of Deadline Misses on the Control Performance of High-End Motion Control Systems. IEEE Trans. Ind. Electron. 63 (2) (2016)
Gabriela Breaban, Martijn Koedam, Jeroen Voeten, Kees Goossens
An embedded CAN controller for a vehicle networking course project. WESE (2016)
Shreya Adyanthaya, Hadi Alizadeh Ara, João Bastos, Amir R. B. Behrouzian, Róbinson Medina Sánchez, Joost van Pinxten, Bram van der Sanden, Umar Waqas, Twan Basten, Henk Corporaal, Raymond Frijns, Marc Geilen, Dip Goswami, Martijn Hendriks, Sander Stuijk, Michel A. Reniers, Jeroen Voeten
xCPS: a tool to explore cyber physical systems. SIGBED Rev. 14 (1) (2016)
Bram van der Sanden, João Bastos, Jeroen Voeten, Marc Geilen, Michel A. Reniers, Twan Basten, Johan Jacobs, Ramon R. H. Schiffelers
Compositional specification of functionality and timing of manufacturing systems. FDL (2016)
Shreya Adyanthaya, Marc Geilen, Twan Basten, Jeroen Voeten, Ramon R. H. Schiffelers
Communication aware multiprocessor binding for shared memory systems. SIES (2016)
João Bastos, Sander Stuijk, Jeroen Voeten, Ramon R. H. Schiffelers, Johan Jacobs, Henk Corporaal
Modeling resource sharing using FSM-SADF. MEMOCODE (2015)
Bram van der Sanden, Michel A. Reniers, Marc Geilen, Twan Basten, Johan Jacobs, Jeroen Voeten, Ramon R. H. Schiffelers
Modular model-based supervisory controller design for wafer logistics in lithography machines. MoDELS (2015)
Shreya Adyanthaya, Marc Geilen, Twan Basten, Jeroen Voeten, Ramon R. H. Schiffelers
Iterative robust multiprocessor scheduling. RTNS (2015)
Shreya Adyanthaya, Hadi Alizadeh Ara, João Bastos, Amir R. B. Behrouzian, Róbinson Medina Sánchez, Joost van Pinxten, Bram van der Sanden, Umar Waqas, Twan Basten, Henk Corporaal, Raymond Frijns, Marc Geilen, Dip Goswami, Sander Stuijk, Michel A. Reniers, Jeroen Voeten
xCPS: A tool to eXplore Cyber Physical Systems. WESE (2015)
Shreya Adyanthaya, Zhihui Zhang, Marc Geilen, Jeroen Voeten, Twan Basten, Ramon R. H. Schiffelers
Robustness analysis of multiprocessor schedules. ICSAMOS (2014)
Raymond Frijns, Shreya Adyanthaya, Sander Stuijk, Jeroen Voeten, Marc C. W. Geilen, Ramon R. H. Schiffelers, Henk Corporaal
Timing analysis of First-Come First-Served scheduled interval-timed Directed Acyclic Graphs. DATE (2014)
Shreya Adyanthaya, Marc Geilen, Twan Basten, Ramon R. H. Schiffelers, Bart D. Theelen, Jeroen Voeten
Fast Multiprocessor Scheduling with Fixed Task Binding of Large Scale Industrial Cyber Physical Systems. DSD (2013)
Raymond Frijns, A. L. J. Kamp, Sander Stuijk, Jeroen Voeten, M. Bontekoe, K. J. A. Gemei, Henk Corporaal
Dataflow-Based Multi-ASIP Platform Approach for Digital Control Applications. DSD (2013)
Vidya V. Parappurath, Jeroen Voeten, Kees C. Kotterink
Calibration Error Bound Estimation in Performance Modeling. DSD (2013)
Ramon R. H. Schiffelers, Wilbert Alberts, Jeroen Voeten
Model-based specification, analysis and synthesis of servo controllers for lithoscanners. MPM@MoDELS (2012)
Bart D. Theelen, Marc Geilen, Jeroen Voeten
Performance Model Checking Scenario-Aware Dataflow. FORMATS (2011)
Jeroen Voeten, T. Hendriks, Bart D. Theelen, J. Schuddemat, W. Tabingh Suermondt, J. Gemei, Kees C. Kotterink, C. van Huët
Predicting Timing Performance of Advanced Mechatronics Control Systems. COMPSAC Workshops (2011)
Jeroen Voeten, Oana Florescu, Jinfeng Huang, Henk Corporaal
Error computation for predictable real-time software synthesis. Simul. 87 (4) (2011)
Jiansheng Xing, Bart D. Theelen, Rom Langerak, Jaco van de Pol, Jan Tretmans, Jeroen Voeten
From POOSL to UPPAAL: Transformation and Quantitative Analysis. ACSD (2010)
Li Li, Jozef Hooman, Jeroen Voeten
Connecting Technical and Non-technical Views of System Architectures. GreenCom/CPSCom (2010)
Jiansheng Xing, Bart D. Theelen, Rom Langerak, Jaco van de Pol, Jan Tretmans, Jeroen Voeten
UPPAAL in Practice: Quantitative Verification of a RapidIO Network. ISoLA (2) (2010)
Oana Florescu, Jeroen Voeten, Bart D. Theelen, Henk Corporaal
Patterns for Automatic Generation of Soft Real-time System Models. Simul. 85 (11-12) (2009)
Marcel A. Groothuis, Raymond Frijns, Jeroen Voeten, Jan F. Broenink
Concurrent Design of Embedded Control Software. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 21 (2009)
Jinfeng Huang, Jeroen Voeten, Serge Wolfs, Mark Coopmans
An Executable Interface Specification for Industrial Embedded System Design. QSIC (2008)
Bart D. Theelen, Oana Florescu, Marc Geilen, Jinfeng Huang, P. H. A. van der Putten, Jeroen Voeten
Software/Hardware Engineering with the Parallel Object-Oriented Specification Language. MEMOCODE (2007)
Jinfeng Huang, Jeroen Voeten, Henk Corporaal
Predictable real-time software synthesis. Real Time Syst. 36 (3) (2007)
Jinfeng Huang, Jeroen Voeten, Marcel A. Groothuis, Jan F. Broenink, Henk Corporaal
A model-driven design approach for mechatronic systems. ACSD (2007)
Jinfeng Huang, Marc Geilen, Jeroen Voeten, Henk Corporaal
Branching-Time Property Preservation Between Real-Time Systems. ATVA (2006)
Bart D. Theelen, Marc Geilen, Twan Basten, Jeroen Voeten, Stefan Valentin Gheorghita, Sander Stuijk
A scenario-aware data flow model for combined long-run average and worst-case performance analysis. MEMOCODE (2006)
Oana Florescu, Jinfeng Huang, Jeroen Voeten, Henk Corporaal
Strengthening Property Preservation in Concurrent Real-Time Systems. RTCSA (2006)
Oana Florescu, Jeroen Voeten, Marcel Verhoef, Henk Corporaal
Reusing Real-Time Systems Design Experience. FDL (2006)
Jinfeng Huang, Jeroen Voeten, Henk Corporaal
Correctness-preserving synthesis for real-time control software. QSIC (2006)
Oana Florescu, Menno de Hoon, Jeroen Voeten, Henk Corporaal
Probabilistic Modelling and Evaluation of Soft Real-Time Embedded Systems. SAMOS (2006)
Oana Florescu, Jeroen Voeten, Henk Corporaal
Synthesis for Unified Control- and Data-Oriented Models. FDL (2005)
Jinfeng Huang, Jeroen Voeten, Piet van der Putten, Andre Ventevogel
Predictability in Real-time System Development (2) A Case Study . FDL (2004)
Jinfeng Huang, Jeroen Voeten, Andre Ventevogel
Predictability in Real-time System Development (1) Semantics Support from Development Languages . FDL (2004)
Oana Florescu, Jeroen Voeten, Henk Corporaal
A Unified Model for Analysis of Real-Time Properties. ISoLA (Preliminary proceedings) (2004)
Oana Florescu, Jeroen Voeten, Jinfeng Huang, Henk Corporaal
Error Estimation in Model-Driven Development for Real-Time Software. FDL (2004)
M. Verhappen, Jeroen Voeten, P. H. A. van der Putten
Traversing the Fundamental System-Level Design Gap Using Modeling Patterns. FDL (2003)
Jinfeng Huang, Jeroen Voeten, Andre Ventevogel, Leo J. van Bokhoven
Platform-independent Design for Embedded Real-time Systems . FDL (2003)
Jinfeng Huang, Jeroen Voeten, Marc Geilen
Real-time Property Preservation in Approximations of Timed Systems. MEMOCODE (2003)
Bart D. Theelen, Jeroen Voeten, R. D. J. Kramer
Performance modelling of a network processor using POOSL. Comput. Networks 41 (5) (2003)
Bart D. Theelen, Jeroen Voeten, P. H. A. van der Putten, M. P. J. Stevens, Harm J. S. Dorren
Concurrent Support of Higher-Layer Protocols over WDM. Photonic Netw. Commun. 4 (1) (2002)
Jeroen Voeten
Performance evaluation with temporal rewards. Perform. Evaluation 50 (2/3) (2002)
M. Verhappen, P. H. A. van der Putten, Jeroen Voeten
On the Fundamental Design Gap in Terabit per Second Packet Switching. DSD (2002)
Jeroen Voeten
On the fundamental limitations of transformational design. ACM Trans. Design Autom. Electr. Syst. 6 (4) (2001)
Marc Geilen, Jeroen Voeten, P. H. A. van der Putten, Leo J. van Bokhoven, M. P. J. Stevens
Object-oriented modelling and specification using SHE. Comput. Lang. 27 (1/3) (2001)
Jeroen Voeten, Harald P. E. Vranken
Behavior-Preserving Transformations for Design-for-Test. EUROMICRO (2000)
Jeroen Voeten
Temporal Rewards for Performance Evaluation. ICALP Satellite Workshops (2000)
Leo J. van Bokhoven, Jeroen Voeten, Marc Geilen
Software Synthesis for System Level Design Using Process Execution Trees. EUROMICRO (1999)
P. H. A. van der Putten, Jeroen Voeten, Marc Geilen, M. P. J. Stevens
System Level Models for Real-Time Communication. EUROMICRO (1999)
Jeroen Voeten, P. H. A. van der Putten, Marc Geilen, M. P. J. Stevens
System Level Modelling for Hardware/Software Systems. EUROMICRO (1998)
Jeroen Voeten, P. H. A. van der Putten, M. P. J. Stevens
Behaviour-Preserving Transformations in SHE: A Formal Approach to Architecture Design. EUROMICRO (1996)