| | 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 | | Bartocci, Ezio ; Mateis, Cristinel ; Nesterini, Eleonora ; Nickovic, Dejan | Mining Hyperproperties using Temporal Logics | Article Artikel | Sep-2023 |
| 13 | | Chiari, Michele ; Mandrioli, Dino ; Pontiggia, Francesco ; Pradella, Matteo | A model checker for operator precedence languages | Article Artikel | Sep-2023 |
| 14 | | Maroun, Emad Jacob ; Schoeberl, Martin ; Puschner, Peter | Compiler-Directed Constant Execution Time on Flat Memory Systems | Inproceedings Konferenzbeitrag | 1-Aug-2023 |
| 15 | | Nenzi, Laura ; Bartocci, Ezio ; Bortolussi, Luca ; Silvetti, Simone ; Loreti, Michele | MoonLight: a lightweight tool for monitoring spatio-temporal properties | Article Artikel | 1-Aug-2023 |
| 16 | | Maroun, Emad Jacob ; Schoeberl, Martin ; Puschner, Peter | Constant-Loop Dominators for Single-Path Code Optimization | Inproceedings Konferenzbeitrag | 26-Jul-2023 |
| 17 | | Bhandary, Shrajan ; Kuhn, Dejan ; Babaiee, Zahra ; Fechter, Tobias ; Benndorf, Matthias ; Zamboglou, Constantinos ; Grosu, Anca-Ligia ; Grosu, Radu | Investigation and benchmarking of U-Nets on prostate segmentation tasks | Article Artikel | Jul-2023 |
| 18 | | Prabakaran, Bharath Srinivas ; Hamelmann, Paul ; Ostrowski, Erik ; Shafique, Muhammad | FPUS23: An ultrasound fetus phantom dataset with deep neural network evaluations for fetus orientations, fetal planes, and anatomical features | Article Artikel | 8-Jun-2023 |
| 19 | | 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 |
| 20 | | 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 |