3 papers
cs.SE2026
DeepParse: Hybrid Log Parsing with LLM-Synthesized Regex Masks
Amir Shetaia, Sean Kauffman
Modern distributed systems produce massive, heterogeneous logs essential for reliability, security, and anomaly detection. Converting these free-form messages into structured templ…
cs.FL2025
Efficient Monitoring of Timed Properties
Thomas Møller Grosen, Thomas Møller Grosen, Sean Kauffman +2
In this paper we study monitoring of real-time systems with respect to properties given by a pair of Timed Büchi Automata, one for the property and one for its complement. This inc…
cs.SE2024
Annotating Control-Flow Graphs for Formalized Test Coverage Criteria
Sean Kauffman, Carlos Moreno, Sebastian Fischmeister
Control flow coverage criteria are an important part of the process of qualifying embedded software for safety-critical systems. Criteria such as modified condition/decision covera…