22 citations · 49 across the 4 of their papers we have counts for
4 papers
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…
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…
Research Directions for Principles of Data Management (Dagstuhl Perspectives Workshop 16151)
Serge Abiteboul, Marcelo Arenas, Pablo Barceló +18
In April 2016, a community of researchers working in the area of Principles of Data Management (PDM) joined in a workshop at the Dagstuhl Castle in Germany. The workshop was organi…
Verification of Hierarchical Artifact Systems
Alin Deutsch, Yuliang Li, 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…