Projects per year
Personal profile
Quote
“I enjoy working on the borders between research and innovation, improving industrial products and design processes through cutting-edge model-based design methodologies.”
Research profile
Jeroen Voeten is Professor in the Electronic Systems group of the Department of Electrical Engineering at Eindhoven University of Technology (TU/e). Voeten is also a research fellow at the Embedded Systems Institute in Eindhoven. His research interests include formal techniques for the specification, design and implementation of hardware/software systems. In this context, he participates in Artist, the Network of Excellence on Embedded Systems Design, in the Execution Platforms cluster.
Voeten’s work focuses on computer systems, architectures and networks; software, algorithms and control systems; performance modelling; and embedded and high-tech systems. Voeten is particularly skilled in research and development (R&D), computer science and engineering, cyber physical systems and performance engineering.
He is currently involved in the Carm 2G project with ASML, with the aim to develop a model-based engineering environment to improve the development efficiency and performance of the embedded control systems of wafer scanners.
Voeten has written or contributed to 87 conference reports, 13 academic reports, 11 book chapters and 11 journal articles.
Academic background
Jeroen Voeten received his MSc in the field of Mathematics and Computing Science in 1991 from Eindhoven University of Technology (TU/e). He also received his PhD in Electrical Engineering there, in 1997. He remained at TU/e as Assistant Professor. In January 2005, he took on a four-day position as research fellow at TNO-ESI. Voeten became Associate Professor at TU/e in 2009 and a Full Professor in 2017. Since 2017, he is also a Senior Scientist and Scientific Advisor to TNO-ESI.
Expertise related to UN Sustainable Development Goals
In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):
Network
-
AquaConnect, key technologies for safeguarding regional water provision in fresh water stressed deltas
Goswami, D., Voeten, J. P. M., Verheijen, P. C. N., Lazar, M., de Mol-Regels, M. & van der Hagen, D.
15/09/21 → 31/08/25
Project: Research direct
-
TRANSACT
Voeten, J. P. M., Nasri, M., Geilen, M. C. W., Basten, A. A., Sanchez, V., Koedam, M. L. P. J., Samimi Dehkordi, N., Modaber, M., Hendriks, M., de Mol-Regels, M., van der Hagen, D. & Gohari Nazari, P.
1/06/21 → 31/05/24
Project: Research direct
-
Arrowhead Tools
Voeten, J. P. M., Mohammadkhani, A., Geilen, M. C. W., Basten, A. A., van der Hagen, D. & de Mol-Regels, M.
1/05/19 → 31/07/22
Project: Research direct
-
Data-Age Analysis for Multi-Rate Task Chains under Timing Uncertainty
Gohari, P., Nasri, M. & Voeten, J., 7 Jun 2022, RTNS 2022 - Proceedings of the 30th International Conference on Real-Time Networks and Systems. Association for Computing Machinery, Inc, p. 24-35 12 p. (ACM International Conference Proceeding Series).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open AccessFile13 Downloads (Pure) -
Model-driven system-performance engineering for cyber-physical systems
van der Sanden, B., Li, Y., van den Aker, J., Akesson, B., Bijlsma, T., Hendriks, M., Triantafyllidis, K., Verriet, J., Voeten, J. & Basten, T., 30 Sep 2021, Proceedings - 2021 International Conference on Embedded Software, EMSOFT 2021. New York: Association for Computing Machinery, Inc, p. 11-22 12 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open Access1 Citation (Scopus) -
Supervisor synthesis and throughput optimization of partially-controllable manufacturing systems
van Putten, B. J. C., van der Sanden, B., Reniers, M., Voeten, J. & Schiffelers, R., Mar 2021, In: Discrete Event Dynamic Systems: Theory and Applications. 31, 1, p. 103-135 33 p.Research output: Contribution to journal › Article › Academic › peer-review
Open Access2 Citations (Scopus) -
Taming the State-space Explosion in the Makespan Optimization of Flexible Manufacturing Systems
Bastos, J., Voeten, J., Stuijk, S., Schiffelers, R. & Corporaal, H., 4 Jan 2021, In: ACM Transactions on Cyber-Physical Systems. 5, 2, 26 p., 15.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile1 Citation (Scopus)16 Downloads (Pure) -
SMT-based verification of temporal properties for component-based software systems
Jonk, R., Voeten, J., Geilen, M., Basten, T. & Schiffelers, R., 2020, In: IFAC-PapersOnLine. 53, 4, p. 493-500 8 p.Research output: Contribution to journal › Conference article › peer-review
Open AccessFile1 Citation (Scopus)26 Downloads (Pure)
Prizes
-
Forum on specification and Design Languages, (FDL 2005) 27-30 September 2005, Lausanne, Switzerland
Voeten, Jeroen (Recipient), 2005
Prize: Other › Career, activity or publication related prizes (lifetime, best paper, poster etc.) › Scientific
-
Property-Preserving Synthesis for Unified Control and Data-Oriented Models.
Voeten, Jeroen (Recipient), 2005
Prize: Other › Career, activity or publication related prizes (lifetime, best paper, poster etc.) › Scientific
-
PhD S. Adyanthaya (Event)
Jeroen P.M. Voeten (Co-promotor)
4 Jul 2016Activity: Membership types › Membership of committee › Scientific
-
Model-driven engineering for high-performance servo control - from research to industrial practice.
Jeroen P.M. Voeten (Speaker) & R.R.H. Schiffelers (Speaker)
25 Mar 2015Activity: Talk or presentation types › Invited talk › Professional
-
Model-driven engineering for high-performance servo control - from research to industrial practice.
Jeroen P.M. Voeten (Speaker)
10 Jun 2014Activity: Talk or presentation types › Keynote talk › Scientific
-
Invited presentation at ICTDelta 2012
Jeroen Voeten (Speaker)
24 Oct 2012Activity: Talk or presentation types › Contributed talk › Scientific
-
Dutch Model Checking Day, Delft
Jeroen Voeten (Invited speaker)
17 Jun 2011Activity: Talk or presentation types › Invited talk › Scientific
Courses
Press / Media
-
GLOBAL ROUND UP SECTOR DAILY: UNIVERSITY NEWSLETTER TUESDAY MAY 10
10/05/22
1 item of Media coverage
Press/Media: Expert Comment
-
Eindhoven University of Technology Involved in All Six Perspectief Programs
Leon E. Govaert, Jeroen P.M. Voeten, Jaap M.J. den Toonder, K. Nijmeijer & J.K. (Koen) Kok
11/03/21
1 item of Media coverage
Press/Media: Expert Comment
-
Slimmere machines slimmer ontwerpen
1/12/16
1 Media contribution
Press/Media: Public Engagement Activities
Thesis
-
An electronic data management system within Océ
Author: Voeten, J. P. M. & Uittenboogaard, D., 30 Jun 1991Supervisor: Hammer, D. K. (Supervisor 1), Wortmann, J. C. (Supervisor 2) & Erens, F. J. (Supervisor 2)
Student thesis: Master