Simon Varvaressos

Publication Activity (10 Years)

Years Active: 2013-2017
Publications (10 Years): 2

Top Topics

Stream Processing

Execution Traces

Top Venues

Publications

Simon Varvaressos, Kim Lavoie, Sébastien Gaboury, Sylvain Hallé
Automated Bug Finding in Video Games: A Case Study for Runtime Monitoring. Comput. Entertain. 15 (1) (2017)
Simon Varvaressos, Kim Lavoie, Sébastien Gaboury, Sylvain Hallé
A generalized monitor verdict for log trace triaging. PCODA@SANER (2015)
Kim Lavoie, Corentin Leplongeon, Simon Varvaressos, Sébastien Gaboury, Sylvain Hallé
Portable Runtime Verification with Smartphones and Optical Codes. RV (2014)
Simon Varvaressos, Kim Lavoie, Sébastien Gaboury, Sylvain Hallé
Multiple Ways to Fail: Generalizing a Monitor's Verdict for the Classification of Execution Traces. RV (2014)
Simon Varvaressos, Kim Lavoie, Alexandre Blondin Massé, Sébastien Gaboury, Sylvain Hallé
Automated Bug Finding in Video Games: A Case Study for Runtime Monitoring. ICST (2014)
Sylvain Hallé, Simon Varvaressos
A Formalization of Complex Event Stream Processing. EDOC (2014)
Simon Varvaressos, Dominic Vaillancourt, Sébastien Gaboury, Alexandre Blondin Massé, Sylvain Hallé
Runtime Monitoring of Temporal Logic Properties in a Platform Game. RV (2013)