Author

Sarah Winkler

2 papers indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Open access Oct 2026

Conformance checking of declarative data-aware processes

Despite growing interest in process analysis and mining for data-aware specifications, alignment-based conformance checking for declarative process models has focused on pure control-flow specifications, or mild data-aware extensions limited to numerical data and variable-to-constant comparisons. This is not surprising...

Jacobo Casas-Ramos, Sarah Winkler, Alessandro Gianola et al. · Process Science · 0 citations

#artificial intelligence Preprint Sep 2026

Progression- vs Automata-based Anticipatory Monitoring of LTL over Finite Traces (Extended Version)

When safety-critical systems are developed from a known internal specification, their correctness can be established by model checking. In the frequent case where such a specification is unknown or inaccessible, runtime verification presents an attractive alternative, e.g., to ascertain that autonomous and agentic syst...

Sarah Winkler, Toryn Q. Klassen, Sheila A. McIlraith et al. · 0 citations