22 citations · 53 across the 10 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
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…