Real-Time - Tag - Raphaël Beamonte

Real-Time

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

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

Detection of Common Problems in Real-Time and Multicore Systems Using Model-Based Constraints 2016-03-16

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

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