Publications d'un membre du LURPA : Anaïs GUIGNARD (9 réponses)
- 2018 (1 publication(s))
- Publications en revue à comité de lecture (1)
- Model-based testing of PLC programs with appropriate conformance relations
A. Guignard, J.-M. Faure, G. Faraut
IEEE Trans. on Industrial Informatics, 14 (1), pp. 350-359, January 2018
- Communications dans des congrès (2)
- A conformance relation for model-based testing of PLC
A. Guignard, J-M. Faure
12th IFAC - IEEE International Workshop on Discrete Event Systems (WODES), Cachan (France), pp. 412-419, 14-16 May 2014 - Validation of logic controllers from events observation in a closed-loop system
A. Guignard, J-M. Faure
Emerging Technologies and Factory Automation (ETFA'14), 19th IEEE International conference on, Barcelona(Spain), 16-19 September, 2014
A. Guignard
Thèse de l'ENS Cachan, 164 pages, décembre 2014
- Publications en revue à comité de lecture (1)
- Formal models for conformance test of programmable logic controllers
A. GUIGNARD, J-M. FAURE
Journal Européen des Systèmes Automatisés, 47(4-8), pp. 423-446, 2013
A. GUIGNARD, J-M.FAURE
5èmes Journées Doctorales / Journées Nationales MACS, Strasbourg, Papier JD-5.4, 6 pages, juillet 2013
A. GUIGNARD, J-M.FAURE
18th IEEE Int. Conf. on Emerging Technologies and Factory Automation (ETFA 2013), Cagliari (Italy), Paper n°89, 6 pages, September 2013
- Communications dans des congrès (1)
- Génération d'une machine de Mealy à partir de spécifications algébriques à des fins de test de conformité
A. GUIGNARD, J.-M. ROUSSEL, J.-M. FAURE
Conférence Internationale Francophone d'Automatique (CIFA'12), pp.907-912, Grenoble (France), 4-6 Juillet 2012
- Mémoires de Master (1)
- Symbolic generation of the automaton representing an algebraic description of a logic system
A. GUIGNARD
Mémoire du Master ISC de l'ENS Cachan, juillet 2011