145 citations · 360 across the 54 of their papers we have counts for
3 papers · 2 filters
Relational Action Bases: Formalization, Effective Safety Verification, and Invariants (Extended Version)
Silvio Ghilardi, Alessandro Gianola, Marco Montali +1
Modeling and verification of dynamic systems operating over a relational representation of states are increasingly investigated problems in AI, Business Process Management, and Dat…
Conformance Checking with Uncertainty via SMT (Extended Version)
Paolo Felli, Alessandro Gianola, Marco Montali +2
Logs of real-life processes often feature uncertainty pertaining the recorded timestamps, data values, and/or events. We consider the problem of checking conformance of uncertain l…
AI-Augmented Business Process Management Systems: A Research Manifesto
Marlon Dumas, Fabiana Fournier, Lior Limonad +11
AI-Augmented Business Process Management Systems (ABPMSs) are an emerging class of process-aware information systems, empowered by trustworthy AI technology. An ABPMS enhances the…