Gonzalo Argote-Garcia

Publication Activity (10 Years)

Years Active: 2006-2009
Publications (10 Years): 0

Publications

Junhua Ding, Peter J. Clarke, Gonzalo Argote-Garcia, Xudong He
A methodology for evaluating test coverage criteria of high levelPetri nets. Inf. Softw. Technol. 51 (11) (2009)
Richard Whittaker, Gonzalo Argote-Garcia, Peter J. Clarke, Raimund K. Ege
Optimizing Secure Collaboration Transactions for Modern Information Systems. ICONS (2008)
Junhua Ding, Gonzalo Argote-Garcia, Peter J. Clarke, Xudong He
Evaluating Test Adequacy Coverage of High Level Petri Nets Using Spin. AST (2008)
Richard Whittaker, Gonzalo Argote-Garcia, Peter J. Clarke, Raimund K. Ege
Decentralized mediation security. IPDPS (2008)
Gonzalo Argote-Garcia, Peter J. Clarke, Xudong He, Yujian Fu, Leyuan Shi
A Formal Approach for Translating a SAM Architecture to PROMELA. SEKE (2008)
Yujian Fu, Zhijiang Dong, Gonzalo Argote-Garcia, Leyuan Shi, Xudong He
An Approach to Validating Translation Correctness From SAM to Java. SEKE (2007)
Richard Whittaker, Gonzalo Argote-Garcia, Peter J. Clarke, Raimund K. Ege
Collaboration Security for Modern Information Systems. SECRYPT (2006)
Weixiang Sun, Tianjun Shi, Gonzalo Argote-Garcia, Yi Deng, Xudong He
Achieving a Better Middleware Design through Formal Modeling and Analysis. SEKE (2006)