|
| | Preview | Author(s) | Title | Type | Issue Date |
| 1 |  | Hue, Jerome | Interprocedural Constant Loop Bound Propagation for Patmos Architecture | Thesis Hochschulschrift   | 2024 |
| 2 |  | Fellner, David | Data Driven Detection of Misconfigurations in Power Distribution Systems | Thesis Hochschulschrift | 2024 |
| 3 |  | Müllner, Markus | Modeling Resource Utilization for Spiking Neural Networks in FPGAs | Thesis Hochschulschrift | 2024 |
| 4 |  | Walser, Stefan | Time-aware container-based virtualization | Thesis Hochschulschrift | 2024 |
| 5 |  | Träff, Jesper Larsson ; Vardas, Ioannis | Library Development with MPI: Attributes, Request Objects, Group Communicator Creation, Local Reductions, and Datatypes | Inproceedings Konferenzbeitrag  | 21-Sep-2023 |
| 6 | | Treml, Lilly Maria | 3D Hybrid Cellular Automata for Cardiac Electrophysiology: A Concept Study | Inproceedings Konferenzbeitrag | 9-Sep-2023 |
| 7 | | Kropatschek, Sebastian ; Hollerer, Siegfried ; Hoffman, David ; Winkler, Dietmar ; Lüder, Arndt ; Sauter, Thilo ; Kastner, Wolfgang ; Biffl, Stefan | Combining Models for Safety and Security Concerns in Automating Digital Production | Inproceedings Konferenzbeitrag | 22-Aug-2023 |
| 8 | | Hollerer, Siegfried ; Kastner, Wolfgang ; Sauter, Thilo | Safety and Security: A Field of Tension in Industrial Practice | Inproceedings Konferenzbeitrag | 22-Aug-2023 |
| 9 | | Steindl, Gernot | RES² – IoT Architecture for a Sector-Coupled Smart Local Energy Community | Presentation Vortrag | 21-Apr-2023 |
| 10 |  | Forsell, Martti ; Roivainen, Jussi ; Leppänen, Ville ; Träff, Jesper Larsson | Realizing multioperations and multiprefixes in Thick Control Flow processors | Article Artikel | Apr-2023 |
| 11 | | Fellner, David ; Strasser, Thomas ; Kastner, Wolfgang | The DeMaDs Open Source Modeling Framework for Power System Malfunction Detection | Inproceedings Konferenzbeitrag | 27-Mar-2023 |
| 12 | | Esterbauer, Leonhard | Improving Energy Community interoperability: A Web of Things approach | Presentation Vortrag | 17-Mar-2023 |
| 13 | | 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 |
| 14 | | Bartocci, Ezio ; Mariani, Leonardo ; Ničković, Dejan ; Yadav, Drishti | Property-Based Mutation Testing | Inproceedings Konferenzbeitrag | 2023 |
| 15 | | Brenner, Bernhard ; Hollerer, Siegfried ; Bhosale, Pushparaj ; Sauter, Thilo ; Kastner, Wolfgang ; Fabini, Joachim ; Zseby, Tanja | Better Safe Than Sorry: Risk Management based on a Safety-augmented Network Intrusion Detection System | Article Artikel | 2023 |
| 16 | | Hunold, Sascha ; Steiner, Sebastian | OMPICollTune: Autotuning MPI Collectives by Incremental Online Learning | Inproceedings Konferenzbeitrag | 2023 |
| 17 | | Brandstatter, Andreas ; Smolka, Scott A. ; Stoller, Scott D. ; Tiwari, Ashish ; Grosu, Radu | Multi-Agent Spatial Predictive Control with Application to Drone Flocking | Inproceedings Konferenzbeitrag | 2023 |
| 18 |  | Wiedemann, Sebastian Michael | go2async: A high-level synthesis tool for asynchronous circuits based on click-elements | Thesis Hochschulschrift | 2023 |
| 19 |  | Rodríguez-Pastrana Parareda, David | Impact of automation in Software Asset Management Systems | Thesis Hochschulschrift | 2023 |
| 20 |  | Lielacher, Thomas | Towards Compliance-By-Design for a Decentralized Business Process Execution Engine | Thesis Hochschulschrift | 2023 |
