Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Wei Dong 0006

> Home > Persons

Person information

affiliation: National University of Defense Technology, School of Computer, Changsha, China

Other persons with the same name

see FAQ

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2023
[j29]
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/ZengYLXWGBDL23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/ZengYLXWGBDL23
Chen Zeng, Yue Yu, Shanshan Li, Xin Xia, Zhiming Wang, Mingyang Geng, Linxiao Bai, Wei Dong, Xiangke Liao:
deGraphCS: Embedding Variable-based Flow Graph for Neural Code Search. ACM Trans. Softw. Eng. Methodol. 32(2): 34:1-34:27 (2023)
[j28]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/GuoTLLLYLCDZ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/GuoTLLLYLCDZ23
Zhaoqiang Guo, Tingting Tan, Shiran Liu, Xutong Liu, Wei Lai, Yibiao Yang, Yanhui Li, Lin Chen, Wei Dong, Yuming Zhou:
Mitigating False Positive Static Analysis Warnings: Progress, Challenges, and Opportunities. IEEE Trans. Software Eng. 49(12): 5154-5188 (2023)
2022
[j27]
- view
  authority control:
- export record
  dblp key:
  - journals/fcsc/ZhaoLLDL22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fcsc/ZhaoLLDL22
Wei Zhao, Rui Li, Wanwei Liu, Wei Dong, Zhiming Liu:
Probabilistic synthesis against GR(1) winning condition. Frontiers Comput. Sci. 16(3): 162203 (2022)
2021
[j26]
- view
  authority control:
- export record
  dblp key:
  - journals/isci/LiJGDDL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/isci/LiJGDDL21
Yongjun Li, Wenli Ji, Xing Gao, Yao Deng, Wei Dong, Dongxu Li:
Matching user accounts with spatio-temporal awareness across social networks. Inf. Sci. 570: 1-15 (2021)
2020
[j25]
- view
  authority control:
- export record
  dblp key:
  - journals/computer/ShiDLL20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/computer/ShiDLL20
Hao Shi, Wei Dong, Rui Li, Wanwei Liu:
Controller Resynthesis for Multirobot System When Changes Happen. Computer 53(12): 69-79 (2020)
[j24]
- view
  authority control:
- export record
  dblp key:
  - journals/eswa/YangLGD20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eswa/YangLGD20
Jiaqi Yang, Yongjun Li, Congjie Gao, Wei Dong:
Entity disambiguation with context awareness in user-generated short texts. Expert Syst. Appl. 160: 113652 (2020)
[j23]
- view
  authority control:
- export record
  dblp key:
  - journals/jzusc/HongLCDW20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jzusc/HongLCDW20
Weijiang Hong, Yijun Liu, Zhenbang Chen, Wei Dong, Ji Wang:
Modified condition/decision coverage (MC/DC) oriented compiler optimization for symbolic execution. Frontiers Inf. Technol. Electron. Eng. 21(9): 1267-1284 (2020)
[j22]
- view
  authority control:
- export record
  dblp key:
  - journals/jzusc/HuDYSD20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jzusc/HuDYSD20
Chi Hu, Wei Dong, Yonghui Yang, Hao Shi, Fei Deng:
Decentralized runtime enforcement for robotic swarms. Frontiers Inf. Technol. Electron. Eng. 21(11): 1591-1606 (2020)
[j21]
- view
  authority control:
- export record
  dblp key:
  - journals/sigsoft/ArthoPAABBBCCDE20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigsoft/ArthoPAABBBCCDE20
Cyrille Artho, Quoc-Sang Phan, Peter Aldous, Alyas Almaawi, Lucas Bang, Lasse Berglund, Tevfik Bultan, Zhenbang Chen, Hayes Converse, Wei Dong, William Eiers, Milos Gligoric, Simon Goldsmith, Lars Grunske, Joshua Hooker, Ismet Burak Kadron, Timo Kehrer, Sarfraz Khurshid, Xuan-Bach Dinh Le, David Lo, Eric Mercer, Sasa Misailovic, Egor Namakonov, Hoang Lam Nguyen, Yannic Noller, Benjamin Ogles, Rohan Padhye, Pavel Parízek, Corina S. Pasareanu, Sheridan Jacob Powell, Seemanta Saha, Koushik Sen, Elena Sherman, Kyle Storey, Minxing Tang, Willem Visser, Ji Wang, Hengbiao Yu:
The Java Pathfinder Workshop 2019. ACM SIGSOFT Softw. Eng. Notes 45(2): 20-22 (2020)
[j20]
- view
  authority control:
