Michaël Larouche

Solving Equations on Words with Morphisms and Antimorphisms

Sylvain Hallé, Sébastien Gaboury, Alexandre Blondin Massé, 2014, LATA.

Solving equations on words through boolean satisfiability

Sylvain Hallé, Sébastien Gaboury, Alexandre Blondin Massé, 2013, SAC '13.

Efficient Generation of Test Data with Extended Cardinality Constraints

Sylvain Hallé, Michaël Larouche, 2019, 2019 IEEE 19th International Conference on Software Quality, Reliability and Security (QRS).