Login / Signup
Mohamed Niang
Publication Activity (10 Years)
Years Active: 2017-2020
Publications (10 Years): 3
Top Topics
Qualitative And Quantitative
Formal Verification
Model Checker
Power Supply
Top Venues
ICINCO (1)
IEEE Intell. Transp. Syst. Mag.
Comput. Ind.
</>
Publications
</>
Mohamed Niang
,
Bernard Riera
,
Alexandre Philippot
,
Janan Zaytoon
,
François Gellot
,
Raphaël Coupat
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.
Comput. Ind.
123 (2020)
Raphaël Coupat
,
Alexandre Philippot
,
Mohamed Niang
,
Christian Courtois
,
David Annebicque
,
Bernard Riera
Methodology for Railway Automation Study and Automatic Generation of PLC Programs.
IEEE Intell. Transp. Syst. Mag.
10 (3) (2018)
Mohamed Niang
,
Alexandre Philippot
,
François Gellot
,
Raphaël Coupat
,
Bernard Riera
,
Sébastien Lefebvre
Formal Verification for Validation of PSEEL's PLC Program.
ICINCO (1)
(2017)