Name Card

Full name Familienname, Vorname
Fernández Adiego, Borja
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-4 of 4 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Lopez-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
2Á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-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
4Adam-2023-Automated Verification of Programmable Logic Controller Program...-vor.pdf.jpgÁdám, Zsófia ; Lopez 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