| | Preview | Author(s) | Title | Type | Issue Date |
| 1 | | Ostrowski, Erik ; Shafique, Muhammad | ISLE: A Framework for Image Level Semantic Segmentation Ensemble | Inproceedings Konferenzbeitrag | 3-Dec-2023 |
| 2 | | Prabakaran, Bharath Srinivas ; Ostrowski, Erik ; Shafique, Muhammad | ReFit: A Framework for Refinement of Weakly Supervised Semantic Segmentation Using Object Border Fitting for Medical Images | Inproceedings Konferenzbeitrag | 1-Dec-2023 |
| 3 | | Prabakaran, Bharath Srinivas ; Mrazek, Vojtech ; Vasicek, Zdenek ; Sekanina, Lukas ; Shafique, Muhammad | Xel-FPGAs: An End-to-End Automated Exploration Framework for Approximate Accelerators in FPGA-Based Systems | Inproceedings Konferenzbeitrag | 30-Nov-2023 |
| 4 | | Tundo, Alessandro ; Mobilio, Marco ; Ilager, Shashikant Shankar ; Brandic, Ivona ; Bartocci, Ezio ; Mariani, Leonardo | An Energy-Aware Approach to Design Self-Adaptive AI-based Applications on the Edge | Inproceedings Konferenzbeitrag | 8-Nov-2023 |
| 5 | | Dobe, Oyendrila ; Schupp, Stefan Alexander ; Bartocci, Ezio ; Bonakdarpour, Borzoo ; Legay, Axel ; Pajic, Miroslav ; Wang, Yu | Lightweight Verification of Hyperproperties | Inproceedings Konferenzbeitrag | 19-Oct-2023 |
| 6 | | Aguilar, Edgar A ; Bartocci, Ezio ; Mateis, Cristinel ; Nesterini, Eleonora ; Nickovic, Dejan | Mining Specification Parameters for Multi-class Classification | Inproceedings Konferenzbeitrag | 1-Oct-2023 |
| 7 | | Ahmadi, Mahya Morid ; Alrahis, Lilas ; Sinanoglu, Ozgur ; Shafique, Muhammad | FPGA-Patch: Mitigating Remote Side-Channel Attacks on FPGAs using Dynamic Patch Generation | Inproceedings Konferenzbeitrag | 19-Sep-2023 |
| 8 | | Andriushchenko, Roman ; Bartocci, Ezio ; Češka, Milan ; Pontiggia, Francesco ; Sallinger, Sarah Sophie | Deductive Controller Synthesis for Probabilistic Hyperproperties | Inproceedings Konferenzbeitrag | 15-Sep-2023 |
| 9 | | Garlich, Lina ; Dobe, Oyendrila ; Ábrahám, Erika ; Bartocci, Ezio ; Bonakdarpour, Borzoo | Introducing Asynchronicity to Probabilistic Hyperproperties | Inproceedings Konferenzbeitrag | 15-Sep-2023 |
| 10 | | He, Jie ; Nickovic, Dejan ; Bartocci, Ezio ; Grosu, Radu | TD-Magic: From Pictures of Timing Diagrams To Formal Specifications | Inproceedings Konferenzbeitrag | 15-Sep-2023 |
| 11 | | Bartocci, Ezio ; Henzinger, Thomas A. ; Nickovic, Dejan ; Oliveira Da Costa, Ana Alexandra | Hypernode Automata | Inproceedings Konferenzbeitrag | 7-Sep-2023 |
| 12 | | Maroun, Emad Jacob ; Schoeberl, Martin ; Puschner, Peter | Compiler-Directed Constant Execution Time on Flat Memory Systems | Inproceedings Konferenzbeitrag | 1-Aug-2023 |
| 13 | | Maroun, Emad Jacob ; Schoeberl, Martin ; Puschner, Peter | Constant-Loop Dominators for Single-Path Code Optimization | Inproceedings Konferenzbeitrag | 26-Jul-2023 |
| 14 | | Chiari, Michele ; Xiang, Bin ; Nedeltcheva, Galia Novakova ; Di Nitto, Elisabetta ; Blasi, Lorenzo ; Benedetto, Debora ; Niculut, Laurentiu | DOML: A New Modelling Approach to Infrastructure-as-Code | Inproceedings Konferenzbeitrag | 8-Jun-2023 |
| 15 | | Lopez-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 CERN | Inproceedings Konferenzbeitrag | 7-Jun-2023 |
| 16 | | Á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 |
| 17 | | Lopez Miguel, Ignacio David | Stop at red? Engineering meets ethics | Inproceedings Konferenzbeitrag | 16-May-2023 |
| 18 | | Visconti, Ennio ; Tsigkanos, Christos ; Nenzi, Laura | WebMonitor: Verification of Web User Interfaces | Inproceedings Konferenzbeitrag | 5-Jan-2023 |
| 19 | | Maderbacher, Benedikt ; Schupp, Stefan ; Bartocci, Ezio ; Bloem, Roderick ; Ničković, Dejan ; Könighofer, Bettina | Provable Correct and Adaptive Simplex Architecture for Bounded-Liveness Properties | Inproceedings Konferenzbeitrag | 2023 |
| 20 | | Bartocci, Ezio ; Mariani, Leonardo ; Ničković, Dejan ; Yadav, Drishti | Property-Based Mutation Testing | Inproceedings Konferenzbeitrag | 2023 |