|
| | Preview | Author(s) | Title | Type | Issue Date |
| 121 |  | Gansterer, Patrick Roland | Rule checking methods for OPC UA models | Thesis Hochschulschrift   | 2023 |
| 122 |  | Kösslbacher, Lukas | Automated exploit generation for ethereum smart contracts | Thesis Hochschulschrift | 2023 |
| 123 | | Voloder, Ammar ; di Angelo, Monika | Comparison of Smart Contract Platforms from the Perspective of Developers | Inproceedings Konferenzbeitrag  | 2023 |
| 124 |  | Denzler, Patrick | Approaching emergent patterns with Kronecker algebra in industrial agents | Thesis Hochschulschrift | 2023 |
| 125 |  | Neufeld, Emeric Alexander | Norm compliance for reinforcement learning agents | Thesis Hochschulschrift | 2023 |
| 126 |  | Resch, Felix | Autonomous racing with attention-based neural networks | Thesis Hochschulschrift | 2023 |
| 127 |  | Neubauer, Sophie | Robustness analysis of continuous-depth neural networks | Thesis Hochschulschrift | 2023 |
| 128 | | Träff, Jesper Larsson ; Hunold, Sascha ; Vardas, Ioannis ; Funk, Nikolaus Manes | Uniform Algorithms for Reduce-scatter and (most) other Collectives for MPI | Inproceedings Konferenzbeitrag | 2023 |
| 129 | | Öhlinger, Daniel ; Schmid, Ulrich | A Digital Delay Model Supporting Large Adversarial Delay Variations | Inproceedings Konferenzbeitrag | 2023 |
| 130 | | Marchisio, Alberto ; Teodonio, Federico ; Rizzi, Antonello ; Shafique, Muhammad | ISMatch: A real-time hardware accelerator for inexact string matching of DNA sequences on FPGA | Article Artikel | 2023 |
| 131 | | Ferdowsi, Arman ; Schmid, Ulrich ; Salzmann, Josef | Accurate Hybrid Delay Models for Dynamic Timing Analysis | Inproceedings Konferenzbeitrag | 2023 |
| 132 | | Ahmadi, Mahya Morid ; Alrahis, Lilas ; Sinanoglu, Ozgur ; Shafique, Muhammad | ShapeShifter: Protecting FPGAs from Side-Channel Attacks with Isofunctional Heterogeneous Modules | Inproceedings Konferenzbeitrag | 2023 |
| 133 |  | Petto, Oskar | Using zero-knowledge proofs for the confidential execution of collaborative business processes on blockchain | Thesis Hochschulschrift | 2023 |
| 134 |  | Krupitza, Diego | pSTL-Bench: Evaluating the Capabilities of ISO C++ Parallel STL Implementations on Modern Parallel Hardware using Microbenchmarking | Thesis Hochschulschrift | 2023 |
| 135 | | Putra, Rachmad Vidya Wicaksana ; Shafique, Muhammad | TopSpark: A Timestep Optimization Methodology for Energy-Efficient Spiking Neural Networks on Autonomous Mobile Agents | Inproceedings Konferenzbeitrag | 2023 |
| 136 | | Naseer, Mahum ; Hasan, Osman ; Shafique, Muhammad | Scaling Model Checking for Neural Network Analysis via State-Space Reduction and Input Segmentation | Inproceedings Konferenzbeitrag | 2023 |
| 137 | | Ostrowski, Erik ; Prabakaran, Bharath Srinivas ; Shafique, Muhammad | SILOP: An Automated Framework for Semantic Segmentation Using Image Labels Based on Object Perimeters | Inproceedings Konferenzbeitrag | 2023 |
| 138 | | Marchisio, Alberto ; Dura, Davide ; Capra, Maurizio ; Martina, Maurizio ; Masera, Guido ; Shafique, Muhammad | SwiftTron: An Efficient Hardware Accelerator for Quantized Transformers | Inproceedings Konferenzbeitrag | 2023 |
| 139 | | Naseer, Mahum ; Shafique, Muhammad | Poster: Link between Bias, Node Sensitivity and Long-Tail Distribution in trained DNNs | Inproceedings Konferenzbeitrag | 2023 |
| 140 |  | Marchisio, Alberto | Cross-Layer Optimizations for Energy-Efficiency and Robustness of Advanced Machine Learning Architectures | Thesis Hochschulschrift | 2023 |
