|
| | Preview | Author(s) | Title | Type | Issue Date |
| 61 | | 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 |
| 62 | | Hollerer, Siegfried ; Kastner, Wolfgang ; Sauter, Thilo | Safety and Security: A Field of Tension in Industrial Practice | Inproceedings Konferenzbeitrag | 22-Aug-2023 |
| 63 | | 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 |
| 64 | | Colucci, Alessio | Towards Transient Fault Mitigation Techniques Optimized for Compressed Neural Networks | Inproceedings Konferenzbeitrag | 10-Aug-2023 |
| 65 | | 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 |
| 66 | | Maroun, Emad Jacob ; Schoeberl, Martin ; Puschner, Peter | Compiler-Directed Constant Execution Time on Flat Memory Systems | Inproceedings Konferenzbeitrag | 1-Aug-2023 |
| 67 | | Nenzi, Laura ; Bartocci, Ezio ; Bortolussi, Luca ; Silvetti, Simone ; Loreti, Michele | MoonLight: a lightweight tool for monitoring spatio-temporal properties | Article Artikel | 1-Aug-2023 |
| 68 |  | Maroun, Emad Jacob ; Schoeberl, Martin ; Puschner, Peter | Constant-Loop Dominators for Single-Path Code Optimization | Inproceedings Konferenzbeitrag   | 26-Jul-2023 |
| 69 |  | Tabassam, Zaheer ; Steininger, Andreas | SET Effects on Quasi Delay Insensitive and Synchronous Circuits | Inproceedings Konferenzbeitrag | 12-Jul-2023 |
| 70 | | Schlögl, Thomas ; Schmid, Ulrich | A Sufficient Condition for Gaining Belief in Byzantine Fault-Tolerant Distributed Systems | Inproceedings Konferenzbeitrag | 11-Jul-2023 |
| 71 |  | 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 |
| 72 | | Raich, Philipp ; Kastner, Wolfgang | 6LoFD: A Failure Detector for 6LoWPAN | Inproceedings Konferenzbeitrag | 22-Jun-2023 |
| 73 | | 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 |
| 74 |  | 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 |
| 75 |  | 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 |
| 76 | | 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 |
| 77 | | 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 |
| 78 | | Lehr, Christoph ; Denzler, Patrick ; Frühwirth, Thomas ; Kastner, Wolfgang | Buffer Management for TSN-Enabled End Stations | Inproceedings Konferenzbeitrag | 7-Jun-2023 |
| 79 | | Á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 |
| 80 |  | 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 |
