Zining Cao - RankMe

60 papers A 1B 4C 7Misc 8Journal 25Unranked 15

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	A framework for mining CPS specification based on neural hybrid automata. Knowl. Based Syst. Chao Xing, Zining Cao, Zhen Li
2025	J	`jnl`	A Complete Epistemic Temporal Logic for Intelligent Agent. CoRR Zining Cao
2025	J	`jnl`	Controller synthesis method for multi-agent system based on temporal logic specification. CoRR Ruohan Huang, Zining Cao
2025	J	`jnl`	Model Checking for Multi-Agent Systems Modeled By Epistemic Process Calculus. CoRR Qixian Yu, Zining Cao, Zong Hui, Yuan Zhou
2025	J	`jnl`	On Higher Order Busy Beaver Function. CoRR Zining Cao
2024	J	`jnl`	A Formal Language for Performance Evaluation Based on Reinforcement Learning. Int. J. Softw. Eng. Knowl. Eng. Fujun Wang, Lixing Tan, Zining Cao, Yan Ma, Li Zhang
2024	J	`jnl`	A Modeling and Verification Method of Cyber-Physical Systems Based on AADL and Process Algebra. Int. J. Softw. Eng. Knowl. Eng. Zhen Li, Zining Cao, Fujun Wang, Chao Xing
2024	J	`jnl`	Performance modeling and quantitative evaluation for cyber-physical systems based on LTS. J. Supercomput. Zhen Li, Zining Cao, Chao Xing
2024	J	`jnl`	Specification and counterexample generation for cyber-physical systems. Soft Comput. Zhen Li, Zining Cao, Fujun Wang, Chao Xing
2023	J	`jnl`	Combined Formal Modeling and Model Transformation Based on AADL and Object-Z. J. Softw. Zhengling Guo, Zining Cao
2023	J	`jnl`	Path Generation for a Given Performance Evaluation Value Interval by Modifying Bat Algorithm with Heuristic. Int. J. Softw. Eng. Knowl. Eng. Fujun Wang, Zining Cao, Zhen Li, Chao Xing, Hui Zong
2022	J	`jnl`	Formal Modeling and Performance Evaluation for Hybrid Systems: A Probabilistic Hybrid Process Algebra-Based Approach. Int. J. Softw. Eng. Knowl. Eng. Fujun Wang, Zining Cao, Lixing Tan, Zhen Li
2021	Misc	`conf`	A Language for Performance Evaluation Based on the Combination of CTRML and MMTD and Its Algorithm. ISKE Fujun Wang, Zining Cao, Shuya Wang, Hui Zong, Weiwei Lu
2021	J	`jnl`	A security type verifier for smart contracts. Comput. Secur. Xinwen Hu, Yi Zhuang, Shangwei Lin, Fuyuan Zhang, Shuanglong Kan, Zining Cao
2021	J	`jnl`	Counterexample generation in CPS model checking based on ARSG algorithm. Int. J. Comput. Sci. Eng. Mingguang Hu, Zining Cao, Fujun Wang, Weiwei Lu
2020	—	`conf`	AADL and Modelica model combination and model conversion based on CPS. EITCE Yifeng Zhu, Zining Cao, Fujun Wang, Weiwei Lu
2020	J	`jnl`	Formal modeling and performance evaluation for hybrid systems: a probabilistic hybrid process algebra-based approach. CoRR Fujun Wang, Zining Cao, Lixing Tan, Zhen Li
2020	—	`conf`	Intelligent Medical Security Framework of Body Area Network Based on Fog Computing. SpaCCS Songpeng Zhang, Yi Zhuang, Zining Cao
2020	—	`conf`	LRx: Specification Mining based on Logistic Regression. ICMSS Mingguang Hu, Zining Cao
2020	J	`jnl`	Survey on Learning-Based Formal Methods: Taxonomy, Applications and Possible Future Directions. IEEE Access Fujun Wang, Zining Cao, Lixing Tan, Hui Zong
2019	J	`jnl`	A PSO-Based CEGAR Framework for Stochastic Model Checking. Int. J. Softw. Eng. Knowl. Eng. Yan Ma, Zining Cao, Yang Liu
2019	J	`jnl`	A Probabilistic Assume-Guarantee Reasoning Framework Based on Genetic Algorithm. IEEE Access Yan Ma, Zining Cao, Yang Liu
2019	C	`conf`	Genetic Algorithm-Based Assume-Guarantee Reasoning for Stochastic Model Checking. SERA Yan Ma, Zining Cao, Yang Liu
2019	Misc	`conf`	Parallel Monte Carlo Integration Algorithm Based on GPU. ISKE Hui Zong, Renfeng Hua, Jianyang Zhao, Zining Cao
2017	Misc	`conf`	A specification with performance evaluation for probabilistic timed automata. ISKE Yan Ma, Zining Cao, Yang Liu
2017	Misc	`conf`	Modeling and validation for embedded software confidentiality and integrity. ISKE Xinwen Hu, Yi Zhuang, Zining Cao, Tong Ye, Mi Li
2017	—	`conf`	The Formal Transformation of AADL Based on Z-CoIA. ICCCS (2) Fugao Zhang, Zining Cao
2016	J	`jnl`	Counterexample Generation in Stochastic Model Checking Based on PSO Algorithm with Heuristic. Int. J. Softw. Eng. Knowl. Eng. Yan Ma, Zining Cao, Yang Liu
2015	J	`jnl`	Modeling Dependability Features for Real-Time Embedded Systems. IEEE Trans. Dependable Secur. Comput. Siru Ni, Yi Zhuang, Zining Cao, Xiangying Kong
2014	J	`jnl`	Refinement Checking for Multirate Hybrid ZIA. CoRR Guozheng Li, Zining Cao, Zheng Gao
2013	Misc	`conf`	Normal Bisimulation for Higher Order Pi-Calculus with Unguarded Choice. TASE Zining Cao
2013	Misc	`conf`	Normal Bisimulation for Higher Order Pi-Calculus with Unguarded Choice. TASE Zining Cao
2012	Misc	`conf`	A Calculus of Higher Order Safe Ambients and Its Bisimulations. TASE Zining Cao
2012	C	`conf`	Modal ZIA, Modal Refinement Relation and Logical Characterization. SEKE Zining Cao
2012	J	`jnl`	More on bisimulations for higher order π-calculus. Theor. Comput. Sci. Zining Cao
2011	—	`conf`	Extending Interface Automata with Z Notation. FSEN Zining Cao, Hui Wang
2011	B	`conf`	Hybrid ZIA and its Approximated Refinement Relation. ENASE Zining Cao, Hui Wang
2011	J	`jnl`	Unified Modelling Functional and Non-Functional Aspects of Web Services Composition Using PTCCS 1. Int. J. Web Serv. Res. Fangxiong Xiao, Zhiqiu Huang, Zining Cao, Jun Hu, Linyuan Liu, Min Yuan
2010	—	`conf`	An MDE Based Approach for Generating Software Architecture Models from Formal Specifications. QSIC Yi Zhu, Zhiqiu Huang, Zining Cao, Hang Zhou, Min Yuan
2010	Misc	`conf`	Bisimulations for Open Processes in Higher Order p-Calculus. TASE Zining Cao
2010	—	`conf`	Model Checking LOOP Programs. Software Engineering Research and Practice Zining Cao
2010	J	`jnl`	Reducing Higher Order Pi-Calculus to Spatial Logics CoRR Zining Cao
2010	C	`conf`	Refinement Checking for Interface Automata with Z Notation. SEKE Zining Cao
2009	C	`conf`	A True Concurrent Process Calculus and Its Conflict Bisimulation. SNPD Zining Cao
2009	—	`conf`	Distributed Viewpoint Equivalences for Higher Order Processes. CSIE (7) Zining Cao
2009	A	`conf`	Modeling Cost-Aware Web Services Composition Using PTCCS. ICWS Fangxiong Xiao, Zhiqiu Huang, Zining Cao, Jun Hu, Linyuan Liu
2008	C	`conf`	A Logic for Distributed Higher Order pi-Calculus. TAMC Zining Cao
2008	—	`conf`	Counterexample Generation for Probabilistic Timed Automata Model Checking. CSSE (2) Junhua Zhang, Zhiqiu Huang, Zining Cao, Fangxiong Xiao
2008	C	`conf`	Equivalence Checking for a Finite Higher Order pi-Calculus. TAP Zining Cao
2007	C	`conf`	Bisimulations for a Distributed Higher Order ICTAC Zining Cao
2007	—	`conf`	Towards an Epistemic Logic for Uncertain Agents. CEEMAS Zining Cao
2006	—	`conf`	A Complete Probabilistic Belief Logic. CLIMA Zining Cao
2006	—	`conf`	A Spatial Logical Characterisation of Context Bisimulation. ASIAN Zining Cao
2006	B	`conf`	Model Checking for Epistemic and Temporal Properties of Uncertain Agents. PRIMA Zining Cao
2006	—	`conf`	Model Checking for Real-Time Temporal, Cooperation and Epistemic Properties. IIP Zining Cao
2006	B	`conf`	More on Bisimulations for Higher Order FoSSaCS Zining Cao
2006	—	`conf`	Representing and Verifying Temporal Epistemic Properties in Multi-Agent Systems. CLIMA Zining Cao
2006	—	`conf`	Verifying Real-Time Temporal, Cooperation and Epistemic Properties for Uncertain Agents. MICAI Zining Cao
2004	B	`conf`	A Uniform Reduction Equivalence for Process Calculi. APLAS Zining Cao
2003	J	`jnl`	Probabilistic Belief Logic and Its Probabilistic Aumann Semantics. J. Comput. Sci. Technol. Zining Cao, Chunyi Shi