J. P. M. Voeten
From MaRDI portal
Person:1400385
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Modeling and analysis of switching max-plus linear systems with discrete-event feedback Discrete Event Dynamic Systems | 2023-10-04 | Paper |
| Supervisor synthesis and throughput optimization of partially-controllable manufacturing systems Discrete Event Dynamic Systems | 2021-12-09 | Paper |
| Performance model checking scenario-aware dataflow Lecture Notes in Computer Science | 2011-10-07 | Paper |
| Branching-Time Property Preservation Between Real-Time Systems Automated Technology for Verification and Analysis | 2008-09-04 | Paper |
| Predictable real-time software synthesis Real-Time Systems | 2007-08-17 | Paper |
| Performance modelling of a network processor using POOSL. Computer Networks | 2003-08-13 | Paper |
| Performance evaluation with temporal rewards Performance Evaluation | 2003-01-21 | Paper |
| Object-oriented modelling and specification using SHE Computer Languages | 2002-05-01 | Paper |
Research outcomes over time
This page was built for person: J. P. M. Voeten
