The Standardized Generation and the Robust Filtering of the Command As Tools of Optimization of the Mental Workload of the Systems Engineer. - Raphaël Coupat; Marc Meslay; Marc-Axel Burette; Bernard Riera 001; Alexandre Philippot; David Annebicque (IFAC HMS, 2013)

Control Design Pattern Based on Safety Logical Constraints for Manufacturing Systems: Application to a Palletizer. - Bernard Riera 001; Raphaël Coupat; Alexandre Philippot; François Gellot; David Annebicque (WODES, 2014)

Formal Verification for Validation of PSEEL's PLC Program. - Mohamed Niang; Alexandre Philippot; François Gellot; Raphaël Coupat; Bernard Riera 001; Sébastien Lefebvre (ICINCO (1), 2017)

Methodology for Railway Automation Study and Automatic Generation of PLC Programs. - Raphaël Coupat; Alexandre Philippot; Mohamed Niang; Christian Courtois; David Annebicque; Bernard Riera 001 (IEEE Intell. Transp. Syst. Mag., 2018)

A methodology for automatic generation, formal verification and implementation of safe PLC programs for power supply equipment of the electric lines of railway control systems. - Mohamed Niang; Bernard Riera 001; Alexandre Philippot; Janan Zaytoon; François Gellot; Raphaël Coupat (Comput. Ind., 2020)