Travelled to:1 × Portugal
1 × Spain
1 × Taiwan
1 × USA
Collaborated with:A.B.Massé S.Hallé M.Larouche S.Desmeules S.Varvaressos K.Lavoie
Talks about:word (4) equat (2) solv (2) multipseudoperiod (1) pseudoperiod (1) antimorph (1) morphism (1) satisfi (1) monitor (1) boolean (1)
Person: Sébastien Gaboury
DBLP: Gaboury:S=eacute=bastien
Contributed to:
2014
2014
2013
20122013Wrote 5 papers:
- 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.
- LATA-2014-MasseGHL #equation #morphism #word
- Solving Equations on Words with Morphisms and Antimorphisms (ABM, SG, SH, ML), pp. 186–197.
- SAC-2013-LaroucheMGH #equation #satisfiability #word
- Solving equations on words through boolean satisfiability (ML, ABM, SG, SH), pp. 104–106.
- DLT-2012-MasseGH #pseudo #word
- Pseudoperiodic Words (ABM, SG, SH), pp. 308–319.
- DLT-J-2012-MasseDGH13 #multi #pseudo #word
- Multipseudoperiodic Words (ABM, SD, SG, SH), pp. 1153–1166.