BibTeX records: Zining Cao

download as .bib file

@article{DBLP:journals/ijseke/LiCWX24,
  author       = {Zhen Li and
                  Zining Cao and
                  Fujun Wang and
                  Chao Xing},
  title        = {A Modeling and Verification Method of Cyber-Physical Systems Based
                  on {AADL} and Process Algebra},
  journal      = {Int. J. Softw. Eng. Knowl. Eng.},
  volume       = {34},
  number       = {1},
  pages        = {49--89},
  year         = {2024},
  url          = {https://doi.org/10.1142/S0218194023500468},
  doi          = {10.1142/S0218194023500468},
  timestamp    = {Wed, 20 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijseke/LiCWX24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tjs/LiCX24,
  author       = {Zhen Li and
                  Zining Cao and
                  Chao Xing},
  title        = {Performance modeling and quantitative evaluation for cyber-physical
                  systems based on {LTS}},
  journal      = {J. Supercomput.},
  volume       = {80},
  number       = {4},
  pages        = {5616--5653},
  year         = {2024},
  url          = {https://doi.org/10.1007/s11227-023-05669-3},
  doi          = {10.1007/S11227-023-05669-3},
  timestamp    = {Wed, 28 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tjs/LiCX24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijseke/WangCLXZ23,
  author       = {Fujun Wang and
                  Zining Cao and
                  Zhen Li and
                  Chao Xing and
                  Hui Zong},
  title        = {Path Generation for a Given Performance Evaluation Value Interval
                  by Modifying Bat Algorithm with Heuristic},
  journal      = {Int. J. Softw. Eng. Knowl. Eng.},
  volume       = {33},
  number       = {5},
  pages        = {787--814},
  year         = {2023},
  url          = {https://doi.org/10.1142/S0218194023500158},
  doi          = {10.1142/S0218194023500158},
  timestamp    = {Thu, 29 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijseke/WangCLXZ23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsw/GuoC23,
  author       = {Zhengling Guo and
                  Zining Cao},
  title        = {Combined Formal Modeling and Model Transformation Based on {AADL}
                  and Object-Z},
  journal      = {J. Softw.},
  volume       = {18},
  number       = {4},
  pages        = {185--199},
  year         = {2023},
  url          = {https://doi.org/10.17706/jsw.18.4.185-199},
  doi          = {10.17706/JSW.18.4.185-199},
  timestamp    = {Mon, 13 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsw/GuoC23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijseke/WangCTL22,
  author       = {Fujun Wang and
                  Zining Cao and
                  Lixing Tan and
                  Zhen Li},
  title        = {Formal Modeling and Performance Evaluation for Hybrid Systems: {A}
                  Probabilistic Hybrid Process Algebra-Based Approach},
  journal      = {Int. J. Softw. Eng. Knowl. Eng.},
  volume       = {32},
  number       = {2},
  pages        = {283--315},
  year         = {2022},
  url          = {https://doi.org/10.1142/S0218194022500103},
  doi          = {10.1142/S0218194022500103},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijseke/WangCTL22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/compsec/HuZLZKC21,
  author       = {Xinwen Hu and
                  Yi Zhuang and
                  Shangwei Lin and
                  Fuyuan Zhang and
                  Shuanglong Kan and
                  Zining Cao},
  title        = {A security type verifier for smart contracts},
  journal      = {Comput. Secur.},
  volume       = {108},
  pages        = {102343},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.cose.2021.102343},
  doi          = {10.1016/J.COSE.2021.102343},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/compsec/HuZLZKC21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcse/HuCWL21,
  author       = {Mingguang Hu and
                  Zining Cao and
                  Fujun Wang and
                  Weiwei Lu},
  title        = {Counterexample generation in {CPS} model checking based on {ARSG}
                  algorithm},
  journal      = {Int. J. Comput. Sci. Eng.},
  volume       = {24},
  number       = {3},
  pages        = {312--321},
  year         = {2021},
  url          = {https://doi.org/10.1504/IJCSE.2021.115658},
  doi          = {10.1504/IJCSE.2021.115658},
  timestamp    = {Fri, 02 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijcse/HuCWL21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iske/WangCWZL21,
  author       = {Fujun Wang and
                  Zining Cao and
                  Shuya Wang and
                  Hui Zong and
                  Weiwei Lu},
  editor       = {Shuwei Chen and
                  Jie Hu and
                  Tianrui Li and
                  Luis Mart{\'{\i}}nez and
                  Jun Liu},
  title        = {A Language for Performance Evaluation Based on the Combination of
                  {CTRML} and {MMTD} and Its Algorithm},
  booktitle    = {16th International Conference on Intelligent Systems and Knowledge
                  Engineering, {ISKE} 2021, Chengdu, China, November 26-28, 2021},
  pages        = {95--100},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/ISKE54062.2021.9755388},
  doi          = {10.1109/ISKE54062.2021.9755388},
  timestamp    = {Mon, 12 Jun 2023 16:51:57 +0200},
  biburl       = {https://dblp.org/rec/conf/iske/WangCWZL21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/WangCTZ20,
  author       = {Fujun Wang and
                  Zining Cao and
                  Lixing Tan and
                  Hui Zong},
  title        = {Survey on Learning-Based Formal Methods: Taxonomy, Applications and
                  Possible Future Directions},
  journal      = {{IEEE} Access},
  volume       = {8},
  pages        = {108561--108578},
  year         = {2020},
  url          = {https://doi.org/10.1109/ACCESS.2020.3000907},
  doi          = {10.1109/ACCESS.2020.3000907},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/access/WangCTZ20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eitce/ZhuCWL20,
  author       = {Yifeng Zhu and
                  Zining Cao and
                  Fujun Wang and
                  Weiwei Lu},
  title        = {{AADL} and Modelica model combination and model conversion based on
                  {CPS}},
  booktitle    = {{EITCE} 2020: 4th International Conference on Electronic Information
                  Technology and Computer Engineering, Xiamen, China, 6 November, 2020
                  - 8 November, 2020},
  pages        = {1136--1140},
  publisher    = {{ACM}},
  year         = {2020},
  url          = {https://doi.org/10.1145/3443467.3443918},
  doi          = {10.1145/3443467.3443918},
  timestamp    = {Fri, 04 Aug 2023 10:04:46 +0200},
  biburl       = {https://dblp.org/rec/conf/eitce/ZhuCWL20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmss/HuC20,
  author       = {Mingguang Hu and
                  Zining Cao},
  title        = {LRx: Specification Mining based on Logistic Regression},
  booktitle    = {{ICMSS} 2020: 2020 4th International Conference on Management Engineering,
                  Software Engineering and Service Sciences, Wuhan, China, January 17-19,
                  2020},
  pages        = {68--72},
  publisher    = {{ACM}},
  year         = {2020},
  url          = {https://doi.org/10.1145/3380625.3380659},
  doi          = {10.1145/3380625.3380659},
  timestamp    = {Fri, 13 Aug 2021 12:32:38 +0200},
  biburl       = {https://dblp.org/rec/conf/icmss/HuC20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spaccs/ZhangZC20,
  author       = {Songpeng Zhang and
                  Yi Zhuang and
                  Zining Cao},
  editor       = {Guojun Wang and
                  Bing Chen and
                  Wei Li and
                  Roberto Di Pietro and
                  Xuefeng Yan and
                  Hao Han},
  title        = {Intelligent Medical Security Framework of Body Area Network Based
                  on Fog Computing},
  booktitle    = {Security, Privacy, and Anonymity in Computation, Communication, and
                  Storage - 13th International Conference, SpaCCS 2020, Nanjing, China,
                  December 18-20, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12382},
  pages        = {356--366},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-68851-6\_26},
  doi          = {10.1007/978-3-030-68851-6\_26},
  timestamp    = {Fri, 05 Feb 2021 12:16:10 +0100},
  biburl       = {https://dblp.org/rec/conf/spaccs/ZhangZC20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2012-12716,
  author       = {Fujun Wang and
                  Zining Cao and
                  Lixing Tan and
                  Zhen Li},
  title        = {Formal modeling and performance evaluation for hybrid systems: a probabilistic
                  hybrid process algebra-based approach},
  journal      = {CoRR},
  volume       = {abs/2012.12716},
  year         = {2020},
  url          = {https://arxiv.org/abs/2012.12716},
  eprinttype    = {arXiv},
  eprint       = {2012.12716},
  timestamp    = {Tue, 05 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2012-12716.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/MaCL19,
  author       = {Yan Ma and
                  Zining Cao and
                  Yang Liu},
  title        = {A Probabilistic Assume-Guarantee Reasoning Framework Based on Genetic
                  Algorithm},
  journal      = {{IEEE} Access},
  volume       = {7},
  pages        = {83839--83851},
  year         = {2019},
  url          = {https://doi.org/10.1109/ACCESS.2019.2924639},
  doi          = {10.1109/ACCESS.2019.2924639},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/access/MaCL19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijseke/MaCL19,
  author       = {Yan Ma and
                  Zining Cao and
                  Yang Liu},
  title        = {A PSO-Based {CEGAR} Framework for Stochastic Model Checking},
  journal      = {Int. J. Softw. Eng. Knowl. Eng.},
  volume       = {29},
  number       = {10},
  pages        = {1465--1495},
  year         = {2019},
  url          = {https://doi.org/10.1142/S0218194019500463},
  doi          = {10.1142/S0218194019500463},
  timestamp    = {Wed, 22 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijseke/MaCL19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iske/ZongHZC19,
  author       = {Hui Zong and
                  Renfeng Hua and
                  Jianyang Zhao and
                  Zining Cao},
  editor       = {Li Zou and
                  Lingling Fang and
                  Bo Fu and
                  Panpan Niu},
  title        = {Parallel Monte Carlo Integration Algorithm Based on {GPU}},
  booktitle    = {14th {IEEE} International Conference on Intelligent Systems and Knowledge
                  Engineering, {ISKE} 2019, Dalian, China, November 14-16, 2019},
  pages        = {790--794},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ISKE47853.2019.9170329},
  doi          = {10.1109/ISKE47853.2019.9170329},
  timestamp    = {Wed, 26 Aug 2020 15:39:06 +0200},
  biburl       = {https://dblp.org/rec/conf/iske/ZongHZC19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sera/MaCL19,
  author       = {Yan Ma and
                  Zining Cao and
                  Yang Liu},
  title        = {Genetic Algorithm-Based Assume-Guarantee Reasoning for Stochastic
                  Model Checking},
  booktitle    = {17th {IEEE} International Conference on Software Engineering Research,
                  Management and Applications, {SERA} 2019, Honolulu, HI, USA, May 29-31,
                  2019},
  pages        = {124--127},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/SERA.2019.8886798},
  doi          = {10.1109/SERA.2019.8886798},
  timestamp    = {Mon, 23 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sera/MaCL19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icccsec/ZhangC17,
  author       = {Fugao Zhang and
                  Zining Cao},
  editor       = {Xingming Sun and
                  Han{-}Chieh Chao and
                  Xingang You and
                  Elisa Bertino},
  title        = {The Formal Transformation of {AADL} Based on Z-CoIA},
  booktitle    = {Cloud Computing and Security - Third International Conference, {ICCCS}
                  2017, Nanjing, China, June 16-18, 2017, Revised Selected Papers, Part
                  {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {10603},
  pages        = {816--822},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-68542-7\_72},
  doi          = {10.1007/978-3-319-68542-7\_72},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/icccsec/ZhangC17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iske/HuZCYL17,
  author       = {Xinwen Hu and
                  Yi Zhuang and
                  Zining Cao and
                  Tong Ye and
                  Mi Li},
  editor       = {Tianrui Li and
                  Luis Mart{\'{\i}}nez{-}L{\'{o}}pez and
                  Yun Li},
  title        = {Modeling and validation for embedded software confidentiality and
                  integrity},
  booktitle    = {12th International Conference on Intelligent Systems and Knowledge
                  Engineering, {ISKE} 2017, Nanjing, China, November 24-26, 2017},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/ISKE.2017.8258789},
  doi          = {10.1109/ISKE.2017.8258789},
  timestamp    = {Fri, 16 Sep 2022 08:16:50 +0200},
  biburl       = {https://dblp.org/rec/conf/iske/HuZCYL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iske/MaCL17,
  author       = {Yan Ma and
                  Zining Cao and
                  Yang Liu},
  editor       = {Tianrui Li and
                  Luis Mart{\'{\i}}nez{-}L{\'{o}}pez and
                  Yun Li},
  title        = {A specification with performance evaluation for probabilistic timed
                  automata},
  booktitle    = {12th International Conference on Intelligent Systems and Knowledge
                  Engineering, {ISKE} 2017, Nanjing, China, November 24-26, 2017},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/ISKE.2017.8258788},
  doi          = {10.1109/ISKE.2017.8258788},
  timestamp    = {Wed, 06 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iske/MaCL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijseke/MaCL16,
  author       = {Yan Ma and
                  Zining Cao and
                  Yang Liu},
  title        = {Counterexample Generation in Stochastic Model Checking Based on {PSO}
                  Algorithm with Heuristic},
  journal      = {Int. J. Softw. Eng. Knowl. Eng.},
  volume       = {26},
  number       = {7},
  pages        = {1117--1144},
  year         = {2016},
  url          = {https://doi.org/10.1142/S021819401650039X},
  doi          = {10.1142/S021819401650039X},
  timestamp    = {Wed, 22 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijseke/MaCL16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tdsc/NiZCK15,
  author       = {Siru Ni and
                  Yi Zhuang and
                  Zining Cao and
                  Xiangying Kong},
  title        = {Modeling Dependability Features for Real-Time Embedded Systems},
  journal      = {{IEEE} Trans. Dependable Secur. Comput.},
  volume       = {12},
  number       = {2},
  pages        = {190--203},
  year         = {2015},
  url          = {https://doi.org/10.1109/TDSC.2014.2320714},
  doi          = {10.1109/TDSC.2014.2320714},
  timestamp    = {Thu, 09 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tdsc/NiZCK15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LiCG14,
  author       = {Guozheng Li and
                  Zining Cao and
                  Zheng Gao},
  title        = {Refinement Checking for Multirate Hybrid {ZIA}},
  journal      = {CoRR},
  volume       = {abs/1410.3773},
  year         = {2014},
  url          = {http://arxiv.org/abs/1410.3773},
  eprinttype    = {arXiv},
  eprint       = {1410.3773},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/LiCG14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/Cao13a,
  author       = {Zining Cao},
  title        = {Normal Bisimulation for Higher Order Pi-Calculus with Unguarded Choice},
  booktitle    = {2014 Theoretical Aspects of Software Engineering Conference, {TASE}
                  2014, Changsha, China, September 1-3, 2014},
  pages        = {213--220},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/TASE.2014.15},
  doi          = {10.1109/TASE.2014.15},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tase/Cao13a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/Cao13,
  author       = {Zining Cao},
  title        = {Normal Bisimulation for Higher Order Pi-Calculus with Unguarded Choice},
  booktitle    = {Seventh International Symposium on Theoretical Aspects of Software
                  Engineering, {TASE} 2013, 1-3 July 2013, Birmingham, {UK}},
  pages        = {217--224},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/TASE.2013.36},
  doi          = {10.1109/TASE.2013.36},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tase/Cao13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Cao12,
  author       = {Zining Cao},
  title        = {More on bisimulations for higher order {\(\pi\)}-calculus},
  journal      = {Theor. Comput. Sci.},
  volume       = {446},
  pages        = {1--19},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.tcs.2012.04.014},
  doi          = {10.1016/J.TCS.2012.04.014},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Cao12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/Cao12,
  author       = {Zining Cao},
  title        = {Modal ZIA, Modal Refinement Relation and Logical Characterization},
  booktitle    = {Proceedings of the 24th International Conference on Software Engineering
                  {\&} Knowledge Engineering (SEKE'2012), Hotel Sofitel, Redwood
                  City, San Francisco Bay, {USA} July 1-3, 2012},
  pages        = {525--530},
  publisher    = {Knowledge Systems Institute Graduate School},
  year         = {2012},
  timestamp    = {Thu, 12 Mar 2020 11:30:50 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/Cao12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/Cao12,
  author       = {Zining Cao},
  editor       = {Tiziana Margaria and
                  Zongyan Qiu and
                  Hongli Yang},
  title        = {A Calculus of Higher Order Safe Ambients and Its Bisimulations},
  booktitle    = {Sixth International Symposium on Theoretical Aspects of Software Engineering,
                  {TASE} 2012, 4-6 July 2012, Beijing, China},
  pages        = {93--100},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/TASE.2012.8},
  doi          = {10.1109/TASE.2012.8},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tase/Cao12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jwsr/XiaoHCHLY11,
  author       = {Fangxiong Xiao and
                  Zhiqiu Huang and
                  Zining Cao and
                  Jun Hu and
                  LinYuan Liu and
                  Min Yuan},
  title        = {Unified Modelling Functional and Non-Functional Aspects of Web Services
                  Composition Using {PTCCS} 1},
  journal      = {Int. J. Web Serv. Res.},
  volume       = {8},
  number       = {4},
  pages        = {47--80},
  year         = {2011},
  url          = {https://doi.org/10.4018/ijwsr.2011100103},
  doi          = {10.4018/IJWSR.2011100103},
  timestamp    = {Thu, 04 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jwsr/XiaoHCHLY11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/enase/CaoW11,
  author       = {Zining Cao and
                  Hui Wang},
  editor       = {Leszek A. Maciaszek and
                  Kang Zhang},
  title        = {Hybrid {ZIA} and its Approximated Refinement Relation},
  booktitle    = {{ENASE} 2011 - Proceedings of the 6th International Conference on
                  Evaluation of Novel Approaches to Software Engineering, Beijing, China,
                  8-11 June, 2011},
  pages        = {260--265},
  publisher    = {SciTePress},
  year         = {2011},
  timestamp    = {Wed, 28 Sep 2011 13:26:07 +0200},
  biburl       = {https://dblp.org/rec/conf/enase/CaoW11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsen/CaoW11,
  author       = {Zining Cao and
                  Hui Wang},
  editor       = {Farhad Arbab and
                  Marjan Sirjani},
  title        = {Extending Interface Automata with {Z} Notation},
  booktitle    = {Fundamentals of Software Engineering - 4th {IPM} International Conference,
                  {FSEN} 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7141},
  pages        = {359--367},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-29320-7\_25},
  doi          = {10.1007/978-3-642-29320-7\_25},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/fsen/CaoW11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qsic/ZhuHCZY10,
  author       = {Yi Zhu and
                  Zhiqiu Huang and
                  Zining Cao and
                  Hang Zhou and
                  Min Yuan},
  editor       = {Ji Wang and
                  W. K. Chan and
                  Fei{-}Ching Kuo},
  title        = {An {MDE} Based Approach for Generating Software Architecture Models
                  from Formal Specifications},
  booktitle    = {Proceedings of the 10th International Conference on Quality Software,
                  {QSIC} 2010, Zhangjiajie, China, 14-15 July 2010},
  pages        = {373--376},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/QSIC.2010.13},
  doi          = {10.1109/QSIC.2010.13},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qsic/ZhuHCZY10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/Cao10,
  author       = {Zining Cao},
  title        = {Refinement Checking for Interface Automata with {Z} Notation},
  booktitle    = {Proceedings of the 22nd International Conference on Software Engineering
                  {\&} Knowledge Engineering (SEKE'2010), Redwood City, San Francisco
                  Bay, CA, USA, July 1 - July 3, 2010},
  pages        = {399--404},
  publisher    = {Knowledge Systems Institute Graduate School},
  year         = {2010},
  timestamp    = {Thu, 12 Mar 2020 11:30:50 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/Cao10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serp/Cao10,
  author       = {Zining Cao},
  editor       = {Hamid R. Arabnia and
                  Hassan Reza and
                  Leonidas Deligiannidis and
                  Juan Jose Cuadrado{-}Gallego and
                  Vincent Schmidt and
                  Ashu M. G. Solo},
  title        = {Model Checking {LOOP} Programs},
  booktitle    = {Proceedings of the 2010 International Conference on Software Engineering
                  Research {\&} Practice, {SERP} 2010, July 12-15, 2010, Las Vegas,
                  Nevada, USA, 2 Volumes},
  pages        = {534--542},
  publisher    = {{CSREA} Press},
  year         = {2010},
  timestamp    = {Fri, 10 Dec 2010 13:15:53 +0100},
  biburl       = {https://dblp.org/rec/conf/serp/Cao10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/Cao10,
  author       = {Zining Cao},
  editor       = {Jing Liu and
                  Doron A. Peled and
                  Bow{-}Yaw Wang and
                  Farn Wang},
  title        = {Bisimulations for Open Processes in Higher Order p-Calculus},
  booktitle    = {4th {IEEE} International Symposium on Theoretical Aspects of Software
                  Engineering, {TASE} 2010, Taipei, Taiwan, 25-27 August 2010},
  pages        = {135--144},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/TASE.2010.17},
  doi          = {10.1109/TASE.2010.17},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tase/Cao10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1011-2896,
  author       = {Zining Cao},
  title        = {Reducing Higher Order Pi-Calculus to Spatial Logics},
  journal      = {CoRR},
  volume       = {abs/1011.2896},
  year         = {2010},
  url          = {http://arxiv.org/abs/1011.2896},
  eprinttype    = {arXiv},
  eprint       = {1011.2896},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1011-2896.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csie/Cao09a,
  author       = {Zining Cao},
  editor       = {Mark Burgin and
                  Masud H. Chowdhury and
                  Chan H. Ham and
                  Simone A. Ludwig and
                  Weilian Su and
                  Sumanth Yenduri},
  title        = {Distributed Viewpoint Equivalences for Higher Order Processes},
  booktitle    = {{CSIE} 2009, 2009 {WRI} World Congress on Computer Science and Information
                  Engineering, March 31 - April 2, 2009, Los Angeles, California, USA,
                  7 Volumes},
  pages        = {792--796},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/CSIE.2009.261},
  doi          = {10.1109/CSIE.2009.261},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/csie/Cao09a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icws/XiaoHCHL09,
  author       = {Fangxiong Xiao and
                  Zhiqiu Huang and
                  Zining Cao and
                  Jun Hu and
                  LinYuan Liu},
  title        = {Modeling Cost-Aware Web Services Composition Using {PTCCS}},
  booktitle    = {{IEEE} International Conference on Web Services, {ICWS} 2009, Los
                  Angeles, CA, USA, 6-10 July 2009},
  pages        = {461--468},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/ICWS.2009.56},
  doi          = {10.1109/ICWS.2009.56},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icws/XiaoHCHL09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snpd/Cao09,
  author       = {Zining Cao},
  editor       = {Haeng{-}Kon Kim and
                  Roger Y. Lee},
  title        = {A True Concurrent Process Calculus and Its Conflict Bisimulation},
  booktitle    = {10th {ACIS} International Conference on Software Engineering, Artificial
                  Intelligences, Networking and Parallel/Distributed Computing, {SNPD}
                  2009, in conjunction with 3rd International Workshop on e-Activity,
                  {IWEA} 2009, 1st International Workshop on Enterprise Architecture
                  Challenges and Responses, {WEACR} 2009, Catholic University of Daegu,
                  Daegu, Korea, 27-29 May 2009},
  pages        = {475--480},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/SNPD.2009.30},
  doi          = {10.1109/SNPD.2009.30},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/snpd/Cao09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csse/ZhangHCX08,
  author       = {Junhua Zhang and
                  Zhiqiu Huang and
                  Zining Cao and
                  Fangxiong Xiao},
  title        = {Counterexample Generation for Probabilistic Timed Automata Model Checking},
  booktitle    = {International Conference on Computer Science and Software Engineering,
                  {CSSE} 2008, Volume 2: Software Engineering, December 12-14, 2008,
                  Wuhan, China},
  pages        = {210--214},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/CSSE.2008.371},
  doi          = {10.1109/CSSE.2008.371},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/csse/ZhangHCX08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tamc/Cao08,
  author       = {Zining Cao},
  editor       = {Manindra Agrawal and
                  Ding{-}Zhu Du and
                  Zhenhua Duan and
                  Angsheng Li},
  title        = {A Logic for Distributed Higher Order pi-Calculus},
  booktitle    = {Theory and Applications of Models of Computation, 5th International
                  Conference, {TAMC} 2008, Xi'an, China, April 25-29, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4978},
  pages        = {351--363},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-79228-4\_31},
  doi          = {10.1007/978-3-540-79228-4\_31},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/tamc/Cao08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/Cao08,
  author       = {Zining Cao},
  editor       = {Bernhard Beckert and
                  Reiner H{\"{a}}hnle},
  title        = {Equivalence Checking for a Finite Higher Order pi-Calculus},
  booktitle    = {Tests and Proofs - 2nd International Conference, {TAP} 2008, Prato,
                  Italy, April 9-11, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4966},
  pages        = {30--47},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-79124-9\_4},
  doi          = {10.1007/978-3-540-79124-9\_4},
  timestamp    = {Tue, 23 Jun 2020 17:02:04 +0200},
  biburl       = {https://dblp.org/rec/conf/tap/Cao08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ceemas/Cao07,
  author       = {Zining Cao},
  editor       = {Hans{-}Dieter Burkhard and
                  Gabriela Lindemann and
                  Rineke Verbrugge and
                  L{\'{a}}szl{\'{o}} Zsolt Varga},
  title        = {Towards an Epistemic Logic for Uncertain Agents},
  booktitle    = {Multi-Agent Systems and Applications V, 5th International Central
                  and Eastern European Conference on Multi-Agent Systems, {CEEMAS} 2007,
                  Leipzig, Germany, September 25-27, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4696},
  pages        = {266--276},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75254-7\_27},
  doi          = {10.1007/978-3-540-75254-7\_27},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/ceemas/Cao07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/Cao07,
  author       = {Zining Cao},
  editor       = {Cliff B. Jones and
                  Zhiming Liu and
                  Jim Woodcock},
  title        = {Bisimulations for a Distributed Higher Order \emph{pi} -Calculus},
  booktitle    = {Theoretical Aspects of Computing - {ICTAC} 2007, 4th International
                  Colloquium, Macau, China, September 26-28, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4711},
  pages        = {94--108},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75292-9\_7},
  doi          = {10.1007/978-3-540-75292-9\_7},
  timestamp    = {Fri, 17 Feb 2023 09:02:01 +0100},
  biburl       = {https://dblp.org/rec/conf/ictac/Cao07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/Cao06,
  author       = {Zining Cao},
  editor       = {Mitsu Okada and
                  Ichiro Satoh},
  title        = {A Spatial Logical Characterisation of Context Bisimulation},
  booktitle    = {Advances in Computer Science - {ASIAN} 2006. Secure Software and Related
                  Issues, 11th Asian Computing Science Conference, Tokyo, Japan, December
                  6-8, 2006, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {4435},
  pages        = {231--239},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/978-3-540-77505-8\_18},
  doi          = {10.1007/978-3-540-77505-8\_18},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/asian/Cao06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clima/Cao06,
  author       = {Zining Cao},
  editor       = {Katsumi Inoue and
                  Ken Satoh and
                  Francesca Toni},
  title        = {A Complete Probabilistic Belief Logic},
  booktitle    = {Computational Logic in Multi-Agent Systems, 7th International Workshop,
                  {CLIMA} VII, Hakodate, Japan, May 8-9, 2006, Revised Selected and
                  Invited Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {4371},
  pages        = {80--94},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/978-3-540-69619-3\_5},
  doi          = {10.1007/978-3-540-69619-3\_5},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/clima/Cao06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clima/Cao06a,
  author       = {Zining Cao},
  editor       = {Katsumi Inoue and
                  Ken Satoh and
                  Francesca Toni},
  title        = {Representing and Verifying Temporal Epistemic Properties in Multi-Agent
                  Systems},
  booktitle    = {Computational Logic in Multi-Agent Systems, 7th International Workshop,
                  {CLIMA} VII, Hakodate, Japan, May 8-9, 2006, Revised Selected and
                  Invited Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {4371},
  pages        = {134--150},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/978-3-540-69619-3\_8},
  doi          = {10.1007/978-3-540-69619-3\_8},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/clima/Cao06a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/Cao06,
  author       = {Zining Cao},
  editor       = {Luca Aceto and
                  Anna Ing{\'{o}}lfsd{\'{o}}ttir},
  title        = {More on Bisimulations for Higher Order \emph{pi}-Calculus},
  booktitle    = {Foundations of Software Science and Computation Structures, 9th International
                  Conference, {FOSSACS} 2006, Held as Part of the Joint European Conferences
                  on Theory and Practice of Software, {ETAPS} 2006, Vienna, Austria,
                  March 25-31, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3921},
  pages        = {63--78},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11690634\_5},
  doi          = {10.1007/11690634\_5},
  timestamp    = {Tue, 14 May 2019 10:00:55 +0200},
  biburl       = {https://dblp.org/rec/conf/fossacs/Cao06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip12/Cao06,
  author       = {Zining Cao},
  editor       = {Zhongzhi Shi and
                  Katsunori Shimohara and
                  David Dagan Feng},
  title        = {Model Checking for Real-Time Temporal, Cooperation and Epistemic Properties},
  booktitle    = {Intelligent Information Processing III, {IFIP} {TC12} International
                  Conference on Intelligent Information Processing {(IIP} 2006), September
                  20-23, Adelaide, Australia},
  series       = {{IFIP}},
  volume       = {228},
  pages        = {63--72},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/978-0-387-44641-7\_7},
  doi          = {10.1007/978-0-387-44641-7\_7},
  timestamp    = {Wed, 09 Jun 2021 08:38:19 +0200},
  biburl       = {https://dblp.org/rec/conf/ifip12/Cao06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/micai/Cao06,
  author       = {Zining Cao},
  editor       = {Alexander F. Gelbukh and
                  Carlos A. Reyes Garc{\'{\i}}a},
  title        = {Verifying Real-Time Temporal, Cooperation and Epistemic Properties
                  for Uncertain Agents},
  booktitle    = {{MICAI} 2006: Advances in Artificial Intelligence, 5th Mexican International
                  Conference on Artificial Intelligence, Apizaco, Mexico, November 13-17,
                  2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4293},
  pages        = {1095--1104},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11925231\_105},
  doi          = {10.1007/11925231\_105},
  timestamp    = {Tue, 14 May 2019 10:00:49 +0200},
  biburl       = {https://dblp.org/rec/conf/micai/Cao06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prima/Cao06,
  author       = {Zining Cao},
  editor       = {Zhong{-}Zhi Shi and
                  Ramakoti Sadananda},
  title        = {Model Checking for Epistemic and Temporal Properties of Uncertain
                  Agents},
  booktitle    = {Agent Computing and Multi-Agent Systems, 9th Pacific Rim International
                  Workshop on Multi-Agents, {PRIMA} 2006, Guilin, China, August 7-8,
                  2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4088},
  pages        = {46--58},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11802372\_8},
  doi          = {10.1007/11802372\_8},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/prima/Cao06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/Cao04,
  author       = {Zining Cao},
  editor       = {Wei{-}Ngan Chin},
  title        = {A Uniform Reduction Equivalence for Process Calculi},
  booktitle    = {Programming Languages and Systems: Second Asian Symposium, {APLAS}
                  2004, Taipei, Taiwan, November 4-6, 2004. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3302},
  pages        = {179--195},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30477-7\_12},
  doi          = {10.1007/978-3-540-30477-7\_12},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/Cao04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcst/CaoS03,
  author       = {Zining Cao and
                  Chunyi Shi},
  title        = {Probabilistic Belief Logic and Its Probabilistic Aumann Semantics},
  journal      = {J. Comput. Sci. Technol.},
  volume       = {18},
  number       = {5},
  pages        = {571--579},
  year         = {2003},
  url          = {https://doi.org/10.1007/BF02947116},
  doi          = {10.1007/BF02947116},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcst/CaoS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics