|
| | Preview | Author(s) | Title | Type | Issue Date |
| 41 |  | Neufeld, Emery A. ; Bartocci, Ezio ; Ciabattoni, Agata ; Governatori, Guido | Enforcing ethical goals over reinforcement-learning policies | Article Artikel    | 2022 |
| 42 | | Schupp, Stefan ; Ábrahám, Erika ; Ebert, Tristan | Recent developments in theory and tool support for hybrid systems verification with HyPro | Article Artikel | 2022 |
| 43 |  | Yadav, Drishti | Blood coagulation algorithm: A novel bio‐inspired meta‐heuristic algorithm for global optimization | Article Artikel | 24-Nov-2021 |
| 44 |  | Hollerer, Siegfried ; Kastner, Wolfgang ; Sauter, Thilo | Safety und Security – ein Spannungsfeld in der industriellen Praxis | Article Artikel | Nov-2021 |
| 45 | | Kastner, Wolfgang ; Sauter, Thilo | Safety und Security | Artikel Article | 1-Oct-2021 |
| 46 |  | Bartocci, Ezio ; Manjunath, Niveditha ; Mariani, Leonardo ; Mateis, Cristinel ; Ničković, Dejan | CPSDebug: Automatic Failure Explanation in CPS Models | Artikel Article | Oct-2021 |
| 47 |  | Di Angelo, Monika ; Salzer, Gernot | Identification of token contracts on Ethereum: standard compliance and beyond | Artikel Article | 3-Sep-2021 |
| 48 |  | Kuznets, Roman ; Marin, Sonia ; Straßburger, Lutz | Justification logic for constructive modal logic | Article Artikel | Sep-2021 |
| 49 |  | Dür, Wolfgang ; Függer, Matthias ; Steininger, Andreas | Generation of a fault-tolerant clock through redundant crystal oscillators | Article Artikel | May-2021 |
| 50 | | Maroun, Emad Jacob ; Schoeberl, Martin ; Puschner, Peter | Compiling for time-predictability with dual-issue single-path code | Artikel Article | 2021 |
| 51 | | Träff, Jesper Larsson ; Hunold, Sascha ; Mercier, Guillaume ; Holmes, Daniel J. | MPI collective communication through a single set of interfaces: A case for orthogonality | Artikel Article | 2021 |
| 52 | | Steindl, Gernot ; Kastner, Wolfgang | Semantic Microservice Framework for Digital Twins | Artikel Article | 2021 |
| 53 | | Sabir, Dilshad ; Hanif, Muhammmad Abdullah ; Hassan, Ali ; Rehman, Saad ; Shafique, Muhammad | TiQSA: Workload Minimization in Convolutional Neural Networks Using Tile Quantization and Symmetry Approximation | Artikel Article | 2021 |
| 54 | | Shrivastava, Nivedita ; Hanif, Muhammad Abdullah ; Mittal, Sparsh ; Sarangi, Smruti Ranjan ; Shafique, Muhammad | A survey of hardware architectures for generative adversarial networks | Artikel Article | 2021 |
| 55 | | Odetola, Tolulope A. ; Khalid, Faiq ; Mohammed, Hawzhin ; Sandefur, Travis C. ; Hasan, Syed Rafay | FeSHI: Feature Map-Based Stealthy Hardware Intrinsic Attack | Artikel Article | 2021 |
| 56 | | Prabakaran, Bharath Srinivas ; Akhtar, Asima ; Rehman, Semeen ; Hasan, Osman ; Shafique, Muhammad | BioNetExplorer: Architecture-Space Exploration of Biosignal Processing Deep Neural Networks for Wearables | Artikel Article | 2021 |
| 57 | | Putra, Rachmad Vidya Wicaksana ; Hanif, Muhammad Abdullah ; Shafique, Muhammad | ROMANet: Fine-Grained Reuse-Driven Off-Chip Memory Access Management and Data Organization for Deep Neural Network Accelerators | Artikel Article | 2021 |
| 58 | | Sabir, Dilshad ; Hanif, Muhammmad Abdullah ; Hassan, Ali ; Rehman, Saad ; Shafique, Muhammad | Weight Quantization Retraining for Sparse and Compressed Spatial Domain Correlation Filters | Artikel Article | 2021 |
| 59 | | Marchisio, Alberto ; Mrazek, Vojtech ; Hanif, Muhammad Abdullah ; Shafique, Muhammad | FEECA: Design Space Exploration for Low-Latency and Energy-Efficient Capsule Network Accelerators | Artikel Article | 2021 |
| 60 | | Maier, Jurgen ; Hartl-Nesic, Christian ; Steininger, Andreas | Simulation-Based Approaches for Comprehensive Schmitt-Trigger Analyses | Artikel Article | 2021 |
