Login / Signup
Anthony Cordonnier
ORCID
Publication Activity (10 Years)
Years Active: 2019-2020
Publications (10 Years): 2
Top Topics
Sat Solving
State Machine
Data Collection
Reconstruction Error
Top Venues
IEEE Trans. Ind. Informatics
INDIN
</>
Publications
</>
Daniil Chivilikhin
,
Sandeep Patil
,
Konstantin Chukharev
,
Anthony Cordonnier
,
Valeriy Vyatkin
Automatic State Machine Reconstruction From Legacy Programmable Logic Controller Using Data Collection and SAT Solver.
IEEE Trans. Ind. Informatics
16 (12) (2020)
Daniil Chivilikhin
,
Sandeep Patil
,
Anthony Cordonnier
,
Valeriy Vyatkin
Towards automatic state machine reconstruction from legacy PLC using data collection.
INDIN
(2019)