Automata-based approach for kernel trace analysis | IEEE Conference Publication | IEEE Xplore