Travelled to:1 × Portugal
1 × Spain
1 × Taiwan
1 × USA
Collaborated with:S.Gaboury S.Hallé M.Larouche A.M.Tall H.Tremblay S.Desmeules S.Varvaressos K.Lavoie
Talks about:word (4) equat (2) solv (2) multipseudoperiod (1) pseudoperiod (1) antimorph (1) morphism (1) arithmet (1) satisfi (1) monitor (1)
Person: Alexandre Blondin Massé
DBLP: Mass=eacute=:Alexandre_Blondin
Contributed to:
2014
2014
2013
20122013Wrote 6 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.
- LATA-2014-MasseTT #on the
- On the Arithmetics of Discrete Figures (ABM, AMT, HT), pp. 198–209.
- 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.