@article{6152148,
  title = "Using Propositional Logic for Requirements Verification of Service Workflow",
  author = "Xu, L.D. and Viriyasitavat, W. and Ruchikachorn, P. and Martin, A.",
  year = "2012",
  issn = "1551-3203",
  journal = "Industrial Informatics, IEEE Transactions on",
  number = "99",
  pages = "1",
  volume = "PP",
  doi = "10.1109/TII.2012.2187908",
}
@article{6121946,
  title = "SWSpec: The Requirements Specification Language in Service Workflow Environments",
  author = "Viriyasitavat, W. and Martin, A. and Xu, L.",
  year = "2012",
  issn = "1551-3203",
  journal = "Industrial Informatics, IEEE Transactions on",
  number = "99",
  pages = "1",
  volume = "PP",
  doi = "10.1109/TII.2011.2182519",
}
@article{5989901,
  title = "A Survey of Trust in Workflows and Relevant Contexts",
  author = "Viriyasitavat, W. and Martin, A.",
  year = "2011",
  issn = "1553-877X",
  journal = "Communications Surveys Tutorials, IEEE",
  number = "99",
  pages = "1 -30",
  volume = "PP",
  doi = "10.1109/SURV.2011.072811.00081",
}
@inproceedings{conf/iceis/ViriyasitavatM11,
  title = "Formalizing Trust Requirements and Specification in Service Workflow Environments.",
  author = "Viriyasitavat, Wattana and Martin, Andrew",
  year = "2011",
  booktitle = "ICEIS (3)",
  editor = "Zhang, Runtong and Cordeiro, Jos� and Li, Xuewei and Zhang, Zhenji and Zhang, Juliang",
  isbn = "978-989-8425-55-3",
  keywords = "dblp",
  pages = "196-206",
  publisher = "SciTePress",
  url = "http://dblp.uni-trier.de/db/conf/iceis/iceis2011-3.html#ViriyasitavatM11",
}
@incollection{springerlink:10.1007/978-3-642-25327-0_42,
  title = "In the Relation of Workflow and Trust Characteristics, and Requirements in Service Workflows",
  author = "Viriyasitavat, Wattana and Martin, Andrew",
  year = "2011",
  affiliation = "Department of Computer Science, University of Oxford, Oxford, UK",
  booktitle = "Informatics Engineering and Information Science",
  editor = "Abd Manaf and Azizah and Zeki, Akram and Zamani, Mazdak and Chuprat, Suriayati and El-Qawasmeh, Eyas",
  isbn = "978-3-642-25327-0",
  note = "10.1007/978-3-642-25327-0_42",
  pages = "492-506",
  publisher = "Springer Berlin Heidelberg",
  series = "Communications in Computer and Information Science",
  url = "http://dx.doi.org/10.1007/978-3-642-25327-0_42",
  volume = "251",
}
@inproceedings{5703598,
  title = "Formal Trust Specification in Service Workflows",
  author = "Viriyasitavat, W. and Martin, A.",
  year = "2010",
  booktitle = "Embedded and Ubiquitous Computing (EUC), 2010 IEEE/IFIP 8th International Conference on",
  keywords = "Euclidean distance;Internet;Web services;algebraic operators;cloud computing;formal trust specification;grid computing;matched trust value;service workflows;trust transitivity;virtual interoperation;Web services;cloud computing;formal specification;grid computing;security of data;",
  month = "dec.",
  pages = "703 -710",
  doi = "10.1109/EUC.2010.111",
}
@inproceedings{5190638,
  title = "Modeling Delegation in Requirements-Driven Trust Framework",
  author = "Viriyasitavat, W.",
  year = "2009",
  booktitle = "Services - I, 2009 World Conference on",
  keywords = "access control policy mapping;global dynamic interoperation;hierarchical elementary net system;holistic requirement-based trust framework;interoperation domain;service delegation;service distribution;service sharing;service workflow;trust propagation;Web services;authorisation;",
  month = "july",
  pages = "522 -529",
  doi = "10.1109/SERVICES-I.2009.88",
}