Winkler, Sarah

3 publications

AAAI 2024 Linear-Time Verification of Data-Aware Processes Modulo Theories via Covers and Automata Alessandro Gianola, Marco Montali, Sarah Winkler

AAAI 2023 Monitoring Arithmetic Temporal Properties on Finite Traces Paolo Felli, Marco Montali, Fabio Patrizi, Sarah Winkler

AAAI 2022 Linear-Time Verification of Data-Aware Dynamic Systems with Arithmetic Paolo Felli, Marco Montali, Sarah Winkler