An Integrated Path and Timing Analysis Method based on Cycle-Level Symbolic Execution

Calculating the maximum execution time of real-time programs

Peter Puschner, C. Koza · Real-Time Systems · 1989 · 582 citations

Computing, Computer Engineering, Computer Science +14

Reasoning about time in higher-level language software

Alan Shaw · IEEE Transactions on Software Engineering · 1989 · 368 citations

Computing, Computer Engineering, Computer Science +16

An accurate worst case timing analysis for RISC processors

Sung-Soo Lim, Young Hyun Bae, Gyu Tae Jang et al. · IEEE Transactions on Software Engineering · 1995 · 246 citations

Engineering, Computer Engineering, Computer Science +17

Cache modeling for real-time software: beyond direct mapped instruction caches

Yu Li, Sharad Malik, A. Wolfe · 2002 · 221 citations

Computing, Computer Engineering, Computer Science +17

Efficient microarchitecture modeling and path analysis for real-time software

Y.-T.S. Li, Sharad Malik, A. Wolfe · 2002 · 216 citations

Engineering, Computer Engineering, Computer Science +17