 | 2009 |
|---|
| 7 |       | Junhua Ding,
Peter J. Clarke,
Gonzalo Argote-Garcia,
Xudong He:
A methodology for evaluating test coverage criteria of high levelPetri nets.
Information & Software Technology 51(11): 1520-1533 (2009) |
| 2008 |
|---|
| 6 | | Richard Whittaker,
Gonzalo Argote-Garcia,
Peter J. Clarke,
Raimund K. Ege:
Optimizing Secure Collaboration Transactions for Modern Information Systems.
ICONS 2008: 62-68 |
| 5 | | Richard Whittaker,
Gonzalo Argote-Garcia,
Peter J. Clarke,
Raimund K. Ege:
Decentralized mediation security.
IPDPS 2008: 1-6 |
| 4 |  | Gonzalo Argote-Garcia,
Peter J. Clarke,
Xudong He,
Yujian Fu,
Leyuan Shi:
A Formal Approach for Translating a SAM Architecture to PROMELA.
SEKE 2008: 440-447 |
| 2007 |
|---|
| 3 | | Yujian Fu,
Zhijiang Dong,
Gonzalo Argote-Garcia,
Leyuan Shi,
Xudong He:
An Approach to Validating Translation Correctness From SAM to Java.
SEKE 2007: 45- |
| 2006 |
|---|
| 2 | | Richard Whittaker,
Gonzalo Argote-Garcia,
Peter J. Clarke,
Raimund K. Ege:
Collaboration Security for Modern Information Systems.
SECRYPT 2006: 363-370 |
| 1 | | Weixiang Sun,
Tianjun Shi,
Gonzalo Argote-Garcia,
Yi Deng,
Xudong He:
Achieving a Better Middleware Design through Formal Modeling and Analysis.
SEKE 2006: 463-468 |
