A research paper introducing methods to automatically generate constraint models for real-time applications by analyzing execution traces and recurring event patterns.
My PhD thesis on monitoring and analyzing multicore systems through tracing and automated verification techniques to detect anomalies in real-time applications.
A paper presenting a new approach to system analysis using model-based constraints to automatically identify unwanted behaviors in real-time and multicore systems.
Research on improving Linux tracing tools for hard real-time systems, focusing on minimizing latency impact and optimizing multicore performance.
Research on high-performance tracing tools for multicore Linux hard real-time systems, ensuring minimal impact on system latency and performance.