Ignacio D. Lopez-Miguel

12 papers A* 1A 2C 2Misc 1Journal 4Unranked 2
YearRankTypeTitle / Venue / Authors
2025 J jnl
Formal Verification of PLCs as a Service: A CERN-GSI Safety-Critical Case Study (extended version).
CoRR
Ignacio D. Lopez-Miguel, Borja Fernández Adiego, Matias Salinas, Christine Betz
2025 — conf
Formal Verification of PLCs as a Service: A CERN-GSI Safety-Critical Case Study.
NFM
Ignacio D. Lopez-Miguel, Borja Fernández Adiego, Matias Salinas, Christine Betz
2025 A conf
OFTEN-DEEPRL: On-the-Fly Teaching of Ethical Norms to Deep Reinforcement Learning Agents.
ECAI
Ignacio D. Lopez-Miguel, Sebastian P. Adam, Ezio Bartocci, Thomas Eiter, Martin Tappler
2025 A* conf
Rule-Guided Reinforcement Learning Policy Evaluation and Improvement.
IJCAI
Martin Tappler, Ignacio D. Lopez-Miguel, Sebastian Tschiatschek, Ezio Bartocci
2025 J jnl
Rule-Guided Reinforcement Learning Policy Evaluation and Improvement.
CoRR
Martin Tappler, Ignacio D. Lopez-Miguel, Sebastian Tschiatschek, Ezio Bartocci
2024 Misc conf
Student Research Abstract: Enhancing Safety in Cyber-Physical Systems Through Runtime Enforcement.
SAC
Ignacio D. Lopez-Miguel
2023 — conf
From Natural Language Requirements to the Verification of Programmable Logic Controllers: Integrating FRET into PLCverif.
NFM
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
2023 A conf
Progression for Monitoring in Temporal ASP.
ECAI
Davide Soldà, Ignacio D. Lopez-Miguel, Ezio Bartocci, Thomas Eiter
2023 C conf
Verification of Neural Networks Meets PLC Code: An LHC Cooling Tower Control System at CERN.
EANN
Ignacio D. Lopez-Miguel, Borja Fernández Adiego, Faiq Ghawash, Enrique Blanco Viñuela
2022 J jnl
Applying Model Checking to Highly-Configurable Safety Critical Software: The SPS-PPS PLC Program.
CoRR
Borja Fernandez Adiego, Ignacio D. Lopez-Miguel, Jean-Charles Tournier, Enrique Blanco Viñuela, Tomasz Ladzinski, Frederic Havart
2022 J jnl
PLCverif: Status of a Formal Verification Tool for Programmable Logic Controller.
CoRR
Ignacio D. Lopez-Miguel, Jean-Charles Tournier, Borja Fernandez Adiego
2021 C conf
Simplification of numeric variables for PLC model checking.
MEMOCODE
Ignacio D. Lopez-Miguel, Borja Fernández Adiego, Jean-Charles Tournier, Enrique Blanco Viñuela, Juan A. Rodríguez-Aguilar