Yang Yang

Formal M odeling and Scheduling of D atapaths of D igita l D ocum ent Printers*

F. Vaandrager, L. Somers, M. Voorhoeve, 2017 .

Playing games with scenario- and resource-aware SDF graphs through policy iteration

Sander Stuijk, Henk Corporaal, Twan Basten, 2012, 2012 Design, Automation & Test in Europe Conference & Exhibition (DATE).

Iteration-Based Trade-Off Analysis of Resource-Aware SDF

Sander Stuijk, Henk Corporaal, Twan Basten, 2011, 2011 14th Euromicro Conference on Digital System Design.

Formal Modeling and Scheduling of Datapaths of Digital Document Printers

Venkatesh Kannan, Twan Basten, Frits W. Vaandrager, 2008, FORMATS.