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: Academic
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.
Detection of Common Problems in Real-Time and Multicore Systems Using Model-Based Constraints
Research on detecting scheduling, priority, and timing problems in real-time and multicore systems using trace analysis and model constraints.
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.
Traçage de systèmes Linux multi-coeurs en temps réel
Ma thèse de maîtrise sur le traçage Linux multi-coeurs en temps réel, l'impact du traçage sur les latences, LTTng et l'analyse de performance.
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.