|
| | Preview | Author(s) | Title | Type | Issue Date |
| 341 |  | Behal, Patrick | Quantitative Comparison of the sensitivity of delay-insensitive design templates to transient faults | Thesis Hochschulschrift   | 2021 |
| 342 |  | Rameder, Heidelinde | Systematic review of ethereum smart contract security vulnerabilities, analysis methods and tools | Thesis Hochschulschrift | 2021 |
| 343 |  | Fichtinger, Patrick | Evaluation of platforms for distributed ledger based trade finance | Thesis Hochschulschrift | 2021 |
| 344 | | Quarta, Davide ; Ianni, Michele ; Machiry, Aravind ; Fratantonio, Yanick ; Gustafson, Eric ; Balzarotti, Davide ; Lindorfer, Martina ; Vigna, Giovanni ; Kruegel, Christopher | Tarnhelm: Isolated, Transparent & Confidential Execution of Arbitrary Code in ARM's TrustZone | Konferenzbeitrag Inproceedings  | 2021 |
| 345 | | Kirner, Raimund ; Puschner, Peter | A Quantitative Analysis of Interfaces to Time-Triggered Communication Buses | Artikel Article | 2021 |
| 346 | | Iggena, Thorben ; Ilyas, Eushay Bin ; Fischer, Marten ; Tönjes, Ralf ; Elsaleh, Tarek ; Rezvani, Roonak ; Pourshahrokhi, Narges ; Bischof, Stefan ; Fernbach, Andreas ; Parreira, Josiane ; Schneider, Patrik ; Smirnov, Pavel ; Strohbach, Martin ; Truong, Hien ; García-González, Aurora ; Skarmeta, Antonio F. ; Singh, Parwinder ; Beliatis, Michail J. ; Presser, Mirko ; Martinez, Juan A. | IoTCrawler: Challenges and Solutions for Searching the Internet of Things | Artikel Article | 2021 |
| 347 | | Musić, Goran ; Heinzl, Bernhard ; Kastner, Wolfgang | AVA: A Component-oriented Abstraction Layer for Virtual Plug&produce Automation Systems Engineering | Artikel Article | 2021 |
| 348 | | Alrahis, Lilas ; Patnaik, Satwik ; Hanif, Muhammad Abdullah ; Saleh, Hani ; Shafique, Muhammad ; Sinanoglu, Ozgur | GNNUnlock+: A Systematic Methodology for Designing Graph Neural Networks-based Oracle-less Unlocking Schemes for Provably Secure Logic Locking | Artikel Article | 2021 |
| 349 | | Usama, Muhammad ; Stoller, Scott D. ; Grosu, Radu ; Smolka, Scott A. | Collision-Free 3D Flocking Using the Distributed Simplex Architecture | Konferenzbeitrag Inproceedings | 2021 |
| 350 |  | Schorn, Rupert | Fail-operational strategies for highly-integrated automotive ECUs | Thesis Hochschulschrift | 2021 |
| 351 | | Hollerer, Siegfried ; Kastner, Wolfgang ; Sauter, Thilo | Towards a Threat Modeling Approach Addressing Security and Safety in OT Environments | Konferenzbeitrag Inproceedings | 2021 |
| 352 | | Kuznets, Roman ; Lellmann, Björn | Interpolation for intermediate logics via injective nested sequents | Artikel Article | 2021 |
| 353 | | Denzler, Patrick ; Ramsauer, Daniel ; Kastner, Wolfgang | Model-driven Engineering of Gateways for Industrial Automation | Konferenzbeitrag Inproceedings | 2021 |
| 354 | | Klose, Anselm ; Pelzer, Florian ; Etz, Dieter ; Strutzenberger, Diana ; Frühwirth, Thomas ; Kastner, Wolfgang ; Urbas, Leon | Building Blocks for Flexible Functional Safety in Discrete Manufacturing and Process Industries | Konferenzbeitrag Inproceedings | 2021 |
| 355 | | Hosseini, Ali Mohammad ; Sauter, Thilo ; Kastner, Wolfgang | Towards Adding Safety and Security Properties to the Industry 4.0 Asset Administration Shell | Konferenzbeitrag Inproceedings | 2021 |
| 356 | | Denzler, Patrick ; Frühwirth, Thomas ; Kirchberger, Andreas ; Schoeberl, Martin ; Kastner, Wolfgang | Static Timing Analysis of OPC UA PubSub | Konferenzbeitrag Inproceedings | 2021 |
| 357 | | Denzler, Patrick ; Ramsauer, Daniel ; Preindl, Thomas ; Kastner, Wolfgang | Communication and container reconfiguration for cyber-physical production systems | Konferenzbeitrag Inproceedings | 2021 |
| 358 | | Denzler, Patrick ; Ramsauer, Daniel ; Kastner, Wolfgang | Tunnelling and Mirroring Operational Technology Data with IP-based Middlewares | Konferenzbeitrag Inproceedings | 2021 |
| 359 | | Bartocci, Ezio ; Deshmukh, Jyotirmoy ; Mateis, Cristinel ; Nesterini, Eleonora ; Ničković, Dejan ; Qin, Xin | Mining Shape Expressions with ShapeIt | Konferenzbeitrag Inproceedings | 2021 |
| 360 | | Hofmann, Till ; Schupp, Stefan | TACoS: A Tool for MTL Controller Synthesis | Konferenzbeitrag Inproceedings | 2021 |
