|
| | Preview | Author(s) | Title | Type | Issue Date |
| 81 | | Wicaksana Putra, Rachmad Vidya ; Shafique, Muhammad | Mantis: Enabling Energy-Efficient Autonomous Mobile Agents with Spiking Neural Networks | Inproceedings Konferenzbeitrag  | 23-May-2023 |
| 82 |  | Lopez Miguel, Ignacio David | Stop at red? Engineering meets ethics | Inproceedings Konferenzbeitrag   | 16-May-2023 |
| 83 | | Ferdowsi, Arman ; Függer, Matthias ; Nowak, Thomas ; Schmid, Ulrich | Continuity of Thresholded Mode-Switched ODEs and Digital Circuit Delay Models | Inproceedings Konferenzbeitrag | May-2023 |
| 84 | | Esterbauer, Leonhard | Energiegemeinschaften: Vor- und Nachteile des smarten Energie-Sharings | Special Contribution Spezialbeitrag | 28-Apr-2023 |
| 85 | | Kjäer, Martin | Analyzing the Use of Blockchains for Challenges in Inter-organizational Business Processes | Inproceedings Konferenzbeitrag | 24-Apr-2023 |
| 86 | | Steindl, Gernot | RES² – IoT Architecture for a Sector-Coupled Smart Local Energy Community | Presentation Vortrag | 21-Apr-2023 |
| 87 |  | Lopez-Miguel, Ignacio D. ; Fernández Adiego, Borja ; Ghawash, Faiq ; Blanco Vinuela, Enrique | Introduction to the verification of neural networks running on a PLC: an LHC cooling tower example | Presentation Vortrag | 20-Apr-2023 |
| 88 |  | Putra, Rachmad Vidya Wicaksana ; Hanif, Muhammad Abdullah ; Shafique, Muhammad | RescueSNN: enabling reliable executions on spiking neural network accelerators under permanent faults | Article Artikel | 12-Apr-2023 |
| 89 |  | Forsell, Martti ; Roivainen, Jussi ; Leppänen, Ville ; Träff, Jesper Larsson | Realizing multioperations and multiprefixes in Thick Control Flow processors | Article Artikel | Apr-2023 |
| 90 | | Fellner, David ; Strasser, Thomas ; Kastner, Wolfgang | The DeMaDs Open Source Modeling Framework for Power System Malfunction Detection | Inproceedings Konferenzbeitrag | 27-Mar-2023 |
| 91 | | Esterbauer, Leonhard | Improving Energy Community interoperability: A Web of Things approach | Presentation Vortrag | 17-Mar-2023 |
| 92 | | Kirner, Raimund ; Puschner, Peter | A qualitative cybersecurity analysis of time-triggered communication networks in automotive systems | Article Artikel | Mar-2023 |
| 93 |  | Ádám, Zsófia ; Lopez Miguel, Ignacio David ; Mavridou, Anastasia ; Pressburger, Thomas ; Bęś, Marcin ; Blanco Viñuela, Enrique ; Katis, Andreas ; Tournier, Jean-Charles ; Trinh, Khanh V. ; Fernández Adiego, Borja | Automated Verification of Programmable Logic Controller Programs Against Structured Natural Language Requirements | Report Bericht | Mar-2023 |
| 94 | | Kuznets, Roman | Messages Agents Send; Agents Who Send Messages | Presentation Vortrag | 24-Feb-2023 |
| 95 | | Hollerer, Siegfried ; Brenner, Bernhard ; Bhosale, Pushparaj Rajaram ; Fischer, Clara ; Hosseini, Ali Mohammad ; Maragkou, Sofia ; Papa, Maximilian ; Schlund, Sebastian ; Sauter, Thilo ; Kastner, Wolfgang | Challenges in OT Security and Their Impacts on Safety-Related Cyber-Physical Production Systems | Book Contribution Buchbeitrag | 3-Feb-2023 |
| 96 | | Denzler, Patrick ; Kastner, Wolfgang | Reference Architectures for Closing the IT/OT Gap | Book Contribution Buchbeitrag | 3-Feb-2023 |
| 97 | | Winkler, Kyrill ; Paz, Ami ; Galeana, Hugo Rincon ; Schmid, Stefan ; Schmid, Ulrich | The Time Complexity of Consensus Under Oblivious Message Adversaries | Inproceedings Konferenzbeitrag | 1-Feb-2023 |
| 98 | | Marchisio, Alberto ; Nanfa, Giorgio ; Khalid, Faiq ; Hanif, Muhammad Abdullah ; Martina, Maurizio ; Shafique, Muhammad | SeVuc: A study on the Security Vulnerabilities of Capsule Networks against adversarial attacks | Article Artikel | Feb-2023 |
| 99 | | Kuznets, Roman | On Interpolation | Presentation Vortrag | 28-Jan-2023 |
| 100 | | Visconti, Ennio ; Tsigkanos, Christos ; Nenzi, Laura | WebMonitor: Verification of Web User Interfaces | Inproceedings Konferenzbeitrag | 5-Jan-2023 |
