|
| | Preview | Author(s) | Title | Type | Issue Date |
| 61 | | Pigozzi, Federico ; Medvet, Eric ; Nenzi, Laura | Mining Road Traffic Rules with Signal Temporal Logic and Grammar-based Genetic Programming | Artikel Article  | 2021 |
| 62 | | Dür, Wolfgang ; Függer, Matthias ; Steininger, Andreas | Generation of a fault-tolerant clock through redundant crystal oscillators | Artikel Article | 2021 |
| 63 | | Meiyi, Ma ; Bartocci, Ezio ; Lifland, Eli ; Stankovic, John ; Feng, Lu | A Novel Spatial-Temporal Specification-Based Monitoring System for Smart Cities | Artikel Article | 2021 |
| 64 | | Treml, Lilly Maria ; Bartocci, Ezio ; Gizzi, Alessio | Modeling and Analysis of Cardiac Hybrid Cellular Automata via GPU-accelerated Monte Carlo Simulation | Artikel Article | 2021 |
| 65 | | Meiyi, Ma ; Stankovic, John ; Bartocci, Ezio ; Feng, Lu | Predictive Monitoring with Logic-Calibrated Uncertainty for Cyber-Physical Systems | Artikel Article | 2021 |
| 66 | | Mittermayr, Robert ; Blieberger, Johann | Deadlock and WCET Analysis of Barrier-Synchronized Concurrent Programs | Artikel Article | 2021 |
| 67 | | Zeiner, Martin ; Schmid, Ulrich ; Chatterjee, Krishnendu | Optimal strategies for selecting coordinators | Artikel Article | 2021 |
| 68 | | Preindl, Thomas ; Pannosch, Jürgen ; Kastner, Wolfgang ; Redlein, Alexander ; Baretschneider, Clemens | Decentralized Management Framework for heterogeneous Devices in FM | Artikel Article | 2021 |
| 69 | | Hollerer, Siegfried ; Kastner, Wolfgang ; Sauter, Thilo | Safety und Security - ein Spannungsfeld in der industriellen Praxis | Artikel Article | 2021 |
| 70 | | Sietzen, Stefan ; Lechner, Mathias ; Borowski, Judy ; Hasani, Ramin ; Waldner, Manuela | Interactive Analysis of CNN Robustness | Artikel Article | 2021 |
| 71 | | Kirner, Raimund ; Puschner, Peter | A Quantitative Analysis of Interfaces to Time-Triggered Communication Buses | Artikel Article | 2021 |
| 72 | | 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 |
| 73 | | Musić, Goran ; Heinzl, Bernhard ; Kastner, Wolfgang | AVA: A Component-oriented Abstraction Layer for Virtual Plug&produce Automation Systems Engineering | Artikel Article | 2021 |
| 74 | | 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 |
| 75 | | Kuznets, Roman ; Lellmann, Björn | Interpolation for intermediate logics via injective nested sequents | Artikel Article | 2021 |
| 76 | | Widhalm, Dominik ; Goeschka, Karl M. ; Kastner, Wolfgang | An Open-Source Wireless Sensor Node Platform with Active Node-Level Reliability for Monitoring Applications | Artikel Article | 2021 |
| 77 | | Bartocci, Ezio ; Bender, Michael A. | A Perspective on "CCS Expressions, Finite State Processes, and Three Problems of Equivalence" | Artikel Article | 2021 |
| 78 | | Landauer, Max ; Skopik, Florian ; Wurzenberger, Markus ; Hotwagner, Wolfgang ; Rauber, Andreas | Have it Your Way: Generating Customized Log Datasets With a Model-Driven Simulation Testbed | Artikel Article | 2021 |
| 79 |  | Yadav, Drishti | Criteria for Good Qualitative Research: A Comprehensive Review | Article Artikel   | 2021 |
| 80 | | Bartocci, Ezio ; Deshmukh, Jyotirmoy ; Gigler, Felix ; Mateis, Cristinel ; Nickovic, Dejan ; Qin, Xin | Mining Shape Expressions from Positive Examples | Artikel Article | Nov-2020 |
