Travelled to:
1 × Germany
1 × USA
Collaborated with:
S.Hallé K.Lavoie A.B.Massé S.Gaboury
Talks about:
process (1) monitor (1) complex (1) stream (1) runtim (1) formal (1) video (1) studi (1) event (1) autom (1)
Person: Simon Varvaressos
DBLP: Varvaressos:Simon
Contributed to:
Wrote 2 papers:
- EDOC-2014-HalleV #formal method
- A Formalization of Complex Event Stream Processing (SH, SV), pp. 2–11.
- ICST-2014-VarvaressosLMGH #automation #case study #debugging #game studies #monitoring #runtime #video
- Automated Bug Finding in Video Games: A Case Study for Runtime Monitoring (SV, KL, ABM, SG, SH), pp. 143–152.