Jeroen Voeten

According to our database, Jeroen Voeten authored at least 67 papers between 1996 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Modeling and analysis of switching max-plus linear systems with discrete-event feedback.

Alireza Mohamadkhani, Marc Geilen, Jeroen Voeten, Twan Basten

Discret. Event Dyn. Syst., September, 2023

Time- and Behavior-Preserving Execution of Determinate Supervisory Control.

Alireza Mohamadkhani, Marc Geilen, Jeroen Voeten, Twan Basten

CoRR, 2023

Tool interoperability for model-based systems engineering.

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

CoRR, 2023

Thirteen concepts to play it safe with the cloud.

Teun Hendriks, Benny Akesson, Jeroen Voeten, Martijn Hendriks, Javier Coronel Parada, Miguel García-Gordillo, Sergio Sáez, Joan J. Valls

Proceedings of the IEEE International Systems Conference, 2023

Work-in-Progress: Tight Response-Time Analysis for Periodic Preemptive Tasks Under Global Scheduling.

Pourya Gohari, Jeroen Voeten, Mitra Nasri

Proceedings of the IEEE Real-Time Systems Symposium, 2023

Response-time Analysis of Fault-Tolerant Hard Real-Time Systems Under Global Scheduling.

Pourya Gohari, Jeroen Voeten, Mitra Nasri

Proceedings of the 29th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2023

2022

Data-Age Analysis for Multi-Rate Task Chains under Timing Uncertainty.

Pourya Gohari, Mitra Nasri, Jeroen Voeten

Proceedings of the RTNS 2022: The 30th International Conference on Real-Time Networks and Systems, Paris, France, June 7, 2022

2021

Taming the State-space Explosion in the Makespan Optimization of Flexible Manufacturing Systems.

João Bastos, Jeroen Voeten, Sander Stuijk, Ramon R. H. Schiffelers, Henk Corporaal

ACM Trans. Cyber Phys. Syst., 2021

Supervisor synthesis and throughput optimization of partially-controllable manufacturing systems.

Berend Jan Christiaan van Putten, Bram van der Sanden, Michel A. Reniers, Jeroen Voeten, Ramon R. H. Schiffelers

Discret. Event Dyn. Syst., 2021

Model-driven system-performance engineering for cyber-physical systems.

Bram van der Sanden, Yonghui Li, Joris van den Aker, Benny Akesson, Tjerk Bijlsma, Martijn Hendriks, Kostas Triantafyllidis, Jacques Verriet, Jeroen Voeten, Twan Basten

Proceedings of the EMSOFT '21: Proceedings of the 2021 International Conference on Embedded Software, Virtual Event, October 8, 2021

LSAT: Specification and Analysis of Product Logistics in Flexible Manufacturing Systems.

Bram van der Sanden, Yuri Blankenstein, Ramon R. H. Schiffelers, Jeroen Voeten

Proceedings of the 17th IEEE International Conference on Automation Science and Engineering, 2021

2018

Exploiting Specification Modularity to Prune the Optimization-Space of Manufacturing Systems.

João Bastos, Sander Stuijk, Jeroen Voeten, Ramon R. H. Schiffelers, Henk Corporaal

Proceedings of the 21st International Workshop on Software and Compilers for Embedded Systems, 2018

Timing Prediction for Service-Based Applications Mapped on Linux-Based Multi-core Platforms.

Ruben Jonk, Jeroen Voeten, Marc Geilen, Twan Basten, Ramon R. H. Schiffelers

Proceedings of the 21st Euromicro Conference on Digital System Design, 2018

2017

Identifying bottlenecks in manufacturing systems using stochastic criticality analysis.

João Bastos, Bram van der Sanden, Olaf Donk, Jeroen Voeten, Sander Stuijk, Ramon R. H. Schiffelers, Henk Corporaal

Proceedings of the 2017 Forum on Specification and Design Languages, 2017

2016

