Search Results for author:
Found 8 papers, 1 papers with code
Object-Centric Conformance Alignments with Synchronization (Extended Version)
In this paper, we present a new formalism that combines the key modelling features of two existing approaches, in particular the ability of object-centric Petri nets to capture one-to-many relations and the one of Petri nets with identifiers to compare and synchronize objects based on their identity.
Decidable Fragments of LTLf Modulo Theories (Extended Version)
We study Linear Temporal Logic Modulo Theories over Finite Traces (LTLfMT), a recently introduced extension of LTL over finite traces (LTLf) where propositions are replaced by first-order formulas and where first-order variables referring to different time points can be compared.
Conformance Checking with Uncertainty via SMT (Extended Version)
Logs of real-life processes often feature uncertainty pertaining the recorded timestamps, data values, and/or events.
Soundness of Data-Aware Processes with Arithmetic Conditions
The implementation is validated on a collection of examples from the literature, and on synthetic variants constructed from such examples.
Linear-Time Verification of Data-Aware Dynamic Systems with Arithmetic
Combined modeling and verification of dynamic systems and the data they operate on has gained momentum in AI and in several application domains.
CoCoMoT: Conformance Checking of Multi-Perspective Processes via SMT (Extended Version)
Conformance checking is a key process mining task for comparing the expected behavior captured in a process model and the actual behavior recorded in a log.
Runtime Complexity Analysis of Logically Constrained Rewriting
Logically constrained rewrite systems (LCTRSs) are a versatile and efficient rewriting formalism that can be used to model programs from various programming paradigms, as well as simplification systems in compilers and SMT solvers.
Computational Complexity Logic in Computer Science
Proceedings of the Second International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements
These are the post-proceedings of the second ARCADE workshop, which took place on the 26th August 2019 in Natal, Brazil, colocated with CADE-27.
Logic in Computer Science
