Borja Fernandez Adiego

According to our database, Borja Fernandez Adiego authored at least 12 papers between 2013 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Formal Verification of PLCs as a Service: A CERN-GSI Safety-Critical Case Study (extended version).

Ignacio D. Lopez-Miguel, Borja Fernández Adiego, Matias Salinas, Christine Betz

CoRR, February, 2025

Formal Verification of PLCs as a Service: A CERN-GSI Safety-Critical Case Study.

Ignacio D. Lopez-Miguel, Borja Fernández Adiego, Matias Salinas, Christine Betz

Proceedings of the NASA Formal Methods - 17th International Symposium, 2025

2024

Verifying PLC Programs via Monitors: Extending the Integration of FRET and PLCverif.

Xaver Fink, Anastasia Mavridou, Andreas Katis, Borja Fernández Adiego

Proceedings of the NASA Formal Methods - 16th International Symposium, 2024

2023

From Natural Language Requirements to the Verification of Programmable Logic Controllers: Integrating FRET into PLCverif.

Zsófia Ádám, Ignacio D. Lopez-Miguel, Anastasia Mavridou, Thomas Pressburger, Marcin Bes, Enrique Blanco Viñuela, Andreas Katis, Jean-Charles Tournier, Khanh V. Trinh, Borja Fernández Adiego

Proceedings of the NASA Formal Methods - 15th International Symposium, 2023

Verification of Neural Networks Meets PLC Code: An LHC Cooling Tower Control System at CERN.

Ignacio D. Lopez-Miguel, Borja Fernández Adiego, Faiq Ghawash, Enrique Blanco Viñuela

Proceedings of the Engineering Applications of Neural Networks, 2023

2022

PLCverif: Status of a Formal Verification Tool for Programmable Logic Controller.

Ignacio D. Lopez-Miguel, Jean-Charles Tournier, Borja Fernandez Adiego

CoRR, 2022

Applying Model Checking to Highly-Configurable Safety Critical Software: The SPS-PPS PLC Program.

Borja Fernandez Adiego, Ignacio D. Lopez-Miguel, Jean-Charles Tournier, Enrique Blanco Viñuela, Tomasz Ladzinski, Frederic Havart

CoRR, 2022

2021

Simplification of numeric variables for PLC model checking.

Ignacio D. Lopez-Miguel, Borja Fernández Adiego, Jean-Charles Tournier, Enrique Blanco Viñuela, Juan A. Rodríguez-Aguilar

Proceedings of the MEMOCODE '21: 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, Virtual Event, China, November 20, 2021

2015

Applying Model Checking to Industrial-Sized PLC Programs.

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

IEEE Trans. Ind. Informatics, 2015

2014

Bringing Automated Model Checking to PLC Program Development - a CERN Case Study.

Borja Fernandez Adiego, Dániel Darvas, Jean-Charles Tournier, Enrique Blanco Viñuela, Víctor M. González Suárez

Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

Formal Verification of Complex Properties on PLC Programs.

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

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2014

2013

Model-based automated testing of critical PLC programs.

Borja Fernandez Adiego, Enrique Blanco Viñuela, Víctor M. González Suárez, Simon Bliudze

Proceedings of the 11th IEEE International Conference on Industrial Informatics, 2013