Gabriel Matni, Michel Dagenais. Automata-based approach for kernel trace analysis. In Proceedings of the 22nd Canadian Conference on Electrical and Computer Engineering, CCECE 2009, 3-6 May 2009, Delta St. John s Hotel and Conference Centre, St. John s, Newfoundland, Canada. pages 970-973, IEEE, 2009. [doi]
Abstract is missing.