Wattana Viriyasitavat

Using Propositional Logic for Requirements Verification of Service Workflow

L.D. Xu‚ W. Viriyasitavat‚ P. Ruchikachorn and A. Martin

In Industrial Informatics‚ IEEE Transactions on. Vol. PP. No. 99. Pages 1. , 2012.

Details | BibTeX | DOI (10.1109/TII.2012.2187908)

SWSpec: The Requirements Specification Language in Service Workflow Environments

W. Viriyasitavat‚ A. Martin and L. Xu

In Industrial Informatics‚ IEEE Transactions on. Vol. PP. No. 99. Pages 1. 2012.

Details | BibTeX | DOI (10.1109/TII.2011.2182519)

A Survey of Trust in Workflows and Relevant Contexts

W. Viriyasitavat and A. Martin

In Communications Surveys Tutorials‚ IEEE. Vol. PP. No. 99. Pages 1 −30. 2011.

Details | BibTeX | DOI (10.1109/SURV.2011.072811.00081)