English
Related papers

Related papers: Nail: Not Another Fault-Injection Framework for Ch…

200 papers

Context: Software development tools that interact with running programs such as debuggers, profilers, and dynamic analysis frameworks are presumed to demand difficult tradeoffs among implementation complexity (cost), functionality,…

Programming Languages · Computer Science 2018-03-28 Michael Van De Vanter , Chris Seaton , Michael Haupt , Christian Humer , Thomas Würthinger

Certification through auditing allows to ensure that critical embedded systems are secure. This entails reviewing their critical components and checking for dangerous execution paths. This latter task requires the use of specialized tools…

Software Engineering · Computer Science 2023-03-08 Guilhem Lacombe , David Feliot , Etienne Boespflug , Marie-Laure Potet

Robust Recurrent Neural Networks (R-RENs) are a class of neural networks that have built-in system-theoretic robustness and incremental stability properties. In this manuscript, we leverage these properties to construct a data-driven Fault…

Systems and Control · Electrical Eng. & Systems 2025-04-29 Farhad Ghanipoor , Carlos Murguia , Giancarlo Ferrari Trecate , Nathan van de Wouw

Vibration-based condition monitoring techniques are commonly used to identify faults in rolling element bearings. Accuracy and speed of fault detection procedures are critical performance measures in condition monitoring. Delay is…

Machine Learning · Computer Science 2024-10-10 Hariom Dhungana , Suresh Kumar Mukhiya , Pragya Dhungana , Benjamin Karic

The increasing complexity of systems-on-a-chip requires the continuous development of electronic design automation tools. Nowadays, the simulation of systems-on-a-chip using virtual platforms is common. Virtual platforms enable…

Hardware Architecture · Computer Science 2025-05-20 Nils Bosbach , Lukas Jünger , Jan Moritz Joseph , Rainer Leupers

Spiking neural networks (SNNs) have emerged as a promising alternative to artificial neural networks (ANNs), offering improved energy efficiency by leveraging sparse and event-driven computation. However, existing hardware implementations…

Hardware Architecture · Computer Science 2025-09-19 Yuehai Chen , Farhad Merchant

Assembly state recognition facilitates the execution of assembly procedures, offering feedback to enhance efficiency and minimize errors. However, recognizing assembly states poses challenges in scalability, since parts are frequently…

Computer Vision and Pattern Recognition · Computer Science 2025-10-15 Tim J. Schoonbeek , Goutham Balachandran , Hans Onvlee , Tim Houben , Shao-Hsuan Hung , Jacek Kustra , Peter H. N. de With , Fons van der Sommen

Recent years have witnessed impressive robotic manipulation systems driven by advances in imitation learning and generative modeling, such as diffusion- and flow-based approaches. As robot policy performance increases, so does the…

Data-driven methods keep increasing their popularity in engineering applications, given the developments in data analysis techniques. Some of these approaches, such as Field Inversion Machine Learning (FIML), suggest correcting low-fidelity…

Computational Physics · Physics 2025-09-24 Levent Ugur , Beckett Y. Zhou

The advanced complex electronic systems increasingly demand safer and more secure hardware parts. Correspondingly, fault injection became a major verification milestone for both safety- and security-critical applications. However, fault…

Hardware Architecture · Computer Science 2021-03-10 Ahmet Cagri Bagbaba , Maksim Jenihhin , Raimund Ubar , Christian Sauer

Large Language Models (LLMs) show promise in generating firmware for embedded systems, but often introduce security flaws and fail to meet real-time performance constraints. This paper proposes a three-phase methodology that combines…

Cryptography and Security · Computer Science 2025-09-15 Seyed Moein Abtahi , Akramul Azim

Software supply chain vulnerabilities arise when attackers exploit weaknesses by injecting vulnerable code into widely used packages or libraries within software repositories. While most existing approaches focus on identifying vulnerable…

Cryptography and Security · Computer Science 2025-06-25 Sajal Halder , Muhammad Ejaz Ahmed , Seyit Camtepe

Logic-in-memory (LIM) describes the execution of logic gates within memristive crossbar structures, promising to improve performance and energy efficiency. Utilizing only binary values, LIM particularly excels in accelerating binary neural…

A circuit-simulation-based method is used to determine the thermally-induced bit error rate of superconducting logic circuits. Simulations are used to evaluate the multidimensional Gaussian integral across noise current sources attached to…

Applied Physics · Physics 2023-06-14 Quentin Herr , Alex Braun , Andrew Brownfield , Ed Rudman , Dan Dosch , Trent Josephsen , Anna Herr

Federated learning (FL) is a decentralized learning paradigm widely adopted in resource-constrained Internet of Things (IoT) environments. These devices, typically relying on TinyML models, collaboratively train global models by sharing…

Machine Learning · Computer Science 2026-02-10 Pouria Arefijamal , Mahdi Ahmadlou , Bardia Safaei , Jörg Henkel

Large language models (LLMs) are highly compute- and memory-intensive, posing significant demands on high-performance GPUs. At the same time, advances in GPU technology driven by shrinking transistor sizes and lower operating voltages have…

Hardware Architecture · Computer Science 2026-01-29 Duo Chai , Zizhen Liu , Shuhuai Wang , Songwei Pei , Cheng Liu , Huawei Li , Shangguang Wang

Domain-specific languages (DSLs) play an increasingly important role in the generation of high performing software. They allow the user to exploit specific knowledge encoded in the constructs for the generation of code adapted to a…

Mathematical Software · Computer Science 2019-05-08 Pramod Kumbhar , Omar Awile , Liam Keegan , Jorge Blanco Alonso , James King , Michael Hines , Felix Schürmann

Class incremental learning (CIL) requires an agent to learn distinct tasks consecutively with knowledge retention against forgetting. Problems impeding the practical applications of CIL methods are twofold: (1) non-i.i.d batch streams and…

Machine Learning · Computer Science 2025-10-27 Junda Wang , Minghui Hu , Ning Li , Abdulaziz Al-Ali , Ponnuthurai Nagaratnam Suganthan

Deep Learning (DL) frameworks have served as fundamental components in DL systems over the last decade. However, bugs in DL frameworks could lead to catastrophic consequences in critical scenarios. A simple yet effective way to find bugs in…

Software Engineering · Computer Science 2026-01-21 Shaoyu Yang , Chunrong Fang , Haifeng Lin , Xiang Chen , Jia Liu , Zhenyu Chen

Prompt injection attacks exploit vulnerabilities in large language models (LLMs) to manipulate the model into unintended actions or generate malicious content. As LLM integrated applications gain wider adoption, they face growing…

Cryptography and Security · Computer Science 2024-01-03 Daniel Wankit Yip , Aysan Esmradi , Chun Fai Chan