Chenyi Zhang - RankMe

59 papers A* 3A 5B 3C 7Misc 2Journal 28Unranked 10

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Anomaly Detection Based on Critical Paths for Deep Neural Networks. CoRR Fangzhen Zhao, Chenyi Zhang, Naipeng Dong, Ming Li, Jinxiao Shan
2025	A	`conf`	Automatic Verification of Linear Integer Planning Programs via Forgetting in LIAUPF. AAMAS Liangda Fang, Shikang Chen, Xiaoman Wang, Xiaoyou Lin, Chenyi Zhang, Qingliang Chen, Quanlong Guan, Kaile Su
2025	J	`jnl`	Monotonic learning in the PAC framework: A new perspective. Knowl. Based Syst. Ming Li, Chenyi Zhang, Qin Li
2024	J	`jnl`	Call-Graph-Based Context-Sensitive Points-to Analysis for Java. IEEE Trans. Reliab. Yulin Bao, Chenyi Zhang, Kaile Su
2023	J	`jnl`	Adversarial Detection from Derived Models. Int. J. Pattern Recognit. Artif. Intell. Fangzhen Zhao, Chenyi Zhang, Naipeng Dong, Ming Li
2023	J	`jnl`	Monotonic learning with hypothesis evolution. Inf. Sci. Ming Li, Chenyi Zhang, Qin Li, Shuangqin Cheng
2022	J	`jnl`	A Mask-Based Adversarial Defense Scheme. Algorithms Weizhen Xu, Chenyi Zhang, Fangzhen Zhao, Liangda Fang
2022	J	`jnl`	A Mask-Based Adversarial Defense Scheme. CoRR Weizhen Xu, Chenyi Zhang, Fangzhen Zhao, Liangda Fang
2022	J	`jnl`	A Uniform Framework for Anomaly Detection in Deep Neural Networks. Neural Process. Lett. Fangzhen Zhao, Chenyi Zhang, Naipeng Dong, Zefeng You, Zhenxin Wu
2022	J	`jnl`	Modal characterisation of simulation relations in probabilistic concurrent games. Sci. Comput. Program. Chenyi Zhang, Jun Pang
2022	B	`conf`	Parameter Sensitive Pointer Analysis for Java. ICECCS Yulin Bao, Chenyi Zhang, Xilong Zhuo, Yongliang Wang
2022	C	`conf`	Taint Trace Analysis For Java Web Applications. SEKE Yaju Li, Chenyi Zhang, Qin Li
2021	J	`jnl`	A Uniform Framework for Anomaly Detection in Deep Neural Networks. CoRR Fangzhen Zhao, Chenyi Zhang, Naipeng Dong, Zefeng You, Zhenxin Wu
2020	Misc	`conf`	Characterising Probabilistic Alternating Simulation for Concurrent Games. TASE Chenyi Zhang, Jun Pang
2020	J	`jnl`	Minimal consistent DFA from sample strings. Acta Informatica Chenyi Zhang
2020	A	`conf`	Nontransitive Security Types for Coarse-grained Information Flow Control. CSF Yi Lu, Chenyi Zhang
2020	J	`jnl`	Preface for the special issue of the 12th International Symposium on Theoretical Aspects of Software Engineering (TASE 2018). Sci. Comput. Program. Chenyi Zhang, Jun Pang
2020	J	`jnl`	TFA: an efficient and precise virtual method call resolution for Java. Formal Aspects Comput. Xilong Zhuo, Chenyi Zhang
2019	C	`conf`	A Relational Static Semantics for Call Graph Construction. ICFEM Xilong Zhuo, Chenyi Zhang
2019	J	`jnl`	A Relational Static Semantics for Call Graph Construction. CoRR Xilong Zhuo, Chenyi Zhang
2019	J	`jnl`	Characterising Probabilistic Alternating Simulation for Concurrent Games. CoRR Chenyi Zhang, Jun Pang
2018	Misc	`ed.`	2018 International Symposium on Theoretical Aspects of Software Engineering, TASE 2018, Guangzhou, China, August 29-31, 2018 TASE Jun Pang, Chenyi Zhang, Jifeng He, Jian Weng
2018	J	`jnl`	Reference Abstract Domains and Applications to String Analysis. Fundam. Informaticae Roberto Amadini, Graeme Gange, François Gauthier, Alexander Jordan, Peter Schachte, Harald Søndergaard, Peter J. Stuckey, Chenyi Zhang
2017	—	`conf`	Combining String Abstract Domains for JavaScript Analysis: An Evaluation. TACAS (1) Roberto Amadini, Alexander Jordan, Graeme Gange, François Gauthier, Peter Schachte, Harald Søndergaard, Peter J. Stuckey, Chenyi Zhang
2017	C	`conf`	Improving the Scalability of Automatic Linearizability Checking in SPIN. ICFEM Patrick Doolan, Graeme Smith, Chenyi Zhang, Padmanabhan Krishnan
2016	J	`jnl`	The complexity of synchronous notions of information flow security. Theor. Comput. Sci. Franck Cassez, Ron van der Meyden, Chenyi Zhang
2015	J	`jnl`	An I/O Efficient Approach for Detecting All Accepting Cycles. IEEE Trans. Software Eng. Lijun Wu, Kaile Su, Shaowei Cai, Xiaosong Zhang, Chenyi Zhang, Shupeng Wang
2014	J	`jnl`	The Complexity of Synchronous Notions of Information Flow Security. CoRR Franck Cassez, Ron van der Meyden, Chenyi Zhang
2013	J	`jnl`	Design and formal verification of a CEM protocol with transparent TTP. Frontiers Comput. Sci. Zhiyuan Liu, Jun Pang, Chenyi Zhang
2013	J	`jnl`	Information flow in systems with schedulers, Part I: Definitions. Theor. Comput. Sci. Ron van der Meyden, Chenyi Zhang
2013	J	`jnl`	Information flow in systems with schedulers, Part II: Refinement. Theor. Comput. Sci. Ron van der Meyden, Chenyi Zhang
2013	C	`conf`	Path-Sensitive Data Flow Analysis Simplified. ICFEM Kirsten Winter, Chenyi Zhang, Ian J. Hayes, Nathan Keynes, Cristina Cifuentes, Lian Li
2012	A	`conf`	A Type and Effect System for Determinism in Multithreaded Programs. ESOP Yi Lu, John Potter, Chenyi Zhang, Jingling Xue
2012	J	`jnl`	A trust-augmented voting scheme for collaborative privacy management. J. Comput. Secur. Yanjie Sun, Chenyi Zhang, Jun Pang, Baptiste Alcalde, Sjouke Mauw
2012	B	`conf`	An Algorithm for Probabilistic Alternating Simulation. SOFSEM Chenyi Zhang, Jun Pang
2012	J	`jnl`	Game-based verification of contract signing protocols with minimal messages. Innov. Syst. Softw. Eng. Ying Zhang, Chenyi Zhang, Jun Pang, Sjouke Mauw
2012	A*	`conf`	Intransitive noninterference in nondeterministic systems. CCS Kai Engelhardt, Ron van der Meyden, Chenyi Zhang
2012	A*	`conf`	Probabilistic Alternating-Time Temporal Logic of Incomplete Information and Synchronous Perfect Recall. AAAI Xiaowei Huang, Kaile Su, Chenyi Zhang
2012	C	`conf`	Translating flowcharts to non-deterministic languages. PEPM Surinder Kumar Jain, Chenyi Zhang, Bernhard Scholz
2011	J	`jnl`	An Algorithm for Probabilistic Alternating Simulation CoRR Chenyi Zhang, Jun Pang
2011	—	`conf`	Conditional Information Flow Policies and Unwinding Relations. TGC Chenyi Zhang
2010	—	`conf`	A Trust-Augmented Voting Scheme for Collaborative Privacy Management. STM Yanjie Sun, Chenyi Zhang, Jun Pang, Baptiste Alcalde, Sjouke Mauw
2010	J	`jnl`	A comparison of semantic models for noninterference. Theor. Comput. Sci. Ron van der Meyden, Chenyi Zhang
2010	C	`conf`	Extending a Key-Chain Based Certified Email Protocol with Transparent TTP. EUC Zhiyuan Liu, Jun Pang, Chenyi Zhang
2010	J	`jnl`	On Probabilistic Alternating Simulations CoRR Chenyi Zhang, Jun Pang
2010	—	`conf`	On Probabilistic Alternating Simulations. IFIP TCS Chenyi Zhang, Jun Pang
2010	B	`conf`	The Complexity of Synchronous Notions of Information Flow Security. FoSSaCS Franck Cassez, Ron van der Meyden, Chenyi Zhang
2010	J	`jnl`	Unwinding Conditional Noninterference CoRR Chenyi Zhang
2010	—	`conf`	Verification of A Key Chain Based TTP Transparent CEM Protocol. TTSS Zhiyuan Liu, Jun Pang, Chenyi Zhang
2009	—	`conf`	Game-Based Verification of Multi-Party Contract Signing Protocols. Formal Aspects in Security and Trust Ying Zhang, Chenyi Zhang, Jun Pang, Sjouke Mauw
2009	—	`conf`	How to Work with Honest but Curious Judges? (Preliminary Report) SECCO Jun Pang, Chenyi Zhang
2009	—	`—`	Information flow security - models, verification and schedulers. Chenyi Zhang
2008	A	`conf`	Information Flow in Systems with Schedulers. CSF Ron van der Meyden, Chenyi Zhang
2008	C	`conf`	User-Input Dependence Analysis via Graph Reachability. SCAM Bernhard Scholz, Chenyi Zhang, Cristina Cifuentes
2007	A*	`conf`	Characterising Testing Preorders for Finite Probabilistic Processes. LICS Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan, Chenyi Zhang
2007	—	`conf`	Remarks on Testing Probabilistic Processes. Computation, Meaning, and Logic Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan, Chenyi Zhang
2007	A	`conf`	Scalar Outcomes Suffice for Finitary Probabilistic Testing. ESOP Yuxin Deng, Rob J. van Glabbeek, Carroll Morgan, Chenyi Zhang
2006	—	`conf`	A Comparison of Semantic Models for Noninterference. Formal Aspects in Security and Trust Ron van der Meyden, Chenyi Zhang
2006	—	`conf`	Algorithmic Verification of Noninterference Properties. VODCA@FOSAD Ron van der Meyden, Chenyi Zhang