Runtime Monitoring of Temporal Logic Properties in a Platform Game. - Simon Varvaressos; Dominic Vaillancourt; Sébastien Gaboury; Alexandre Blondin Massé; Sylvain Hallé (RV, 2013)

A Formalization of Complex Event Stream Processing. - Sylvain Hallé; Simon Varvaressos (EDOC, 2014)

Automated Bug Finding in Video Games: A Case Study for Runtime Monitoring. - Simon Varvaressos; Kim Lavoie; Alexandre Blondin Massé; Sébastien Gaboury; Sylvain Hallé (ICST, 2014)

Portable Runtime Verification with Smartphones and Optical Codes. - Kim Lavoie; Corentin Leplongeon; Simon Varvaressos; Sébastien Gaboury; Sylvain Hallé (RV, 2014)

Multiple Ways to Fail: Generalizing a Monitor's Verdict for the Classification of Execution Traces. - Simon Varvaressos; Kim Lavoie; Sébastien Gaboury; Sylvain Hallé (RV, 2014)

A generalized monitor verdict for log trace triaging. - Simon Varvaressos; Kim Lavoie; Sébastien Gaboury; Sylvain Hallé (PCODA@SANER, 2015)

Automated Bug Finding in Video Games: A Case Study for Runtime Monitoring. - Simon Varvaressos; Kim Lavoie; Sébastien Gaboury; Sylvain Hallé (Comput. Entertain., 2017)