70 citations · 85 across the 16 of their papers we have counts for
5 papers · 1 filter
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…
A Holistic Approach for Soundness Verification of Decision-Aware Process Models (extended version)
Massimiliano de Leoni, Paolo Felli, Marco Montali
The last decade has witnessed an increasing transformation in the design, engineering, and mining of processes, moving from a pure control-flow perspective to more integrated model…