- export record
  dblp key:
  - journals/tr/HuDYSZ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tr/HuDYSZ20
Chi Hu, Wei Dong, Yonghui Yang, Hao Shi, Ge Zhou:
Runtime Verification on Hierarchical Properties of ROS-Based Robot Swarms. IEEE Trans. Reliab. 69(2): 674-689 (2020)
[j19]
- view
  authority control:
- export record
  dblp key:
  - journals/tr/ShiLLDZ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tr/ShiLLDZ20
Hao Shi, Rui Li, Wanwei Liu, Wei Dong, Ge Zhou:
Iterative Controller Synthesis for Multirobot System. IEEE Trans. Reliab. 69(3): 851-862 (2020)
[j18]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/YinDLW20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/YinDLW20
Liangze Yin, Wei Dong, Wanwei Liu, Ji Wang:
On Scheduling Constraint Abstraction for Multi-Threaded Program Verification. IEEE Trans. Software Eng. 46(5): 549-565 (2020)
2019
[j17]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/access/GaoLYD19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/access/GaoLYD19
Congjie Gao, Yongjun Li, Jiaqi Yang, Wei Dong:
Fine-Grained Geolocalization of User-Generated Short Text Based on a Weight Probability Model. IEEE Access 7: 153579-153591 (2019)
[j16]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/access/LiuDZ19b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/access/LiuDZ19b
Binbin Liu, Wei Dong, Yinzhu Zhang:
Accelerating API-Based Program Synthesis via API Usage Pattern Mining. IEEE Access 7: 159162-159176 (2019)
[j15]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/access/WangGDWLL19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/access/WangGDWLL19
Deze Wang, Yong Guo, Wei Dong, Zhiming Wang, Haoran Liu, Shanshan Li:
Deep Code-Comment Understanding and Assessment. IEEE Access 7: 174200-174209 (2019)
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/sigsoft/ChenYWD19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigsoft/ChenYWD19
Zhenbang Chen, Hengbiao Yu, Ji Wang, Wei Dong:
Symbolic Verification of Regular Properties for Java Programs. ACM SIGSOFT Softw. Eng. Notes 44(4): 17 (2019)
2018
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/cj/YinDHW18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cj/YinDHW18
Liangze Yin, Wei Dong, Fei He, Ji Wang:
A True-Concurrency Encoding for BMC of Compositional Systems. Comput. J. 61(5): 658-671 (2018)
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/ijseke/XuY0JL18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijseke/XuY0JL18
Luhang Xu, Liangze Yin, Wei Dong, Weixi Jia, Yongjun Li:
Expediting Binary Fuzzing with Symbolic Analysis. Int. J. Softw. Eng. Knowl. Eng. 28(11-12): 1701-1718 (2018)
2017
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/jsjkx/LiuLM018
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsjkx/LiuLM018
Binbin Liu, Wanwei Liu, Xiaoguang Mao, Wei Dong:
无人驾驶汽车决策系统的规则正确性验证 (Correctness Verification of Rules for Unmanned Vehicles' Decision System). 计算机科学 44(4): 72-74 (2017)
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/jsjkx/Liu0YQY18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsjkx/Liu0YQY18
Qilin Liu, Wei Dong, Liangze Yin, Xuan Qi, Shazhou Yang:
混源软件质量模型与度量方法研究 (Research on Mixed Source Software Quality Model and Measurement Method). 计算机科学 44(4): 82-84 (2017)
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/jsjkx/ZhuW018
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsjkx/ZhuW018
Lihua Zhu, Yanjun Wen, Wei Dong:
基于语义补丁的Linux驱动程序后向移植技术 (Backporting of Linux Device Drivers Using Semantic Patch). 计算机科学 44(11): 64-68 (2017)
2016
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/tecs/WuCMDW16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tecs/WuCMDW16
Xueguang Wu, Liqian Chen, Antoine Miné, Wei Dong, Ji Wang:
Static Analysis of Runtime Errors in Interrupt-Driven Programs via Sequentialization. ACM Trans. Embed. Comput. Syst. 15(4): 70:1-70:26 (2016)
2014
[j7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jam/LiuWFWDM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jam/LiuWFWDM14
Wanwei Liu, Rui Wang, Xianjin Fu, Ji Wang, Wei Dong, Xiaoguang Mao:
Counterexample-Preserving Reduction for Symbolic Model Checking. J. Appl. Math. 2014: 702165:1-702165:13 (2014)
[j6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jam/ChenJYDW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jam/ChenJYDW14
Liqian Chen, Jiahong Jiang, Banghu Yin, Wei Dong, Ji Wang:
Robustness Analysis of Floating-Point Programs by Self-Composition. J. Appl. Math. 2014: 789213:1-789213:12 (2014)
2012
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/chinaf/DongZSL12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/chinaf/DongZSL12
Wei Dong, Changzhi Zhao, Shaoxian Shu, Martin Leucker:
Anticipatory active monitoring for safety- and security-critical software. Sci. China Inf. Sci. 55(12): 2723-2737 (2012)
2009
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/jcst/WangMDXL09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcst/WangMDXL09
Ji Wang, Xiaodong Ma, Wei Dong, Hou-Feng Xu, Wanwei Liu:
Demand-Driven Memory Leak Detection Based on Flow- and Context-Sensitive Pointer Analysis. J. Comput. Sci. Technol. 24(2): 347-356 (2009)
2007
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/ijbpim/ChenWDQ07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijbpim/ChenWDQ07
Zhenbang Chen, Ji Wang, Wei Dong, Zhichang Qi:
Interface theory-based formalisation and verification of orchestration in BPEL4WS. Int. J. Bus. Process. Integr. Manag. 2(4): 262-281 (2007)
[j2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/YeungLWD07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/YeungLWD07
Wing Lok Yeung, Karl R. P. H. Leung, Ji Wang, Wei Dong:
Modelling and model checking suspendible business processes via statechart diagrams and CSP. Sci. Comput. Program. 65(1): 14-29 (2007)
2006
[j1]
- view
  - electronic edition @ CQVIP.COM
  - no references & citations available
- export record
  dblp key:
  - journals/jcrd/JiWLDQ06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcrd/JiWLDQ06
Mengluo Ji, Huaimin Wang, Mengjun Li, Wei Dong, Zhichang Qi:
An Value Range Analysis Based on Abstract Interpretation and Generalized Monotone Data Flow Framework. J. Comput. Res. Dev. 43(11): 2020-2026 (2006)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2023
[c73]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/WangCLLPDL23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/WangCLLPDL23
Deze Wang, Boxing Chen, Shanshan Li, Wei Luo, Shaoliang Peng, Wei Dong, Xiangke Liao:
One Adapter for All Programming Languages? Adapter Tuning for Code Search and Summarization. ICSE 2023: 5-16
[c72]
- view
  authority control:
- export record
  dblp key:
  - conf/internetware/XuYMYD23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/internetware/XuYMYD23
Peng Xu, Liangze Yin, Jiantong Ma, Dong Yang, Wei Dong:
FAEG: Feature-Driven Automatic Exploit Generation. Internetware 2023: 165-173
[c71]
- view
  authority control:
- export record
  dblp key:
  - conf/wcre/MaYLJMXDL23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wcre/MaYLJMXDL23
Yingwei Ma, Yue Yu, Shanshan Li, Zhouyang Jia, Jun Ma, Rulin Xu, Wei Dong, Xiangke Liao:
MulCS: Towards a Unified Deep Representation for Multilingual Code Search. SANER 2023: 120-131
2022
[c70]
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/GuWLZYD22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/GuWLZYD22
Lian Gu, Zihui Wang, Jiaxin Liu, Yating Zhang, Dong Yang, Wei Dong:
Extension-Compression Learning: A deep learning code search method that simulates reading habits. ICECCS 2022: 195-200
[c69]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/WangJLYX0L22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/WangJLYX0L22
Deze Wang, Zhouyang Jia, Shanshan Li, Yue Yu, Yun Xiong, Wei Dong, Xiangke Liao:
Bridging Pre-trained Models and Downstream Tasks for Source Code Understanding. ICSE 2022: 287-298
2021
[c68]
- view
  authority control:
- export record
  dblp key:
  - conf/apsec/DuYFD21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apsec/DuYFD21
Xiang Du, Liangze Yin, Haining Feng, Wei Dong:
Program Verification Enhanced Precise Analysis of Interrupt-Driven Program Vulnerabilities. APSEC 2021: 253-263
[c67]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/ZhangHLL0X21a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/ZhangHLL0X21a
Yuanliang Zhang, Haochen He, Owolabi Legunsen, Shanshan Li, Wei Dong, Tianyin Xu:
An Evolutionary Study of Configuration Design and Implementation in Cloud Systems. ICSE (Companion Volume) 2021: 175-176
[c66]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/ZhangHLL0X21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/ZhangHLL0X21
Yuanliang Zhang, Haochen He, Owolabi Legunsen, Shanshan Li, Wei Dong, Tianyin Xu:
An Evolutionary Study of Configuration Design and Implementation in Cloud Systems. ICSE 2021: 188-200
[c65]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/DuYD21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/DuYD21
Xiang Du, Liangze Yin, Wei Dong:
Simplify Array Processing Loops for Efficient Program Verification. ISSRE 2021: 401-411
[c64]
- view
  authority control:
- export record
  dblp key:
  - conf/seke/GuWLZYD21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/seke/GuWLZYD21
Lian Gu, Zihui Wang, Jiaxin Liu, Yating Zhang, Dong Yang, Wei Dong:
MACA: A Residual Network with Multi-Attention and Core Attributes for Code Search (S). SEKE 2021: 528-531
[c63]
- view
  authority control:
- export record
  dblp key:
  - conf/wcre/WangYLDW021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wcre/WangYLDW021
Deze Wang, Yue Yu, Shanshan Li, Wei Dong, Ji Wang, Qing Liao:
MulCode: A Multi-task Learning Approach for Source Code Understanding. SANER 2021: 48-59
2020
[c62]
- view
  authority control:
- export record
  dblp key:
  - conf/apsec/LiSL020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apsec/LiSL020
Rui Li, Hao Shi, Wanwei Liu, Wei Dong:
Synthesizing Cooperative Controllers from Global Tasks of Multi-robot Systems. APSEC 2020: 109-118
[c61]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/LiuL0ZW20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/LiuL0ZW20
Jiaxin Liu, Binbin Liu, Wei Dong, Yating Zhang, Daiyan Wang:
How Much Support Can API Recommendation Methods Provide for Component-Based Synthesis? COMPSAC 2020: 872-881
[c60]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/YuCFWSSHD20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/YuCFWSSHD20
Hengbiao Yu, Zhenbang Chen, Xianjin Fu, Ji Wang, Zhendong Su, Jun Sun, Chun Huang, Wei Dong:
Symbolic verification of message passing interface programs. ICSE 2020: 1248-1260
[c59]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/LiuDL20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/LiuDL20
Jiaxin Liu, Wei Dong, Binbin Liu:
Boosting component-based synthesis with API usage knowledge. ASE Workshops 2020: 91-97
[c58]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/WangDZ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/WangDZ20
Daiyan Wang, Wei Dong, Yating Zhang:
Collective intelligence for smarter neural program synthesis. ASE Workshops 2020: 98-104
[c57]
- view
  authority control:
- export record
  dblp key:
  - conf/qrs/WuYDJ020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qrs/WuYDJ020
Peng Wu, Liangze Yin, Xiang Du, Liyuan Jia, Wei Dong:
Graph-based Vulnerability Detection via Extracting Features from Sliced Code. QRS Companion 2020: 38-45
[c56]
- view
  authority control:
- export record
  dblp key:
  - conf/qrs/DuYWJ020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qrs/DuYWJ020
Xiang Du, Liangze Yin, Peng Wu, Liyuan Jia, Wei Dong:
Vulnerability Analysis through Interface-based Checker Design. QRS Companion 2020: 46-52
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/qrs/ZhangDWLL20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qrs/ZhangDWLL20
Yating Zhang, Wei Dong, Daiyan Wang, Jiaxin Liu, Binbin Liu:
Probabilistic Synthesis for Program with Non-API Operations. QRS Companion 2020: 451-457
[c54]
- view
  authority control:
- export record
  dblp key:
  - conf/qrs/FengYL0020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qrs/FengYL0020
Haining Feng, Liangze Yin, Wenfeng Lin, Xudong Zhao, Wei Dong:
Rchecker: A CBMC-based Data Race Detector for Interrupt-driven Programs. QRS Companion 2020: 465-471
[c53]
- view
  authority control:
- export record
  dblp key:
  - conf/qrs/0006SLF020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qrs/0006SLF020
Xudong Zhao, Shaoxian Shu, Yutian Lan, Haining Feng, Wei Dong:
Security Controller Synthesis for ROS-based Robot. QRS Companion 2020: 472-477
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/qrs/LiuDLZW20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qrs/LiuDLZW20
Jiaxin Liu, Wei Dong, Binbin Liu, Yating Zhang, Daiyan Wang:
Effective Iterative Program Synthesis with Knowledge Searched from Internet. QRS Companion 2020: 678-679
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/seke/LiLSS0Z20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/seke/LiLSS0Z20
Xudong Zhao, Rui Li, Wanwei Liu, Hao Shi, Shaoxian Shu, Wei Dong:
Controller Synthesis for ROS-based Multi-Robot Collaboration. SEKE 2020: 37-42
2019
[c50]
- view
  authority control:
- export record
  dblp key:
  - conf/dsa/LuSSL019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsa/LuSSL019
Wei Lu, Shaoxian Shu, Rao Shi, Rui Li, Wei Dong:
Synthesizing Secure Reactive Controller for Unmanned Aerial System. DSA 2019: 419-424
[c49]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/Yin0L019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/Yin0L019
Liangze Yin, Wei Dong, Wanwei Liu, Ji Wang:
Parallel refinement for multi-threaded program verification. ICSE 2019: 643-653
2018
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/apsec/ChiLGDJHL18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apsec/ChiLGDJHL18
Shuqi Chi, Shanshan Li, Yong Guo, Wei Dong, Zhouyang Jia, Haochen He, Qing Liao:
NotOnlyLog: Mining Patch-Log Associations from Software Evolution History to Enhance Failure Diagnosis Capability. APSEC 2018: 189-198
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/cikm/GaoJLD018
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cikm/GaoJLD018
Xing Gao, Wenli Ji, Yongjun Li, Yao Deng, Wei Dong:
User Identification with Spatio-Temporal Awareness across Social Networks. CIKM 2018: 1831-1834
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/LiuC0F18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/LiuC0F18
Yijun Liu, Zhenbang Chen, Wei Dong, Chendong Feng:
MC/DC coverage-oriented compiler optimization for symbolic execution. ICSE (Companion Volume) 2018: 214-215
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/YuCWS018
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/YuCWS018
Hengbiao Yu, Zhenbang Chen, Ji Wang, Zhendong Su, Wei Dong:
Symbolic verification of regular properties. ICSE 2018: 871-881
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/Yin0LW18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/Yin0LW18
Liangze Yin, Wei Dong, Wanwei Liu, Ji Wang:
Scheduling constraint based abstraction refinement for weak memory models. ASE 2018: 645-655
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/qrs/XuJ0L18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qrs/XuJ0L18
Luhang Xu, Weixi Jia, Wei Dong, Yongjun Li:
Automatic Exploit Generation for Buffer Overflow Vulnerabilities. QRS Companion 2018: 463-468
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/qrs/XuDYZ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qrs/XuDYZ18
Luhang Xu, Wei Dong, Liangze Yin, Qiuxi Zhong:
Guide Fuzzing with Multi-Factor Potential Analysis. QRS Companion 2018: 477-482
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/sate/Lu0YZ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sate/Lu0YZ18
Bailin Lu, Wei Dong, Liangze Yin, Li Zhang:
Evaluating and Integrating Diverse Bug Finders for Effective Program Analysis. SATE 2018: 51-67
[c40]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/seke/Xu0YJL18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/seke/Xu0YJL18
Luhang Xu, Wei Dong, Liangze Yin, Weixi Jia, Shenzhi Li:
Expediting Binary Fuzzing with Symbolic Analysis. SEKE 2018: 604-603
[c39]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/Yin0LLW18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/Yin0LLW18
Liangze Yin, Wei Dong, Wanwei Liu, Yunchou Li, Ji Wang:
YOGAR-CBMC: CBMC with Scheduling Constraint Based Abstraction Refinement - (Competition Contribution). TACAS (2) 2018: 422-426
2017
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/qrs/ZhouDLSHY17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qrs/ZhouDLSHY17
Ge Zhou, Wei Dong, Wanwei Liu, Hao Shi, Chi Hu, Liangze Yin:
Optimizing Monitor Code Based on Patterns in Runtime Verification. QRS Companion 2017: 348-354
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/qrs/ShiDZY17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qrs/ShiDZY17
Hao Shi, Wei Dong, Ge Zhou, Liangze Yin:
Monitor Synthesis for Parametric MTL Properties in Discrete Control Software. QRS Companion 2017: 355-362
[c36]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/seke/XuLGDWL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/seke/XuLGDWL17
Xiangyang Xu, Shanshan Li, Yong Guo, Wei Dong, Wang Li, Xiangke Liao:
Automatic Type Inference for Proactive Misconfiguration Prevention. SEKE 2017: 295-300
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/YuCZWD17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/YuCZWD17
Hengbiao Yu, Zhenbang Chen, Yufeng Zhang, Ji Wang, Wei Dong:
RGSE: a regular property guided symbolic executor for Java. ESEC/SIGSOFT FSE 2017: 954-958
2016
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/qrs/ZhouLLDLX16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qrs/ZhouLLDLX16
Shulin Zhou, Xiaodong Liu, Shanshan Li, Wei Dong, Xiangke Liao, Yun Xiong:
ConfMapper: Automated Variable Finding for Configuration Items in Source Code. QRS Companion 2016: 228-235
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/qrs/JiangCWDW16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qrs/JiangCWDW16
Jiahong Jiang, Liqian Chen, Yanjun Wen, Wei Dong, Ling Wen:
Analyzing Math Library Functions via Summarization. QRS Companion 2016: 259-264
2015
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/hase/FuCZHDW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hase/FuCZHDW15
Xianjin Fu, Zhenbang Chen, Yufeng Zhang, Chun Huang, Wei Dong, Ji Wang:
MPISE: Symbolic Execution of MPI Programs. HASE 2015: 181-188
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/ZhangCWD015
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/ZhangCWD015
Yufeng Zhang, Zhenbang Chen, Ji Wang, Wei Dong, Zhiming Liu:
Regular Property Guided Dynamic Symbolic Execution. ICSE (1) 2015: 643-653
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/FuCYHDW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/FuCYHDW15
Xianjin Fu, Zhenbang Chen, Hengbiao Yu, Chun Huang, Wei Dong, Ji Wang:
Poster: Symbolic Execution of MPI Programs. ICSE (2) 2015: 809-810
2014
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/apsec/FuCHDW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apsec/FuCHDW14
Xianjin Fu, Zhenbang Chen, Chun Huang, Wei Dong, Ji Wang:
Synchronization Error Detection of MPI Programs by Symbolic Execution. APSEC (1) 2014: 127-134
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/ZhouCWZD14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/ZhouCWZD14
Jingwen Zhou, Zhenbang Chen, Ji Wang, Zibin Zheng, Wei Dong:
A Runtime Verification Based Trace-Oriented Monitoring Framework for Cloud Systems. ISSRE Workshops 2014: 152-155
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/ssiri/YuCD14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ssiri/YuCD14
Kang Yu, Zhenbang Chen, Wei Dong:
A Predictive Runtime Verification Framework for Cyber-Physical Systems. SERE (Companion) 2014: 223-227
2013
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/LiuWFWDM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/LiuWFWDM13
Wanwei Liu, Rui Wang, Xianjin Fu, Ji Wang, Wei Dong, Xiaoguang Mao:
Counterexample-Preserving Reduction for Symbolic Model Checking. ICTAC 2013: 249-266
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/ssiri/WuWCDW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ssiri/WuWCDW13
Xueguang Wu, Yanjun Wen, Liqian Chen, Wei Dong, Ji Wang:
Data Race Detection for Interrupt-Driven Programs via Bounded Model Checking. SERE (Companion) 2013: 204-210
2012
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/ZhangLD12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/ZhangLD12
Xian Zhang, Martin Leucker, Wei Dong:
Runtime Verification with Predictive Semantics. NASA Formal Methods 2012: 418-432
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/ssiri/DongDC12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ssiri/DongDC12
Longming Dong, Wei Dong, Liqian Chen:
Invalid Pointer Dereferences Detection for CPS Software Based on Extended Pointer Structures. SERE (Companion) 2012: 144-151
2011
[c22]
- view
  - electronic edition @ ieee.org
  - no references & citations available
- export record
  dblp key:
  - conf/icitst/ZhangLD11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icitst/ZhangLD11
Xian Zhang, Martin Leucker, Wei Dong:
An event pattern language for runtime monitoring based on AOP. ICITST 2011: 744-751
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/ssiri/ZhaoDLQ11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ssiri/ZhaoDLQ11
Changzhi Zhao, Wei Dong, Martin Leucker, Zhichang Qi:
Security Goals Assurance Based on Software Active Monitoring. SSIRI 2011: 70-79
2010
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/qsic/ZhaoDQ10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qsic/ZhaoDQ10
Changzhi Zhao, Wei Dong, Zhichang Qi:
Active Monitoring for Control Systems under Anticipatory Semantics. QSIC 2010: 318-325
2008
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/DongLS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/DongLS08
Wei Dong, Martin Leucker, Christian Schallhart:
Impartial Anticipation in Runtime-Verification. ATVA 2008: 386-396
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/DongWZZT08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/DongWZZT08
Wei Dong, Ji Wang, Changzhi Zhao, Xian Zhang, Jie Tian:
Automating Software FMEA via Formal Analysis of Dependence Relations. COMPSAC 2008: 490-491
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/icycs/YeWDQ08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icycs/YeWDQ08
Junmin Ye, Junjie Wang, Wei Dong, Zhichang Qi:
Implementation of String Recognition Algorithm Based on the Principle of Artificial Immunology. ICYCS 2008: 1777-1782
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/icycs/YeZZDQ08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icycs/YeZZDQ08
Junmin Ye, Zemei Zhan, Zhenfang Zhang, Wei Dong, Zhichang Qi:
Design of Some Artificial Immune Operators in Software Test Cases Generation. ICYCS 2008: 2302-2307
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/icycs/YeDQ08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icycs/YeDQ08
Junmin Ye, Wei Dong, Zhichang Qi:
A Method to Generate Embedded Real-Time System Test Suites Based on Software Architecture Specifications. ICYCS 2008: 2325-2329
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/MaWD08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/MaWD08
Xiaodong Ma, Ji Wang, Wei Dong:
Computing Must and May Alias to Detect Null Pointer Dereference. ISoLA 2008: 252-261
2007
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/apsec/DongWQR07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apsec/DongWQR07
Wei Dong, Ji Wang, Zhichang Qi, Ni Rong:
Compositional Verification of UML Dynamic Models. APSEC 2007: 286-293
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/LiuWDC07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/LiuWDC07
Wanwei Liu, Ji Wang, Wei Dong, Huowang Chen:
Axiomatizing Extended Temporal Logic Fragments Via Instantiation. ICTAC 2007: 322-336
[c11]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/MaWD08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/MaWD08
Xiaodong Ma, Ji Wang, Wei Dong:
Shape Analysis by Refining on Abstract Evaluation Path. TTSS 2007: 137-151
2006
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/ChenWDQY06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/ChenWDQY06
Zhenbang Chen, Ji Wang, Wei Dong, Zhichang Qi, Wing Lok Yeung:
An Interface Theory Based Approach to Verification of Web Services. COMPSAC (2) 2006: 139-144
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/scw/YeungWD06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/scw/YeungWD06
Wing Lok Yeung, Ji Wang, Wei Dong:
Verifying Choreographic Descriptions of Web Services Based on CSP. SCW 2006: 97-104
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/sitis/ChenWDQ06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sitis/ChenWDQ06
Zhenbang Chen, Ji Wang, Wei Dong, Zhichang Qi:
Towards Formal Interfaces for Web Services with Transactions. SITIS 2006: 292-304
[c7]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/vveis/YeungLWD06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vveis/YeungLWD06
Wing Lok Yeung, Karl R. P. H. Leung, Ji Wang, Wei Dong:
Model Checking Suspendible Business Processes via Statechart Diagrams and CSP. MSVVEIS 2006: 97-107
[c6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/DongCW07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/DongCW07
Wei Dong, Zhenbang Chen, Ji Wang:
A Contract-based Approach to Specifying and Verifying Safety Critical Systems. FESCA@ETAPS 2006: 89-103
2005
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/apsec/YeungLWD05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apsec/YeungLWD05
Wing Lok Yeung, Karl R. P. H. Leung, Ji Wang, Wei Dong:
Improvements Towards Formalizing UML State Diagrams in CSP. APSEC 2005: 176-184
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/DongW05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/DongW05
Wei Dong, Ji Wang:
Contract-Based Formal Specification of Safety Critical Systems. COMPSAC (2) 2005: 7-8
2004
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/apsec/LiWDQ04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apsec/LiWDQ04
Shuhao Li, Ji Wang, Wei Dong, Zhichang Qi:
Property-Oriented Testing of Real-Time Systems. APSEC 2004: 358-365
2002
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/WangDQ02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/WangDQ02
Ji Wang, Wei Dong, Zhichang Qi:
Slicing Hierarchical Automata for Model Checking UML Statecharts. ICFEM 2002: 435-446
2001
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/apsec/DongWQQ01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apsec/DongWQQ01
Wei Dong, Ji Wang, Xuan Qi, Zhichang Qi:
Model Checking UML Statecharts. APSEC 2001: 363-370

Editorship

see FAQ

What is the meaning of the colors in the publication lists?

2022
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/setta/2022
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/setta/2022
Wei Dong, Jean-Pierre Talpin:
Dependable Software Engineering. Theories, Tools, and Applications - 8th International Symposium, SETTA 2022, Beijing, China, October 27-29, 2022, Proceedings. Lecture Notes in Computer Science 13649, Springer 2022, ISBN 978-3-031-21212-3 [contents]

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2023
[i8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2303-15822
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2303-15822
Deze Wang, Boxing Chen, Shanshan Li, Wei Luo, Shaoliang Peng, Wei Dong, Xiangke Liao:
One Adapter for All Programming Languages? Adapter Tuning for Code Search and Summarization. CoRR abs/2303.15822 (2023)
2021
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2102-07052
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2102-07052
Yuanliang Zhang, Haochen He, Owolabi Legunsen, Shanshan Li, Wei Dong, Tianyin Xu:
An Evolutionary Study of Configuration Design and Implementation in Cloud Systems. CoRR abs/2102.07052 (2021)
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2103-13020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2103-13020
Chen Zeng, Yue Yu, Shanshan Li, Xin Xia, Zhiming Wang, Mingyang Geng, Bailin Xiao, Wei Dong, Xiangke Liao:
deGraphCS: Embedding Variable-based Flow Graph for Neural Code Search. CoRR abs/2103.13020 (2021)
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2112-02268
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2112-02268
Deze Wang, Zhouyang Jia, Shanshan Li, Yue Yu, Yun Xiong, Wei Dong, Xiangke Liao:
Bridging Pre-trained Models and Downstream Tasks for Source Code Understanding. CoRR abs/2112.02268 (2021)
2018
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1803-06300
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1803-06300
Hengbiao Yu, Zhenbang Chen, Xianjin Fu, Ji Wang, Zhendong Su, Wei Dong, Chun Huang:
Combining Symbolic Execution and Model Checking to Verify MPI Programs. CoRR abs/1803.06300 (2018)
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1811-07108
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1811-07108
Chengdong Feng, Zhenbang Chen, Weijiang Hong, Hengbiao Yu, Wei Dong, Ji Wang:
Boosting the Robustness Verification of DNN by Identifying the Achilles's Heel. CoRR abs/1811.07108 (2018)
2017
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1708-08323
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1708-08323
Liangze Yin, Wei Dong, Wanwei Liu, Ji Wang:
Scheduling Constraint Based Abstraction Refinement for Multi-Threaded Program Verification. CoRR abs/1708.08323 (2017)
2013
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1301-3299
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1301-3299
Wanwei Liu, Rui Wang, Xianjin Fu, Ji Wang, Wei Dong, Xiaoguang Mao:
Counterexample-Preserving Reduction for Symbolic Model Checking. CoRR abs/1301.3299 (2013)

Coauthor Index

see FAQ

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.