Multiple Ways to Fail: Generalizing a Monitor's Verdict for the Classification of Execution Traces

Simon Varvaressos, Kim Lavoie, Sébastien Gaboury, Sylvain Hallé. Multiple Ways to Fail: Generalizing a Monitor's Verdict for the Classification of Execution Traces. In Borzoo Bonakdarpour, Scott A. Smolka, editors, Runtime Verification - 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings. Volume 8734 of Lecture Notes in Computer Science, pages 10-14, Springer, 2014. [doi]

Authors

Simon Varvaressos

This author has not been identified. Look up 'Simon Varvaressos' in Google

Kim Lavoie

This author has not been identified. Look up 'Kim Lavoie' in Google

Sébastien Gaboury

This author has not been identified. Look up 'Sébastien Gaboury' in Google

Sylvain Hallé

This author has not been identified. It may be one of the following persons: Look up 'Sylvain Hallé' in Google