| The worst-case execution-time problem—overview of methods and survey of tools R Wilhelm, J Engblom, A Ermedahl, N Holsti, S Thesing, D Whalley, ... ACM transactions on embedded computing systems (TECS) 7 (3), 1-53, 2008 | 2788 | 2008 |
| Reliable and precise WCET determination for a real-life processor C Ferdinand, R Heckmann, M Langenbach, F Martin, M Schmidt, ... International Workshop on Embedded Software, 469-485, 2001 | 438 | 2001 |
| Worst case execution time prediction by static program analysis C Ferdinand 18th International Parallel and Distributed Processing Symposium, 2004 …, 2004 | 383 | 2004 |
| Fast and precise WCET prediction by separated cache and path analyses H Theiling, C Ferdinand, R Wilhelm Real-Time Systems 18 (2), 157-179, 2000 | 381 | 2000 |
| Efficient and precise cache behavior prediction for real-time systems C Ferdinand, R Wilhelm Real-time systems 17 (2), 131-181, 1999 | 349 | 1999 |
| Memory hierarchies, pipelines, and buses for future architectures in time-critical embedded systems R Wilhelm, D Grund, J Reineke, M Schlickling, M Pister, C Ferdinand IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2009 | 322 | 2009 |
| CompCert-a formally verified optimizing compiler X Leroy, S Blazy, D Kästner, B Schommer, M Pister, C Ferdinand ERTS 2016: Embedded Real Time Software and Systems, 8th European Congress, 2016 | 282 | 2016 |
| Cache behavior prediction by abstract interpretation M Alt, C Ferdinand, F Martin, R Wilhelm International Static Analysis Symposium, 52-66, 1996 | 265 | 1996 |
| Predictability considerations in the design of multi-core embedded systems C Cullmann, C Ferdinand, G Gebhard, D Grund, C Maiza, J Reineke, ... Proceedings of Embedded Real Time Software and Systems 36 (10), 2010 | 168 | 2010 |
| Applying compiler techniques to cache behavior prediction C Ferdinand, F Martin, R Wilhelm Proceedings of the ACM SIGPLAN Workshop on Language, Compiler and Tool …, 1997 | 160 | 1997 |
| Cache behavior prediction for real-time systems C Ferdinand Pirrot, 1997 | 156 | 1997 |
| Combining abstract interpretation and ILP for microarchitecture modelling and program path analysis H Theiling, C Ferdinand Proceedings 19th IEEE Real-Time Systems Symposium (Cat. No. 98CB36279), 144-153, 1998 | 148 | 1998 |
| Cache behavior prediction by abstract interpretation C Ferdinand, F Martin, R Wilhelm, M Alt Science of Computer Programming 35 (2-3), 163-189, 1999 | 145 | 1999 |
| Pipeline behavior prediction for superscalar processors by abstract interpretation J Schneider, C Ferdinand ACM SIGPLAN Notices 34 (7), 35-44, 1999 | 145 | 1999 |
| On predicting data cache behavior for real-time systems C Ferdinand, R Wilhelm Languages, Compilers, and Tools for Embedded Systems, 16-30, 1998 | 140 | 1998 |
| An abstract interpretation-based timing validation of hard real-time avionics software S Thesing, J Souyris, R Heckmann, F Randimbivololona, M Langenbach, ... 2003 International Conference on Dependable Systems and Networks, 2003 …, 2003 | 136 | 2003 |
| Analysis of loops F Martin, M Alt, R Wilhelm, C Ferdinand International Conference on Compiler Construction, 80-94, 1998 | 115 | 1998 |
| CompCert: Practical experience on integrating and qualifying a formally verified optimizing compiler D Kästner, J Barrho, U Wünsche, M Schlickling, B Schommer, M Schmidt, ... ERTS2 2018-9th European Congress Embedded Real-Time Software and Systems, 1-9, 2018 | 91 | 2018 |
| Tree automata for code selection C Ferdinand, H Seidl, R Wilhelm Acta Informatica 31 (8), 741-760, 1994 | 78 | 1994 |
| Taking static analysis to the next level: proving the absence of run-time errors and data races with Astrée A Miné, L Mauborgne, X Rival, J Feret, P Cousot, D Kästner, S Wilhelm, ... 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), 2016 | 49 | 2016 |
