Author

Jpm Jeroen Voeten

Observed names: JPM Voeten (14863846), Voeten, J.P.M., Voeten, JPM Jeroen, Voeten, J

OpenAlex ID: A5044483019

Specification of reactive hardware/software systems : the method software/hardware engineering (SHE)

1997 · Putten, PHA Piet Van Der, Voeten, JPM Jeroen · TU/e Research Portal · 41

Scenario-aware dataflow

2008 · BD Bart Theelen, Marc Geilen, et al. · TU/e Research Portal · 17

Accuracy analysis of long-run average performance metrics

2001 · BD Bart Theelen, Jpm Jeroen Voeten, et al. · TU/e Research Portal · 10

Reducing Markov chains for performance evaluation

2001 · Y Pribadi, Jpm Jeroen Voeten, et al. · TU/e Research Portal · 10

Semantics of POOSL : an object-oriented specification language for the analysis and design of hardware/software systems

1995 · Jpm Jeroen Voeten · TU/e Research Portal · 10

PDF

Ideals : evolvability of software-intensive high-tech systems : a collaborative research project on maintaining complex embedded systems

2007 · Robert van Engelen, Jpm Jeroen Voeten · 8

Y-chart based system design: a discussion on approaches

2009 · James Lapalme, BD Bart Theelen, et al. · TU/e Research Portal · 7

Applying verification methods to nonexhaustive verification of software/hardware systems

1998 · Marc Geilen, Dennis Dams, et al. · TU/e Research Portal · 5

Modelling patterns for analysis and design of real-time systems

2006 · Oana Florescu, Jpm Jeroen Voeten, et al. · TU/e Research Portal · 3

PDF

CCSTOOL2 : an expansion, minimization and verification tool for finite state CCS descriptions

1994 · A van Rangelrooij, Jpm Jeroen Voeten · TU/e Research Portal · 3

PDF

Embedded systems modeling, analysis and synthesis

2007 · Brand, van den, M.G.J., Engelen, L.J.P., et al. · TU/e Research Portal · 2

Towards stronger property preservation in real-time system synthesis

2006 · Oana Florescu, Jinfeng Huang, et al. · TU/e Research Portal · 2

PDF

POOSL : an object-oriented specification language for the analysis and design of hardware/software systems

1995 · Jpm Jeroen Voeten · TU/e Research Portal · 2

PDF

Modelgebaseerd ontwerp van regelaars in lithoscanners

2012 · R.R.H. Schiffelers, Wilbert Alberts, et al. · TU/e Research Portal

Preface of the 2011 IAENG International Conference on Electrical Engineering Special Session: Design, analysis and tools for integrated circuits and systems

2011 · KL Man (14863804), M Mercaldi (13471171), et al. · National University of Singapore

Parallel object-oriented specification language

2008 · Oana Florescu, Jpm Jeroen Voeten, et al. · TU/e Research Portal

Ideals : an introduction to the project and the book

2007 · van R Engelen, Jpm Jeroen Voeten · TU/e Research Portal

Tutorial Bits and Chips conference: performance modelling for system-level design

2007 · Theelen, BD Bart, Voeten, JPM Jeroen · TU/e Research Portal

Model-driven design of real-time systems

2006 · Oana Florescu, Jpm Jeroen Voeten, et al. · TU/e Research Portal

Property-preserving synthesis for unified conrol- and data-oriented models.

2006 · Oana Florescu, Jpm Jeroen Voeten, et al. · TU/e Research Portal

Predicting Implementation Accuracy for Real-Time Control Systems

2005 · Oana Florescu, Jpm Jeroen Voeten, et al. · TU/e Research Portal

PDF

Third Dutch model checking day, Eindhoven, November 7, 2001 : proceedings

2001 · Jcm Jos Baeten, Dragan Bošnački, et al. · TU/e Research Portal

PDF

CCS and time : a practical and comprehensible approach to a performance evaluation of finite state CCS descriptions

1995 · Jpm Jeroen Voeten, A van Rangelrooij · TU/e Research Portal

Een filter voor de Calcomp elektrostatische plotter

1990 · Rjp Kersic, Jpm Jeroen Voeten · TU/e Research Portal

Works count: 38

Citation count: 120

H-index: 7

I10-index: 5