Borja Fernández Adiego

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 4

Top Topics

Natural Language

Formal Verification

Programmable Logic

Top Venues

Publications

Xaver Fink, Anastasia Mavridou, Andreas Katis, Borja Fernández Adiego
Verifying PLC Programs via Monitors: Extending the Integration of FRET and PLCverif. NFM (2024)
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
From Natural Language Requirements to the Verification of Programmable Logic Controllers: Integrating FRET into PLCverif. NFM (2023)
Ignacio D. Lopez-Miguel, Borja Fernández Adiego, Faiq Ghawash, Enrique Blanco Viñuela
Verification of Neural Networks Meets PLC Code: An LHC Cooling Tower Control System at CERN. EANN (2023)
Ignacio D. Lopez-Miguel, Borja Fernández Adiego, Jean-Charles Tournier, Enrique Blanco Viñuela, Juan A. Rodríguez-Aguilar
Simplification of numeric variables for PLC model checking. MEMOCODE (2021)