4 citations · 12 across the 9 of their papers we have counts for
11 papers
Monitoring Arithmetic Temporal Properties on Finite Traces
Paolo Felli, Marco Montali, Fabio Patrizi +1
We study monitoring of linear-time arithmetic properties against finite traces generated by an unknown dynamic system. The monitoring state is determined by considering at once the…
CTL* model checking for data-aware dynamic systems with arithmetic
Paolo Felli, Marco Montali, Sarah Winkler
The analysis of complex dynamic systems is a core research topic in formal methods and AI, and combined modelling of systems with data has gained increasing importance in applicati…
Soundness of Data-Aware Processes with Arithmetic Conditions
Paolo Felli, Marco Montali, Sarah Winkler
Data-aware processes represent and integrate structural and behavioural constraints in a single model, and are thus increasingly investigated in business process management and inf…
Linear-Time Verification of Data-Aware Dynamic Systems with Arithmetic
Paolo Felli, Marco Montali, Sarah Winkler
Combined modeling and verification of dynamic systems and the data they operate on has gained momentum in AI and in several application domains. We investigate the expressive yet c…
CoCoMoT: Conformance Checking of Multi-Perspective Processes via SMT (Extended Version)
Paolo Felli, Alessandro Gianola, Marco Montali +2
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. While this problem has…
Runtime Complexity Analysis of Logically Constrained Rewriting
Sarah Winkler, Georg Moser
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 s…