Enforcing I/O sequences for PLC validation purposes. - Anaïs Guignard; Jean-Marc Faure (ETFA, 2013)

Validation of logic controllers from events observation in a closed-loop system. - Anaïs Guignard; Jean-Marc Faure (ETFA, 2014)

A Conformance Relation for Model-Based Testing of PLC. - Anaïs Guignard; Jean-Marc Faure (WODES, 2014)

Model-Based Testing of PLC Programs With Appropriate Conformance Relations. - Anaïs Guignard; Jean-Marc Faure; Gregory Faraut (IEEE Trans. Ind. Informatics, 2018)