Temporal Analysis of Static Priority Preemptive Scheduled Cyclic Streaming Applications using CSDF Models. - Philip S. Kurtin; Marco Jan Gerrit Bekooij (ESTIMedia, 2016)

Combining Offsets with Precedence Constraints to Improve Temporal Analysis of Cyclic Real-Time Streaming Applications. - Philip S. Kurtin; Joost P. H. M. Hausmans; Marco Jan Gerrit Bekooij (RTAS, 2016)

HAPI: An Event-Driven Simulator for Real-Time Multiprocessor Systems. - Philip S. Kurtin; Joost P. H. M. Hausmans; Marco Jan Gerrit Bekooij (SCOPES, 2016)

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

An Abstraction-Refinement Theory for the Analysis and Design of Real-Time Systems. - Philip S. Kurtin; Marco Jan Gerrit Bekooij (ACM Trans. Embed. Comput. Syst., 2017)