16 citations · 28 across the 7 of their papers we have counts for
7 papers
tinyDSM: A Framework for Skill Modeling and Development for Resource-Constrained Millirobots
Markus Kobelrausch, Michael Miedler, Axel Jantsch
In this study, we investigate developmental mechanisms that enable small, resource-constrained systems such as cm-sized millirobots to autonomously explore, learn, and adapt their…
Information Flow Tracking Methods for Protecting Cyber-Physical Systems against Hardware Trojans -- a Survey
Sofia Maragkou, Axel Jantsch
Cyber-physical systems (CPS) provide profitable surfaces for hardware attacks such as hardware Trojans. Hardware Trojans can implement stealthy attacks such as leaking critical inf…
ANNETTE: Accurate Neural Network Execution Time Estimation with Stacked Models
Matthias Wess, Matvey Ivanov, Anvesh Nookala +3
With new accelerator hardware for DNN, the computing power for AI applications has increased rapidly. However, as DNN algorithms become more complex and optimized for specific appl…
MLComp: A Methodology for Machine Learning-based Performance Estimation and Adaptive Selection of Pareto-Optimal Compiler Optimization Sequences
Alessio Colucci, Dávid Juhász, Martin Mosbeck +6
Embedded systems have proliferated in various consumer and industrial applications with the evolution of Cyber-Physical Systems and the Internet of Things. These systems are subjec…
Intelligent Management of Mobile Systems through Computational Self-Awareness
Bryan Donyanavard, Amir M. Rahmani, Axel Jantsch +2
Runtime resource management for many-core systems is increasingly complex. The complexity can be due to diverse workload characteristics with conflicting demands, or limited shared…
TrojanZero: Switching Activity-Aware Design of Undetectable Hardware Trojans with Zero Power and Area Footprint
Imran Hafeez Abbassi, Faiq Khalid, Semeen Rehman +4
Conventional Hardware Trojan (HT) detection techniques are based on the validation of integrated circuits to determine changes in their functionality, and on non-invasive side-chan…
Towards Verification of Uncertain Cyber-Physical Systems
Carna Radojicic, Christoph Grimm, Axel Jantsch +1
Cyber-Physical Systems (CPS) pose new challenges to verification and validation that go beyond the proof of functional correctness based on high-level models. Particular challenges…