|
| | Preview | Author(s) | Title | Type | Issue Date |
| 101 | | Visconti, Ennio ; Tsigkanos, Christos ; Nenzi, Laura | WebMonitor: Verification of Web User Interfaces | Inproceedings Konferenzbeitrag    | 5-Jan-2023 |
| 102 | | Hofmann, Till ; Schupp, Stefan | Controlling timed automata against MTL specifications with TACoS | Article Artikel | 2023 |
| 103 | | 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 |
| 104 | | Maderbacher, Benedikt ; Schupp, Stefan ; Bartocci, Ezio ; Bloem, Roderick ; Ničković, Dejan ; Könighofer, Bettina | Provable Correct and Adaptive Simplex Architecture for Bounded-Liveness Properties | Inproceedings Konferenzbeitrag | 2023 |
| 105 | | Bartocci, Ezio ; Mariani, Leonardo ; Ničković, Dejan ; Yadav, Drishti | Property-Based Mutation Testing | Inproceedings Konferenzbeitrag | 2023 |
| 106 | | 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 |
| 107 | | Hunold, Sascha ; Steiner, Sebastian | OMPICollTune: Autotuning MPI Collectives by Incremental Online Learning | Inproceedings Konferenzbeitrag | 2023 |
| 108 | | Esterbauer, Leonhard ; Steindl, Gernot ; Kastner, Wolfgang | Improving energy community interoperability by utilizing Web of Things | Article Artikel | 2023 |
| 109 | | Brandstatter, Andreas ; Smolka, Scott A. ; Stoller, Scott D. ; Tiwari, Ashish ; Grosu, Radu | Multi-Agent Spatial Predictive Control with Application to Drone Flocking | Inproceedings Konferenzbeitrag | 2023 |
| 110 |  | Wiedemann, Sebastian Michael | go2async: A high-level synthesis tool for asynchronous circuits based on click-elements | Thesis Hochschulschrift | 2023 |
| 111 |  | Rodríguez-Pastrana Parareda, David | Impact of automation in Software Asset Management Systems | Thesis Hochschulschrift | 2023 |
| 112 |  | Lielacher, Thomas | Towards Compliance-By-Design for a Decentralized Business Process Execution Engine | Thesis Hochschulschrift | 2023 |
| 113 |  | Pacheiner, Peter | Comprehensive Characterization of Consensus Solvability in Dynamic Networks with Transient Stability | Thesis Hochschulschrift | 2023 |
| 114 |  | Lehr, Christoph | Design and limitations of a software-based TSN end station | Thesis Hochschulschrift | 2023 |
| 115 |  | Mailer, Dominik | Dynamic deployment of fault detection models - A use case of the asset administration shell | Thesis Hochschulschrift | 2023 |
| 116 |  | Kaltenegger, Eugen | Independent wheel offset steering : Analysis of a wheeled robot locomotion system and an odometry based motion model | Thesis Hochschulschrift | 2023 |
| 117 |  | Scheuchenstuhl, Daniel | Attentional neural network based dynamic object detection for autonomous multi-agent systems | Thesis Hochschulschrift | 2023 |
| 118 |  | Voloder, Ammar | Comparison of smart contract platforms for decentralized applications development | Thesis Hochschulschrift | 2023 |
| 119 |  | Ulmer, Stefan | Attention based neural network for autonomous driving agents | Thesis Hochschulschrift | 2023 |
| 120 |  | Navratil, Alexander | Distributed off-chain storage for inter-organizational business process execution | Thesis Hochschulschrift | 2023 |
