Christian Ferdinand, Reinhold Heckmann, Hans-Jörg Wolff, Christian Renz, Manabendra Gupta, Oleg Parshin. Towards an Integration of Low-Level Timing Analysis and Model-Based Code Generation. In Leveraging Applications of Formal Methods, Second International Symposium, ISoLA 2006, Paphos, Cyprus, 15-19 November 2006. pages 220-226, IEEE, 2006. [doi]
Abstract is missing.