J. P. M. Voeten

Available identifiers

zbMath Open voeten.jeroen-p-mMaRDI QIDQ1400385

List of research outcomes

Publication	Date of Publication	Type
Modeling and analysis of switching max-plus linear systems with discrete-event feedback	2023-10-04	Paper
Supervisor synthesis and throughput optimization of partially-controllable manufacturing systems	2021-12-09	Paper
Performance model checking scenario-aware dataflow	2011-10-07	Paper
Branching-Time Property Preservation Between Real-Time Systems	2008-09-04	Paper
Predictable real-time software synthesis	2007-08-17	Paper
Performance modelling of a network processor using POOSL.	2003-08-13	Paper
Performance evaluation with temporal rewards	2003-01-21	Paper
Object-oriented modelling and specification using SHE	2002-05-01	Paper

Research outcomes over time

This page was built for person: J. P. M. Voeten