Test Generation from Recursive Tiles Systems. - Sébastien Chédor; Thierry Jéron; Christophe Morvan (TAP@TOOLS, 2012)

Analysis of partially observed recursive tile systems. - Sébastien Chédor; Christophe Morvan; Sophie Pinchinat; Hervé Marchand (WODES, 2012)

Test generation from recursive tile systems. - Sébastien Chédor; Thierry Jéron; Christophe Morvan (Softw. Test. Verification Reliab., 2014)

Diagnostic, opacité et test de conformité pour des systèmes récursifs. (Diagnosis, opacity and conformance testing for recursive tile systems). - Sébastien Chédor (2014)

Diagnosis and opacity problems for infinite state systems modeled by recursive tile systems. - Sébastien Chédor; Christophe Morvan; Sophie Pinchinat; Hervé Marchand (Discret. Event Dyn. Syst., 2015)