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)

Vérification formelle et simulation pour la validation des systèmes de contrôle commande des EALE. (Formal verification and simulation for the validation of PSEEL's control systems (Power Supply Equipment of the Electric Lines)). - Mohamed Niang (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)