| 2008 |
|---|
| 7 | EE | Ron van der Meyden,
Chenyi Zhang:
Information Flow in Systems with Schedulers.
CSF 2008: 301-312 |
| 6 | EE | Bernhard Scholz,
Chenyi Zhang,
Cristina Cifuentes:
User-Input Dependence Analysis via Graph Reachability.
SCAM 2008: 25-34 |
| 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 |
