|
| | Preview | Authors / Editors | Title | Type | Issue Date |
| 1 | | El Shahaby, Raghda ; Függer, Matthias ; Huemer, Florian ; Steininger, Andreas | SeAL: A Provably Complete Fault-Injection Tool for Asynchronous Circuits | Inproceedings Konferenzbeitrag  | 9-Dec-2025 |
| 2 | | van Kempen, Philipp ; Hager-Clukas, Andreas ; Müller-Gritschneder, Daniel ; Schlichtmann, Ulf | GenIE: Reuse-Oriented Generation of Domain-Specific Instruction Extensions | Inproceedings Konferenzbeitrag | 17-Nov-2025 |
| 3 | | Klotz, Steven ; Joglekar, Nehaja ; Bucksch, Thorsten ; Goswami, Dip ; Müller-Gritschneder, Daniel | Embedding Current Constraints in Reinforcement Learning for Electric Motor Control | Inproceedings Konferenzbeitrag | 11-Nov-2025 |
| 4 | | Fraigniaud, Pierre ; Nguyen, Minh Hang ; Paz, Ami ; Schmid, Ulrich ; Rincon Galeana, Hugo | Lower Bounds for k-Set Agreement in Fault-Prone Networks | Inproceedings Konferenzbeitrag | 22-Oct-2025 |
| 5 | | Jones, Jefferson Parker ; Van Kempen, Philipp ; Mueller-Gritschneder, Daniel | Vicuna2.0: RISC-V Embedded Vector Unit with Half-Precision Floating-Point Support for TinyML | Inproceedings Konferenzbeitrag | 6-Oct-2025 |
| 6 | | Thoma, Moritz ; Aghajanzadeh, Emad ; Balamuthu Sampath, Shambhavi ; Mori, Pierpaolo ; Fasfous, Nael ; Frickenstein, Alexander ; Vemparala, Manoj-Rohit ; Mueller-Gritschneder, Daniel ; Schlichtmann, Ulf | SuperFast: Fast Supernet Training Using Initial Knowledge | Inproceedings Konferenzbeitrag | 15-Sep-2025 |
| 7 | | Thoma, Moritz ; Villasante, Jorge ; Aghajanzadeh, Emad ; Balamuthu Sampath, Shambhavi ; Mori, Pierpaolo ; Groetzinger, Maximilian ; Dylkin, Daniil ; Vemparala, Manoj-Rohit ; Fasfous, Nael ; Frickenstein, Alexander ; Mueller-Gritschneder, Daniel ; Schlichtmann, Ulf | Flar-SVD: Fast and Latency-Aware Singular Value Decomposition for Model Compression | Inproceedings Konferenzbeitrag | 15-Sep-2025 |
| 8 | | Thoma, Moritz ; Tobias Preintner ; Aghajanzadeh, Emad ; Balamuthu Sampath, Shambhavi ; Mori, Pierpaolo ; Fasfous, Nael ; Vemparala, Manoj-Rohit ; Frickenstein, Alexander ; Mueller-Gritschneder, Daniel ; Schlichtmann, Ulf | Uncertainty Aware Training to Improve Uncertainty Active Learning for Semantic Segmentation | Inproceedings Konferenzbeitrag | 15-Sep-2025 |
| 9 | | Klotz, Steven ; Kulkarni, Sourabh ; Joglekar, Nehaja ; Bucksch, Thorsten ; Goswami, Dip ; Mueller-Gritschneder, Daniel | Sim-to-Real: Tiny Deep Learning Agents on Resource-Constrained Embedded Microcontrollers | Inproceedings Konferenzbeitrag | 11-Sep-2025 |
| 10 | | Müller-Gritschneder, Daniel ; Lieber, Peter | Combining TinyML & Model-based Architecture Methods for Predictive Maintenance in Highly Regulated Environments | Presentation Vortrag | 16-Aug-2025 |
| 11 | | Scharwitzl, Clemens ; Steininger, Andreas | Circuits for Autonomous Clock Frequency Supervision | Article Artikel | 25-Jul-2025 |
| 12 | | Bammer, Ferdinand ; Huemer, Florian Ferdinand ; Mahmoudi, Ramin ; Cherepanov, Maksym | Imaging-Ellipsometry in the Infrared | Inproceedings Konferenzbeitrag | 13-Jul-2025 |
| 13 | | Ahmadifarsani, Samira ; Müller-Gritschneder, Daniel ; Schlichtmann, Ulf | A High-Level Compiler Integration Approach for Deep Learning Accelerators Supporting Abstraction and Optimization | Preprint Preprint | 7-Jul-2025 |
| 14 | | Kappes, Johannes ; Geier, Johannes ; van Kempen, Phillipp ; Mueller-Gritschneder, Daniel ; Schlichtmann, Ulf | Automated Graph-level Passes for TinyML Fault Tolerance | Inproceedings Konferenzbeitrag | 30-Jun-2025 |
| 15 | | Müller-Gritschneder, Daniel | Towards an Automated Toolchain and Fusion-based Instruction Identification for RISC-V Custom Extensions | Presentation Vortrag | 25-Jun-2025 |
| 16 |  | Lehninger, Philipp ; Jantsch, Axel ; Steininger, Andreas ; Worsey, Elliott ; Marot, Victor ; Pamunuwa, Dinesh | Muller C-Element for NEMS | Inproceedings Konferenzbeitrag   | 5-Jun-2025 |
| 17 | | Salzmann, Josef | Distributed Locally Synchronous Grid Oscillator via Perpetual Token Exchange | Inproceedings Konferenzbeitrag | 5-Jun-2025 |
| 18 | | Elshehaby, Raghda ; Függer, Matthias ; Huemer, Florian Ferdinand ; Steininger, Andreas | Investigating the Effects of Permanent Faults in QDI Circuits: A Formal Perspective | Inproceedings Konferenzbeitrag | 5-Jun-2025 |
| 19 | | Müller-Gritschneder, Daniel | Low Overhead Fault Tolerance for tinyML and Security Applications | Presentation Vortrag | 30-May-2025 |
| 20 | | Rüb, Marcus ; Konegen, Daniel ; Selle, Patrick ; Sikora, Axel ; Müller-Gritschneder, Daniel | DRIP: DRop unImportant data Points -- Enhancing Machine Learning Efficiency with Grad-CAM-Based Real-Time Data Prioritization for On-Device Training | Preprint Preprint | 22-May-2025 |
| 21 | | Geier, Johannes ; Kontopoulos, Leonidas ; Müller-Gritschneder, Daniel ; Schlichtmann, Ulf | Rapid Fault Injection Simulation by Hash-Based Differential Fault Effect Equivalence Checks | Inproceedings Konferenzbeitrag | 21-May-2025 |
| 22 | | Salzmann, Josef ; Schmid, Ulrich | Signal Prediction for Digital Circuits by Sigmoidal Approximations Using Neural Networks | Inproceedings Konferenzbeitrag | 21-May-2025 |
| 23 | | Felber, Stephan ; Hummes Flores, Bernardo ; Rincon Galeana, Hugo | Brief Announcement: A Sheaf-Theoretic Characterization of Tasks in Distributed Systems | Inproceedings Konferenzbeitrag | 21-May-2025 |
| 24 | | Schmid, Ulrich ; Roman Kuznets | Structural Information and Communication Complexity : 32nd International Colloquium, SIROCCO 2025, Delphi, Greece, June 2–4, 2025, Proceedings | Proceedings Tagungsband | 15-May-2025 |
| 25 |  | Ferdowsi, Arman ; Függer, Matthias ; Nowak, Thomas ; Schmid, Ulrich ; Drmota, Michael | Faithful dynamic timing analysis of digital circuits using continuous thresholded mode-switched ODEs | Article Artikel | May-2025 |
| 26 | | Felber, Stephan ; Galeana, Hugo Rincon | Stabilizing Consensus Is Impossible in Lossy Iterated Immediate Snapshot Models | Inproceedings Konferenzbeitrag | 8-Jan-2025 |
| 27 | | Rüb, Marcus ; Konegen, Daniel ; Sikora, Axel ; Mueller-Gritschneder, Daniel | DRIP: DRop unImportant data Points - Enhancing Machine Learning Efficiency with Grad-CAM-Based Streaming Data Prioritization for On-Device Training | Inproceedings Konferenzbeitrag | 1-Jan-2025 |
| 28 | | Körber, Nikolai ; Kromer, Eduard ; Siebert, Andreas ; Hauke, Sascha ; Mueller-Gritschneder, Daniel ; Schuller, Björn | EGIC: Enhanced Low-Bit-Rate Generative Image Compression Guided by Semantic Segmentation | Inproceedings Konferenzbeitrag | 2025 |
| 29 | | Nowak, Thomas ; Schmid, Ulrich ; Winkler, Kyrill | Topological Characterization of Consensus in Distributed Systems | Article Artikel | Dec-2024 |
| 30 | | Bammer, Ferdinand ; Huemer, Florian Ferdinand | 2D Inline R2R-Measurement with a Polarization Camera | Presentation Vortrag | 26-Nov-2024 |
| 31 | | van Kempen, Philipp ; Salmen, Mathis ; Müller-Gritschneder, Daniel ; Schlichtmann, Ulf | Seal5: Semi-Automated LLVM Support for RISC-V ISA Extensions Including Autovectorization | Inproceedings Konferenzbeitrag | 6-Nov-2024 |
| 32 | | Foik, Conrad ; Kunzelmann, Robert ; Mueller-Gritschneder, Daniel ; Schlichtmann, Ulf | Flexible Generation of Fast and Accurate Software Performance Simulators From Compact Processor Descriptions | Article Artikel | 6-Nov-2024 |
| 33 | | Fiedler, Christian ; Huemer, Florian ; Steininger, Andreas | Synchronizing Independent Ring Oscillators on an FPGA | Inproceedings Konferenzbeitrag | 17-Oct-2024 |
| 34 | | Cignarale, Giorgio ; Kuznets, Roman | A priori Belief Updates as a Method for Agent Self-recovery | Article Artikel | 9-Oct-2024 |
| 35 | | Bammer, Ferdinand ; Huemer, Florian Ferdinand | Flächige Schichtdickenerfassung in Echtzeit mit bildgebender Ellipsometrie | Presentation Vortrag | 19-Sep-2024 |
| 36 | | Müller-Gritschneder, Daniel | Rapid Prototyping Methods for custom-tailored, safe and secure RISC-V processors | Presentation Vortrag | 11-Sep-2024 |
| 37 | | Mueller-Gritschneder, Daniel ; Geier, Johannes | Open Source Simulators for Pre-Silicon Validation of Safety-critical RISC-V System-on-chip | Presentation Vortrag | Sep-2024 |
| 38 | | Hoffman, Alexander ; Fnayou, Ala ; Smirnov, Fedor ; Müller-Gritschneder, Daniel ; Schlichtmann, Ulf | MuDSE: GA-ILP-based Framework for Automated Deployment of Multiple DNNs on Heterogeneous Mixed-Criticality Systems | Inproceedings Konferenzbeitrag | 15-Aug-2024 |
| 39 | | Ditmarsch, Hans van ; Fruzsa, Krisztina ; Kuznets, Roman ; Schmid, Ulrich | A Logic for Repair and State Recovery in Byzantine Fault-Tolerant Multi-agent Systems | Inproceedings Konferenzbeitrag | 2-Jul-2024 |
| 40 | | Winkler, Kyrill ; Paz, Ami ; Rincon Galeana, Hugo ; Schmid, Stefan ; Schmid, Ulrich | The Time Complexity of Consensus Under Oblivious Message Adversaries | Article Artikel | Jun-2024 |
| 41 | | Rincon Galeana, Hugo ; Schmid, Ulrich | Network Abstractions for Characterizing Communication Requirements in Asynchronous Distributed Systems | Inproceedings Konferenzbeitrag | 23-May-2024 |
| 42 | | Huemer, Florian | QDI Binary Comparator Networks and their Application in Combinational Logic | Inproceedings Konferenzbeitrag | 30-Apr-2024 |
| 43 | | Kuznets, Roman | Reasoning about Knowledge in Byzantine Distributed Systems | Presentation Vortrag | 9-Apr-2024 |
| 44 | | Cignarale, Giorgio ; Kuznets, Roman ; Schlögl, Thomas | Minimizing Agents’ State Corruption Resulting from Leak-Free Epistemic Communication Modeling | Inproceedings Konferenzbeitrag | 29-Mar-2024 |
| 45 | | Ferdowsi, Arman ; Függer, Matthias ; Salzmann, Josef ; Schmid, Ulrich | A Hybrid Delay Model for Interconnected Multi-Input Gates | Inproceedings Konferenzbeitrag | 19-Mar-2024 |
| 46 | | Castañeda, Armando ; Ditmarsch, Hans van ; Kuznets, Roman ; Moses, Yoram ; Schmid, Ulrich | Epistemic and Topological Reasoning in Distributed Systems | Article Artikel | 8-Mar-2024 |
| 47 | | Bammer, Ferdinand ; Huemer, Florian Ferdinand | Inline Thickness Measurement with a Polarization Camera | Presentation Vortrag | 6-Mar-2024 |
| 48 | | Kuznets, Roman | What Proof Theory Can Do for You | Presentation Vortrag | 17-Jan-2024 |
| 49 | | Colucci, Alessio ; Steininger, Andreas ; Shafique, Muhammad | EISFINN: On the Role of Efficient Importance Sampling in Fault Injection Campaigns for Neural Network Robustness Analysis | Inproceedings Konferenzbeitrag | 2024 |
| 50 | | Colucci, Alessio ; Steininger, Andreas ; Shafique, Muhammad | SBanTEM: A Novel Methodology for Sparse Band Tensors as Soft-Error Mitigation in Sparse Convolutional Neural Networks | Inproceedings Konferenzbeitrag | 2024 |
| 51 | | Scharwitzl, Clemens ; Steininger, Andreas | An Autonomous Clock Frequency Supervision Circuit | Inproceedings Konferenzbeitrag | 2024 |
| 52 | | Steininger, Andreas | Asynchronous Circuits – Old Iron or Enabler for a New Resilience Level of Digital Circuits? | Inproceedings Konferenzbeitrag | 2024 |
| 53 | | Wiedemann, Sebastian ; Zwirchmayr, Jakob ; Steininger, Andreas | Towards Software-Based Vendor-Independent Preemption for Hardware Accelerated Workloads | Inproceedings Konferenzbeitrag | 2024 |
| 54 | | Ostrowski, Erik ; Shafique, Muhammad | ISLE: A Framework for Image Level Semantic Segmentation Ensemble | Inproceedings Konferenzbeitrag | 3-Dec-2023 |
| 55 | | Prabakaran, Bharath Srinivas ; Ostrowski, Erik ; Shafique, Muhammad | ReFit: A Framework for Refinement of Weakly Supervised Semantic Segmentation Using Object Border Fitting for Medical Images | Inproceedings Konferenzbeitrag | 1-Dec-2023 |
| 56 | | Prabakaran, Bharath Srinivas ; Mrazek, Vojtech ; Vasicek, Zdenek ; Sekanina, Lukas ; Shafique, Muhammad | Xel-FPGAs: An End-to-End Automated Exploration Framework for Approximate Accelerators in FPGA-Based Systems | Inproceedings Konferenzbeitrag | 30-Nov-2023 |
| 57 |  | Kuznets, Roman | Simplicial approaches to crashing agents | Inproceedings Konferenzbeitrag | 31-Oct-2023 |
| 58 |  | Girlando, Marianna ; Kuznets, Roman ; Marin, Sonia ; Morales, Marianela ; Straßburger, Lutz | A decision procedure for IS4 | Inproceedings Konferenzbeitrag | 31-Oct-2023 |
| 59 |  | Randrianomentsoa, Rojo Fanamperana ; van Ditmarsch, Hans ; Kuznets, Roman | Impure simplicial complexes: complete axiomatization | Article Artikel | 18-Oct-2023 |
| 60 | | Marchisio, Alberto ; Shafique, Muhammad | Embedded Neuromorphic Using Intel’s Loihi Processor | Book Contribution Buchbeitrag | 10-Oct-2023 |
| 61 | | Putra, Rachmad Vidya Wicaksana ; Shafique, Muhammad | A Design Methodology for Energy-Efficient Embedded Spiking Neural Networks | Book Contribution Buchbeitrag | 10-Oct-2023 |
| 62 | | Naseer, Mahum ; Bhatti, Iram Tariq ; Hasan, Osman ; Shafique, Muhammad | Considering the Impact of Noise on Machine Learning Accuracy | Book Contribution Buchbeitrag | 7-Oct-2023 |
| 63 | | Marchisio, Alberto ; Hanif, Muhammad Abdullah ; Shafique, Muhammad | Adversarial ML for DNNs, CapsNets, and SNNs at the Edge | Book Contribution Buchbeitrag | 7-Oct-2023 |
| 64 | | Prabakaran, Bharath Srinivas ; Shafique, Muhammad | An End-to-End Embedded Neural Architecture Search and Model Compression Framework for Healthcare Applications and Use-Cases | Book Contribution Buchbeitrag | 7-Oct-2023 |
| 65 | | van Ditmarsch, Hans ; Kuznets, Roman ; Randrianomentsoa, Rojo Fanamperana | Simplicial Introduction | Presentation Vortrag | 6-Oct-2023 |
| 66 | | Putra, Rachmad Vidya Wicaksana ; Hanif, Muhammad Abdullah ; Shafique, Muhammad | Massively Parallel Neural Processing Array (MPNA): A CNN Accelerator for Embedded Systems | Book Contribution Buchbeitrag | 1-Oct-2023 |
| 67 | | Putra, Rachmad Vidya Wicaksana ; Hanif, Muhammad Abdullah ; Shafique, Muhammad | An Off-Chip Memory Access Optimization for Embedded Deep Learning Systems | Book Contribution Buchbeitrag | 1-Oct-2023 |
| 68 |  | Naseer, Mahum ; Hasan, Osman ; Shafique, Muhammad | QuanDA: GPU accelerated quantitative deep neural network analysis | Article Artikel | Oct-2023 |
| 69 |  | van Ditmarsch, Hans ; Kuznets, Roman ; Randrianomentsoa, Rojo | On Two- and Three-valued Semantics for Impure Simplicial Complexes | Inproceedings Konferenzbeitrag | 30-Sep-2023 |
| 70 | | Girlando, Marianna ; Kuznets, Roman ; Marin, Sonia ; Morales, Marianela ; Straßburger, Lutz | Intuitionistic S4 and its decidability | Presentation Vortrag | 27-Sep-2023 |
| 71 | | Ahmadi, Mahya Morid ; Alrahis, Lilas ; Sinanoglu, Ozgur ; Shafique, Muhammad | FPGA-Patch: Mitigating Remote Side-Channel Attacks on FPGAs using Dynamic Patch Generation | Inproceedings Konferenzbeitrag | 19-Sep-2023 |
| 72 |  | van der Giessen, Iris ; Jalali, Raheleh ; Kuznets, Roman | Extensions of K5: Proof Theory and Uniform Lyndon Interpolation | Inproceedings Konferenzbeitrag | 14-Sep-2023 |
| 73 |  | Kuznets, Roman | Always Look on Both Sides of Proof: Syntax and Semantics as the Yin and Yang of Structural Proof Theory | Inproceedings Konferenzbeitrag | 13-Sep-2023 |
| 74 |  | Cignarale, Giorgio ; Kuznets, Roman ; Rincón Galeana, Hugo ; Schmid, Ulrich | Logic of Communication Interpretation: How to Not Get Lost in Translation | Inproceedings Konferenzbeitrag | 13-Sep-2023 |
| 75 | | Tabassam, Zaheer ; Steininger, Andreas ; Najvirt, Robert ; Huemer, Florian | ζ: A Novel Approach for Mitigating Single Event Transient Effects in Quasi Delay Insensitive Logic | Inproceedings Konferenzbeitrag | 6-Sep-2023 |
| 76 | | Shehaby, Raghda El ; Függer, Matthias ; Steininger, Andreas | On the Susceptibility of QDI Circuits to Transient Faults | Inproceedings Konferenzbeitrag | 29-Aug-2023 |
| 77 | | Colucci, Alessio | Towards Transient Fault Mitigation Techniques Optimized for Compressed Neural Networks | Inproceedings Konferenzbeitrag | 10-Aug-2023 |
| 78 |  | Tabassam, Zaheer ; Steininger, Andreas | SET Effects on Quasi Delay Insensitive and Synchronous Circuits | Inproceedings Konferenzbeitrag | 12-Jul-2023 |
| 79 | | Schlögl, Thomas ; Schmid, Ulrich | A Sufficient Condition for Gaining Belief in Byzantine Fault-Tolerant Distributed Systems | Inproceedings Konferenzbeitrag | 11-Jul-2023 |
| 80 |  | Prabakaran, Bharath Srinivas ; Hamelmann, Paul ; Ostrowski, Erik ; Shafique, Muhammad | FPUS23: An ultrasound fetus phantom dataset with deep neural network evaluations for fetus orientations, fetal planes, and anatomical features | Article Artikel | 8-Jun-2023 |
| 81 |  | Cignarale, Giorgio ; Schmid, Ulrich ; Tahko, Tuomas E. ; Kuznets, Roman | The Role of A Priori Belief in the Design and Analysis of Fault-Tolerant Distributed Systems | Article Artikel | Jun-2023 |
| 82 | | Wicaksana Putra, Rachmad Vidya ; Shafique, Muhammad | Mantis: Enabling Energy-Efficient Autonomous Mobile Agents with Spiking Neural Networks | Inproceedings Konferenzbeitrag | 23-May-2023 |
| 83 | | Ferdowsi, Arman ; Függer, Matthias ; Nowak, Thomas ; Schmid, Ulrich | Continuity of Thresholded Mode-Switched ODEs and Digital Circuit Delay Models | Inproceedings Konferenzbeitrag | May-2023 |
| 84 |  | Putra, Rachmad Vidya Wicaksana ; Hanif, Muhammad Abdullah ; Shafique, Muhammad | RescueSNN: enabling reliable executions on spiking neural network accelerators under permanent faults | Article Artikel | 12-Apr-2023 |
| 85 | | Kuznets, Roman | Messages Agents Send; Agents Who Send Messages | Presentation Vortrag | 24-Feb-2023 |
| 86 | | Winkler, Kyrill ; Paz, Ami ; Galeana, Hugo Rincon ; Schmid, Stefan ; Schmid, Ulrich | The Time Complexity of Consensus Under Oblivious Message Adversaries | Inproceedings Konferenzbeitrag | 1-Feb-2023 |
| 87 | | Marchisio, Alberto ; Nanfa, Giorgio ; Khalid, Faiq ; Hanif, Muhammad Abdullah ; Martina, Maurizio ; Shafique, Muhammad | SeVuc: A study on the Security Vulnerabilities of Capsule Networks against adversarial attacks | Article Artikel | Feb-2023 |
| 88 | | Kuznets, Roman | On Interpolation | Presentation Vortrag | 28-Jan-2023 |
| 89 | | Naseer, Mahum ; Shafique, Muhammad | Poster: Link between Bias, Node Sensitivity and Long-Tail Distribution in trained DNNs | Inproceedings Konferenzbeitrag | 2023 |
| 90 | | Ostrowski, Erik ; Prabakaran, Bharath Srinivas ; Shafique, Muhammad | SILOP: An Automated Framework for Semantic Segmentation Using Image Labels Based on Object Perimeters | Inproceedings Konferenzbeitrag | 2023 |
| 91 | | Öhlinger, Daniel ; Schmid, Ulrich | A Digital Delay Model Supporting Large Adversarial Delay Variations | Inproceedings Konferenzbeitrag | 2023 |
| 92 | | Ferdowsi, Arman ; Schmid, Ulrich ; Salzmann, Josef | Accurate Hybrid Delay Models for Dynamic Timing Analysis | Inproceedings Konferenzbeitrag | 2023 |
| 93 | | Putra, Rachmad Vidya Wicaksana ; Shafique, Muhammad | TopSpark: A Timestep Optimization Methodology for Energy-Efficient Spiking Neural Networks on Autonomous Mobile Agents | Inproceedings Konferenzbeitrag | 2023 |
| 94 | | Ahmadi, Mahya Morid ; Alrahis, Lilas ; Sinanoglu, Ozgur ; Shafique, Muhammad | ShapeShifter: Protecting FPGAs from Side-Channel Attacks with Isofunctional Heterogeneous Modules | Inproceedings Konferenzbeitrag | 2023 |
| 95 | | Marchisio, Alberto ; De Marco, Antonio ; Colucci, Alessio ; Martina, Maurizio ; Shafique, Muhammad | RobCaps: Evaluating the Robustness of Capsule Networks against Affine Transformations and Adversarial Attacks | Inproceedings Konferenzbeitrag | 2023 |
| 96 | | Marchisio, Alberto ; Dura, Davide ; Capra, Maurizio ; Martina, Maurizio ; Masera, Guido ; Shafique, Muhammad | SwiftTron: An Efficient Hardware Accelerator for Quantized Transformers | Inproceedings Konferenzbeitrag | 2023 |
| 97 | | Naseer, Mahum ; Hasan, Osman ; Shafique, Muhammad | Scaling Model Checking for Neural Network Analysis via State-Space Reduction and Input Segmentation | Inproceedings Konferenzbeitrag | 2023 |
| 98 |  | Girlando, Marianna ; Kuznets, Roman ; Marin, Sonia ; Morales, Marianela ; Straßburger, Lutz | Decidability of intuitionistic S4 | Inproceedings Konferenzbeitrag | 2023 |
| 99 |  | Girlando, Marianna ; Kuznets, Roman ; Marin, Sonia ; Morales, Marianela ; Straßburger, Lutz | Intuitionistic S4 is decidable | Inproceedings Konferenzbeitrag | 2023 |
| 100 | | Tabassam, Zaheer ; Steininger, Andreas | Towards Resilient Quasi Delay Insensitive Conditional Control Elements | Inproceedings Konferenzbeitrag | 2023 |
