Gonzalo Argote-Garcia
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
2006–2008
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2008 | ICSE | Evaluating Test Adequacy Coverage of High Level Petri Nets Using Spin. | Junhua Ding, Gonzalo Argote-Garcia, Peter J. Clarke, Xudong He |
| 2008 | SEKE | A Formal Approach for Translating a SAM Architecture to PROMELA. | Gonzalo Argote-Garcia, Peter J. Clarke, Xudong He, Yujian Fu, Leyuan Shi |
| 2007 | SEKE | An Approach to Validating Translation Correctness From SAM to Java. | Yujian Fu, Zhijiang Dong, Gonzalo Argote-Garcia, Leyuan Shi, Xudong He |
| 2006 | SEKE | Achieving a Better Middleware Design through Formal Modeling and Analysis. | Weixiang Sun, Tianjun Shi, Gonzalo Argote-Garcia, Yi Deng, Xudong He |
| 2006 | SECRYPT | Collaboration Security for Modern Information Systems. | Richard Whittaker, Gonzalo Argote-Garcia, Peter J. Clarke, Raimund K. Ege |