22 citations · 53 across the 10 of their papers we have counts for
Showing 2017 · cs.DBShow all
2 papers · 2 filters
cs.DB2017★ 11 cited
VERIFAS: A Practical Verifier for Artifact Systems
Yuliang Li, Alin Deutsch, Victor Vianu
Data-driven workflows, of which IBM's Business Artifacts are a prime exponent, have been successfully deployed in practice, adopted in industrial standards, and have spawned a rich…
cs.DB2017★ 2 cited
SpinArt: A Spin-based Verifier for Artifact Systems
Yuliang Li, Alin Deutsch, Victor Vianu
Data-driven workflows, of which IBM's Business Artifacts are a prime exponent, have been successfully deployed in practice, adopted in industrial standards, and have spawned a rich…