Philip S. Kurtin

According to our database, Philip S. Kurtin authored at least 5 papers between 2016 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

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

Hybrid Latency Minimization Approach using Model Checking and Dataflow Analysis.

Guus Kuiper, Philip S. Kurtin, Marco Jan Gerrit Bekooij

Proceedings of the 20th International Workshop on Software and Compilers for Embedded Systems, 2017

2016

HAPI: An Event-Driven Simulator for Real-Time Multiprocessor Systems.

Philip S. Kurtin, Joost P. H. M. Hausmans, Marco Jan Gerrit Bekooij

Proceedings of the 19th International Workshop on Software and Compilers for Embedded Systems, 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

Proceedings of the 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2016

Temporal Analysis of Static Priority Preemptive Scheduled Cyclic Streaming Applications using CSDF Models.

Philip S. Kurtin, Marco Jan Gerrit Bekooij

Proceedings of the 14th ACM/IEEE Symposium on Embedded Systems for Real-Time Multimedia, 2016