Execution trace‐based model verification to analyze multicore and real‐time systems
Research on model verification from execution traces to analyze multicore and real-time systems, detect timing issues, and reduce debugging work.
Tagged: Tracing
Automated Generation of Model-Based Constraints for Common Multi-core and Real-Time Applications Using Execution Tracing
Research on generating model-based constraints for real-time and multicore applications from execution traces and recurring event patterns.
R-SHT: a State History Tree with R-Tree Properties for Analysis and Visualization of Highly Parallel System Traces
Research on R-SHT, a State History Tree with R-Tree properties for faster queries and visualization of highly parallel system traces.
Runtime verification of real-time applications using trace data and model requirements
My PhD thesis on runtime verification for real-time applications using trace data, model requirements, and automated anomaly detection.
Enhanced State History Tree (eSHT): A Stateful Data Structure for Analysis of Highly Parallel System Traces
Research on the Enhanced State History Tree, a data structure for efficient storage, querying, and visualization of parallel system traces.
Linux Low-Latency Tracing for Multicore Hard Real-Time Systems
Research on low-latency Linux tracing for multicore hard real-time systems, focusing on LTTng overhead, RCU, and performance analysis.
Tracing and Sampling for Real-Time Systems
A talk on real-time Linux tracing and sampling with LTTng, low-latency monitoring, multicore systems, and predictable tracer overhead.
High Performance Tracing Tools for Multicore Linux Hard Real-Time Systems
Research on LTTng-based tracing tools for multicore hard real-time Linux systems with low overhead and predictable latency impact.