TU Wien Informatics

20 Years

Role

  • Verification of Neural Networks Meets PLC Code: An LHC Cooling Tower Control System at CERN / Lopez-Miguel, I. D., Fernández Adiego, B., Ghawash, F., & Blanco Viñuela, E. (2023). Verification of Neural Networks Meets PLC Code: An LHC Cooling Tower Control System at CERN. In L. Iliadis, I. Maglogiannis, S. Alonso, C. Jayne, & E. Pimenidis (Eds.), Engineering Applications of Neural Networks : 24th International Conference, EAAAI/EANN 2023, León, Spain, June 14–17, 2023, Proceedings (pp. 420–432). Springer. https://doi.org/10.34726/5420
  • From Natural Language Requirements to the Verification of Programmable Logic Controllers: Integrating FRET into PLCverif / Ádám, Z., Lopez-Miguel, I. D., Mavridou, A., Pressburger, T., Bęś, M., Blanco Viñuela, E., Katis, A., Tournier, J.-C., Trinh, K. V., & Fernández Adiego, B. (2023). From Natural Language Requirements to the Verification of Programmable Logic Controllers: Integrating FRET into PLCverif. In K. Y. Rozier & S. Chaudhuri (Eds.), NASA Formal Methods : 15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings (pp. 353–360). Springer. https://doi.org/10.34726/5382
  • Stop at red? Engineering meets ethics / López Miguel, I. D. (2023). Stop at red? Engineering meets ethics. In K. B. Laas (Ed.), International Conference on Computer Ethics: Vol. 1 No. 1 (2023). https://doi.org/10.34726/5436
    Download: Paper (395 KB)
  • Introduction to the verification of neural networks running on a PLC: an LHC cooling tower example / Lopez-Miguel, I. D., Fernández Adiego, B., Ghawash, F., & Blanco Vinuela, E. (2023, April 20). Introduction to the verification of neural networks running on a PLC: an LHC cooling tower example [Presentation]. Reliability and Availability Working Group Meeting (RAWG 2023), Geneva, Switzerland. https://doi.org/10.34726/5351
    Download: Presentation (1.78 MB)
  • Automated Verification of Programmable Logic Controller Programs Against Structured Natural Language Requirements / Ádám, Z., López Miguel, I. D., Mavridou, A., Pressburger, T., Bęś, M., Blanco Viñuela, E., Katis, A., Tournier, J.-C., Trinh, K. V., & Fernández Adiego, B. (2023). Automated Verification of Programmable Logic Controller Programs Against Structured Natural Language Requirements (NASA/TM–20230003752). National Aeronautics and Space Administration. https://doi.org/10.34726/5291
    Download: PDF (1.8 MB)
  • Progression for Monitoring in Temporal ASP / Soldà, D., Lopez-Miguel, I. D., Bartocci, E., & Eiter, T. (2023). Progression for Monitoring in Temporal ASP. In K. Gal, A. Nowé, G. J. Nalepa, R. Fairstein, & R. Rădulescu (Eds.), ECAI 2023 : 26th European Conference on Artificial Intelligence. Including 12th Conference on Prestigious Applications of Intelligent Systems (PAIS 2023). Proceedings (pp. 2170–2177). Frontiers. https://doi.org/10.3233/FAIA230513
    Download: PDF (343 KB)
    Project: TAIGER (2023–2027)