| 2007 |
|---|
| 5 | EE | Yuxin Deng,
Rob J. van Glabbeek,
Carroll Morgan,
Chenyi Zhang:
Scalar Outcomes Suffice for Finitary Probabilistic Testing.
ESOP 2007: 363-378 |
| 4 | EE | Yuxin Deng,
Rob J. van Glabbeek,
Matthew Hennessy,
Carroll Morgan,
Chenyi Zhang:
Characterising Testing Preorders for Finite Probabilistic Processes.
LICS 2007: 313-325 |
| 3 | EE | Ron van der Meyden,
Chenyi Zhang:
Algorithmic Verification of Noninterference Properties.
Electr. Notes Theor. Comput. Sci. 168: 61-75 (2007) |
| 2 | EE | Yuxin Deng,
Rob J. van Glabbeek,
Matthew Hennessy,
Carroll Morgan,
Chenyi Zhang:
Remarks on Testing Probabilistic Processes.
Electr. Notes Theor. Comput. Sci. 172: 359-397 (2007) |
| 2006 |
|---|
| 1 | EE | Ron van der Meyden,
Chenyi Zhang:
A Comparison of Semantic Models for Noninterference.
Formal Aspects in Security and Trust 2006: 235-249 |
