current nfer a language and tool for inferring interval abstractions from event traces Model Learning mining explainable timed models from offline system logs Timed Monitoring understanding and pushing the limits of monitoring in a real-time setting past
