search result

Cover von Attack Detection Through Monitoring of Timing Deviations in Embedded Real-Time Systems

Attack Detection Through Monitoring of Timing Deviations in Embedded Real-Time Systems

Year: 2020
Media group: LIPIcs
Cover von Impact of DM-LRU on WCET

Impact of DM-LRU on WCET

A Static Analysis Approach
Year: 2019
Media group: LIPIcs
Cover von Fine-Grain Iterative Compilation for WCET Estimation

Fine-Grain Iterative Compilation for WCET Estimation

Year: 2018
Media group: OASICS
Cover von A Formally Verified WCET Estimation Tool

A Formally Verified WCET Estimation Tool

Year: 2014
Media group: OASICS
Cover von WCET Analysis of HLS-Generated Processors Using Abstract Interpretation

WCET Analysis of HLS-Generated Processors Using Abstract Interpretation

Year: 2026
Media group: LIPIcs
Cover von RT-DFI

RT-DFI

Optimizing Data-Flow Integrity for Real-Time Systems
Year: 2022
Media group: LIPIcs
Cover von Hiding Communication Delays in Contention-Free Execution for SPM-Based Multi-Core Architectures

Hiding Communication Delays in Contention-Free Execution for SPM-Based Multi-Core Architectures

Year: 2019
Media group: LIPIcs
OPEN V 11.1.0.0