Ignacio D. Lopez-Miguel

Publication Activity (10 Years)

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

Top Topics

Natural Language

Formal Verification

Safety Critical

Top Venues

Publications

Ignacio D. Lopez-Miguel
Student Research Abstract: Enhancing Safety in Cyber-Physical Systems Through Runtime Enforcement. SAC (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)
Davide Soldà, Ignacio D. Lopez-Miguel, Ezio Bartocci, Thomas Eiter
Progression for Monitoring in Temporal ASP. ECAI (2023)
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)
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)