|
| | Preview | Author(s) | Title | Type | Issue Date |
| 1 | | di Angelo, Monika ; Salzer, Gernot | Consolidation of Ground Truth Sets for Weakness Detection in Smart Contracts | Inproceedings Konferenzbeitrag  | 5-Dec-2023 |
| 2 | | Ostrowski, Erik ; Shafique, Muhammad | ISLE: A Framework for Image Level Semantic Segmentation Ensemble | Inproceedings Konferenzbeitrag | 3-Dec-2023 |
| 3 | | Prabakaran, Bharath Srinivas ; Ostrowski, Erik ; Shafique, Muhammad | ReFit: A Framework for Refinement of Weakly Supervised Semantic Segmentation Using Object Border Fitting for Medical Images | Inproceedings Konferenzbeitrag | 1-Dec-2023 |
| 4 | | Prabakaran, Bharath Srinivas ; Mrazek, Vojtech ; Vasicek, Zdenek ; Sekanina, Lukas ; Shafique, Muhammad | Xel-FPGAs: An End-to-End Automated Exploration Framework for Approximate Accelerators in FPGA-Based Systems | Inproceedings Konferenzbeitrag | 30-Nov-2023 |
| 5 |  | Swartvagher, Philippe ; Hunold, Sascha ; Träff, Jesper Larsson ; Vardas, Ioannis | Using Mixed-Radix Decomposition to Enumerate Computational Resources of Deeply Hierarchical Architectures | Inproceedings Konferenzbeitrag   | 12-Nov-2023 |
| 6 |  | Hunold, Sascha | Verifying Performance Guidelines for MPI Collectives at Scale | Inproceedings Konferenzbeitrag | 12-Nov-2023 |
| 7 | | Monika di Angelo ; Durieux, Thomas ; Ferreira João F. ; Gernot Salzer | SmartBugs 2.0: An Execution Framework for Weakness Detection in Ethereum Smart Contracts | Inproceedings Konferenzbeitrag | 8-Nov-2023 |
| 8 | | Tundo, Alessandro ; Mobilio, Marco ; Ilager, Shashikant Shankar ; Brandic, Ivona ; Bartocci, Ezio ; Mariani, Leonardo | An Energy-Aware Approach to Design Self-Adaptive AI-based Applications on the Edge | Inproceedings Konferenzbeitrag | 8-Nov-2023 |
| 9 | | Kropatschek, Sebastian Johannes ; Kurniawan, Kabul ; Bhosale, Pushparaj Rajaram ; Hollerer, Siegfried ; Kiesling, Elmar ; Winkler, Dietmar | Towards A Knowledge Graph-based Framework for Integrated Security and Safety Analysis in Digital Production Systems | Inproceedings Konferenzbeitrag | 2-Nov-2023 |
| 10 |  | Girlando, Marianna ; Kuznets, Roman ; Marin, Sonia ; Morales, Marianela ; Straßburger, Lutz | A decision procedure for IS4 | Inproceedings Konferenzbeitrag | 31-Oct-2023 |
| 11 |  | Kuznets, Roman | Simplicial approaches to crashing agents | Inproceedings Konferenzbeitrag | 31-Oct-2023 |
| 12 | | Dobe, Oyendrila ; Schupp, Stefan Alexander ; Bartocci, Ezio ; Bonakdarpour, Borzoo ; Legay, Axel ; Pajic, Miroslav ; Wang, Yu | Lightweight Verification of Hyperproperties | Inproceedings Konferenzbeitrag | 19-Oct-2023 |
| 13 | | Hollerer, Siegfried ; Kastner, Wolfgang ; Sauter, Thilo | Towards a Comprehensive Ontology Considering Safety, Security, and Operation Requirements in OT | Inproceedings Konferenzbeitrag | 12-Oct-2023 |
| 14 | | Pannosch, Jürgen ; Kastner, Wolfgang | Reference Model for Building Automation | Inproceedings Konferenzbeitrag | 12-Oct-2023 |
| 15 | | Bhosale, Pushparaj ; Kastner, Wolfgang ; Sauter, Thilo | Integrated Safety-Security Risk Assessment for Industrial Control System: An Ontology-based Approach | Inproceedings Konferenzbeitrag | 12-Oct-2023 |
| 16 | | Bhole, Mukund ; Kastner, Wolfgang ; Sauter, Thilo | Knowledge Representation of Asset Information and Performance in OT Environments | Inproceedings Konferenzbeitrag | 12-Oct-2023 |
| 17 | | Thoma, Max ; Steindl, Gernot | Integrating Constrained MQTT Devices into IoT Platforms for Smart Local Energy Communities | Inproceedings Konferenzbeitrag | 12-Oct-2023 |
| 18 | | Bhosale, Pushparaj ; Kastner, Wolfgang ; Sauter, Thilo | AutomationML use for Safety and Security Risk Assessment in Industrial Control Systems | Inproceedings Konferenzbeitrag | 12-Oct-2023 |
| 19 |  | Knorr, Felix ; Kastner, Wolfgang | Towards a Uniform Exchange Format for Home and Building Automation using VDI 3814 | Inproceedings Konferenzbeitrag | 12-Oct-2023 |
| 20 | | Pannosch, Jürgen ; Steindl, Gernot | KNX-IoT Digital Twin | Inproceedings Konferenzbeitrag | 9-Oct-2023 |
