Name Card

Full name Familienname, Vorname
Lopez Miguel, Ignacio David
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-6 of 6 (Search time: 0.003 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Lopez-Miguel-2023-Verification ofNeural Networks Meets PLC Code An LHC Coo...-am.pdf.jpgLopez-Miguel, Ignacio D. ; Fernández Adiego, Borja ; Ghawash, Faiq ; Blanco Viñuela, Enrique Verification of Neural Networks Meets PLC Code: An LHC Cooling Tower Control System at CERNInproceedings Konferenzbeitrag 7-Jun-2023
2Adam-2023-From Natural Language Requirements totheVerification ofProgramma...-am.pdf.jpgÁdám, Zsófia ; Lopez-Miguel, Ignacio D. ; Mavridou, Anastasia ; Pressburger, Thomas ; Bęś, Marcin ; Blanco Viñuela, Enrique ; Katis, Andreas ; Tournier, Jean-Charles ; Trinh, Khanh V. ; Fernández Adiego, Borja From Natural Language Requirements to the Verification of Programmable Logic Controllers: Integrating FRET into PLCverifInproceedings Konferenzbeitrag 3-Jun-2023
3Lopez-Miguel-2023-Stop at red Engineering meets ethics-vor.pdf.jpgLópez Miguel, Ignacio David Stop at red? Engineering meets ethicsInproceedings Konferenzbeitrag 16-May-2023
4Lopez-Miguel-2023-Introduction to the verification of neural networks run...-vor.pdf.jpgLopez-Miguel, Ignacio D. ; Fernández Adiego, Borja ; Ghawash, Faiq ; Blanco Vinuela, Enrique Introduction to the verification of neural networks running on a PLC: an LHC cooling tower examplePresentation Vortrag 20-Apr-2023
5Adam-2023-Automated Verification of Programmable Logic Controller Program...-vor.pdf.jpgÁdám, Zsófia ; López Miguel, Ignacio David ; Mavridou, Anastasia ; Pressburger, Thomas ; Bęś, Marcin ; Blanco Viñuela, Enrique ; Katis, Andreas ; Tournier, Jean-Charles ; Trinh, Khanh V. ; Fernández Adiego, Borja Automated Verification of Programmable Logic Controller Programs Against Structured Natural Language RequirementsReport Bericht Mar-2023
6Soldà, Davide ; Lopez-Miguel, Ignacio D. ; Bartocci, Ezio ; Eiter, Thomas Progression for Monitoring in Temporal ASPInproceedings Konferenzbeitrag 2023