Simon Varvaressos

According to our database, Simon Varvaressos authored at least 7 papers between 2013 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Automated Bug Finding in Video Games: A Case Study for Runtime Monitoring.

Simon Varvaressos, Kim Lavoie, Sébastien Gaboury, Sylvain Hallé

Comput. Entertain., 2017

2015

A generalized monitor verdict for log trace triaging.

Simon Varvaressos, Kim Lavoie, Sébastien Gaboury, Sylvain Hallé

Proceedings of the 6th IEEE International Workshop on Program Comprehension through Dynamic Analysis, 2015

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é

Proceedings of the Runtime Verification - 5th International Conference, 2014

Portable Runtime Verification with Smartphones and Optical Codes.

Kim Lavoie, Corentin Leplongeon, Simon Varvaressos, Sébastien Gaboury, Sylvain Hallé

Proceedings of the Runtime Verification - 5th International Conference, 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é

Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

A Formalization of Complex Event Stream Processing.

Sylvain Hallé, Simon Varvaressos

Proceedings of the 18th IEEE International Enterprise Distributed Object Computing Conference, 2014

2013

Runtime Monitoring of Temporal Logic Properties in a Platform Game.

Simon Varvaressos, Dominic Vaillancourt, Sébastien Gaboury, Alexandre Blondin Massé, Sylvain Hallé

Proceedings of the Runtime Verification - 4th International Conference, 2013