Behaviour-Preserving Transformations in SHE: A Formal Approach to Architecture Design. - Jeroen Voeten; P. H. A. van der Putten; M. P. J. Stevens (EUROMICRO, 1996)

System Level Modelling for Hardware/Software Systems. - Jeroen Voeten; P. H. A. van der Putten; Marc Geilen; M. P. J. Stevens (EUROMICRO, 1998)

Software Synthesis for System Level Design Using Process Execution Trees. - Leo J. van Bokhoven; Jeroen Voeten; Marc Geilen (EUROMICRO, 1999)

System Level Models for Real-Time Communication. - P. H. A. van der Putten; Jeroen Voeten; Marc Geilen; M. P. J. Stevens (EUROMICRO, 1999)

Behavior-Preserving Transformations for Design-for-Test. - Jeroen Voeten; Harald P. E. Vranken (EUROMICRO, 2000)

Temporal Rewards for Performance Evaluation. - Jeroen Voeten (ICALP Satellite Workshops, 2000)

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)

On the fundamental limitations of transformational design. - Jeroen Voeten (ACM Trans. Design Autom. Electr. Syst., 2001)

On the Fundamental Design Gap in Terabit per Second Packet Switching. - Mark Verhappen; P. H. A. van der Putten; Jeroen Voeten (DSD, 2002)

Performance evaluation with temporal rewards. - Jeroen Voeten (Perform. Evaluation, 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)

Platform-independent Design for Embedded Real-time Systems . - Jinfeng Huang; Jeroen Voeten; Andre Ventevogel; Leo J. van Bokhoven (FDL, 2003)

Traversing the Fundamental System-Level Design Gap Using Modeling Patterns. - Mark Verhappen; Jeroen Voeten; P. H. A. van der Putten (FDL, 2003)

Real-time Property Preservation in Approximations of Timed Systems. - Jinfeng Huang; Jeroen Voeten; Marc Geilen (MEMOCODE, 2003)

Performance modelling of a network processor using POOSL. - Bart D. Theelen; Jeroen Voeten; R. D. J. Kramer (Comput. Networks, 2003)

Error Estimation in Model-Driven Development for Real-Time Software. - Oana Florescu; Jeroen Voeten; Jinfeng Huang; Henk Corporaal (FDL, 2004)

Predictability in Real-time System Development (2) A Case Study . - Jinfeng Huang; Jeroen Voeten; Piet van der Putten; Andre Ventevogel (FDL, 2004)

Predictability in Real-time System Development (1) Semantics Support from Development Languages . - Jinfeng Huang; Jeroen Voeten; Andre Ventevogel (FDL, 2004)

A Unified Model for Analysis of Real-Time Properties. - Oana Florescu; Jeroen Voeten; Henk Corporaal (ISoLA (Preliminary proceedings), 2004)

Synthesis for Unified Control- and Data-Oriented Models. - Oana Florescu; Jeroen Voeten; Henk Corporaal (FDL, 2005)

Branching-Time Property Preservation Between Real-Time Systems. - Jinfeng Huang; Marc Geilen; Jeroen Voeten; Henk Corporaal (ATVA, 2006)

Reusing Real-Time Systems Design Experience. - Oana Florescu; Jeroen Voeten; Marcel Verhoef; Henk Corporaal (FDL, 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 (MEMOCODE, 2006)

Correctness-preserving synthesis for real-time control software. - Jinfeng Huang; Jeroen Voeten; Henk Corporaal (QSIC, 2006)

Strengthening Property Preservation in Concurrent Real-Time Systems. - Oana Florescu; Jinfeng Huang; Jeroen Voeten; Henk Corporaal (RTCSA, 2006)

Probabilistic Modelling and Evaluation of Soft Real-Time Embedded Systems. - Oana Florescu; Menno de Hoon; Jeroen Voeten; Henk Corporaal (SAMOS, 2006)

A model-driven design approach for mechatronic systems. - Jinfeng Huang; Jeroen Voeten; Marcel A. Groothuis; Jan F. Broenink; Henk Corporaal (ACSD, 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 (MEMOCODE, 2007)

Predictable real-time software synthesis. - Jinfeng Huang; Jeroen Voeten; Henk Corporaal (Real Time Syst., 2007)

An Executable Interface Specification for Industrial Embedded System Design. - Jinfeng Huang; Jeroen Voeten; Serge Wolfs; Mark Coopmans (QSIC, 2008)

Concurrent Design of Embedded Control Software. - Marcel A. Groothuis; Raymond Frijns; Jeroen Voeten; Jan F. Broenink (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009)

Patterns for Automatic Generation of Soft Real-time System Models. - Oana Florescu; Jeroen Voeten; Bart D. Theelen; Henk Corporaal (Simul., 2009)

From POOSL to UPPAAL: Transformation and Quantitative Analysis. - Jiansheng Xing; Bart D. Theelen; Rom Langerak; Jaco van de Pol; Jan Tretmans; Jeroen Voeten (ACSD, 2010)

Connecting Technical and Non-technical Views of System Architectures. - Li Li; Jozef Hooman; Jeroen Voeten (GreenCom/CPSCom, 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 (ISoLA (2), 2010)

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 (COMPSAC Workshops, 2011)

Performance Model Checking Scenario-Aware Dataflow. - Bart D. Theelen; Marc Geilen; Jeroen Voeten (FORMATS, 2011)

Error computation for predictable real-time software synthesis. - Jeroen Voeten; Oana Florescu; Jinfeng Huang; Henk Corporaal (Simul., 2011)

Model-based specification, analysis and synthesis of servo controllers for lithoscanners. - Ramon R. H. Schiffelers; Wilbert Alberts; Jeroen Voeten (MPM@MoDELS, 2012)

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 (DSD, 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 (DSD, 2013)

Calibration Error Bound Estimation in Performance Modeling. - Vidya V. Parappurath; Jeroen Voeten; Kees C. Kotterink (DSD, 2013)

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 (DATE, 2014)

Robustness analysis of multiprocessor schedules. - Shreya Adyanthaya; Zhihui Zhang; Marc Geilen; Jeroen Voeten; Twan Basten; Ramon R. H. Schiffelers (ICSAMOS, 2014)

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; et al. (WESE, 2015)

Modeling resource sharing using FSM-SADF. - João Bastos; Sander Stuijk; Jeroen Voeten; Ramon R. H. Schiffelers; Johan Jacobs; Henk Corporaal (MEMOCODE, 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 (MoDELS, 2015)

Iterative robust multiprocessor scheduling. - Shreya Adyanthaya; Marc Geilen; Twan Basten; Jeroen Voeten; Ramon R. H. Schiffelers (RTNS, 2015)

An embedded CAN controller for a vehicle networking course project. - Gabriela Breaban; Martijn Koedam; Jeroen Voeten; Kees Goossens (WESE, 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 (FDL, 2016)

Communication aware multiprocessor binding for shared memory systems. - Shreya Adyanthaya; Marc Geilen; Twan Basten; Jeroen Voeten; Ramon R. H. Schiffelers (SIES, 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; et al. (SIGBED Rev., 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)

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 (FDL, 2017)

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 (DSD, 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 (SCOPES, 2018)

LSAT: Specification and Analysis of Product Logistics in Flexible Manufacturing Systems. - Bram van der Sanden; Yuri Blankenstein; Ramon R. H. Schiffelers; Jeroen Voeten (CASE, 2021)

Model-driven system-performance engineering for cyber-physical systems. - Bram van der Sanden; Yonghui Li 002; Joris van den Aker; Benny Akesson; Tjerk Bijlsma; Martijn Hendriks; Kostas Triantafyllidis; Jacques Verriet; Jeroen Voeten; Twan Basten (EMSOFT, 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)

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)

Data-Age Analysis for Multi-Rate Task Chains under Timing Uncertainty. - Pourya Gohari; Mitra Nasri; Jeroen Voeten (RTNS, 2022)

Response-time Analysis of Fault-Tolerant Hard Real-Time Systems Under Global Scheduling. - Pourya Gohari; Jeroen Voeten; Mitra Nasri (RTCSA, 2023)

Work-in-Progress: Tight Response-Time Analysis for Periodic Preemptive Tasks Under Global Scheduling. - Pourya Gohari; Jeroen Voeten; Mitra Nasri (RTSS, 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 (SysCon, 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)

Time- and Behavior-Preserving Execution of Determinate Supervisory Control. - Alireza Mohamadkhani; Marc Geilen; Jeroen Voeten; Twan Basten (CoRR, 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., 2023)

Reachability-Based Response-Time Analysis of Preemptive Tasks Under Global Scheduling. - Pourya Gohari; Jeroen Voeten; Mitra Nasri (ECRTS, 2024)

Leveraging Parallelism in Global Scheduling to Improve State Space Exploration in the SAG Framework. - Pourya Gohari; Geoffrey Nelissen; Jeroen Voeten; Mitra Nasri (RTNS, 2024)

Towards a Safe and Latency-Aware Fault-tolerant Scheduling Technique for Multi-rate Task Chains. - Pourya Gohari; Jeroen Voeten; Mitra Nasri (RTNS, 2024)

A Method for Building Trustworthy Hybrid Performance Models for Cyber-Physical Systems of Systems. - Mahtab Modaber; Martijn Hendriks; Marc Geilen; Twan Basten; Jeroen Voeten (IEEE Access, 2024)