@article{brandner:hal-01108039, TITLE = {{Criticality: static profiling for real-time programs}}, AUTHOR = {Brandner, Florian and Hepp, Stefan and Jordan, Alexander}, URL = {https://ensta-paris.hal.science/hal-01108039}, JOURNAL = {{Real-Time Systems}}, PUBLISHER = {{Springer Verlag}}, VOLUME = {50}, NUMBER = {3}, PAGES = {377-410}, YEAR = {2014}, MONTH = May, DOI = {10.1007/s11241-013-9196-y}, KEYWORDS = {Worst-case execution time ; Criticality ; Program profiling}, HAL_ID = {hal-01108039}, HAL_VERSION = {v1}, }