Gonzalo Argote-Garcia

According to our database, Gonzalo Argote-Garcia authored at least 8 papers between 2006 and 2009.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2009

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

2008

A Formal Approach for Translating a SAM Architecture to PROMELA.

Gonzalo Argote-Garcia, Peter J. Clarke, Xudong He, Yujian Fu, Leyuan Shi

Proceedings of the Twentieth International Conference on Software Engineering & Knowledge Engineering (SEKE'2008), 2008

Decentralized mediation security.

Richard Whittaker, Gonzalo Argote-Garcia, Peter J. Clarke, Raimund K. Ege

Proceedings of the 22nd IEEE International Symposium on Parallel and Distributed Processing, 2008

Evaluating Test Adequacy Coverage of High Level Petri Nets Using Spin.

Junhua Ding, Gonzalo Argote-Garcia, Peter J. Clarke, Xudong He

Proceedings of the 3rd International Workshop on Automation of Software Test, 2008

Optimizing Secure Collaboration Transactions for Modern Information Systems.

Richard Whittaker, Gonzalo Argote-Garcia, Peter J. Clarke, Raimund K. Ege

Proceedings of the Third International Conference on Systems, 2008

2007

An Approach to Validating Translation Correctness From SAM to Java.

Yujian Fu, Zhijiang Dong, Gonzalo Argote-Garcia, Leyuan Shi, Xudong He

Proceedings of the Nineteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2007), 2007

2006

Achieving a Better Middleware Design through Formal Modeling and Analysis.

Weixiang Sun, Tianjun Shi, Gonzalo Argote-Garcia, Yi Deng, Xudong He

Proceedings of the Eighteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2006), 2006

Collaboration Security for Modern Information Systems.

Richard Whittaker, Gonzalo Argote-Garcia, Peter J. Clarke, Raimund K. Ege

Proceedings of the SECRYPT 2006, 2006