The Impact of Deadline Misses on the Control Performance of High-End Motion Control Systems.

W. Geelen, Duarte Antunes, Jeroen Voeten, Ramon R. H. Schiffelers, W. P. M. H. Heemels

IEEE Trans. Ind. Electron., 2016

xCPS: a tool to explore cyber physical systems.

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

SIGBED Rev., 2016

Communication aware multiprocessor binding for shared memory systems.

Shreya Adyanthaya, Marc Geilen, Twan Basten, Jeroen Voeten, Ramon R. H. Schiffelers

Proceedings of the 11th IEEE Symposium on Industrial Embedded Systems, 2016

Compositional specification of functionality and timing of manufacturing systems.

Bram van der Sanden, João Bastos, Jeroen Voeten, Marc Geilen, Michel A. Reniers, Twan Basten, Johan Jacobs, Ramon R. H. Schiffelers

Proceedings of the 2016 Forum on Specification and Design Languages, 2016

An embedded CAN controller for a vehicle networking course project.

Gabriela Breaban, Martijn Koedam, Jeroen Voeten, Kees Goossens

Proceedings of the 2016 Workshop on Embedded and Cyber-Physical Systems Education, 2016

2015

Iterative robust multiprocessor scheduling.

Shreya Adyanthaya, Marc Geilen, Twan Basten, Jeroen Voeten, Ramon R. H. Schiffelers

Proceedings of the 23rd International Conference on Real Time Networks and Systems, 2015

Modular model-based supervisory controller design for wafer logistics in lithography machines.

Bram van der Sanden, Michel A. Reniers, Marc Geilen, Twan Basten, Johan Jacobs, Jeroen Voeten, Ramon R. H. Schiffelers

Proceedings of the 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2015

Modeling resource sharing using FSM-SADF.

João Bastos, Sander Stuijk, Jeroen Voeten, Ramon R. H. Schiffelers, Johan Jacobs, Henk Corporaal

Proceedings of the 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2015

xCPS: A tool to eXplore Cyber Physical Systems.

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

Proceedings of the Workshop on Embedded and Cyber-Physical Systems Education, 2015

2014

Robustness analysis of multiprocessor schedules.

Shreya Adyanthaya, Zhihui Zhang, Marc Geilen, Jeroen Voeten, Twan Basten, Ramon R. H. Schiffelers

Proceedings of the XIVth International Conference on Embedded Computer Systems: Architectures, 2014

Timing analysis of First-Come First-Served scheduled interval-timed Directed Acyclic Graphs.

Raymond Frijns, Shreya Adyanthaya, Sander Stuijk, Jeroen Voeten, Marc C. W. Geilen, Ramon R. H. Schiffelers, Henk Corporaal

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

2013

Calibration Error Bound Estimation in Performance Modeling.

Vidya V. Parappurath, Jeroen Voeten, Kees C. Kotterink

Proceedings of the 2013 Euromicro Conference on Digital System Design, 2013

Dataflow-Based Multi-ASIP Platform Approach for Digital Control Applications.

Raymond Frijns, A. L. J. Kamp, Sander Stuijk, Jeroen Voeten, M. Bontekoe, K. J. A. Gemei, Henk Corporaal

Proceedings of the 2013 Euromicro Conference on Digital System Design, 2013

Fast Multiprocessor Scheduling with Fixed Task Binding of Large Scale Industrial Cyber Physical Systems.

Shreya Adyanthaya, Marc Geilen, Twan Basten, Ramon R. H. Schiffelers, Bart D. Theelen, Jeroen Voeten

Proceedings of the 2013 Euromicro Conference on Digital System Design, 2013

2012

Model-based specification, analysis and synthesis of servo controllers for lithoscanners.

Ramon R. H. Schiffelers, Wilbert Alberts, Jeroen Voeten

Proceedings of the 6th International Workshop on Multi-Paradigm Modeling, 2012

2011

Error computation for predictable real-time software synthesis.

