Borja Fernandez Adiego

Publication Activity (10 Years)

Years Active: 2013-2022
Publications (10 Years): 3

Top Topics

Programmable Logic Controller

Formal Verification

Pspace Complete

Top Venues

IEEE Trans. Ind. Informatics

Publications

Borja Fernandez Adiego, Ignacio D. Lopez-Miguel, Jean-Charles Tournier, Enrique Blanco Viñuela, Tomasz Ladzinski, Frederic Havart
Applying Model Checking to Highly-Configurable Safety Critical Software: The SPS-PPS PLC Program. CoRR (2022)
Ignacio D. Lopez-Miguel, Jean-Charles Tournier, Borja Fernandez Adiego
PLCverif: Status of a Formal Verification Tool for Programmable Logic Controller. CoRR (2022)
Borja Fernandez Adiego, Dániel Darvas, Enrique Blanco Viñuela, Jean-Charles Tournier, Simon Bliudze, Jan Olaf Blech, Víctor Manuel González Suárez
Applying Model Checking to Industrial-Sized PLC Programs. IEEE Trans. Ind. Informatics 11 (6) (2015)
Dániel Darvas, Borja Fernandez Adiego, András Vörös, Tamás Bartha, Enrique Blanco Viñuela, Víctor M. González Suárez
Formal Verification of Complex Properties on PLC Programs. FORTE (2014)
Borja Fernandez Adiego, Dániel Darvas, Jean-Charles Tournier, Enrique Blanco Viñuela, Víctor M. González Suárez
Bringing Automated Model Checking to PLC Program Development - a CERN Case Study. WODES (2014)
Borja Fernandez Adiego, Enrique Blanco Viñuela, Víctor M. González Suárez, Simon Bliudze
Model-based automated testing of critical PLC programs. INDIN (2013)