Daniel Prokesch's News Items

Towards Automated Generation of Time-Predictable Code

Daniel Prokesch, Benedikt Huber and Peter Puschner.Towards Automated Generation of Time-Predictable Code.In Int. Workshop on Worst-Case Execution Time Analysis, volume 39 of OASIcs, pages 103–112.…Continue

Started Sep 23, 2014

The T-CREST Approach of Compiler and WCET-Analysis Integration

P. Puschner, D. Prokesch, B. Huber, J. Knoop, S Hepp, G. Gebhard: The T-CREST Approach of Compiler and WCET-Analysis IntegrationIn: "Proceedings of the 9th Workshop on Software Technologies for…Continue

Started Sep 23, 2014

Combined WCET analysis of bitcode and machine code using control-flow relation graphs

Benedikt Huber, Daniel Prokesch, and Peter Puschner.Combined WCET analysis of bitcode and machine code using control-flow relation graphs.Conference on Languages, Compilers and Tools for Embedded…Continue

Started Jul 5, 2013

Compiling for Time Predictability

Peter Puschner, Raimund Kirner, Benedikt Huber, and Daniel Prokesch.Compiling for Time Predictability.In Frank Ortmeier and Peter Daniel, editors, SAFECOMP Workshops, volume 7613 of Lecture Notes in…Continue

Started Oct 1, 2012