Follow
Sarah Winkler
Sarah Winkler
postdoctoral researcher, Free University Bolzano
Verified email at unibz.it - Homepage
Title
Cited by
Cited by
Year
CoCoMoT: conformance checking of multi-perspective processes via SMT
P Felli, A Gianola, M Montali, A Rivkin, S Winkler
Business Process Management: 19th International Conference, BPM 2021, Rome …, 2021
412021
Linear-time verification of data-aware dynamic systems with arithmetic
P Felli, M Montali, S Winkler
Proceedings of the AAAI Conference on Artificial Intelligence 36 (5), 5642-5650, 2022
272022
Multi-completion with termination tools (system description)
H Sato, S Winkler, M Kurihara, A Middeldorp
International Joint Conference on Automated Reasoning, 306-312, 2008
242008
Completion for logically constrained rewriting
S Winkler, A Middeldorp
3rd International Conference on Formal Structures for Computation and …, 2018
232018
MædMax: A Maximal Ordered Completion Tool
S Winkler, G Moser
Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as …, 2018
212018
Multi-completion with termination tools
S Winkler, H Sato, A Middeldorp, M Kurihara
Journal of Automated Reasoning 50 (3), 317-354, 2013
192013
Loop detection by logically constrained term rewriting
N Nishida, S Winkler
Working Conference on Verified Software: Theories, Tools, and Experiments …, 2018
182018
Soundness of data-aware processes with arithmetic conditions
P Felli, M Montali, S Winkler
International Conference on Advanced Information Systems Engineering, 389-406, 2022
172022
Ordinals and knuth-bendix orders
S Winkler, H Zankl, A Middeldorp
Logic for Programming, Artificial Intelligence, and Reasoning: 18th …, 2012
152012
Conformance checking with uncertainty via SMT
P Felli, A Gianola, M Montali, A Rivkin, S Winkler
International Conference on Business Process Management, 199-216, 2022
142022
Infinite runs in abstract completion
N Hirokawa, A Middeldorp, C Sternagel, S Winkler
2nd International Conference on Formal Structures for Computation and …, 2017
142017
Optimizing mkbTT
S Winkler, H Sato, A Middeldorp, M Kurihara
Proceedings of the 21st International Conference on Rewriting Techniques and …, 2010
142010
Formalizing soundness and completeness of unravelings
S Winkler, R Thiemann
International Symposium on Frontiers of Combining Systems, 239-255, 2015
132015
Termination tools in ordered completion
S Winkler, A Middeldorp
International Joint Conference on Automated Reasoning, 518-532, 2010
132010
Constraint-based multi-completion procedures for term rewriting systems
H Sato, M Kurihara, S Winkler, A Middeldorp
IEICE transactions on information and systems 92 (2), 220-234, 2009
132009
CTL Model Checking for Data-Aware Dynamic Systems with Arithmetic
P Felli, M Montali, S Winkler
International Joint Conference on Automated Reasoning, 36-56, 2022
122022
Beyond polynomials and Peano arithmetic—Automation of elementary and ordinal interpretations
H Zankl, S Winkler, A Middeldorp
Journal of Symbolic Computation 69, 129-158, 2015
122015
Ceta-A tool for certified termination analysis
C Sternagel, R Thiemann, S Winkler, H Zankl
arXiv preprint arXiv:1208.1591, 2012
122012
Data-aware conformance checking with SMT
P Felli, A Gianola, M Montali, A Rivkin, S Winkler
Information Systems 117, 102230, 2023
112023
Monitoring arithmetic temporal properties on finite traces
P Felli, M Montali, F Patrizi, S Winkler
Proceedings of the AAAI Conference on Artificial Intelligence 37 (5), 6346-6354, 2023
112023
The system can't perform the operation now. Try again later.
Articles 1–20