Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Jianqi Shi
@article{DBLP:journals/tc/ShiCLHYZ24,
author = {Jianqi Shi and
Yinghao Chen and
Qin Li and
Yanhong Huang and
Yang Yang and
Mengyan Zhao},
title = {Automated Test Cases Generator for {IEC} 61131-3 Structured Text Based
Dynamic Symbolic Execution},
journal = {{IEEE} Trans. Computers},
volume = {73},
number = {4},
pages = {1048--1059},
year = {2024},
url = {https://doi.org/10.1109/TC.2024.3351285},
doi = {10.1109/TC.2024.3351285},
timestamp = {Mon, 01 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/ShiCLHYZ24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apin/ZhangHHSBDG23,
author = {Gelin Zhang and
Zh{\'{e}} H{\'{o}}u and
Yanhong Huang and
Jianqi Shi and
Hadrien Bride and
Jin Song Dong and
Yongsheng Gao},
title = {Extracting optimal explanations for ensemble trees via automated reasoning},
journal = {Appl. Intell.},
volume = {53},
number = {11},
pages = {14371--14382},
year = {2023},
url = {https://doi.org/10.1007/s10489-022-04180-1},
doi = {10.1007/S10489-022-04180-1},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apin/ZhangHHSBDG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/grid/YangHSY23,
author = {Hailin Yang and
Yanhong Huang and
Jianqi Shi and
Yang Yang},
title = {A Federated Framework for Edge Computing Devices with Collaborative
Fairness and Adversarial Robustness},
journal = {J. Grid Comput.},
volume = {21},
number = {3},
pages = {36},
year = {2023},
url = {https://doi.org/10.1007/s10723-023-09658-x},
doi = {10.1007/S10723-023-09658-X},
timestamp = {Wed, 26 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/grid/YangHSY23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcnn/WangHSYG23,
author = {Shaopeng Wang and
Yanhong Huang and
Jianqi Shi and
Yang Yang and
Xin Guo},
title = {Improving Single-Step Adversarial Training By Local Smoothing},
booktitle = {International Joint Conference on Neural Networks, {IJCNN} 2023, Gold
Coast, Australia, June 18-23, 2023},
pages = {1--8},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/IJCNN54540.2023.10191877},
doi = {10.1109/IJCNN54540.2023.10191877},
timestamp = {Wed, 09 Aug 2023 16:25:09 +0200},
biburl = {https://dblp.org/rec/conf/ijcnn/WangHSYG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/WangSHY23,
author = {Shaopeng Wang and
Jianqi Shi and
Yanhong Huang and
Yang Yang},
title = {A Tool for Transforming SysML State Machine into Uppaal Automatically},
booktitle = {{IEEE} International Conference on Systems, Man, and Cybernetics,
{SMC} 2023, Honolulu, Oahu, HI, USA, October 1-4, 2023},
pages = {2471--2476},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/SMC53992.2023.10394302},
doi = {10.1109/SMC53992.2023.10394302},
timestamp = {Tue, 13 Feb 2024 09:22:04 +0100},
biburl = {https://dblp.org/rec/conf/smc/WangSHY23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/YeSHLWC22,
author = {Xin Ye and
Jianqi Shi and
Yanhong Huang and
Qin Li and
Hansheng Wei and
Xinyu Chen},
title = {Parallel computational tree logic model-checking on pushdown systems},
journal = {Concurr. Comput. Pract. Exp.},
volume = {34},
number = {23},
year = {2022},
url = {https://doi.org/10.1002/cpe.7173},
doi = {10.1002/CPE.7173},
timestamp = {Tue, 18 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/concurrency/YeSHLWC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsi/MaSHQH22,
author = {Shucen Ma and
Jianqi Shi and
Yanhong Huang and
Shengchao Qin and
Zhe Hou},
title = {Minimal-unsatisfiable-core-driven Local Explainability Analysis for
Random Forest},
journal = {Int. J. Softw. Informatics},
volume = {12},
number = {4},
pages = {355--376},
year = {2022},
url = {https://doi.org/10.21655/ijsi.1673-7288.00280},
doi = {10.21655/IJSI.1673-7288.00280},
timestamp = {Sat, 14 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijsi/MaSHQH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/MaoZSHL22,
author = {Xia Mao and
Yueling Zhang and
Jianqi Shi and
Yanhong Huang and
Qin Li},
title = {A refinement development approach for enhancing the safety of {PLC}
programs with Event-B},
journal = {Sci. Comput. Program.},
volume = {215},
pages = {102763},
year = {2022},
url = {https://doi.org/10.1016/j.scico.2021.102763},
doi = {10.1016/J.SCICO.2021.102763},
timestamp = {Tue, 15 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/MaoZSHL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tii/MaoLHSZ22,
author = {Xia Mao and
Xin Li and
Yanhong Huang and
Jianqi Shi and
Yueling Zhang},
title = {Programmable Logic Controllers Past Linear Temporal Logic for Monitoring
Applications in Industrial Control Systems},
journal = {{IEEE} Trans. Ind. Informatics},
volume = {18},
number = {7},
pages = {4393--4405},
year = {2022},
url = {https://doi.org/10.1109/TII.2021.3123194},
doi = {10.1109/TII.2021.3123194},
timestamp = {Thu, 25 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tii/MaoLHSZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/YangHSC22,
author = {Hailin Yang and
Yanhong Huang and
Jianqi Shi and
Fangda Cai},
editor = {Rong Peng and
Carlos Eduardo Pantoja and
Pankaj Kamthan},
title = {A Federated Model Personalisation Method Based on Sparsity Representation
and Clustering},
booktitle = {The 34th International Conference on Software Engineering and Knowledge
Engineering, {SEKE} 2022, {KSIR} Virtual Conference Center, USA, July
1 - July 10, 2022},
pages = {160--165},
publisher = {{KSI} Research Inc.},
year = {2022},
url = {https://doi.org/10.18293/SEKE2022-100},
doi = {10.18293/SEKE2022-100},
timestamp = {Wed, 21 Sep 2022 17:47:56 +0200},
biburl = {https://dblp.org/rec/conf/seke/YangHSC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2202-12512,
author = {Shucen Ma and
Jianqi Shi and
Yanhong Huang and
Shengchao Qin and
Zhe Hou},
title = {MUC-driven Feature Importance Measurement and Adversarial Analysis
for Random Forest},
journal = {CoRR},
volume = {abs/2202.12512},
year = {2022},
url = {https://arxiv.org/abs/2202.12512},
eprinttype = {arXiv},
eprint = {2202.12512},
timestamp = {Wed, 02 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2202-12512.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ccfthpc/ShiXH21,
author = {Jianqi Shi and
Jiawen Xiong and
Yanhong Huang},
title = {General past-time linear temporal logic specification mining},
journal = {{CCF} Trans. High Perform. Comput.},
volume = {3},
number = {4},
pages = {393--406},
year = {2021},
url = {https://doi.org/10.1007/s42514-021-00079-4},
doi = {10.1007/S42514-021-00079-4},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ccfthpc/ShiXH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcst/XuHSQ21,
author = {Jingwen Xu and
Yanhong Huang and
Jianqi Shi and
Shengchao Qin},
title = {A Multi-Agent Spatial Logic for Scenario-Based Decision Modeling and
Verification in Platoon Systems},
journal = {J. Comput. Sci. Technol.},
volume = {36},
number = {6},
pages = {1231--1247},
year = {2021},
url = {https://doi.org/10.1007/s11390-021-1565-8},
doi = {10.1007/S11390-021-1565-8},
timestamp = {Thu, 23 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcst/XuHSQ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jim/LvXSHQ21,
author = {Wanyou Lv and
Jiawen Xiong and
Jianqi Shi and
Yanhong Huang and
Shengchao Qin},
title = {A deep convolution generative adversarial networks based fuzzing framework
for industry control protocols},
journal = {J. Intell. Manuf.},
volume = {32},
number = {2},
pages = {441--457},
year = {2021},
url = {https://doi.org/10.1007/s10845-020-01584-z},
doi = {10.1007/S10845-020-01584-Z},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jim/LvXSHQ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/HeSSLHH21,
author = {Weigang He and
Jianqi Shi and
Ting Su and
Zeyu Lu and
Li Hao and
Yanhong Huang},
title = {Automated test generation for {IEC} 61131-3 {ST} programs via dynamic
symbolic execution},
journal = {Sci. Comput. Program.},
volume = {206},
pages = {102608},
year = {2021},
url = {https://doi.org/10.1016/j.scico.2021.102608},
doi = {10.1016/J.SCICO.2021.102608},
timestamp = {Wed, 05 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/HeSSLHH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tii/XiongBHSH21,
author = {Jiawen Xiong and
Xiangxing Bu and
Yanhong Huang and
Jianqi Shi and
Weigang He},
title = {Safety Verification of {IEC} 61131-3 Structured Text Programs},
journal = {{IEEE} Trans. Ind. Informatics},
volume = {17},
number = {4},
pages = {2632--2640},
year = {2021},
url = {https://doi.org/10.1109/TII.2020.2999716},
doi = {10.1109/TII.2020.2999716},
timestamp = {Tue, 26 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tii/XiongBHSH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/HeMSHS21,
author = {Weigang He and
Xia Mao and
Ting Su and
Yanhong Huang and
Jianqi Shi},
title = {Data Flow Testing for {PLC} Programs via Dynamic Symbolic Execution},
booktitle = {28th Asia-Pacific Software Engineering Conference, {APSEC} 2021, Taipei,
Taiwan, December 6-9, 2021},
pages = {152--160},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/APSEC53868.2021.00023},
doi = {10.1109/APSEC53868.2021.00023},
timestamp = {Wed, 23 Feb 2022 18:55:47 +0100},
biburl = {https://dblp.org/rec/conf/apsec/HeMSHS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lcn/GuoHSHY21,
author = {Wang Guo and
Yanhong Huang and
Jianqi Shi and
Zhe Hou and
Yang Yang},
title = {A Formal Method for Evaluating the Performance of {TSN} Traffic Shapers
using {UPPAAL}},
booktitle = {46th {IEEE} Conference on Local Computer Networks, {LCN} 2021, Edmonton,
AB, Canada, October 4-7, 2021},
pages = {241--248},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/LCN52139.2021.9524955},
doi = {10.1109/LCN52139.2021.9524955},
timestamp = {Tue, 16 Aug 2022 23:04:40 +0200},
biburl = {https://dblp.org/rec/conf/lcn/GuoHSHY21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/WangHZSH21,
author = {Bohao Wang and
Zhe Hou and
Gelin Zhang and
Jianqi Shi and
Yanhong Huang},
editor = {Shi{-}Kuo Chang},
title = {Tree Ensemble Property Verification from {A} Testing Perspective},
booktitle = {The 33rd International Conference on Software Engineering and Knowledge
Engineering, {SEKE} 2021, {KSIR} Virtual Conference Center, USA, July
1 - July 10, 2021},
pages = {166--171},
publisher = {{KSI} Research Inc.},
year = {2021},
url = {https://doi.org/10.18293/SEKE2021-087},
doi = {10.18293/SEKE2021-087},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/seke/WangHZSH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/LuMHSY21,
author = {Zeyu Lu and
Xia Mao and
Yanhong Huang and
Jianqi Shi and
Yang Yang},
editor = {Shi{-}Kuo Chang},
title = {Dynamically Detecting Invariants for Automatic Testing {PLC} Programs
{(S)}},
booktitle = {The 33rd International Conference on Software Engineering and Knowledge
Engineering, {SEKE} 2021, {KSIR} Virtual Conference Center, USA, July
1 - July 10, 2021},
pages = {532--537},
publisher = {{KSI} Research Inc.},
year = {2021},
url = {https://doi.org/10.18293/SEKE2021-105},
doi = {10.18293/SEKE2021-105},
timestamp = {Wed, 21 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/seke/LuMHSY21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/TianSHHQ21,
author = {Miao Tian and
Jianqi Shi and
Zhe Hou and
Yanhong Huang and
Shengchao Qin},
title = {A Timed Automata based Automatic Framework for Verifying {STL} Properties
of Simulink Models},
booktitle = {International Symposium on Theoretical Aspects of Software Engineering,
{TASE} 2021, Shanghai, China, August 25-27, 2021},
pages = {151--158},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/TASE52547.2021.00018},
doi = {10.1109/TASE52547.2021.00018},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/TianSHHQ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2103-02191,
author = {Gelin Zhang and
Zhe Hou and
Yanhong Huang and
Jianqi Shi and
Hadrien Bride and
Jin Song Dong and
Yongsheng Gao},
title = {Extracting Optimal Explanations for Ensemble Trees via Logical Reasoning},
journal = {CoRR},
volume = {abs/2103.02191},
year = {2021},
url = {https://arxiv.org/abs/2103.02191},
eprinttype = {arXiv},
eprint = {2103.02191},
timestamp = {Wed, 22 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2103-02191.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/HuangPS20,
author = {Yanhong Huang and
Haiping Pang and
Jianqi Shi},
title = {Modeling and Verification of {A} Timing Protection Mechanism in the
{OSEK/VDX} {OS} using {CSP}},
journal = {Formal Aspects Comput.},
volume = {32},
number = {1},
pages = {113--145},
year = {2020},
url = {https://doi.org/10.1007/s00165-020-00511-6},
doi = {10.1007/S00165-020-00511-6},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/HuangPS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/JiaoHSCL20,
author = {Mingyue Jiao and
Yanhong Huang and
Jianqi Shi and
Fangda Cai and
Rongfeng Lin},
title = {Fault Diagnosis of Simplified Fault Trees using State Transition Diagrams},
booktitle = {27th Asia-Pacific Software Engineering Conference, {APSEC} 2020, Singapore,
December 1-4, 2020},
pages = {11--20},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/APSEC51365.2020.00009},
doi = {10.1109/APSEC51365.2020.00009},
timestamp = {Sat, 20 Mar 2021 14:55:58 +0100},
biburl = {https://dblp.org/rec/conf/apsec/JiaoHSCL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/NieSH20,
author = {Chaoqun Nie and
Jianqi Shi and
Yanhong Huang},
editor = {Shang{-}Wei Lin and
Zhe Hou and
Brendan P. Mahony},
title = {{VARF:} Verifying and Analyzing Robustness of Random Forests},
booktitle = {Formal Methods and Software Engineering - 22nd International Conference
on Formal Engineering Methods, {ICFEM} 2020, Singapore, Singapore,
March 1-3, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12531},
pages = {163--178},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-63406-3\_10},
doi = {10.1007/978-3-030-63406-3\_10},
timestamp = {Thu, 25 Feb 2021 14:03:56 +0100},
biburl = {https://dblp.org/rec/conf/icfem/NieSH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/LvSHW20,
author = {Bohao Wang and
Wanyou Lv and
Jianqi Shi and
Yanhong Huang},
editor = {Ra{\'{u}}l Garc{\'{\i}}a{-}Castro},
title = {A Novel Self-Attention Based Automatic Code Completion Neural Network},
booktitle = {The 32nd International Conference on Software Engineering and Knowledge
Engineering, {SEKE} 2020, {KSIR} Virtual Conference Center, USA, July
9-19, 2020},
pages = {386--391},
publisher = {{KSI} Research Inc.},
year = {2020},
url = {https://doi.org/10.18293/SEKE2020-056},
doi = {10.18293/SEKE2020-056},
timestamp = {Tue, 26 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/seke/LvSHW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/HuangBZYZS19,
author = {Yanhong Huang and
Xiangxing Bu and
Gang Zhu and
Xin Ye and
Xiaoran Zhu and
Jianqi Shi},
title = {{KST:} Executable Formal Semantics of {IEC} 61131-3 Structured Text
for Verification},
journal = {{IEEE} Access},
volume = {7},
pages = {14593--14602},
year = {2019},
url = {https://doi.org/10.1109/ACCESS.2019.2894026},
doi = {10.1109/ACCESS.2019.2894026},
timestamp = {Wed, 27 Feb 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/access/HuangBZYZS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/LiZSHX19,
author = {Zhihui Li and
Hui Zhao and
Jianqi Shi and
Yanhong Huang and
Jiawen Xiong},
title = {An Intelligent Fuzzing Data Generation Method Based on Deep Adversarial
Learning},
journal = {{IEEE} Access},
volume = {7},
pages = {49327--49340},
year = {2019},
url = {https://doi.org/10.1109/ACCESS.2019.2911121},
doi = {10.1109/ACCESS.2019.2911121},
timestamp = {Fri, 03 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/access/LiZSHX19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/ZhangLSHZ19,
author = {Peng Zhang and
Yu Liu and
Jianqi Shi and
Yanhong Huang and
Yongxin Zhao},
title = {A Feasibility Analysis Framework of Time-Sensitive Networking Using
Real-Time Calculus},
journal = {{IEEE} Access},
volume = {7},
pages = {90069--90081},
year = {2019},
url = {https://doi.org/10.1109/ACCESS.2019.2927516},
doi = {10.1109/ACCESS.2019.2927516},
timestamp = {Sat, 31 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/access/ZhangLSHZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/XiongLSH19,
author = {Jiawen Xiong and
Ju Li and
Jianqi Shi and
Yanhong Huang},
title = {A Decomposition-Based Development Method for Industrial Control Systems},
journal = {{IEEE} Access},
volume = {7},
pages = {93161--93174},
year = {2019},
url = {https://doi.org/10.1109/ACCESS.2019.2927263},
doi = {10.1109/ACCESS.2019.2927263},
timestamp = {Thu, 08 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/access/XiongLSH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ajiips/FuKHS19,
author = {Neng Fu and
Nuerbiye Kamili and
Yanhong Huang and
Jianqi Shi},
title = {A Novel Deep Intrusion Detection Model Based On a Convolutional Neural
Network},
journal = {Aust. J. Intell. Inf. Process. Syst.},
volume = {15},
number = {2},
pages = {52--59},
year = {2019},
url = {http://ajiips.com.au/papers/V15.2/v15n2\_56-63.pdf},
timestamp = {Fri, 03 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ajiips/FuKHS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ica3pp/WeiYSH19,
author = {Hansheng Wei and
Xin Ye and
Jianqi Shi and
Yanhong Huang},
editor = {Sheng Wen and
Albert Y. Zomaya and
Laurence T. Yang},
title = {ParaMoC: {A} Parallel Model Checker for Pushdown Systems},
booktitle = {Algorithms and Architectures for Parallel Processing - 19th International
Conference, {ICA3PP} 2019, Melbourne, VIC, Australia, December 9-11,
2019, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {11945},
pages = {305--312},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-38961-1\_26},
doi = {10.1007/978-3-030-38961-1\_26},
timestamp = {Tue, 28 Jan 2020 11:28:52 +0100},
biburl = {https://dblp.org/rec/conf/ica3pp/WeiYSH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/ZhaoLWSH19,
author = {Hui Zhao and
Zhihui Li and
Hansheng Wei and
Jianqi Shi and
Yanhong Huang},
title = {SeqFuzzer: An Industrial Protocol Fuzzing Framework from a Deep Learning
Perspective},
booktitle = {12th {IEEE} Conference on Software Testing, Validation and Verification,
{ICST} 2019, Xi'an, China, April 22-27, 2019},
pages = {59--67},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ICST.2019.00016},
doi = {10.1109/ICST.2019.00016},
timestamp = {Fri, 03 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/ZhaoLWSH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ksem/PiSHW19,
author = {Xingxing Pi and
Jianqi Shi and
Yanhong Huang and
Hansheng Wei},
editor = {Christos Douligeris and
Dimitris Karagiannis and
Dimitris Apostolou},
title = {Automated Mining and Checking of Formal Properties in Natural Language
Requirements},
booktitle = {Knowledge Science, Engineering and Management - 12th International
Conference, {KSEM} 2019, Athens, Greece, August 28-30, 2019, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {11776},
pages = {75--87},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-29563-9\_8},
doi = {10.1007/978-3-030-29563-9\_8},
timestamp = {Thu, 05 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ksem/PiSHW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/refsq/ShiSHXS19,
author = {Jian Shi and
Jianqi Shi and
Yanhong Huang and
Jiawen Xiong and
Qing She},
editor = {Paola Spoletini and
Patrick M{\"{a}}der and
Daniel M. Berry and
Fabiano Dalpiaz and
Maya Daneva and
Alessio Ferrari and
Xavier Franch and
Sarah Gregory and
Eduard C. Groen and
Andrea Herrmann and
Anne Hess and
Frank Houdek and
Oliver Karras and
Anne Koziolek and
Kim Lauenroth and
Cristina Palomares and
Mehrdad Sabetzadeh and
Norbert Seyff and
Marcus Trapp and
Andreas Vogelsang and
Thorsten Weyer},
title = {Scade2Nu : {A} Tool for Verifying Safety Requirements of {SCADE} Models
with Temporal Specifications},
booktitle = {Joint Proceedings of {REFSQ-2019} Workshops, Doctoral Symposium, Live
Studies Track, and Poster Track co-located with the 25th International
Conference on Requirements Engineering: Foundation for Software Quality
{(REFSQ} 2019), Essen, Germany, March 18th, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2376},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2376/PT\_paper\_2.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:43 +0100},
biburl = {https://dblp.org/rec/conf/refsq/ShiSHXS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssci/WangSTGLF19,
author = {Fan Wang and
Jianqi Shi and
Xuan Tang and
Jielong Guo and
Peidong Liang and
Yuanzhi Feng},
title = {CNN-based Super-resolution Reconstruction for Traffic Sign Detection},
booktitle = {{IEEE} Symposium Series on Computational Intelligence, {SSCI} 2019,
Xiamen, China, December 6-9, 2019},
pages = {1208--1213},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/SSCI44817.2019.9003046},
doi = {10.1109/SSCI44817.2019.9003046},
timestamp = {Wed, 26 Feb 2020 16:57:41 +0100},
biburl = {https://dblp.org/rec/conf/ssci/WangSTGLF19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/HaoSSH19,
author = {Li Hao and
Jianqi Shi and
Ting Su and
Yanhong Huang},
editor = {Dominique M{\'{e}}ry and
Shengchao Qin},
title = {Automated Test Generation for {IEC} 61131-3 {ST} Programs via Dynamic
Symbolic Execution},
booktitle = {2019 International Symposium on Theoretical Aspects of Software Engineering,
{TASE} 2019, Guilin, China, July 29-31, 2019},
pages = {200--207},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/TASE.2019.00004},
doi = {10.1109/TASE.2019.00004},
timestamp = {Wed, 05 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tase/HaoSSH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cf/HuSHXB18,
author = {Zhicheng Hu and
Jianqi Shi and
Yanhong Huang and
Jiawen Xiong and
Xiangxing Bu},
editor = {David R. Kaeli and
Miquel Peric{\`{a}}s},
title = {GANFuzz: a GAN-based industrial network protocol fuzzing framework},
booktitle = {Proceedings of the 15th {ACM} International Conference on Computing
Frontiers, {CF} 2018, Ischia, Italy, May 08-10, 2018},
pages = {138--145},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3203217.3203241},
doi = {10.1145/3203217.3203241},
timestamp = {Wed, 21 Nov 2018 12:44:06 +0100},
biburl = {https://dblp.org/rec/conf/cf/HuSHXB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispa/ChenWYHHS18,
author = {Xinyu Chen and
Hansheng Wei and
Xin Ye and
Li Hao and
Yanhong Huang and
Jianqi Shi},
editor = {Jinjun Chen and
Laurence T. Yang},
title = {Efficient Parallel {CTL} Model-Checking for Pushdown Systems},
booktitle = {{IEEE} International Conference on Parallel {\&} Distributed Processing
with Applications, Ubiquitous Computing {\&} Communications, Big
Data {\&} Cloud Computing, Social Computing {\&} Networking,
Sustainable Computing {\&} Communications, ISPA/IUCC/BDCloud/SocialCom/SustainCom
2018, Melbourne, Australia, December 11-13, 2018},
pages = {23--30},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/BDCloud.2018.00018},
doi = {10.1109/BDCLOUD.2018.00018},
timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
biburl = {https://dblp.org/rec/conf/ispa/ChenWYHHS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispa/WeiCYFHS18,
author = {Hansheng Wei and
Xinyu Chen and
Xin Ye and
Neng Fu and
Yanhong Huang and
Jianqi Shi},
editor = {Jinjun Chen and
Laurence T. Yang},
title = {Parallel Model Checking on Pushdown Systems},
booktitle = {{IEEE} International Conference on Parallel {\&} Distributed Processing
with Applications, Ubiquitous Computing {\&} Communications, Big
Data {\&} Cloud Computing, Social Computing {\&} Networking,
Sustainable Computing {\&} Communications, ISPA/IUCC/BDCloud/SocialCom/SustainCom
2018, Melbourne, Australia, December 11-13, 2018},
pages = {88--95},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/BDCloud.2018.00026},
doi = {10.1109/BDCLOUD.2018.00026},
timestamp = {Mon, 01 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ispa/WeiCYFHS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/LiXMSYH17,
author = {Ju Li and
Jiawen Xiong and
Xia Mao and
Jianqi Shi and
Xin Ye and
Yanhong Huang},
title = {Decomposition and Collaboration of Industrial Control System with
Resource Constraints},
booktitle = {22nd International Conference on Engineering of Complex Computer Systems,
{ICECCS} 2017, Fukuoka, Japan, November 5-8, 2017},
pages = {162--165},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICECCS.2017.25},
doi = {10.1109/ICECCS.2017.25},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/LiXMSYH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmss/ShuSYJL17,
author = {Lingjie Shu and
Jianqi Shi and
Xin Ye and
Ningkang Jiang and
Yichun Li},
editor = {Yulin Wang},
title = {A New Parallel Approach for Reachability Analysis of Pushdown Models},
booktitle = {Proceedings of the 2017 International Conference on Management Engineering,
Software Engineering and Service Sciences, {ICMSS} '17, Wuhan, China,
January 14-16, 2017},
pages = {113--118},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3034950.3034984},
doi = {10.1145/3034950.3034984},
timestamp = {Fri, 13 Aug 2021 13:52:25 +0200},
biburl = {https://dblp.org/rec/conf/icmss/ShuSYJL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/PangLRHSQ16,
author = {Haiping Pang and
Ju Li and
Yijia Ruan and
Yanhong Huang and
Jianqi Shi and
Shengchao Qin},
editor = {Alex Potanin and
Gail C. Murphy and
Steve Reeves and
Jens Dietrich},
title = {Formalization and Verification of the Powerlink Protocol Using {CSP}},
booktitle = {23rd Asia-Pacific Software Engineering Conference, {APSEC} 2016, Hamilton,
New Zealand, December 6-9, 2016},
pages = {321--328},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/APSEC.2016.052},
doi = {10.1109/APSEC.2016.052},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/PangLRHSQ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fcsc/HuangHZZSQ15,
author = {Yanhong Huang and
Jifeng He and
Huibiao Zhu and
Yongxin Zhao and
Jianqi Shi and
Shengchao Qin},
title = {Semantic theories of programs with nested interrupts},
journal = {Frontiers Comput. Sci.},
volume = {9},
number = {3},
pages = {331--345},
year = {2015},
url = {https://doi.org/10.1007/s11704-015-3251-x},
doi = {10.1007/S11704-015-3251-X},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fcsc/HuangHZZSQ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/FangZS15,
author = {Huixing Fang and
Huibiao Zhu and
Jianqi Shi},
title = {An Object-Oriented Language for Modeling of Hybrid Systems},
booktitle = {16th {IEEE} International Symposium on High Assurance Systems Engineering,
{HASE} 2015, Daytona Beach, FL, USA, January 8-10, 2015},
pages = {1--9},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/HASE.2015.9},
doi = {10.1109/HASE.2015.9},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/FangZS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/WuLSSQ15,
author = {Zhimin Wu and
Yang Liu and
Jun Sun and
Jianqi Shi and
Shengchao Qin},
title = {{GPU} Accelerated On-the-Fly Reachability Checking},
booktitle = {20th International Conference on Engineering of Complex Computer Systems,
{ICECCS} 2015, Gold Coast, Australia, December 9-12, 2015},
pages = {100--109},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ICECCS.2015.21},
doi = {10.1109/ICECCS.2015.21},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iceccs/WuLSSQ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/ZhouWCSL15,
author = {Conghua Zhou and
Yong Wang and
Meiling Cao and
Jianqi Shi and
Yang Liu},
title = {Formal Analysis of {MAC} in {IEEE} 802.11p with Probabilistic Model
Checking},
booktitle = {2015 International Symposium on Theoretical Aspects of Software Engineering,
{TASE} 2015, Nanjing, China, September 12-14, 2015},
pages = {55--62},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/TASE.2015.22},
doi = {10.1109/TASE.2015.22},
timestamp = {Fri, 04 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tase/ZhouWCSL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isse/LiSZ14,
author = {Qin Li and
Jianqi Shi and
Huibiao Zhu},
title = {A formal framework for service mashups with dynamic service selection},
journal = {Innov. Syst. Softw. Eng.},
volume = {10},
number = {3},
pages = {219--234},
year = {2014},
url = {https://doi.org/10.1007/s11334-014-0238-y},
doi = {10.1007/S11334-014-0238-Y},
timestamp = {Thu, 26 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/isse/LiSZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/FangSZGLD14,
author = {Huixing Fang and
Jianqi Shi and
Huibiao Zhu and
Jian Guo and
Kim Guldstrand Larsen and
Alexandre David},
title = {Formal verification and simulation for platform screen doors and collision
avoidance in subway control systems},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {16},
number = {4},
pages = {339--361},
year = {2014},
url = {https://doi.org/10.1007/s10009-014-0318-1},
doi = {10.1007/S10009-014-0318-1},
timestamp = {Mon, 30 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sttt/FangSZGLD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/LiHSGZX14,
author = {Xin Li and
Yanhong Huang and
Jianqi Shi and
Jian Guo and
Huibiao Zhu and
Yuanmin Xu},
editor = {Sungdeok (Steve) Cha and
Yann{-}Ga{\"{e}}l Gu{\'{e}}h{\'{e}}neuc and
Gihwon Kwon},
title = {pIML - An Interrupt Program Modelling Language for Real-Time and Embedded
Systems},
booktitle = {21st Asia-Pacific Software Engineering Conference, {APSEC} 2014, Jeju,
South Korea, December 1-4, 2014. Volume 1: Research Papers},
pages = {78--85},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/APSEC.2014.21},
doi = {10.1109/APSEC.2014.21},
timestamp = {Wed, 22 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/LiHSGZX14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/RanWLSGZ14,
author = {Qinwen Ran and
Xi Wu and
Xin Li and
Jianqi Shi and
Jian Guo and
Huibiao Zhu},
title = {Modeling and Verifying the {TTCAN} Protocol Using Timed {CSP}},
booktitle = {2014 Theoretical Aspects of Software Engineering Conference, {TASE}
2014, Changsha, China, September 1-3, 2014},
pages = {90--97},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/TASE.2014.8},
doi = {10.1109/TASE.2014.8},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/RanWLSGZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/HuangZSZ13,
author = {Yanhong Huang and
Yongxin Zhao and
Jianqi Shi and
Huibiao Zhu},
title = {A Denotational Model for Interrupt-Driven Programs},
booktitle = {Sixth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2013 Workshops Proceedings, Luxembourg, Luxembourg,
March 18-22, 2013},
pages = {15--20},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ICSTW.2013.9},
doi = {10.1109/ICSTW.2013.9},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/HuangZSZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/ZhuLSWZ13,
author = {Longfei Zhu and
Peng Liu and
Jianqi Shi and
Zheng Wang and
Huibiao Zhu},
title = {A Timing Verification Framework for {AUTOSAR} {OS} Component Development
Based on Real-Time Maude},
booktitle = {Seventh International Symposium on Theoretical Aspects of Software
Engineering, {TASE} 2013, 1-3 July 2013, Birmingham, {UK}},
pages = {29--36},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/TASE.2013.12},
doi = {10.1109/TASE.2013.12},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/ZhuLSWZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PanGZSZZ14,
author = {Can Pan and
Jian Guo and
Longfei Zhu and
Jianqi Shi and
Huibiao Zhu and
Xinyun Zhou},
editor = {Jinyun Xue and
Volker Stolz},
title = {Modeling and Verification of {CAN} Bus with Application Layer using
{UPPAAL}},
booktitle = {Proceedings of the Sixth International Workshop on Harnessing Theories
for Tool Support for Software, {TTSS} 2013, Jiangxi Normal University,
Nanchang, China, October 27, 2013},
series = {Electronic Notes in Theoretical Computer Science},
volume = {309},
pages = {31--49},
publisher = {Elsevier},
year = {2013},
url = {https://doi.org/10.1016/j.entcs.2014.12.004},
doi = {10.1016/J.ENTCS.2014.12.004},
timestamp = {Tue, 22 Nov 2022 11:09:22 +0100},
biburl = {https://dblp.org/rec/journals/entcs/PanGZSZZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1304-6498,
author = {Huixing Fang and
Huibiao Zhu and
Jianqi Shi},
title = {Apricot - An Object-Oriented Modeling Language for Hybrid Systems},
journal = {CoRR},
volume = {abs/1304.6498},
year = {2013},
url = {http://arxiv.org/abs/1304.6498},
eprinttype = {arXiv},
eprint = {1304.6498},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1304-6498.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/ShiZFGZY12,
author = {Jianqi Shi and
Longfei Zhu and
Huixing Fang and
Jian Guo and
Huibiao Zhu and
Xin Ye},
editor = {Isabelle Perseil and
Karin K. Breitman and
Marc Pouzet},
title = {xBIL - {A} Hardware Resource Oriented Binary Intermediate Language},
booktitle = {17th {IEEE} International Conference on Engineering of Complex Computer
Systems, {ICECCS} 2012, Paris, France, July 18-20, 2012},
pages = {211--219},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.ieeecomputersociety.org/10.1109/ICECCS.2012.44},
doi = {10.1109/ICECCS.2012.44},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/ShiZFGZY12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/ShiHZFHZ12,
author = {Jianqi Shi and
Jifeng He and
Huibiao Zhu and
Huixing Fang and
Yanhong Huang and
Xiaoxian Zhang},
editor = {Isabelle Perseil and
Karin K. Breitman and
Marc Pouzet},
title = {{ORIENTAIS:} Formal Verified {OSEK/VDX} Real-Time Operating System},
booktitle = {17th {IEEE} International Conference on Engineering of Complex Computer
Systems, {ICECCS} 2012, Paris, France, July 18-20, 2012},
pages = {293--301},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.ieeecomputersociety.org/10.1109/ICECCS.2012.27},
doi = {10.1109/ICECCS.2012.27},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/ShiHZFHZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/ShiYCZJ12,
author = {Jianqi Shi and
Xin Ye and
Liangyu Chen and
Pei Zhang and
Ningkang Jiang},
title = {{ESF} - An Extensive Service Foundation from Internet of Things Perspective},
booktitle = {15th {IEEE} International Symposium on Object/Component/Service-Oriented
Real-Time Distributed Computing Workshops, {ISORC} Workshops 2012,
Shenzhen, China, April 11, 2012},
pages = {59--64},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ISORCW.2012.21},
doi = {10.1109/ISORCW.2012.21},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/ShiYCZJ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/HuangZSZQ12,
author = {Yanhong Huang and
Yongxin Zhao and
Jianqi Shi and
Huibiao Zhu and
Shengchao Qin},
editor = {Rohit Gheyi and
David A. Naumann},
title = {Investigating Time Properties of Interrupt-Driven Programs},
booktitle = {Formal Methods: Foundations and Applications - 15th Brazilian Symposium,
{SBMF} 2012, Natal, Brazil, September 23-28, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7498},
pages = {131--146},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33296-8\_11},
doi = {10.1007/978-3-642-33296-8\_11},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/HuangZSZQ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/FangGZS12,
author = {Huixing Fang and
Jian Guo and
Huibiao Zhu and
Jianqi Shi},
editor = {Tiziana Margaria and
Zongyan Qiu and
Hongli Yang},
title = {Formal Verification and Simulation: Co-verification for Subway Control
Systems},
booktitle = {Sixth International Symposium on Theoretical Aspects of Software Engineering,
{TASE} 2012, 4-6 July 2012, Beijing, China},
pages = {145--152},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/TASE.2012.11},
doi = {10.1109/TASE.2012.11},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/FangGZS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/ShiZHGZFY12,
author = {Jianqi Shi and
Longfei Zhu and
Yanhong Huang and
Jian Guo and
Huibiao Zhu and
Huixing Fang and
Xin Ye},
editor = {Tiziana Margaria and
Zongyan Qiu and
Hongli Yang},
title = {Binary Code Level Verification for Interrupt Safety Properties of
Real-Time Operating System},
booktitle = {Sixth International Symposium on Theoretical Aspects of Software Engineering,
{TASE} 2012, 4-6 July 2012, Beijing, China},
pages = {223--226},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/TASE.2012.46},
doi = {10.1109/TASE.2012.46},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/ShiZHGZFY12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/ZhuZHSZ11,
author = {Longfei Zhu and
Min Zhang and
Yanhong Huang and
Jianqi Shi and
Huibiao Zhu},
editor = {Zhenhua Duan and
C.{-}H. Luke Ong},
title = {Formalizing Application Programming Interfaces of the {OSEK/VDX} Operating
System Specification},
booktitle = {5th {IEEE} International Symposium on Theoretical Aspects of Software
Engineering, {TASE} 2011, Xi'an, China, 29-31 August 2011},
pages = {27--34},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/TASE.2011.12},
doi = {10.1109/TASE.2011.12},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/ZhuZHSZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/HuangZZLZS11,
author = {Yanhong Huang and
Yongxin Zhao and
Longfei Zhu and
Qin Li and
Huibiao Zhu and
Jianqi Shi},
editor = {Zhenhua Duan and
C.{-}H. Luke Ong},
title = {Modeling and Verifying the Code-Level {OSEK/VDX} Operating System
with {CSP}},
booktitle = {5th {IEEE} International Symposium on Theoretical Aspects of Software
Engineering, {TASE} 2011, Xi'an, China, 29-31 August 2011},
pages = {142--149},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/TASE.2011.11},
doi = {10.1109/TASE.2011.11},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/HuangZZLZS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/PuSWJLH07,
author = {Geguang Pu and
Jianqi Shi and
Zheng Wang and
Lu Jin and
Jing Liu and
Jifeng He},
title = {The Validation and Verification of {WSCDL}},
booktitle = {14th Asia-Pacific Software Engineering Conference {(APSEC} 2007),
5-7 December 2007, Nagoya, Japan},
pages = {81--88},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/APSEC.2007.93},
doi = {10.1109/APSEC.2007.93},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/PuSWJLH07.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 2024-04-02 20:14 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:
