Jeroen Voeten - RankMe

72 papers A 3B 4C 19Misc 5Journal 18Unranked 23

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