EEMCS

Geilen, M.C.W. and Tripakis, S. and Wiggers, M.H. (2011) The earlier the better: a theory of timed actor interfaces. In: Proceedings of the 14th international conference on Hybrid systems: computation and control, April 12-14, 2011, Chicago, IL, USA. pp. 23-32. ACM. ISBN 978-1-4503-0629-4

Wiggers, M.H. and Bekooij, M.J.G. and Geilen, M.C.W. and Basten, T. (2010) Simultaneous Budget and Buffer Size Computation for Throughput-Constrained Task Graphs. In: Proceedings of the Conference on Design, Automation and Test in Europe (DATE 2010), 8-12 Mar 2010, Dresden. pp. 1669-1672. European Design and Automation Association. ISBN 978-3-9810801-6-2

Hartel, P.H. and Ruys, T.C. and Geilen, M.C.W. (2008) Scheduling Optimisations for SPIN to Minimise Buffer Requirements in Synchronous Data Flow (with appendix). Technical Report TR-CTIT-08-16, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Hartel, P.H. and Ruys, T.C. and Geilen, M.C.W. (2008) Scheduling Optimisations for SPIN to Minimise Buffer Requirements in Synchronous Data Flow. In: 8th Int. Conf. on Formal Methods in Computer Aided Design (FMCAD), 17-20 Nov. 2008, Portland, Oregon. pp. 161-170. IEEE Computer Society. ISBN 978-1-4244-2735-2