Gonzalo Argote-Garcia

Optimizing Secure Collaboration Transactions for Modern Information Systems

Peter J. Clarke, Raimund K. Ege, Richard Whittaker, 2008, Third International Conference on Systems (icons 2008).

Evaluating test adequacy coverage of high level petri nets using spin

Peter J. Clarke, Xudong He, Gonzalo Argote-Garcia, 2008, AST '08.

Achieving a Better Middleware Design through Formal Modeling and Analysis

Yi Deng, Xudong He, Tianjun Shi, 2006, SEKE.

A methodology for evaluating test coverage criteria of high levelPetri nets

Peter J. Clarke, Xudong He, Gonzalo Argote-Garcia, 2009, Inf. Softw. Technol..

Decentralized mediation security

Peter J. Clarke, Raimund K. Ege, Richard Whittaker, 2008, 2008 IEEE International Symposium on Parallel and Distributed Processing.

An Approach to Validating Translation Correctness From SAM to Java

Yujian Fu, Zhijiang Dong, Xudong He, 2007, SEKE.

A Formal Approach for Translating a SAM Architecture to PROMELA

Peter J. Clarke, Yujian Fu, Xudong He, 2008, SEKE.

Collaboration Security for Modern Information Systems

Peter J. Clarke, Raimund K. Ege, Richard Whittaker, 2006, SECRYPT.