Publications

Ignacio D. Lopez-Miguel, Borja Fernández Adiego, Enrique Blanco Viñuela, Matias Salinas, Christine Betz (2023). Working Together for Safer Systems: A Collaboration Model for Verification of PLC Code. In ICALEPCS'23.

Davide Soldà, Ignacio D. Lopez-Miguel, Ezio Bartocci, Thomas Eiter (2023). Progression for Monitoring in Temporal ASP. In ECAI'23.

DOI

Zsófi Ádám, Ignacio D. Lopez-Miguel, Anastasia Mavridou, Thomas Pressburger, Marcin Bęś, Enrique Blanco Viñuela, Andreas Katis, Jean-Charles Tournier, Khanh V. Trinh, Borja Fernández Adiego (2023). From Natural Language Requirements to the Verification of Programmable Logic Controllers: Integrating FRET into PLCverif. In NFM'23.

DOI

Ignacio D. Lopez-Miguel (2023). Verification of Neural Networks Meets PLC Code: An LHC Cooling Tower Control System at CERN. In EANN'23.

DOI

Ignacio D. Lopez-Miguel (2023). Stop at red? Engineering meets ethics. In CEPE'23.

Ignacio D. Lopez-Miguel, Borja Fernández Adiego, Jean-Charles Tournier, Enrique Blanco Viñuela, Juan A. Rodriguez-Aguilar (2021). Simplification of numeric variables for PLC model checking. In MEMOCODE'21.

DOI

Borja Fernández Adiego, Ignacio D. Lopez-Miguel, Jean-Charles Tournier, Enrique Blanco Viñuela, Tomasz Ladzinski, Frederic Havart (2021). Applying Model Checking to Highly-Configurable Safety Critical Software: The SPS-PPS PLC Program. In ICALEPCS'21.

DOI

Ignacio D. Lopez-Miguel, Jean-Charles Tournier, Borja Fernández Adiego (2021). PLCverif: Status of a Formal Verification Tool for Programmable Logic Controller. In ICALEPCS'21.

DOI