Jeroen Voeten, Oana Florescu, Jinfeng Huang, Henk Corporaal

Simul., 2011

Performance Model Checking Scenario-Aware Dataflow.

Bart D. Theelen, Marc Geilen, Jeroen Voeten

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2011

Predicting Timing Performance of Advanced Mechatronics Control Systems.

Jeroen Voeten, T. Hendriks, Bart D. Theelen, J. Schuddemat, W. Tabingh Suermondt, J. Gemei, Kees C. Kotterink, C. van Huët

Proceedings of the Workshop Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011

2010

UPPAAL in Practice: Quantitative Verification of a RapidIO Network.

Jiansheng Xing, Bart D. Theelen, Rom Langerak, Jaco van de Pol, Jan Tretmans, Jeroen Voeten

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

Connecting Technical and Non-technical Views of System Architectures.

Li Li, Jozef Hooman, Jeroen Voeten

Proceedings of the 2010 IEEE/ACM Int'l Conference on Green Computing and Communications, 2010

From POOSL to UPPAAL: Transformation and Quantitative Analysis.

Jiansheng Xing, Bart D. Theelen, Rom Langerak, Jaco van de Pol, Jan Tretmans, Jeroen Voeten

Proceedings of the 10th International Conference on Application of Concurrency to System Design, 2010

2009

Patterns for Automatic Generation of Soft Real-time System Models.

Oana Florescu, Jeroen Voeten, Bart D. Theelen, Henk Corporaal

Simul., 2009

Concurrent Design of Embedded Control Software.

Marcel A. Groothuis, Raymond Frijns, Jeroen Voeten, Jan F. Broenink

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009

2008

An Executable Interface Specification for Industrial Embedded System Design.

Jinfeng Huang, Jeroen Voeten, Serge Wolfs, Mark Coopmans

Proceedings of the Eighth International Conference on Quality Software, 2008

2007

Predictable real-time software synthesis.

Jinfeng Huang, Jeroen Voeten, Henk Corporaal

Real Time Syst., 2007

Software/Hardware Engineering with the Parallel Object-Oriented Specification Language.

Bart D. Theelen, Oana Florescu, Marc Geilen, Jinfeng Huang, P. H. A. van der Putten, Jeroen Voeten

Proceedings of the 5th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2007), May 30, 2007

A model-driven design approach for mechatronic systems.

Jinfeng Huang, Jeroen Voeten, Marcel A. Groothuis, Jan F. Broenink, Henk Corporaal

Proceedings of the Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 2007

2006

Probabilistic Modelling and Evaluation of Soft Real-Time Embedded Systems.

Oana Florescu, Menno de Hoon, Jeroen Voeten, Henk Corporaal

Proceedings of the Embedded Computer Systems: Architectures, 2006

Strengthening Property Preservation in Concurrent Real-Time Systems.

Oana Florescu, Jinfeng Huang, Jeroen Voeten, Henk Corporaal

Proceedings of the 12th IEEE Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2006), 2006

Correctness-preserving synthesis for real-time control software.

Jinfeng Huang, Jeroen Voeten, Henk Corporaal

Proceedings of the Sixth International Conference on Quality Software (QSIC 2006), 2006

A scenario-aware data flow model for combined long-run average and worst-case performance analysis.

Bart D. Theelen, Marc Geilen, Twan Basten, Jeroen Voeten, Stefan Valentin Gheorghita, Sander Stuijk

Proceedings of the 4th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2006), 2006

Reusing Real-Time Systems Design Experience.

Oana Florescu, Jeroen Voeten, Marcel Verhoef, Henk Corporaal

Proceedings of the Forum on specification and Design Languages, 2006

Branching-Time Property Preservation Between Real-Time Systems.

Jinfeng Huang, Marc Geilen, Jeroen Voeten, Henk Corporaal

Proceedings of the Automated Technology for Verification and Analysis, 2006

2005

Synthesis for Unified Control- and Data-Oriented Models.

