| | Preview | Author(s) | Title | Type | Issue Date |
| 61 | | Bhosale, Pushparaj ; Kastner, Wolfgang ; Sauter, Thilo | Integrated Safety-Security Risk Assessment for Production Systems: A Use Case Using Bayesian Belief Networks | Inproceedings Konferenzbeitrag | 22-Aug-2023 |
| 62 | | Colucci, Alessio | Towards Transient Fault Mitigation Techniques Optimized for Compressed Neural Networks | Inproceedings Konferenzbeitrag | 10-Aug-2023 |
| 63 | | Marchisio, Alberto ; De Marco, Antonio ; Colucci, Alessio ; Martina, Maurizio ; Shafique, Muhammad | RobCaps: Evaluating the Robustness of Capsule Networks against Affine Transformations and Adversarial Attacks | Inproceedings Konferenzbeitrag | 2-Aug-2023 |
| 64 | | Maroun, Emad Jacob ; Schoeberl, Martin ; Puschner, Peter | Compiler-Directed Constant Execution Time on Flat Memory Systems | Inproceedings Konferenzbeitrag | 1-Aug-2023 |
| 65 | | Nenzi, Laura ; Bartocci, Ezio ; Bortolussi, Luca ; Silvetti, Simone ; Loreti, Michele | MoonLight: a lightweight tool for monitoring spatio-temporal properties | Article Artikel | 1-Aug-2023 |
| 66 | | Maroun, Emad Jacob ; Schoeberl, Martin ; Puschner, Peter | Constant-Loop Dominators for Single-Path Code Optimization | Inproceedings Konferenzbeitrag | 26-Jul-2023 |
| 67 | | Tabassam, Zaheer ; Steininger, Andreas | SET Effects on Quasi Delay Insensitive and Synchronous Circuits | Inproceedings Konferenzbeitrag | 12-Jul-2023 |
| 68 | | Schlögl, Thomas ; Schmid, Ulrich | A Sufficient Condition for Gaining Belief in Byzantine Fault-Tolerant Distributed Systems | Inproceedings Konferenzbeitrag | 11-Jul-2023 |
| 69 | | 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 |
| 70 | | Raich, Philipp ; Kastner, Wolfgang | 6LoFD: A Failure Detector for 6LoWPAN | Inproceedings Konferenzbeitrag | 22-Jun-2023 |
| 71 | | 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 |
| 72 | | Chiari, Michele ; Xiang, Bin ; Nedeltcheva, Galia Novakova ; Di Nitto, Elisabetta ; Blasi, Lorenzo ; Benedetto, Debora ; Niculut, Laurentiu | DOML: A New Modelling Approach to Infrastructure-as-Code | Inproceedings Konferenzbeitrag | 8-Jun-2023 |
| 73 | | 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 |
| 74 | | Hosseini, Ali M. ; Fischer, Clara ; Bhole, Mukund ; Kastner, Wolfgang ; Sauter, Thilo ; Schlund, Sebastian | A Safety and Security Requirements Management Methodology in Reconfigurable Collaborative Human-Robot Application | Inproceedings Konferenzbeitrag | 7-Jun-2023 |
| 75 | | Lehr, Christoph ; Denzler, Patrick ; Frühwirth, Thomas ; Kastner, Wolfgang | Buffer Management for TSN-Enabled End Stations | Inproceedings Konferenzbeitrag | 7-Jun-2023 |
| 76 | | Lopez-Miguel, Ignacio D. ; Fernández Adiego, Borja ; Ghawash, Faiq ; Blanco Viñuela, Enrique | Verification of Neural Networks Meets PLC Code: An LHC Cooling Tower Control System at CERN | Inproceedings Konferenzbeitrag | 7-Jun-2023 |
| 77 | | Ádám, Zsófia ; Lopez-Miguel, Ignacio D. ; Mavridou, Anastasia ; Pressburger, Thomas ; Bęś, Marcin ; Blanco Viñuela, Enrique ; Katis, Andreas ; Tournier, Jean-Charles ; Trinh, Khanh V. ; Fernández Adiego, Borja | From Natural Language Requirements to the Verification of Programmable Logic Controllers: Integrating FRET into PLCverif | Inproceedings Konferenzbeitrag | 3-Jun-2023 |
| 78 | | 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 |
| 79 | | Scheuchenstuhl, Daniel ; Ulmer, Stefan ; Resch, Felix ; Berducci, Luigi ; Grosu, Radu | Enhancing Robot Learning through Learned Human-Attention Feature Maps | Presentation Vortrag | 29-May-2023 |
| 80 | | Wicaksana Putra, Rachmad Vidya ; Shafique, Muhammad | Mantis: Enabling Energy-Efficient Autonomous Mobile Agents with Spiking Neural Networks | Inproceedings Konferenzbeitrag | 23-May-2023 |