Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Jiexiang Kang
@inproceedings{DBLP:conf/qrs/SangLSXK22,
author = {Debao Sang and
Jing Liu and
Haiying Sun and
Jin Xu and
Jiexiang Kang},
title = {A Novel Approach for Bounded Model Checking Through Full Parallelism},
booktitle = {22nd {IEEE} International Conference on Software Quality, Reliability
and Security, {QRS} 2022, Guangzhou, China, December 5-9, 2022},
pages = {376--387},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/QRS57517.2022.00046},
doi = {10.1109/QRS57517.2022.00046},
timestamp = {Sat, 20 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/qrs/SangLSXK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijseke/WangLSXK21,
author = {Dong Wang and
Jing Liu and
Haiying Sun and
Jin Xu and
Jiexiang Kang},
title = {A Fully Parallel Approach of Model Checking Via Probe Machine},
journal = {Int. J. Softw. Eng. Knowl. Eng.},
volume = {31},
number = {11{\&}12},
pages = {1761--1781},
year = {2021},
url = {https://doi.org/10.1142/S0218194021400210},
doi = {10.1142/S0218194021400210},
timestamp = {Sat, 20 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijseke/WangLSXK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccoms/YuWKGWYC21,
author = {Mengyuan Yu and
Lisong Wang and
Jiexiang Kang and
Zhongjie Gao and
Hui Wang and
Wei Yin and
Buzhan Cao},
title = {Automatic Generation Method of Airborne Display and Control System
Requirement Domain Model Based on {NLP}},
booktitle = {6th {IEEE} International Conference on Computer and Communication
Systems, {ICCCS} 2021, Chengdu, China, April 23-26, 2021},
pages = {1042--1046},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ICCCS52626.2021.9449277},
doi = {10.1109/ICCCS52626.2021.9449277},
timestamp = {Wed, 28 Jul 2021 08:35:29 +0200},
biburl = {https://dblp.org/rec/conf/ccoms/YuWKGWYC21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccoms/QiuWKGWYS21,
author = {Zhipeng Qiu and
Lisong Wang and
Jiexiang Kang and
Zhongjie Gao and
Hui Wang and
Wei Yin and
Xiangyu Shen},
title = {A Method of Test Case Generation Based on {VRM} Model},
booktitle = {6th {IEEE} International Conference on Computer and Communication
Systems, {ICCCS} 2021, Chengdu, China, April 23-26, 2021},
pages = {1099--1107},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ICCCS52626.2021.9449261},
doi = {10.1109/ICCCS52626.2021.9449261},
timestamp = {Wed, 28 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ccoms/QiuWKGWYS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/YangSLKYWL21,
author = {Chenchen Yang and
Haiying Sun and
Jing Liu and
Jiexiang Kang and
Wei Yin and
Hui Wang and
Tengfei Li},
title = {Uncertainty Modeling and Quantitative Evaluation of Cyber-physical
Systems},
booktitle = {{IEEE} 45th Annual Computers, Software, and Applications Conference,
{COMPSAC} 2021, Madrid, Spain, July 12-16, 2021},
pages = {874--883},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/COMPSAC51774.2021.00120},
doi = {10.1109/COMPSAC51774.2021.00120},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/YangSLKYWL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/WangLXSK21,
author = {Dong Wang and
Jing Liu and
Jin Xu and
Haiying Sun and
Jiexiang Kang},
editor = {Shi{-}Kuo Chang},
title = {A Novel Approach of {CTL} Model Checking Based on Probe Machine},
booktitle = {The 33rd International Conference on Software Engineering and Knowledge
Engineering, {SEKE} 2021, {KSIR} Virtual Conference Center, USA, July
1 - July 10, 2021},
pages = {183--188},
publisher = {{KSI} Research Inc.},
year = {2021},
url = {https://doi.org/10.18293/SEKE2021-139},
doi = {10.18293/SEKE2021-139},
timestamp = {Sat, 20 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/seke/WangLXSK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/trustcom/WangKYWSCGW021,
author = {Runhao Wang and
Jiexiang Kang and
Wei Yin and
Hui Wang and
Haiying Sun and
Xiaohong Chen and
Zhongjie Gao and
Shuning Wang and
Jing Liu},
title = {DeepTrace: {A} Secure Fingerprinting Framework for Intellectual Property
Protection of Deep Neural Networks},
booktitle = {20th {IEEE} International Conference on Trust, Security and Privacy
in Computing and Communications, TrustCom 2021, Shenyang, China, October
20-22, 2021},
pages = {188--195},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/TrustCom53373.2021.00042},
doi = {10.1109/TRUSTCOM53373.2021.00042},
timestamp = {Mon, 23 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/trustcom/WangKYWSCGW021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijpe/JunSCKH20,
author = {Hu Jun and
Chen Shuo and
Defeng Chen and
Jiexiang Kang and
Wang Hui},
title = {Model-based Safety Analysis for an Aviation Software Specification},
journal = {Int. J. Perform. Eng.},
volume = {16},
number = {2},
pages = {238--254},
year = {2020},
url = {https://doi.org/10.23940/ijpe.20.02.p8.238254},
doi = {10.23940/IJPE.20.02.P8.238254},
timestamp = {Thu, 01 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijpe/JunSCKH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/Li0KS0H20,
author = {Tengfei Li and
Jing Liu and
Jiexiang Kang and
Haiying Sun and
Xiaohong Chen and
Li Han},
title = {Model Checking of Spatial Logic},
booktitle = {27th Asia-Pacific Software Engineering Conference, {APSEC} 2020, Singapore,
December 1-4, 2020},
pages = {169--177},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/APSEC51365.2020.00025},
doi = {10.1109/APSEC51365.2020.00025},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/Li0KS0H20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/LiuSCKLYW20,
author = {Qian Liu and
Robert de Simone and
Xiaohong Chen and
Jiexiang Kang and
Jing Liu and
Wei Yin and
Hui Wang},
title = {Multiform Logical Time {\&} Space for Mobile Cyber-Physical System
With Automated Driving Assistance System},
booktitle = {27th Asia-Pacific Software Engineering Conference, {APSEC} 2020, Singapore,
December 1-4, 2020},
pages = {415--424},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/APSEC51365.2020.00050},
doi = {10.1109/APSEC51365.2020.00050},
timestamp = {Mon, 23 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/LiuSCKLYW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispa/WangLKYSW20,
author = {Hongze Wang and
Jing Liu and
Jiexiang Kang and
Wei Yin and
Haiying Sun and
Hui Wang},
editor = {Jia Hu and
Geyong Min and
Nektarios Georgalas and
Zhiwei Zhao and
Fei Hao and
Wang Miao},
title = {Feature Envy Detection based on Bi-LSTM with Self-Attention Mechanism},
booktitle = {{IEEE} International Conference on Parallel {\&} Distributed Processing
with Applications, Big Data {\&} Cloud Computing, Sustainable
Computing {\&} Communications, Social Computing {\&} Networking,
ISPA/BDCloud/SocialCom/SustainCom 2020, Exeter, United Kingdom, December
17-19, 2020},
pages = {448--457},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ISPA-BDCloud-SocialCom-SustainCom51426.2020.00082},
doi = {10.1109/ISPA-BDCLOUD-SOCIALCOM-SUSTAINCOM51426.2020.00082},
timestamp = {Wed, 13 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ispa/WangLKYSW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qrs/LiLKSYCW20,
author = {Tengfei Li and
Jing Liu and
Jiexiang Kang and
Haiying Sun and
Wei Yin and
Xiaohong Chen and
Hui Wang},
title = {{STSL:} {A} Novel Spatio-Temporal Specification Language for Cyber-Physical
Systems},
booktitle = {20th {IEEE} International Conference on Software Quality, Reliability
and Security, {QRS} 2020, Macau, China, December 11-14, 2020},
pages = {309--319},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/QRS51102.2020.00048},
doi = {10.1109/QRS51102.2020.00048},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qrs/LiLKSYCW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEcit/WangXKCHZ10,
author = {Chao Wang and
Bin Xie and
Jiexiang Kang and
Tianzhou Chen and
Wei Hu and
Zhenwei Zheng},
title = {On-Chip Operating System Design for NoC-Based {CMP}},
booktitle = {10th {IEEE} International Conference on Computer and Information Technology,
{CIT} 2010, Bradford, West Yorkshire, UK, June 29-July 1, 2010},
pages = {163--170},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/CIT.2010.66},
doi = {10.1109/CIT.2010.66},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/IEEEcit/WangXKCHZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEcit/WuTYSKC10,
author = {Binbin Wu and
Xingsheng Tang and
Hui Yuan and
Qingsong Shi and
Jiexiang Kang and
Tianzhou Chen},
title = {Virtual {I/O} Based on ScratchPad Memory for Embedded System},
booktitle = {10th {IEEE} International Conference on Computer and Information Technology,
{CIT} 2010, Bradford, West Yorkshire, UK, June 29-July 1, 2010},
pages = {2250--2254},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/CIT.2010.388},
doi = {10.1109/CIT.2010.388},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/IEEEcit/WuTYSKC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEcit/TangWCHKZ10,
author = {Xingsheng Tang and
Binbin Wu and
Tianzhou Chen and
Wei Hu and
Jiexiang Kang and
Zhenwei Zheng},
title = {Network Main Memory Architecture for NoC-Based Chips},
booktitle = {10th {IEEE} International Conference on Computer and Information Technology,
{CIT} 2010, Bradford, West Yorkshire, UK, June 29-July 1, 2010},
pages = {2516--2523},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/CIT.2010.429},
doi = {10.1109/CIT.2010.429},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/IEEEcit/TangWCHKZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2023-09-28 03:28 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
