Search Results for author: Alin Deutsch

Found 3 papers, 3 papers with code

VERIFAS: A Practical Verifier for Artifact Systems

1 code implementation29 May 2017 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 body of research in academia, focused primarily on static analysis.

Databases Logic in Computer Science

SpinArt: A Spin-based Verifier for Artifact Systems

1 code implementation26 May 2017 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 body of research in academia, focused primarily on static analysis.

Databases Formal Languages and Automata Theory

Verification of Hierarchical Artifact Systems

1 code implementation4 Apr 2016 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 body of research in academia, focused primarily on static analysis.

Databases

Cannot find the paper you are looking for? You can Submit a new open access paper.