Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Zining Cao
@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} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.