Concepedia

Jeroen Voeten

JV

30

Publications

773

Citations

16

H-Index

1995

Active since

Affiliations

Eindhoven University of Technology(Current)

ASML (Netherlands)

University of Twente

Jeroen Voeten is an author at Eindhoven University of Technology specializing in engineering, systems engineering, and computer science.

Top concepts

EngineeringSystems EngineeringComputer EngineeringComputer ScienceFormal MethodsSystem SoftwareSoftware DesignFormal VerificationSoftware AnalysisComputer Architecture

Publications per year

1995–2022

30

Publications

30

A scenario-aware data flow model for combined long-run average and worst-case performance analysis

B.D. Theelen, Marc Geilen, Twan Basten et al. · 2006 · 170 citations

Engineering, Computer Architecture, Software Engineering +27

Software/Hardware Engineering with the Parallel Object-Oriented Specification Language

B.D. Theelen, Oana Florescu, Marc Geilen et al. · 2007 · 91 citations

Hardware Modeling, Engineering, Object-oriented Modeling +21

Object-oriented modelling and specification using SHE

Marc Geilen, Jeroen Voeten, P.H.A. van der Putten et al. · Computer Languages · 2001 · 41 citations

Engineering, Object-oriented Modelling, Object-oriented Modeling +10

Real-time property preservation in approximations of timed systems

Jinfeng Huang, Jeroen Voeten, Marc Geilen · 2003 · 36 citations

Engineering, Real-time System Design, Verification +16

Modular model-based supervisory controller design for wafer logistics in lithography machines

Bram van der Sanden, Michel Reniers, Marc Geilen et al. · 2015 · 33 citations

Engineering, Industrial Engineering, Verification +23

Rows per page

1–5 of 30