Volgen
Jeroen Voeten
Jeroen Voeten
Professor Electronic Systems, Eindhoven University of Technology
Geverifieerd e-mailadres voor tue.nl
Titel
Geciteerd door
Geciteerd door
Jaar
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
2602006
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
1122007
Specification of reactive hardware/software systems
PHA van der Putten, JPM Voeten
PhD thesis, Eindhoven University of Technology, The Netherlands, 1997
1081997
Specification of reactive hardware/software systems
PHA van der Putten, JPM Voeten
PhD thesis, Eindhoven University of Technology, The Netherlands, 1997
1081997
Specification of reactive hardware/software systems
PHA van der Putten, JPM Voeten
PhD thesis, Eindhoven University of Technology, The Netherlands, 1997
1081997
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
422003
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
372015
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
322008
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
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
252007
Real-time concepts for a formal specification language for software/hardware systems
MCW Geilen, JPM Voeten
Proc. of ProRISC 97, 185-192, 1997
251997
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
Predictable real-time software synthesis
J Huang, J Voeten, H Corporaal
Real-time systems 36 (3), 159-198, 2007
212007
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
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20