Christopher A. Healy, Mikael Sjödin, Viresh Rustagi, David B. Whalley, Robert van Engelen. Supporting Timing Analysis by Automatic Bounding of Loop Iterations. Real-Time Systems, 18(2/3):129-156, 2000.
@article{HealySRWE00, title = {Supporting Timing Analysis by Automatic Bounding of Loop Iterations}, author = {Christopher A. Healy and Mikael Sjödin and Viresh Rustagi and David B. Whalley and Robert van Engelen}, year = {2000}, tags = {analysis}, researchr = {https://researchr.org/publication/HealySRWE00}, cites = {0}, citedby = {0}, journal = {Real-Time Systems}, volume = {18}, number = {2/3}, pages = {129-156}, }