 | 2012 |
| 3 |  | Fred Houben,
Georgeta Igna,
Frits W. Vaandrager:
Modeling Task Systems Using Parameterized Partial Orders.
IEEE Real-Time and Embedded Technology and Applications Symposium 2012: 317-327 |
| 2010 |
| 2 |  | Twan Basten,
Emiel van Benthum,
Marc Geilen,
Martijn Hendriks,
Fred Houben,
Georgeta Igna,
Frans Reckers,
Sebastian de Smet,
Lou J. Somers,
Egbert Teeselink:
Model-Driven Design-Space Exploration for Embedded Systems: The Octopus Toolset.
ISoLA (1) 2010: 90-105 |
| 2009 |
| 1 |  | Israa AlAttili,
Fred Houben,
Georgeta Igna,
Steffen Michels,
Feng Zhu,
Frits W. Vaandrager:
Adaptive Scheduling of Data Paths using Uppaal Tiga
QFM 2009: 1-11 |