Oana Florescu, Jeroen Voeten, Henk Corporaal

Proceedings of the Forum on specification and Design Languages, 2005

2004

A Unified Model for Analysis of Real-Time Properties.

Oana Florescu, Jeroen Voeten, Henk Corporaal

Proceedings of the International Symposium on Leveraging Applications of Formal Methods, 2004

Predictability in Real-time System Development (1) Semantics Support from Development Languages .

Jinfeng Huang, Jeroen Voeten, Andre Ventevogel

Proceedings of the Forum on specification and Design Languages, 2004

Predictability in Real-time System Development (2) A Case Study .

Jinfeng Huang, Jeroen Voeten, Piet van der Putten, Andre Ventevogel

Proceedings of the Forum on specification and Design Languages, 2004

Error Estimation in Model-Driven Development for Real-Time Software.

Oana Florescu, Jeroen Voeten, Jinfeng Huang, Henk Corporaal

Proceedings of the Forum on specification and Design Languages, 2004

2003

Performance modelling of a network processor using POOSL.

Bart D. Theelen, Jeroen Voeten, R. D. J. Kramer

Comput. Networks, 2003

Real-time Property Preservation in Approximations of Timed Systems.

Jinfeng Huang, Jeroen Voeten, Marc Geilen

Proceedings of the 1st ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2003), 2003

Traversing the Fundamental System-Level Design Gap Using Modeling Patterns.

Mark Verhappen, Jeroen Voeten, P. H. A. van der Putten

Proceedings of the Forum on specification and Design Languages, 2003

Platform-independent Design for Embedded Real-time Systems .

Jinfeng Huang, Jeroen Voeten, Andre Ventevogel, Leo J. van Bokhoven

Proceedings of the Forum on specification and Design Languages, 2003

2002

Concurrent Support of Higher-Layer Protocols over WDM.

Bart D. Theelen, Jeroen Voeten, P. H. A. van der Putten, M. P. J. Stevens, Harm J. S. Dorren

Photonic Netw. Commun., 2002

Performance evaluation with temporal rewards.

Jeroen Voeten

Perform. Evaluation, 2002

On the Fundamental Design Gap in Terabit per Second Packet Switching.

Mark Verhappen, P. H. A. van der Putten, Jeroen Voeten

Proceedings of the 2002 Euromicro Symposium on Digital Systems Design (DSD 2002), 2002

2001

On the fundamental limitations of transformational design.

Jeroen Voeten

ACM Trans. Design Autom. Electr. Syst., 2001

Object-oriented modelling and specification using SHE.

Marc Geilen, Jeroen Voeten, P. H. A. van der Putten, Leo J. van Bokhoven, M. P. J. Stevens

Comput. Lang., 2001

2000

Temporal Rewards for Performance Evaluation.

Jeroen Voeten

Proceedings of the ICALP Workshops 2000, 2000

Behavior-Preserving Transformations for Design-for-Test.

Jeroen Voeten, Harald P. E. Vranken

Proceedings of the 26th EUROMICRO 2000 Conference, 2000

1999

System Level Models for Real-Time Communication.

P. H. A. van der Putten, Jeroen Voeten, Marc Geilen, M. P. J. Stevens

Proceedings of the 25th EUROMICRO '99 Conference, 1999

Software Synthesis for System Level Design Using Process Execution Trees.

Leo J. van Bokhoven, Jeroen Voeten, Marc Geilen

Proceedings of the 25th EUROMICRO '99 Conference, 1999

1998

System Level Modelling for Hardware/Software Systems.

Jeroen Voeten, P. H. A. van der Putten, Marc Geilen, M. P. J. Stevens

Proceedings of the 24th EUROMICRO '98 Conference, 1998

1996

Behaviour-Preserving Transformations in SHE: A Formal Approach to Architecture Design.

Jeroen Voeten, P. H. A. van der Putten, M. P. J. Stevens

Proceedings of the 22rd EUROMICRO Conference '96, 1996