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
2362006
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
1032007
Specification of reactive hardware/software systems
PHA van der Putten, JPM Voeten
CIP-Data Library Technishe Universiteit Eindhoven, 1997
1021997
Specification of reactive hardware/software systems
PHA van der Putten, JPM Voeten
CIP-Data Library Technishe Universiteit Eindhoven, 1997
1021997
Specification of reactive hardware/software systems
PHA van der Putten, JPM Voeten
CIP-Data Library Technishe Universiteit Eindhoven, 1997
1021997
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
332003
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
Scenario-aware dataflow
BD Theelen, MCW Geilen, S Stuijk, SV Gheorghita, T Basten, JPM Voeten, ...
Technical Report ESR-2008-08, 2008
262008
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
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
232015
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
Real-time concepts for a formal specification language for software/hardware systems
MCW Geilen, JPM Voeten
Proc. of ProRISC 97, 185-192, 1997
231997
Object-oriented co-design for hardware/software systems
PHA Van Der Putten, JPM Voeten, MPJ Stevens
Proceedings of EUROMICRO 95, 718-726, 1995
221995
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
212002
Predictable real-time software synthesis
J Huang, J Voeten, H Corporaal
Real-time systems 36 (3), 159-198, 2007
202007
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
192013
Probabilistic modelling and evaluation of soft real-time embedded systems
O Florescu, M De Hoon, J Voeten, H Corporaal
International Workshop on Embedded Computer Systems, 206-215, 2006
182006
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
172011
The system can't perform the operation now. Try again later.
Articles 1–20