• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 58 matches

• 2024
• 
  Zhen Li, Zining Cao, Fujun Wang, Chao Xing:
  A Modeling and Verification Method of Cyber-Physical Systems Based on AADL and Process Algebra. Int. J. Softw. Eng. Knowl. Eng. 34(1): 49-89 (2024)
• 
  Zhen Li, Zining Cao, Fujun Wang, Chao Xing:
  Specification and counterexample generation for cyber-physical systems. Soft Comput. 28(17-18): 9137-9155 (2024)
• 
  Zhen Li, Zining Cao, Chao Xing:
  Performance modeling and quantitative evaluation for cyber-physical systems based on LTS. J. Supercomput. 80(4): 5616-5653 (2024)
• 
  Zining Wan, Jiahong Zhang, Lihong Cao:
  A Brain-inspired Method for Occluded 3D Object Recognition. IJCNN 2024: 1-8
• 2023
• 
  Fujun Wang, Zining Cao, Zhen Li, Chao Xing, Hui Zong:
  Path Generation for a Given Performance Evaluation Value Interval by Modifying Bat Algorithm with Heuristic. Int. J. Softw. Eng. Knowl. Eng. 33(5): 787-814 (2023)
• 
  Zhengling Guo, Zining Cao:
  Combined Formal Modeling and Model Transformation Based on AADL and Object-Z. J. Softw. 18(4): 185-199 (2023)
• 2022
• 
  Fujun Wang, Zining Cao, Lixing Tan, Zhen Li:
  Formal Modeling and Performance Evaluation for Hybrid Systems: A Probabilistic Hybrid Process Algebra-Based Approach. Int. J. Softw. Eng. Knowl. Eng. 32(2): 283-315 (2022)
• 2021
• 
  Xinwen Hu, Yi Zhuang, Shangwei Lin, Fuyuan Zhang, Shuanglong Kan, Zining Cao:
  A security type verifier for smart contracts. Comput. Secur. 108: 102343 (2021)
• 
  Mingguang Hu, Zining Cao, Fujun Wang, Weiwei Lu:
  Counterexample generation in CPS model checking based on ARSG algorithm. Int. J. Comput. Sci. Eng. 24(3): 312-321 (2021)
• 
  Huai Cao, Juanjuan Feng, Jihao Xu, Zining Liu:
  Insight into the Needs of Mobile Performance Speakers Based on Multimodal Sensory User Experience. AHFE (17) 2021: 774-783
• 
  Huai Cao, Jihao Xu, Zining Liu, Juanjuan Feng:
  Brand Image Building of Intangible Cultural Heritage Wulo Based on Service Design Thinking. AHFE (8) 2021: 444-455
• 
  Fujun Wang, Zining Cao, Shuya Wang, Hui Zong, Weiwei Lu:
  A Language for Performance Evaluation Based on the Combination of CTRML and MMTD and Its Algorithm. ISKE 2021: 95-100
• 2020
• 
  Fujun Wang, Zining Cao, Lixing Tan, Hui Zong:
  Survey on Learning-Based Formal Methods: Taxonomy, Applications and Possible Future Directions. IEEE Access 8: 108561-108578 (2020)
• 
  Yifeng Zhu, Zining Cao, Fujun Wang, Weiwei Lu:
  AADL and Modelica model combination and model conversion based on CPS. EITCE 2020: 1136-1140
• 
  Mingguang Hu, Zining Cao:
  LRx: Specification Mining based on Logistic Regression. ICMSS 2020: 68-72
• 
  Songpeng Zhang, Yi Zhuang, Zining Cao:
  Intelligent Medical Security Framework of Body Area Network Based on Fog Computing. SpaCCS 2020: 356-366
• 
  Fujun Wang, Zining Cao, Lixing Tan, Zhen Li:
  Formal modeling and performance evaluation for hybrid systems: a probabilistic hybrid process algebra-based approach. CoRR abs/2012.12716 (2020)
• 2019
• 
  Yan Ma, Zining Cao, Yang Liu:
  A Probabilistic Assume-Guarantee Reasoning Framework Based on Genetic Algorithm. IEEE Access 7: 83839-83851 (2019)
• 
  Yan Ma, Zining Cao, Yang Liu:
  A PSO-Based CEGAR Framework for Stochastic Model Checking. Int. J. Softw. Eng. Knowl. Eng. 29(10): 1465-1495 (2019)
• 
  Hui Zong, Renfeng Hua, Jianyang Zhao, Zining Cao:
  Parallel Monte Carlo Integration Algorithm Based on GPU. ISKE 2019: 790-794
• 
  Yan Ma, Zining Cao, Yang Liu:
  Genetic Algorithm-Based Assume-Guarantee Reasoning for Stochastic Model Checking. SERA 2019: 124-127
• 2017
• 
  Fugao Zhang, Zining Cao:
  The Formal Transformation of AADL Based on Z-CoIA. ICCCS (2) 2017: 816-822
• 
  Xinwen Hu, Yi Zhuang, Zining Cao, Tong Ye, Mi Li:
  Modeling and validation for embedded software confidentiality and integrity. ISKE 2017: 1-6
• 
  Yan Ma, Zining Cao, Yang Liu:
  A specification with performance evaluation for probabilistic timed automata. ISKE 2017: 1-8
• 2016
• 
  Yan Ma, Zining Cao, Yang Liu:
  Counterexample Generation in Stochastic Model Checking Based on PSO Algorithm with Heuristic. Int. J. Softw. Eng. Knowl. Eng. 26(7): 1117-1144 (2016)
• 2015
• 
  Siru Ni, Yi Zhuang, Zining Cao, Xiangying Kong:
  Modeling Dependability Features for Real-Time Embedded Systems. IEEE Trans. Dependable Secur. Comput. 12(2): 190-203 (2015)
• 2014
• 
  Guozheng Li, Zining Cao, Zheng Gao:
  Refinement Checking for Multirate Hybrid ZIA. CoRR abs/1410.3773 (2014)
• 2013
• 
  Zining Cao:
  Normal Bisimulation for Higher Order Pi-Calculus with Unguarded Choice. TASE 2013: 217-224
• 
  Zining Cao:
  Normal Bisimulation for Higher Order Pi-Calculus with Unguarded Choice. TASE 2013: 213-220
• 2012
• 
  Zining Cao:
  More on bisimulations for higher order π-calculus. Theor. Comput. Sci. 446: 1-19 (2012)

skipping 28 more matches