News

Paper accepted at the NASA Formal Methods Symposium
Formal Verification of PLCs as a Service. A CERN-GSI Safety-Critical Case Study
Ignacio D. Lopez-Miguel
Feb 14, 2025
Paper accepted at the NASA Formal Methods Symposium
Research visit in Tokyo
Visit to Professor Ichiro Hasuo at the National Institute of Informatics
Ignacio D. Lopez-Miguel
Dec 14, 2024
Research visit in Tokyo
3rd prize at the competition of the Symposium on Applied Computing
Enhancing Safety in Cyber-Physical Systems Through Runtime Enforcement
Ignacio D. Lopez-Miguel
Apr 12, 2024
3rd prize at the competition of the Symposium on Applied Computing
Paper accepted at the European Conference on Artificial Intelligence (ECAI)
Progression for Monitoring in Temporal ASP
Ignacio D. Lopez-Miguel
Jun 30, 2023
Paper accepted at the European Conference on Artificial Intelligence (ECAI)
Paper accepted at the Engineering Applications of Neural Networks conference
Verification of neural networks meets PLC code. An LHC cooling tower control system at CERN
Ignacio D. Lopez-Miguel
Mar 30, 2023
Paper accepted at the Engineering Applications of Neural Networks conference
Paper accepted at the NASA Formal Methods Symposium
From Natural Language Requirements to the Verification of Programmable Logic Controllers. Integrating FRET into PLCverif
Ignacio D. Lopez-Miguel
Mar 30, 2023
Paper accepted at the NASA Formal Methods Symposium