Tracing - Tag - Raphaël Beamonte

Tracing

Execution trace‐based model verification to analyze multicore and real‐time systems 2022-05-04

Automated Generation of Model-Based Constraints for Common Multi-core and Real-Time Applications Using Execution Tracing 2021-01-01

R-SHT: a State History Tree with R-Tree Properties for Analysis and Visualization of Highly Parallel System Traces 2018-01-01

Runtime verification of real-time applications using trace data and model requirements 2016-12-06

Enhanced State History Tree (eSHT): A Stateful Data Structure for Analysis of Highly Parallel System Traces 2016-06-01

Linux Low-Latency Tracing for Multicore Hard Real-Time Systems 2015-08-18

Tracing and Sampling for Real-Time Systems 2014-04-21

High Performance Tracing Tools for Multicore Linux Hard Real-Time Systems 2012-10-01