Anaïs Guignard

Publication Activity (10 Years)

Years Active: 2013-2018
Publications (10 Years): 1

Top Topics

Model Based Testing

Controller Synthesis

Garbage Collection

Top Venues

IEEE Trans. Ind. Informatics

Publications

Anaïs Guignard, Jean-Marc Faure, Gregory Faraut
Model-Based Testing of PLC Programs With Appropriate Conformance Relations. IEEE Trans. Ind. Informatics 14 (1) (2018)
Anaïs Guignard, Jean-Marc Faure
A Conformance Relation for Model-Based Testing of PLC. WODES (2014)
Anaïs Guignard, Jean-Marc Faure
Validation of logic controllers from events observation in a closed-loop system. ETFA (2014)
Anaïs Guignard, Jean-Marc Faure
Enforcing I/O sequences for PLC validation purposes. ETFA (2013)