| Characterising testing preorders for finite probabilistic processes Y Deng, M Hennessy, R van Glabbeek, C Morgan Logical Methods in Computer Science 4, 2008 | 125 | 2008 |
| User-input dependence analysis via graph reachability B Scholz, C Zhang, C Cifuentes 2008 Eighth IEEE International Working Conference on Source Code Analysis …, 2008 | 68 | 2008 |
| Algorithmic verification of noninterference properties R van der Meyden, C Zhang Electronic Notes in Theoretical Computer Science 168, 61-75, 2007 | 59 | 2007 |
| Remarks on testing probabilistic processes Y Deng, R van Glabbeek, M Hennessy, C Morgan, C Zhang Electronic Notes in Theoretical Computer Science 172, 359-397, 2007 | 49 | 2007 |
| Probabilistic alternating-time temporal logic of incomplete information and synchronous perfect recall X Huang, K Su, C Zhang Proceedings of the AAAI Conference on Artificial Intelligence 26 (1), 765-771, 2012 | 43 | 2012 |
| Combining string abstract domains for JavaScript analysis: An evaluation R Amadini, A Jordan, G Gange, F Gauthier, P Schachte, H Søndergaard, ... Tools and Algorithms for the Construction and Analysis of Systems: 23rd …, 2017 | 40 | 2017 |
| Scalar outcomes suffice for finitary probabilistic testing Y Deng, R van Glabbeek, C Morgan, C Zhang Programming Languages and Systems: 16th European Symposium on Programming …, 2007 | 37 | 2007 |
| Imparting cultural values to Chinese children through literature C Zhang, JW Morrison International Journal of Early Childhood 42, 7-26, 2010 | 26 | 2010 |
| A comparison of semantic models for noninterference R van der Meyden, C Zhang Theoretical Computer Science 411 (47), 4123-4147, 2010 | 25 | 2010 |
| Introduction of the AeroSUV-a new generic SUV model for aerodynamic research C Zhang, M Tanneberger, T Kuthada, F Wittmeier, J Wiedemann, J Nies SAE Technical Paper, 2019 | 21 | 2019 |
| Path-sensitive data flow analysis simplified K Winter, C Zhang, IJ Hayes, N Keynes, C Cifuentes, L Li International Conference on Formal Engineering Methods, 415-430, 2013 | 17 | 2013 |
| Information flow in systems with schedulers R van der Meyden, C Zhang 2008 21st IEEE Computer Security Foundations Symposium, 301-312, 2008 | 17 | 2008 |
| Intransitive noninterference in nondeterministic systems K Engelhardt, R Van Der Meyden, C Zhang Proceedings of the 2012 ACM conference on Computer and communications …, 2012 | 16 | 2012 |
| Game-Based Verification of Multi-Party Contract Signing Protocols Y Zhang, C Zhang, J Pang, S Mauw Formal Aspects in Security and Trust: 6th International Workshop, FAST 2009 …, 2010 | 15* | 2010 |
| A trust-augmented voting scheme for collaborative privacy management Y Sun, C Zhang, J Pang, B Alcalde, S Mauw Journal of Computer Security 20 (4), 437-459, 2012 | 14 | 2012 |
| A comparison of semantic models for noninterference R Van Der Meyden, C Zhang International Workshop on Formal Aspects in Security and Trust, 235-249, 2006 | 14 | 2006 |
| A uniform framework for anomaly detection in deep neural networks F Zhao, C Zhang, N Dong, Z You, Z Wu Neural Processing Letters 54 (4), 3467-3488, 2022 | 13 | 2022 |
| Reference abstract domains and applications to string analysis R Amadini, G Gange, F Gauthier, A Jordan, P Schachte, H Søndergaard, ... Fundamenta Informaticae 158 (4), 297-326, 2018 | 13 | 2018 |
| Method and system for fast static taint analysis BF Scholz, C Zhang, CN Cifuentes US Patent 8,327,339, 2012 | 12 | 2012 |
| Conditional information flow policies and unwinding relations C Zhang International Symposium on Trustworthy Global Computing, 227-241, 2011 | 10 | 2011 |
