J. Bachrach, H. Vo, B. Richards, Y. Lee, A. Waterman et al., Chisel: constructing hardware in a Scala embedded language, e 49th Annual Design Automation Conference (DAC 2012, pp.1216-1225, 2012.

I. Bate and R. Dieter-reutemann, Worst-Case Execution Time Analysis for Dynamic Branch Predictors, 16th Euromicro Conference on Real-Time Systems (ECRTS 2004), pp.215-222, 1004.

F. Bodin and I. Puaut, A WCET-Oriented Static Branch Prediction Scheme for Real Time Systems, Proceedings of the 17th Euromicro Conference on Real-Time Systems, pp.33-40, 2005.

C. Burguiere and C. Rochange, A contribution to branch prediction modeling in WCET analysis, Design, Automation and Test in Europe, pp.612-617, 2005.
URL : https://hal.archives-ouvertes.fr/hal-00181659

C. Burguiere, C. Rochange, and P. Sainrat, A Case for Static Branch Prediction in Real-Time Systems, RTCSA '05: Proceedings of the 11th IEEE International Conference on Embedded and Real-Time Computing Systems 3 hhp://predict.compute.dtu.dk/ and Applications (RTCSA'05), pp.33-38, 2005.

A. Colin and . Stefan-m-peeers, Experimental evaluation of code properties for wcet analysis, Real-Time Systems Symposium, 2003. RTSS 2003. 24th IEEE. IEEE, pp.190-199, 2003.

A. Colin and I. Puaut, Worst Case Execution Time Analysis for a Processor with Branch Prediction. Real-Time Systems, vol.18, pp.249-274, 2000.

J. E. , Analysis of the execution time unpredictability caused by dynamic branch prediction, Real-Time and Embedded Technology and Applications Symposium, 2003. Proceedings. e 9th IEEE, pp.152-159, 2003.

D. Grund, J. Reineke, and G. Gebhard, Branch target buuers: WCET analysis framework and timing predictability, Journal of Systems Architecture, vol.57, pp.625-637, 2011.

D. Hardy, B. Rouxel, and I. Puaut, Heptane Static Worst-Case Execution Time Estimation Tool, 17th International Workshop on Worst-Case Execution Time Analysis, WCET 2017, vol.8, p.12, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01590444

X. Leroy, Formal veriication of a realistic compiler, Commun. ACM, vol.52, pp.107-115, 2009.

H. Li, I. Puaut, and E. Rohou, Traceability of Flow Information: Reconciling Compiler Optimizations and WCET Estimation, Proceedings of the 22Nd International Conference on Real-Time Networks and Systems (RTNS '14), 2014.
URL : https://hal.archives-ouvertes.fr/hal-01072138

Y. S. Li and S. Malik, Performance analysis of embedded sooware using implicit path enumeration, LCTES '95: Proceedings of the ACM SIGPLAN 1995 workshop on Languages, compilers, & tools for real-time systems, vol.30, pp.88-98, 1995.

C. Maiza and C. Rochange, A framework for the timing analysis of dynamic branch predictors, RTNS, pp.65-74, 2011.

, WCET Benchmarks, 2009.

T. Mitra and A. Roychoudhury, A Framework to Model Branch Prediction for Worst Case Execution Time Analysis, 2nd International Workshop on Worst-Case Execution Time Analysis, 2002.

S. Plazar, J. Kleinsorge, P. Marwedel, and H. Falk, WCETdriven branch prediction aware code positioning, Compilers, Architectures and Synthesis for Embedded Systems (CASES), 2011 Proceedings of the 14th International Conference on. IEEE, pp.165-174, 2011.

W. Puutsch, EEcient Worst-Case Execution Time Analysis of Dynamic Branch Prediction, ECRTS, pp.152-162, 2016.

P. Puschner, R. Kirner, B. Huber, and D. Prokesch, Compiling for Time Predictability, Lecture Notes in Computer Science, vol.7613, pp.382-391, 2012.

M. Schoeberl, F. Brandner, S. Hepp, W. Puutsch, and D. Prokesch, Patmos Reference Handbook, 2014.

M. Schoeberl, W. Puutsch, S. Hepp, B. Huber, and D. Prokesch, Patmos: A Time-predictable Microprocessor. Real-Time Systems, vol.54, 2018.
URL : https://hal.archives-ouvertes.fr/inria-00585320

M. Schoeberl, P. Schleuniger, W. Puutsch, F. Brandner, and C. W. Probst, Sven Karlsson, and Tommy orn. 2011. Towards a Timepredictable Dual-Issue Microprocessor: e Patmos Approach. In First Workshop on Bringing eory to Practice: Predictability and Performance in Embedded Systems, pp.11-20, 2011.

R. Wilhelm, J. Engblom, A. Ermedahl, N. Holsti, S. E. et al., Worst-Case Execution Time Problem-Overview of Methods and Survey of Tools, Trans. on Embedded Computing Sys, vol.7, pp.1-53, 2008.