Xueguang Wu, Liqian Chen, Ji Wang. Analyzing Interrupt Handlers via Interprocedural Summaries. In Cliff B. Jones, Ji Wang, Naijun Zhan, editors, Symposium on Real-Time and Hybrid Systems - Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday. Volume 11180 of Lecture Notes in Computer Science, pages 246-262, Springer, 2017. [doi]
Abstract is missing.