Anaïs Guignard

According to our database, Anaïs Guignard authored at least 4 papers between 2013 and 2018.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2018

Model-Based Testing of PLC Programs With Appropriate Conformance Relations.

Anaïs Guignard, Jean-Marc Faure, Gregory Faraut

IEEE Trans. Ind. Informatics, 2018

2014

A Conformance Relation for Model-Based Testing of PLC.

Anaïs Guignard, Jean-Marc Faure

Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

Validation of logic controllers from events observation in a closed-loop system.

Anaïs Guignard, Jean-Marc Faure

Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

2013

Enforcing I/O sequences for PLC validation purposes.

Anaïs Guignard, Jean-Marc Faure

Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013