PROXIMA: Improving Measurement-Based Timing Analysis through Randomisation and Probabilistic Analysis.
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
Proceedings of the 2016 Euromicro Conference on Digital System Design, 2016
Timing analysis of an avionics case study on complex hardware/software platforms.
,
,
,
,
,
,
,
,
,
,
,
,
,
Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015
PROARTIS: Probabilistically Analyzable Real-Time Systems.
,
,
,
,
,
,
,
,
,
,
,
,
,
ACM Trans. Embed. Comput. Syst., 2013
Measurement-based probabilistic timing analysis: Lessons from an integrated-modular avionics case study.
,
,
,
,
,
,
,
,
,
,
,
Proceedings of the 8th IEEE International Symposium on Industrial Embedded Systems, 2013
Measurement-Based Probabilistic Timing Analysis for Multi-path Programs.
Proceedings of the 24th Euromicro Conference on Real-Time Systems, 2012