| 2024 | ECRTS | Reachability-Based Response-Time Analysis of Preemptive Tasks Under Global Scheduling. | Pourya Gohari, Jeroen Voeten, Mitra Nasri |
| 2024 | RTNS | Leveraging Parallelism in Global Scheduling to Improve State Space Exploration in the SAG Framework. | Pourya Gohari, Geoffrey Nelissen, Jeroen Voeten, Mitra Nasri |
| 2024 | RTNS | Towards a Safe and Latency-Aware Fault-tolerant Scheduling Technique for Multi-rate Task Chains. | Pourya Gohari, Jeroen Voeten, Mitra Nasri |
| 2023 | RTSS | Work-in-Progress: Tight Response-Time Analysis for Periodic Preemptive Tasks Under Global Scheduling. | Pourya Gohari, Jeroen Voeten, Mitra Nasri |
| 2023 | RTCSA | Response-time Analysis of Fault-Tolerant Hard Real-Time Systems Under Global Scheduling. | Pourya Gohari, Jeroen Voeten, Mitra Nasri |
| 2022 | RTNS | Data-Age Analysis for Multi-Rate Task Chains under Timing Uncertainty. | Pourya Gohari, Mitra Nasri, Jeroen Voeten |
| 2021 | EMSOFT | 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 |
| 2018 | DSD | 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 |
| 2018 | SCOPES | Exploiting Specification Modularity to Prune the Optimization-Space of Manufacturing Systems. | Joo Bastos, Sander Stuijk, Jeroen Voeten, Ramon R. H. Schiffelers, Henk Corporaal |
| 2017 | FDL | Identifying bottlenecks in manufacturing systems using stochastic criticality analysis. | Joo Bastos, Bram van der Sanden, Olaf Donk, Jeroen Voeten, Sander Stuijk, Ramon R. H. Schiffelers, Henk Corporaal |
| 2016 | FDL | Compositional specification of functionality and timing of manufacturing systems. | Bram van der Sanden, Joo Bastos, Jeroen Voeten, Marc Geilen, Michel A. Reniers, Twan Basten, Johan Jacobs, Ramon R. H. Schiffelers |
| 2015 | MEMOCODE | Modeling resource sharing using FSM-SADF. | Joo Bastos, Sander Stuijk, Jeroen Voeten, Ramon R. H. Schiffelers, Johan Jacobs, Henk Corporaal |
| 2015 | MODELS | 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 |
| 2015 | RTNS | Iterative robust multiprocessor scheduling. | Shreya Adyanthaya, Marc Geilen, Twan Basten, Jeroen Voeten, Ramon R. H. Schiffelers |
| 2014 | DATE | 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 |
| 2013 | DSD | 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 |
| 2013 | DSD | 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 |
| 2013 | DSD | Calibration Error Bound Estimation in Performance Modeling. | Vidya V. Parappurath, Jeroen Voeten, Kees C. Kotterink |
| 2012 | MODELS | Model-based specification, analysis and synthesis of servo controllers for lithoscanners. | Ramon R. H. Schiffelers, Wilbert Alberts, Jeroen Voeten |
| 2011 | COMPSAC | 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 Hut |
| 2010 | ISoLA | UPPAAL in Practice: Quantitative Verification of a RapidIO Network. | Jiansheng Xing, Bart D. Theelen, Rom Langerak, Jaco van de Pol, Jan Tretmans, Jeroen Voeten |
| 2007 | MEMOCODE | 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 |
| 2006 | ATVA | Branching-Time Property Preservation Between Real-Time Systems. | Jinfeng Huang, Marc Geilen, Jeroen Voeten, Henk Corporaal |
| 2006 | FDL | Reusing Real-Time Systems Design Experience. | Oana Florescu, Jeroen Voeten, Marcel Verhoef, Henk Corporaal |
| 2006 | MEMOCODE | 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 |
| 2006 | RTCSA | Strengthening Property Preservation in Concurrent Real-Time Systems. | Oana Florescu, Jinfeng Huang, Jeroen Voeten, Henk Corporaal |
| 2005 | FDL | Synthesis for Unified Control- and Data-Oriented Models. | Oana Florescu, Jeroen Voeten, Henk Corporaal |
| 2004 | FDL | Error Estimation in Model-Driven Development for Real-Time Software. | Oana Florescu, Jeroen Voeten, Jinfeng Huang, Henk Corporaal |
| 2004 | FDL | Predictability in Real-time System Development (2) A Case Study . | Jinfeng Huang, Jeroen Voeten, Piet van der Putten, Andre Ventevogel |
| 2004 | FDL | Predictability in Real-time System Development (1) Semantics Support from Development Languages . | Jinfeng Huang, Jeroen Voeten, Andre Ventevogel |
| 2004 | ISoLA | A Unified Model for Analysis of Real-Time Properties. | Oana Florescu, Jeroen Voeten, Henk Corporaal |
| 2003 | FDL | Platform-independent Design for Embedded Real-time Systems . | Jinfeng Huang, Jeroen Voeten, Andre Ventevogel, Leo J. van Bokhoven |
| 2003 | FDL | Traversing the Fundamental System-Level Design Gap Using Modeling Patterns. | Mark Verhappen, Jeroen Voeten, P. H. A. van der Putten |
| 2003 | MEMOCODE | Real-time Property Preservation in Approximations of Timed Systems. | Jinfeng Huang, Jeroen Voeten, Marc Geilen |
| 2002 | DSD | On the Fundamental Design Gap in Terabit per Second Packet Switching. | Mark Verhappen, P. H. A. van der Putten, Jeroen Voeten |
| 2000 | ICALP | Temporal Rewards for Performance Evaluation. | Jeroen Voeten |