Date: 
Friday, November 27, 2009 to Thursday, November 27, 2014
Publication authors (members): 
Michel Dagenais
Publication authors (collaborators): 
Gabriel Matni
Publisher: 
Proceedings of the 2009 Canadian Conference on Electrical and Computer Engineering
Publication version number: 
1.00
Bibtex: 
@inproceedings{matni_ccece, title = {Automata-based approach for kernel trace analysis}, booktitle = {Proceedings of the 2009 Canadian Conference on Electrical and Computer Engineering}, author = {Gabriel Matni and Michel R. Dagenais}, location = {St. John, Newfoundland, Canada}, month = may, year = {2009}, url = {/static/publications/matni-canadian-conf2009.pdf} }
Publication status: 
Published
Tracks concerned: 
Trace abstraction, analysis and correlation