|
| | Preview | Authors / Editors | Title | Type | Issue Date |
| 1 | | Kuznets, Roman | What Proof Theory Can Do for You | Presentation Vortrag | 17-Jan-2024 |
| 2 |  | Hue, Jerome | Interprocedural Constant Loop Bound Propagation for Patmos Architecture | Thesis Hochschulschrift   | 2024 |
| 3 |  | Fellner, David | Data Driven Detection of Misconfigurations in Power Distribution Systems | Thesis Hochschulschrift | 2024 |
| 4 |  | Müllner, Markus | Modeling Resource Utilization for Spiking Neural Networks in FPGAs | Thesis Hochschulschrift | 2024 |
| 5 |  | Walser, Stefan | Time-aware container-based virtualization | Thesis Hochschulschrift | 2024 |
| 6 | | Hunold, Sascha ; Xie, Biwei ; Shu, Kai | Benchmarking, Measuring, and Optimizing : 15th BenchCouncil International Symposium, Bench 2023, Revised Selected Papers | Proceedings Tagungsband  | 2024 |
| 7 | | Hunold, Sascha | Unveiling the Complexities of Performance Analysis and Optimization in HPC Systems | Presentation Vortrag | 8-Dec-2023 |
| 8 | | di Angelo, Monika ; Salzer, Gernot | Consolidation of Ground Truth Sets for Weakness Detection in Smart Contracts | Inproceedings Konferenzbeitrag | 5-Dec-2023 |
| 9 | | Ostrowski, Erik ; Shafique, Muhammad | ISLE: A Framework for Image Level Semantic Segmentation Ensemble | Inproceedings Konferenzbeitrag | 3-Dec-2023 |
| 10 | | 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 |
| 11 | | 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 |
| 12 |  | Swartvagher, Philippe ; Hunold, Sascha ; Träff, Jesper Larsson ; Vardas, Ioannis | Using Mixed-Radix Decomposition to Enumerate Computational Resources of Deeply Hierarchical Architectures | Inproceedings Konferenzbeitrag | 12-Nov-2023 |
| 13 |  | Hunold, Sascha | Verifying Performance Guidelines for MPI Collectives at Scale | Inproceedings Konferenzbeitrag | 12-Nov-2023 |
| 14 | | Monika di Angelo ; Durieux, Thomas ; Ferreira João F. ; Gernot Salzer | SmartBugs 2.0: An Execution Framework for Weakness Detection in Ethereum Smart Contracts | Inproceedings Konferenzbeitrag | 8-Nov-2023 |
| 15 | | 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 |
| 16 | | Laso Rodriguez, Ruben ; Casado, Fernando E. | The research career after the PhD | Presentation Vortrag | 3-Nov-2023 |
| 17 | | Kropatschek, Sebastian Johannes ; Kurniawan, Kabul ; Bhosale, Pushparaj Rajaram ; Hollerer, Siegfried ; Kiesling, Elmar ; Winkler, Dietmar | Towards A Knowledge Graph-based Framework for Integrated Security and Safety Analysis in Digital Production Systems | Inproceedings Konferenzbeitrag | 2-Nov-2023 |
| 18 | | Denzler, Patrick Heinrich ; Ramsauer, Daniel ; Scheuchenstuhl, Daniel ; Kastner, Wolfgang | Experiences Modeling a OPC UA / DDS Gateway in AADL in the Context of Fog Computing | Article Artikel | 31-Oct-2023 |
| 19 |  | Girlando, Marianna ; Kuznets, Roman ; Marin, Sonia ; Morales, Marianela ; Straßburger, Lutz | A decision procedure for IS4 | Inproceedings Konferenzbeitrag | 31-Oct-2023 |
| 20 |  | Kuznets, Roman | Simplicial approaches to crashing agents | Inproceedings Konferenzbeitrag | 31-Oct-2023 |
