Search Results for author:
Found 2 papers, 0 papers with code
Relational Action Bases: Formalization, Effective Safety Verification, and Invariants (Extended Version)
Modeling and verification of dynamic systems operating over a relational representation of states are increasingly investigated problems in AI, Business Process Management, and Database Theory.
Petri Nets with Parameterised Data: Modelling and Verification (Extended Version)
During the last decade, various approaches have been put forward to integrate business processes with different types of data.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
