Utilization Improvement by Enforcing Mutual Exclusive Task Execution in Modal Stream Processing Applications. - Guus Kuiper; Stefan J. Geuns; Marco Bekooij (SCOPES, 2015)

Compositional Temporal Analysis Method for Fixed Priority Pre-emptive Scheduled Modal Stream Processing Applications. - Guus Kuiper; Stefan J. Geuns; Joost P. H. M. Hausmans; Marco Jan Gerrit Bekooij (SCOPES, 2016)

Latency analysis of homogeneous synchronous dataflow graphs using timed automata. - Guus Kuiper; Marco Jan Gerrit Bekooij (DATE, 2017)

Hybrid Latency Minimization Approach using Model Checking and Dataflow Analysis. - Guus Kuiper; Philip S. Kurtin; Marco Jan Gerrit Bekooij (SCOPES, 2017)