Jeroen Voeten
Jeroen Voeten
Professor Electronic Systems, Eindhoven University of Technology
Verified email at tue.nl
Title
Cited by
Cited by
Year
A scenario-aware data flow model for combined long-run average and worst-case performance analysis
BD Theelen, MCW Geilen, T Basten, JPM Voeten, SV Gheorghita, S Stuijk
Fourth ACM and IEEE International Conference on Formal Methods and Models …, 2006
2442006
Software/hardware engineering with the parallel object-oriented specification language
BD Theelen, O Florescu, MCW Geilen, J Huang, PHA Van Der Putten, ...
2007 5th IEEE/ACM International Conference on Formal Methods and Models for …, 2007
1072007
Specification of reactive hardware/software systems
PHA van der Putten, JPM Voeten
CIP-Data Library Technishe Universiteit Eindhoven, 1997
1041997
Specification of reactive hardware/software systems
PHA van der Putten, JPM Voeten
CIP-Data Library Technishe Universiteit Eindhoven, 1997
1041997
Specification of reactive hardware/software systems
PHA van der Putten, JPM Voeten
CIP-Data Library Technishe Universiteit Eindhoven, 1997
1041997
Object-oriented modelling and specification using SHE
MCW Geilen, JPM Voeten, PHA Van Der Putten, LJ van Bokhoven, ...
Computer Languages 27 (1-3), 19-38, 2001
692001
Real-time property preservation in approximations of timed systems
J Huang, J Voeten, M Geilen
First ACM and IEEE International Conference on Formal Methods and Models for …, 2003
412003
Performance modelling of a network processor using POOSL
BD Theelen, JPM Voeten, RDJ Kramer
Computer Networks 41 (5), 667-684, 2003
342003
Scenario-aware dataflow
BD Theelen, MCW Geilen, S Stuijk, SV Gheorghita, T Basten, JPM Voeten, ...
Technical Report ESR-2008-08, 2008
292008
Model-based specification, analysis and synthesis of servo controllers for lithoscanners
RRH Schiffelers, W Alberts, JPM Voeten
Proceedings of the 6th International Workshop on Multi-Paradigm Modeling, 55-60, 2012
282012
Modular model-based supervisory controller design for wafer logistics in lithography machines
B van der Sanden, M Reniers, M Geilen, T Basten, J Jacobs, J Voeten, ...
2015 ACM/IEEE 18th International Conference on Model Driven Engineering …, 2015
272015
A model-driven design approach for mechatronic systems
J Huang, J Voeten, M Groothuis, J Broenink, H Corporaal
Seventh International Conference on Application of Concurrency to System …, 2007
242007
Real-Time concepts for a formal specification language for software/hardware systems
MCW Geilen, JPM Voeten
Proc. of ProRISC 97, 185-192, 1997
241997
Software synthesis for system level design using process execution trees
LJ van Bokhoven, JPM Voeten, MCW Geilen
Proceedings 25th EUROMICRO Conference. Informatics: Theory and Practice for …, 1999
231999
Object-oriented co-design for hardware/software systems
PHA Van Der Putten, JPM Voeten, MPJ Stevens
Proceedings of EUROMICRO 95, 718-726, 1995
231995
Modeling and simulation of a packet switch system using POOSL
Z Huang, JPM Voeten, BD Theelen
Proceedings of the PROGRESS workshop 2002, 83-91, 2002
222002
Predictable real-time software synthesis
J Huang, J Voeten, H Corporaal
Real-time systems 36 (3), 159-198, 2007
202007
Performance model checking scenario-aware dataflow
B Theelen, M Geilen, J Voeten
International Conference on Formal Modeling and Analysis of Timed Systems, 43-59, 2011
192011
xCPS: a tool to explore cyber physical systems
S Adyanthaya, HA Ara, J Bastos, A Behrouzian, RM Sánchez, ...
ACM SIGBED Review 14 (1), 81-95, 2017
182017
Fast multiprocessor scheduling with fixed task binding of large scale industrial cyber physical systems
S Adyanthaya, M Geilen, T Basten, R Schiffelers, B Theelen, J Voeten
2013 Euromicro Conference on Digital System Design, 979-988, 2013
182013
The system can't perform the operation now. Try again later.
Articles 1–20