| PLCverif: Status of a Formal Verification Tool for Programmable Logic Controller ID Lopez-Miguel, JC Tournier, B Fernández Adiego International Conference on Accelerator and Large Experimental Physics …, 2022 | 11 | 2022 |
| From natural language requirements to the verification of programmable logic controllers: integrating FRET into PLCverif Z Ádám, ID Lopez-Miguel, A Mavridou, T Pressburger, M Bęś, ... NASA Formal Methods Symposium, 353-360, 2023 | 4 | 2023 |
| Applying Model Checking to Highly-Configurable Safety Critical Software: The SPS-PPS PLC Program B Fernández Adiego, JC Lopez-Miguel, Ignacio D. Tournier, ... International Conference on Accelerator and Large Experimental Physics …, 2022 | 4 | 2022 |
| Simplification of numeric variables for plc model checking ID Lopez-Miguel, BF Adiego, JC Tournier, EB Viñuela, ... Proceedings of the 19th ACM-IEEE International Conference on Formal Methods …, 2021 | 4 | 2021 |
| Survey on preprocessing techniques for big data projects ID Lopez-Miguel Engineering Proceedings 7 (1), 14, 2021 | 3 | 2021 |
| Automated verification of programmable logic controller programs against structured natural language requirements Z Ádám, ID Lopez-Miguel, A Mavridou, T Pressburger, M Bes, EB Vinuela, ... National Aeronautics and Space Administration, 2023 | 2 | 2023 |
| Verification of neural networks meets PLC code: An LHC cooling tower control system at CERN ID Lopez-Miguel, B Fernández Adiego, F Ghawash, E Blanco Viñuela International Conference on Engineering Applications of Neural Networks, 420-432, 2023 | 1 | 2023 |
| Progression for Monitoring in Temporal ASP D Soldà, ID Lopez-Miguel, E Bartocci, T Eiter ECAI 2023, 2170-2177, 2023 | 1 | 2023 |
| Student Research Abstract: Enhancing Safety in Cyber-Physical Systems Through Runtime Enforcement ID Lopez-Miguel Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing, 1614-1616, 2024 | | 2024 |
| Stop at red? Engineering meets ethics ID Lopez-Miguel International Conference on Computer Ethics 1 (1), 2023 | | 2023 |
| Introduction to the verification of neural networks running on a PLC: an LHC cooling tower example ID Lopez-Miguel, B Fernández Adiego, F Ghawash, E Blanco Vinuela | | 2023 |
| JACOW: Working Together for Safer Systems: A Collaboration Model for Verification of PLC Code ID Lopez-Miguel, B Fernández Adiego, E Blanco Viñuela, M Salinas, ... JACoW ICALEPCS 2023, TUPDP001, 2023 | | 2023 |
| Guided acoustic wave's phase and group velocity at low frequencies in fluid filled elastic pipes ID Lopez-Miguel | | 2015 |
