 | 2012 |
| 5 |  | 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 |
| 4 |  | 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 |
| 3 |  | Georgeta Igna,
Frits W. Vaandrager:
Verification of Printer Datapaths Using Timed Automata.
ISoLA (2) 2010: 412-423 |
| 2009 |
| 2 |  | 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 |
| 2008 |
| 1 |  | Georgeta Igna,
Venkatesh Kannan,
Yang Yang,
Twan Basten,
Marc Geilen,
Frits W. Vaandrager,
Marc Voorhoeve,
Sebastian de Smet,
Lou J. Somers:
Formal Modeling and Scheduling of Datapaths of Digital Document Printers.
FORMATS 2008: 170-187 |