|
| | Preview | Author(s) | Title | Type | Issue Date |
| 1 | | 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 |
| 2 |  | Randrianomentsoa, Rojo Fanamperana ; van Ditmarsch, Hans ; Kuznets, Roman | Impure simplicial complexes: complete axiomatization | Article Artikel    | 18-Oct-2023 |
| 3 |  | Naseer, Mahum ; Hasan, Osman ; Shafique, Muhammad | QuanDA: GPU accelerated quantitative deep neural network analysis | Article Artikel | Oct-2023 |
| 4 | | Bartocci, Ezio ; Mateis, Cristinel ; Nesterini, Eleonora ; Nickovic, Dejan | Mining Hyperproperties using Temporal Logics | Article Artikel | Sep-2023 |
| 5 |  | Chiari, Michele ; Mandrioli, Dino ; Pontiggia, Francesco ; Pradella, Matteo | A model checker for operator precedence languages | Article Artikel | Sep-2023 |
| 6 | | Nenzi, Laura ; Bartocci, Ezio ; Bortolussi, Luca ; Silvetti, Simone ; Loreti, Michele | MoonLight: a lightweight tool for monitoring spatio-temporal properties | Article Artikel | 1-Aug-2023 |
| 7 |  | 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 |
| 8 | | Bareedu, Yashoda Saisree ; Frühwirth, Thomas ; Niedermeier, Christoph ; Sabou, Reka Marta ; Steindl, Gernot ; Thuluva, Aparna Saisree ; Tsaneva, Stefani ; Tufek Ozkaya, Nilay | Deriving semantic validation rules from industrial standards: An OPC UA study | Article Artikel | 19-Jun-2023 |
| 9 |  | 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 |
| 10 |  | Cignarale, Giorgio ; Schmid, Ulrich ; Tahko, Tuomas ; Kuznets, Roman | The Role of A Priori Belief in the Design and Analysis of Fault-Tolerant Distributed Systems | Article Artikel | Jun-2023 |
| 11 |  | 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 |
| 12 |  | Forsell, Martti ; Roivainen, Jussi ; Leppänen, Ville ; Träff, Jesper Larsson | Realizing multioperations and multiprefixes in Thick Control Flow processors | Article Artikel | Apr-2023 |
| 13 | | Kirner, Raimund ; Puschner, Peter | A qualitative cybersecurity analysis of time-triggered communication networks in automotive systems | Article Artikel | Mar-2023 |
| 14 | | 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 |
| 15 | | Hofmann, Till ; Schupp, Stefan | Controlling timed automata against MTL specifications with TACoS | Article Artikel | 2023 |
| 16 | | Widhalm , Dominik ; Goeschka , Karl M. ; Kastner , Wolfgang | A Review on Immune-Inspired Node Fault Detection in Wireless Sensor Networks with a Focus on the Danger Theory | Article Artikel | 2023 |
| 17 | | 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 |
| 18 | | Esterbauer, Leonhard ; Steindl, Gernot ; Kastner, Wolfgang | Improving energy community interoperability by utilizing Web of Things | Article Artikel | 2023 |
| 19 | | 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 |
| 20 |  | Naseer, Mahum ; Prabakaran, Bharath Srinivas ; Hasan, Osman ; Shafique, Muhammad | UnbiasedNets: a dataset diversification framework for robustness bias alleviation in neural networks | Article Artikel | 2023 |
