Ignacio D. Lopez-Miguel

According to our database, Ignacio D. Lopez-Miguel authored at least 6 papers between 2021 and 2023.

Collaborative distances:

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

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

Progression for Monitoring in Temporal ASP.

Davide Soldà, Ignacio D. Lopez-Miguel, Ezio Bartocci, Thomas Eiter

Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 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