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
45 2021 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
27 2022 Completion for logically constrained rewriting S Winkler, A Middeldorp
3rd International Conference on Formal Structures for Computation and …, 2018
24 2018 Multi-completion with termination tools (system description) H Sato, S Winkler, M Kurihara, A Middeldorp
International Joint Conference on Automated Reasoning, 306-312, 2008
24 2008 MædMax : A Maximal Ordered Completion ToolS Winkler, G Moser
Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as …, 2018
21 2018 Multi-completion with termination tools S Winkler, H Sato, A Middeldorp, M Kurihara
Journal of Automated Reasoning 50 (3), 317-354, 2013
19 2013 Soundness of data-aware processes with arithmetic conditions P Felli, M Montali, S Winkler
International Conference on Advanced Information Systems Engineering, 389-406, 2022
18 2022 Loop detection by logically constrained term rewriting N Nishida, S Winkler
Working Conference on Verified Software: Theories, Tools, and Experiments …, 2018
18 2018 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
15 2022 Ordinals and knuth-bendix orders S Winkler, H Zankl, A Middeldorp
Logic for Programming, Artificial Intelligence, and Reasoning: 18th …, 2012
15 2012 Infinite runs in abstract completion N Hirokawa, A Middeldorp, C Sternagel, S Winkler
2nd International Conference on Formal Structures for Computation and …, 2017
14 2017 Optimizing mkbTT S Winkler, H Sato, A Middeldorp, M Kurihara
Proceedings of the 21st International Conference on Rewriting Techniques and …, 2010
14 2010 Formalizing soundness and completeness of unravelings S Winkler, R Thiemann
International Symposium on Frontiers of Combining Systems, 239-255, 2015
13 2015 Termination tools in ordered completion S Winkler, A Middeldorp
International Joint Conference on Automated Reasoning, 518-532, 2010
13 2010 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
13 2009 Data-aware conformance checking with SMT P Felli, A Gianola, M Montali, A Rivkin, S Winkler
Information Systems 117, 102230, 2023
12 2023 CTL P Felli, M Montali, S Winkler
International Joint Conference on Automated Reasoning, 36-56, 2022
12 2022 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
12 2015 Ceta-A tool for certified termination analysis C Sternagel, R Thiemann, S Winkler, H Zankl
arXiv preprint arXiv:1208.1591, 2012
12 2012 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
11 2023 