Jeroen Voeten

Jeroen Voeten

Eindhoven University of Technology - Eindhoven / Netherlands
Engineering & Technology / Electrical & Electronic Engineering
AD Scientific Index ID: 4365419
Technische Universiteit Eindhoven
person_outline Jeroen Voeten's MOST POPULAR ARTICLES
1-) A scenario-aware data flow model for combined long-run average and worst-case performance analysisBD Theelen, MCW Geilen, T Basten, JPM Voeten, SV Gheorghita, S StuijkFourth ACM and IEEE International Conference on Formal Methods and Models …, 20062602006
2-) Software/hardware engineering with the parallel object-oriented specification languageBD Theelen, O Florescu, MCW Geilen, J Huang, PHA Van Der Putten, ...2007 5th IEEE/ACM International Conference on Formal Methods and Models for …, 20071122007
3-) Specification of reactive hardware/software systemsPHA van der Putten, JPM VoetenPhD thesis, Eindhoven University of Technology, The Netherlands, 19971081997
4-) Object-oriented modelling and specification using SHEMCW Geilen, JPM Voeten, PHA Van Der Putten, LJ van Bokhoven, ...Computer Languages 27 (1-3), 19-38, 2001712001
5-) Modular model-based supervisory controller design for wafer logistics in lithography machinesB van der Sanden, M Reniers, M Geilen, T Basten, J Jacobs, J Voeten, ...2015 ACM/IEEE 18th International Conference on Model Driven Engineering …, 2015542015