| | Preview | Author(s) | Title | Type | Issue Date |
| 1 | | Parragh, D. M. ; Scheuerlein, C. ; Piccin, R. ; Ravotti, F. ; Pezzullo, G. ; Ternova, D. ; Taborelli, M. ; Lehner, Markus ; Eisterer, M. | Irradiation induced aging of epoxy resins for impregnation of superconducting magnet coils | Article Artikel | May-2024 |
| 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 PLCverif | Inproceedings Konferenzbeitrag | 3-Jun-2023 |
| 3 | | Lopez-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 example | Presentation Vortrag | 20-Apr-2023 |
| 4 | | Tarrío, Diego ; Tassan-Got, Laurent ; Duran, Ignacio ; Leong, Lou Sai ; Paradela Dobarro, Carlos ; Audouin, Laurent ; Leal-Cidoncha, Esther ; Le Naour, Claire ; Caamano, Manuel ; Ventura, Andrea ; Altstadt, Sebastian ; Andrzejewski, Jozef ; Barbagallo, Massimo ; Bécares, Vicente ; Frantisek Becvar ; Belloni, Francesca ; Berthoumieux, Eric ; Billowes, Jonathan ; Boccone, Vittorio ; Griesmayer, Erich ; Jericha, Erwin ; Leeb, Helmut ; Weiss, Christina ; Zugec, Petar | Neutron-induced fission cross sections of ²³²Th and ²³³U up to 1 GeV using parallel plate avalanche counters at the CERN n_TOF facility | Article Artikel | Apr-2023 |
| 5 | | Á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 Requirements | Report Bericht | Mar-2023 |