Sarah Winkler

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 43

Top Topics

Dynamic Systems

Top Venues

Publications

Alessandro Gianola, Marco Montali, Sarah Winkler
Object-Centric Conformance Alignments with Synchronization. CAiSE (2024)
Alessandro Gianola, Marco Montali, Sarah Winkler
Linear-Time Verification of Data-Aware Processes Modulo Theories via Covers and Automata. AAAI (2024)
Marco Montali, Sarah Winkler
Equivalence of Data Petri Nets with Arithmetic. Business Process Management Workshops (2023)
Alessandro Gianola, Marco Montali, Sarah Winkler
Object-Centric Conformance Alignments with Synchronization (Extended Version). CoRR (2023)
Paolo Felli, Marco Montali, Fabio Patrizi, Sarah Winkler
Monitoring Arithmetic Temporal Properties on Finite Traces. AAAI (2023)
Yago Fontenla-Seco, Sarah Winkler, Alessandro Gianola, Marco Montali, Manuel Lama Penín, Alberto José Bugarín Diz
The Droid You're Looking For: C-4PM, a Conversational Agent for Declarative Process Mining. BPM (Demos / Resources Forum) (2023)
Luca Geatti, Alessandro Gianola, Nicola Gigante, Sarah Winkler
Modulo Theories. ECAI (2023)
Maria Paola Bonacina, Sarah Winkler
Semantically-Guided Goal-Sensitive Reasoning: Decision Procedures and the Koala Prover. J. Autom. Reason. 67 (1) (2023)
Luca Geatti, Alessandro Gianola, Nicola Gigante, Sarah Winkler
Decidable Fragments of LTLf Modulo Theories (Extended Version). CoRR (2023)
Alessandro Gianola, Marco Montali, Sarah Winkler
Linear-Time Verification of Data-Aware Processes Modulo Theories via Covers and Automata (Extended Version). CoRR (2023)
Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler
Multi-perspective conformance checking of uncertain process traces: An SMT-based approach. Eng. Appl. Artif. Intell. 126 (2023)
Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler
Data-aware conformance checking with SMT. Inf. Syst. 117 (2023)
Paolo Felli, Marco Montali, Sarah Winkler
Repairing Soundness Properties in Data-Aware Processes. ICPM (2023)
Alessandro Gianola, Jonghyeon Ko, Fabrizio Maria Maggi, Marco Montali, Sarah Winkler
Approximating Multi-perspective Trace Alignment Using Trace Encodings. BPM (2023)
Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler
Conformance Checking with Uncertainty via SMT. BPM (2022)
Paolo Felli, Marco Montali, Sarah Winkler
Soundness of Data-Aware Processes with Arithmetic Conditions. CAiSE (2022)
Paolo Felli, Marco Montali, Sarah Winkler
Linear-Time Verification of Data-Aware Dynamic Systems with Arithmetic. AAAI (2022)
Maria Paola Bonacina, Sarah Winkler
On SGGS and Horn Clauses. PAAR@IJCAR (2022)
Paolo Felli, Marco Montali, Sarah Winkler
Linear-Time Verification of Data-Aware Dynamic Systems with Arithmetic. CoRR (2022)
Paolo Felli, Marco Montali, Sarah Winkler
Model Checking for Data-Aware Dynamic Systems with Arithmetic. IJCAR (2022)
Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler
A Modular SMT-based Approach for Data-aware Conformance Checking. OVERLAY@AI*IA (2022)
Paolo Felli, Marco Montali, Sarah Winkler
Soundness of Data-Aware Processes with Arithmetic Conditions. CoRR (2022)
Paolo Felli, Marco Montali, Sarah Winkler
CTL* model checking for data-aware dynamic systems with arithmetic. CoRR (2022)
Paolo Felli, Marco Montali, Sarah Winkler
Reasoning and Verification with Data Petri Nets. PMAI@IJCAI (2022)
Paolo Felli, Marco Montali, Fabio Patrizi, Sarah Winkler
Monitoring Arithmetic Temporal Properties on Finite Traces. CoRR (2022)
Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler
Conformance Checking with Uncertainty via SMT (Extended Version). CoRR (2022)
Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler
CoCoMoT: Conformance Checking of Multi-perspective Processes via SMT. BPM (2021)
Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler
CoCoMoT: Conformance Checking of Multi-Perspective Processes via SMT (Extended Version). CoRR (2021)
Sarah Winkler, Georg Moser
Runtime Complexity Analysis of Logically Constrained Rewriting. CoRR (2020)
Sarah Winkler, Georg Moser
Runtime Complexity Analysis of Logically Constrained Rewriting. LOPSTR (2020)
Maria Paola Bonacina, Sarah Winkler
SGGS Decision Procedures. IJCAR (1) (2020)
Nao Hirokawa, Aart Middeldorp, Christian Sternagel, Sarah Winkler
Abstract Completion, Formalized. Log. Methods Comput. Sci. 15 (3) (2019)
Christian Sternagel, Sarah Winkler
Certified Equational Reasoning via Ordered Completion. CADE (2019)
Sarah Winkler, Georg Moser
Smarter Features, Simpler Learning? ARCADE@CADE (2019)
Sarah Winkler
Extending Maximal Completion (Invited Talk). FSCD (2019)
Sarah Winkler, Aart Middeldorp
Tools in Term Rewriting for Education. ThEdu@CADE (2019)
Christian Sternagel, Sarah Winkler
Certified Ordered Completion. CoRR (2018)
Sarah Winkler, Georg Moser
MædMax: A Maximal Ordered Completion Tool. IJCAR (2018)
Nao Hirokawa, Aart Middeldorp, Christian Sternagel, Sarah Winkler
Abstract Completion, Formalized. CoRR (2018)
Naoki Nishida, Sarah Winkler
Loop Detection by Logically Constrained Term Rewriting. VSTTE (2018)
Sarah Winkler, Aart Middeldorp
Completion for Logically Constrained Rewriting. FSCD (2018)
Nao Hirokawa, Aart Middeldorp, Christian Sternagel, Sarah Winkler
Infinite Runs in Abstract Completion. FSCD (2017)
Akihisa Yamada, Sarah Winkler, Nao Hirokawa, Aart Middeldorp
AC-KBO revisited. Theory Pract. Log. Program. 16 (2) (2016)
Harald Zankl, Sarah Winkler, Aart Middeldorp
Beyond polynomials and Peano arithmetic - automation of elementary and ordinal interpretations. J. Symb. Comput. 69 (2015)
Haruhiko Sato, Sarah Winkler
Encoding Dependency Pair Techniques and Control Strategies for Maximal Completion. CADE (2015)
Thomas Sternagel, Sarah Winkler, Harald Zankl
Recording Completion for Certificates in Equational Reasoning. CPP (2015)
Sarah Winkler, René Thiemann
Formalizing Soundness and Completeness of Unravelings. FroCos (2015)
Akihisa Yamada, Sarah Winkler, Nao Hirokawa, Aart Middeldorp
AC-KBO Revisited. CoRR (2014)
Julian Nagele, René Thiemann, Sarah Winkler
Certification of Nontermination Proofs Using Strategies and Nonlooping Derivations. VSTTE (2014)
Akihisa Yamada, Sarah Winkler, Nao Hirokawa, Aart Middeldorp
AC-KBO Revisited. FLOPS (2014)
Sarah Winkler, Harald Zankl, Aart Middeldorp
Beyond Peano Arithmetic - Automatically Proving Termination of the Goodstein Sequence. RTA (2013)
Sarah Winkler, Aart Middeldorp
Normalized Completion Revisited. RTA (2013)
Sarah Winkler, Haruhiko Sato, Aart Middeldorp, Masahito Kurihara
Multi-Completion with Termination Tools. J. Autom. Reason. 50 (3) (2013)
Sarah Winkler, Harald Zankl, Aart Middeldorp
Ordinals and Knuth-Bendix Orders. LPAR (2012)
Christian Sternagel, René Thiemann, Sarah Winkler, Harald Zankl
CeTA - A Tool for Certified Termination Analysis CoRR (2012)
Sarah Winkler, Aart Middeldorp
AC Completion with Termination Tools. CADE (2011)
Sarah Winkler, Aart Middeldorp
Termination Tools in Ordered Completion. IJCAR (2010)
Sarah Winkler, Haruhiko Sato, Aart Middeldorp, Masahito Kurihara
Optimizing mkbTT. RTA (2010)
Haruhiko Sato, Masahito Kurihara, Sarah Winkler, Aart Middeldorp
Constraint-Based Multi-Completion Procedures for Term Rewriting Systems. IEICE Trans. Inf. Syst. (2) (2009)
Haruhiko Sato, Sarah Winkler, Masahito Kurihara, Aart Middeldorp
Multi-completion with Termination Tools (System Description). IJCAR (2008)