Login / Signup
Philip S. Kurtin
ORCID
Publication Activity (10 Years)
Years Active: 2016-2017
Publications (10 Years): 5
Top Topics
Publish Subscribe
Multiprocessor Systems
Real Time Streaming
Precedence Constraints
Top Venues
SCOPES
ACM Trans. Embed. Comput. Syst.
ESTIMedia
RTAS
</>
Publications
</>
Philip S. Kurtin
,
Marco Jan Gerrit Bekooij
An Abstraction-Refinement Theory for the Analysis and Design of Real-Time Systems.
ACM Trans. Embed. Comput. Syst.
16 (5s) (2017)
Guus Kuiper
,
Philip S. Kurtin
,
Marco Jan Gerrit Bekooij
Hybrid Latency Minimization Approach using Model Checking and Dataflow Analysis.
SCOPES
(2017)
Philip S. Kurtin
,
Joost P. H. M. Hausmans
,
Marco Jan Gerrit Bekooij
HAPI: An Event-Driven Simulator for Real-Time Multiprocessor Systems.
SCOPES
(2016)
Philip S. Kurtin
,
Marco Jan Gerrit Bekooij
Temporal Analysis of Static Priority Preemptive Scheduled Cyclic Streaming Applications using CSDF Models.
ESTIMedia
(2016)
Philip S. Kurtin
,
Joost P. H. M. Hausmans
,
Marco Jan Gerrit Bekooij
Combining Offsets with Precedence Constraints to Improve Temporal Analysis of Cyclic Real-Time Streaming Applications.
RTAS
(2016)