Follow
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, M Geilen, T Basten, J Voeten, SV Gheorghita, S Stuijk
MEMOCODE 6, 185-194, 2006
2572006
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
1112007
Specification of reactive hardware/software systems
PHA van der Putten, JPM Voeten
PhD thesis, Eindhoven University of Technology, The Netherlands, 1997
1071997
Specification of reactive hardware/software systems
PHA van der Putten, JPM Voeten
PhD thesis, Eindhoven University of Technology, The Netherlands, 1997
1071997
Specification of reactive hardware/software systems
PHA van der Putten, JPM Voeten
PhD thesis, Eindhoven University of Technology, The Netherlands, 1997
1071997
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
682001
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
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
342015
Performance modelling of a network processor using POOSL
BD Theelen, JPM Voeten, RDJ Kramer
Computer Networks 41 (5), 667-684, 2003
332003
Scenario-aware dataflow
BD Theelen, MCW Geilen, S Stuijk, SV Gheorghita, T Basten, JPM Voeten, ...
ES Reports, 2008
312008
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
292012
Compositional specification of functionality and timing of manufacturing systems
B van der Sanden, J Bastos, J Voeten, M Geilen, M Reniers, T Basten, ...
2016 Forum on Specification and Design Languages (FDL), 1-8, 2016
252016
Real-time concepts for a formal specification language for software/hardware systems
MCW Geilen, JPM Voeten
Proc. of ProRISC 97, 185-192, 1997
251997
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
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
232017
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
221995
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
202013
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
202011
Predictable real-time software synthesis
J Huang, J Voeten, H Corporaal
Real-time systems 36 (3), 159-198, 2007
202007
The system can't perform the operation now. Try again later.
Articles 1–20