| | Preview | Author(s) | Title | Type | Issue Date |
| 41 | | Ahmadi, Mahya Morid ; Alrahis, Lilas ; Sinanoglu, Ozgur ; Shafique, Muhammad | ShapeShifter: Protecting FPGAs from Side-Channel Attacks with Isofunctional Heterogeneous Modules | Inproceedings Konferenzbeitrag | 2023 |
| 42 | | Putra, Rachmad Vidya Wicaksana ; Shafique, Muhammad | TopSpark: A Timestep Optimization Methodology for Energy-Efficient Spiking Neural Networks on Autonomous Mobile Agents | Inproceedings Konferenzbeitrag | 2023 |
| 43 | | Naseer, Mahum ; Hasan, Osman ; Shafique, Muhammad | Scaling Model Checking for Neural Network Analysis via State-Space Reduction and Input Segmentation | Inproceedings Konferenzbeitrag | 2023 |
| 44 | | Ostrowski, Erik ; Prabakaran, Bharath Srinivas ; Shafique, Muhammad | SILOP: An Automated Framework for Semantic Segmentation Using Image Labels Based on Object Perimeters | Inproceedings Konferenzbeitrag | 2023 |
| 45 | | Marchisio, Alberto ; Dura, Davide ; Capra, Maurizio ; Martina, Maurizio ; Masera, Guido ; Shafique, Muhammad | SwiftTron: An Efficient Hardware Accelerator for Quantized Transformers | Inproceedings Konferenzbeitrag | 2023 |
| 46 | | Naseer, Mahum ; Shafique, Muhammad | Poster: Link between Bias, Node Sensitivity and Long-Tail Distribution in trained DNNs | Inproceedings Konferenzbeitrag | 2023 |
| 47 | | Girlando, Marianna ; Kuznets, Roman ; Marin, Sonia ; Morales, Marianela ; Straßburger, Lutz | Decidability of intuitionistic S4 | Inproceedings Konferenzbeitrag | 2023 |
| 48 | | Naseer, Mahum ; Prabakaran, Bharath Srinivas ; Hasan, Osman ; Shafique, Muhammad | UnbiasedNets: a dataset diversification framework for robustness bias alleviation in neural networks | Article Artikel | 2023 |
| 49 | | Girlando, Marianna ; Kuznets, Roman ; Marin, Sonia ; Morales, Marianela ; Straßburger, Lutz | Intuitionistic S4 is decidable | Inproceedings Konferenzbeitrag | 2023 |
| 50 | | Prabakaran, Bharath Srinivas ; Fasching, Felix ; Schreib, Juri ; Steininger, Andreas ; Shafique, Muhammad | ATLAS: An IoT Architecture and Secure Open-source Networking Stack for Anonymous Localization and Tracking Using Smartphones and Bluetooth Beacons | Preprint Preprint | 20-Dec-2022 |
| 51 | | Viale, Alberto ; Marchisio, Alberto ; Martina, Maurizio ; Masera, Guido ; Shafique, Muhammad | LaneSNNs: Spiking Neural Networks for Lane Detection on the Loihi Neuromorphic Processor | Inproceedings Konferenzbeitrag | Dec-2022 |
| 52 | | van der Giessen, Iris ; Jalali, Raheleh ; Kuznets, Roman | Nested Sequents, Kripke Models, and Uniform Interpolation | Presentation Vortrag | 1-Nov-2022 |
| 53 | | Ferdowsi, Arman ; Schmid, Ulrich ; Salzmann, Josef | An Accurate Hybrid Delay Model for Multi-Input Gates | Report Bericht | 31-Oct-2022 |
| 54 | | Randrianomentsoa, Rojo Fanamperana ; Rincon Galeana, Hugo ; Schmid, Ulrich | Towards a Topological Semantics for Epistemic Reasoning in Byzantine Fault-Tolerant Distributed Systems | Presentation Vortrag | 24-Oct-2022 |
| 55 | | Tabassam, Zaheer ; Steininger, Andreas | SET Hardened Derivatives of QDI Buffer Template | Inproceedings Konferenzbeitrag | 19-Oct-2022 |
| 56 | | Elshehaby, Raghda ; Steininger, Andreas | Study and Comparison of QDI Pipeline Components' Sensitivity to Permanent Faults | Inproceedings Konferenzbeitrag | 19-Oct-2022 |
| 57 | | Marchisio, Alberto ; Mrazek, Vojtech ; Massa, Andrea ; Bussolino, Beatrice ; Martina, Maurizio ; Shafique, Muhammad | RoHNAS: A Neural Architecture Search Framework With Conjoint Optimization for Adversarial Robustness and Hardware Efficiency of Convolutional and Capsule Networks | Article Artikel | 13-Oct-2022 |
| 58 | | van Ditmarsch, Hans ; Fruzsa, Krisztina ; Kuznets, Roman | Framing faultiness Kripke style | Presentation Vortrag | 6-Sep-2022 |
| 59 | | Tabassam, Zaheer ; Steininger, Andreas | Towards Resilient QDI Pipeline Implementations | Inproceedings Konferenzbeitrag | 31-Aug-2022 |
| 60 | | Tauner, Stefan | RIPEMB: A framework for assessing hardware-assisted software security schemes in embedded systems | Inproceedings Konferenzbeitrag | 23-Aug-2022 |