Jeroen Voeten
Eindhoven University of Technology(NL)
Publications by Year
Research Areas
Real-Time Systems Scheduling, Embedded Systems Design Techniques, Formal Methods in Verification, Advanced Software Engineering Methodologies, Petri Nets in System Modeling
Most-Cited Works
- → A scenario-aware data flow model for combined long-run average and worst-case performance analysis(2006)170 cited
- → Software/Hardware Engineering with the Parallel Object-Oriented Specification Language(2007)91 cited
- → Object-oriented modelling and specification using SHE(2001)41 cited
- → Real-time property preservation in approximations of timed systems(2003)36 cited
- → Modular model-based supervisory controller design for wafer logistics in lithography machines(2015)33 cited
- Performance modelling for stem-level Design.(2004)
- → Performance evaluation with temporal rewards(2002)24 cited