Collaboration Security for Modern Information Systems. - Richard Whittaker; Gonzalo Argote-Garcia; Peter J. Clarke; Raimund K. Ege (SECRYPT, 2006)

Achieving a Better Middleware Design through Formal Modeling and Analysis. - Weixiang Sun; Tianjun Shi; Gonzalo Argote-Garcia; Yi Deng 001; Xudong He (SEKE, 2006)

An Approach to Validating Translation Correctness From SAM to Java. - Yujian Fu; Zhijiang Dong; Gonzalo Argote-Garcia; Leyuan Shi; Xudong He (SEKE, 2007)

Optimizing Secure Collaboration Transactions for Modern Information Systems. - Richard Whittaker; Gonzalo Argote-Garcia; Peter J. Clarke; Raimund K. Ege (ICONS, 2008)

Evaluating Test Adequacy Coverage of High Level Petri Nets Using Spin. - Junhua Ding; Gonzalo Argote-Garcia; Peter J. Clarke; Xudong He (AST, 2008)

Decentralized mediation security. - Richard Whittaker; Gonzalo Argote-Garcia; Peter J. Clarke; Raimund K. Ege (IPDPS, 2008)

A Formal Approach for Translating a SAM Architecture to PROMELA. - Gonzalo Argote-Garcia; Peter J. Clarke; Xudong He; Yujian Fu; Leyuan Shi (SEKE, 2008)

A methodology for evaluating test coverage criteria of high levelPetri nets. - Junhua Ding; Peter J. Clarke; Gonzalo Argote-Garcia; Xudong He (Inf. Softw. Technol., 2009)