Wei Dong - RankMe

126 papers A* 8A 5B 4C 17Misc 2Journal 45Unranked 45

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	A Little Help Goes a Long Way: Tutoring LLMs in Solving Competitive Programming Through Hints. IEEE Trans. Software Eng. Yating Zhang, Wei Dong, Jiaxin Liu, Shangwen Wang, Deze Wang, Tiecheng Ma, Yiwei Li, Kang Yang
2025	Misc	`conf`	A Robust Distributed Recurrent Neural Network for Multi-Agent Consensus Control. ICASSP Yiwei Li, Jiaxin Liu, Lin Yang, Yating Zhang, Kunlin Liu, Ge Zhou, Liangze Yin, Wei Dong
2025	J	`jnl`	A Self-Learning Noise-Resistant Zeroing Neural Network for Dynamic Equations and Its Applications. IEEE Trans. Syst. Man Cybern. Syst. Yiwei Li, Jiaxin Liu, Lin Xiao, Qiuyue Zuo, Liangze Yin, Wei Dong
2025	C	`conf`	Beyond Test Cases: Multi-Agent Collaboration for Detecting Errors in Full-Score Code Implementations. SEKE Yiwei Li, Jiaxin Liu, Yanfeng Hu, Chen Liu, Yating Zhang, Liangze Yin, Wei Dong
2025	J	`jnl`	Bridging Operator Semantic Inconsistencies: A Source-Level Cross-Framework Model Conversion Approach. Proc. ACM Softw. Eng. Xingpei Li, Yan Lei, Zhouyang Jia, Yuanliang Zhang, Haoran Liu, Liqian Chen, Wei Dong, Shan-shan Li
2025	J	`jnl`	CIPAC: A framework of automated software construction based on collective intelligence. J. Syst. Softw. Jiaxin Liu, Yating Zhang, Yiwei Li, Tiecheng Ma, Wei Dong
2025	A*	`conf`	Hetrify: Efficient Verification of Heterogeneous Programs on RISC-V. ICSE Yiwei Li, Liangze Yin, Wei Dong, Jiaxin Liu, Yanfeng Hu, Shanshan Li
2025	J	`jnl`	Incremental Verification of Concurrent Programs through Refinement Constraint Adaptation. Proc. ACM Softw. Eng. Liangze Yin, Yiwei Li, Kun Chen, Wei Dong, Ji Wang
2025	J	`jnl`	Iterative program synthesis with code knowledge. Inf. Sci. Jiaxin Liu, Yiwei Li, Jianhua Dai, Rongjia Xu, Yating Zhang, Wei Dong
2025	C	`conf`	MUATC: Multi-Agent Utilization to Augment Test Coverage. APSEC Tiecheng Ma, Sirui Liu, Wei Dong, Jiaxin Liu, Yating Zhang
2025	J	`jnl`	QSF: Multi-objective Optimization Based Efficient Solving for Floating-Point Constraints. Proc. ACM Softw. Eng. Xu Yang, Zhenbang Chen, Wei Dong, Ji Wang
2025	A	`conf`	THINK: Tackling API Hallucinations in LLMs via Injecting Knowledge. SANER Jiaxin Liu, Yating Zhang, Deze Wang, Yiwei Li, Wei Dong
2024	—	`conf`	Automating Component-Based Embedded Software Construction via Formal Synthesis and LLMs. SETSS Sirui Liu, Wei Dong, Tiecheng Ma, Yanqi Dong, Dong Yang
2024	—	`conf`	Synthesizing Controller for Unsynthesizable Specification Based on Criticality Levels. Internetware Dong Yang, Hao Shi, Wei Dong, Yanqi Dong, Yong Zhang
2024	J	`jnl`	Vulnerabilities Analysis and Secure Controlling for Unmanned Aerial System Based on Reactive Synthesis. CoRR Dong Yang, Wei Dong, Wei Lu, Yanqi Dong, Sirui Liu
2023	—	`conf`	FAEG: Feature-Driven Automatic Exploit Generation. Internetware Peng Xu, Liangze Yin, Jiantong Ma, Dong Yang, Wei Dong
2023	J	`jnl`	Mitigating False Positive Static Analysis Warnings: Progress, Challenges, and Opportunities. IEEE Trans. Software Eng. Zhaoqiang Guo, Tingting Tan, Shiran Liu, Xutong Liu, Wei Lai, Yibiao Yang, Yanhui Li, Lin Chen, Wei Dong, Yuming Zhou
2023	A	`conf`	MulCS: Towards a Unified Deep Representation for Multilingual Code Search. SANER Yingwei Ma, Yue Yu, Shanshan Li, Zhouyang Jia, Jun Ma, Rulin Xu, Wei Dong, Xiangke Liao
2023	A*	`conf`	One Adapter for All Programming Languages? Adapter Tuning for Code Search and Summarization. ICSE Deze Wang, Boxing Chen, Shanshan Li, Wei Luo, Shaoliang Peng, Wei Dong, Xiangke Liao
2023	J	`jnl`	One Adapter for All Programming Languages? Adapter Tuning for Code Search and Summarization. CoRR Deze Wang, Boxing Chen, Shanshan Li, Wei Luo, Shaoliang Peng, Wei Dong, Xiangke Liao
2023	J	`jnl`	deGraphCS: Embedding Variable-based Flow Graph for Neural Code Search. ACM Trans. Softw. Eng. Methodol. Chen Zeng, Yue Yu, Shanshan Li, Xin Xia, Zhiming Wang, Mingyang Geng, Linxiao Bai, Wei Dong, Xiangke Liao
2022	A*	`conf`	Bridging Pre-trained Models and Downstream Tasks for Source Code Understanding. ICSE Deze Wang, Zhouyang Jia, Shanshan Li, Yue Yu, Yun Xiong, Wei Dong, Xiangke Liao
2022	Misc	`ed.`	Dependable Software Engineering. Theories, Tools, and Applications - 8th International Symposium, SETTA 2022, Beijing, China, October 27-29, 2022, Proceedings SETTA Wei Dong, Jean-Pierre Talpin
2022	B	`conf`	Extension-Compression Learning: A deep learning code search method that simulates reading habits. ICECCS Lian Gu, Zihui Wang, Jiaxin Liu, Yating Zhang, Dong Yang, Wei Dong
2022	J	`jnl`	Probabilistic synthesis against GR(1) winning condition. Frontiers Comput. Sci. Wei Zhao, Rui Li, Wanwei Liu, Wei Dong, Zhiming Liu
2021	A*	`conf`	An Evolutionary Study of Configuration Design and Implementation in Cloud Systems. ICSE Yuanliang Zhang, Haochen He, Owolabi Legunsen, Shanshan Li, Wei Dong, Tianyin Xu
2021	—	`conf`	An Evolutionary Study of Configuration Design and Implementation in Cloud Systems. ICSE (Companion Volume) Yuanliang Zhang, Haochen He, Owolabi Legunsen, Shanshan Li, Wei Dong, Tianyin Xu
2021	J	`jnl`	An Evolutionary Study of Configuration Design and Implementation in Cloud Systems. CoRR Yuanliang Zhang, Haochen He, Owolabi Legunsen, Shanshan Li, Wei Dong, Tianyin Xu
2021	J	`jnl`	Bridging Pre-trained Models and Downstream Tasks for Source Code Understanding. CoRR Deze Wang, Zhouyang Jia, Shanshan Li, Yue Yu, Yun Xiong, Wei Dong, Xiangke Liao
2021	C	`conf`	MACA: A Residual Network with Multi-Attention and Core Attributes for Code Search (S). SEKE Lian Gu, Zihui Wang, Jiaxin Liu, Yating Zhang, Dong Yang, Wei Dong
2021	J	`jnl`	Matching user accounts with spatio-temporal awareness across social networks. Inf. Sci. Yongjun Li, Wenli Ji, Xing Gao, Yao Deng, Wei Dong, Dongxu Li
2021	A	`conf`	MulCode: A Multi-task Learning Approach for Source Code Understanding. SANER Deze Wang, Yue Yu, Shanshan Li, Wei Dong, Ji Wang, Qing Liao
2021	C	`conf`	Program Verification Enhanced Precise Analysis of Interrupt-Driven Program Vulnerabilities. APSEC Xiang Du, Liangze Yin, Haining Feng, Wei Dong
2021	A	`conf`	Simplify Array Processing Loops for Efficient Program Verification. ISSRE Xiang Du, Liangze Yin, Wei Dong
2021	J	`jnl`	deGraphCS: Embedding Variable-based Flow Graph for Neural Code Search. CoRR Chen Zeng, Yue Yu, Shanshan Li, Xin Xia, Zhiming Wang, Mingyang Geng, Bailin Xiao, Wei Dong, Xiangke Liao
2020	—	`conf`	Boosting component-based synthesis with API usage knowledge. ASE Workshops Jiaxin Liu, Wei Dong, Binbin Liu
2020	—	`conf`	Collective intelligence for smarter neural program synthesis. ASE Workshops Daiyan Wang, Wei Dong, Yating Zhang
2020	J	`jnl`	Controller Resynthesis for Multirobot System When Changes Happen. Computer Hao Shi, Wei Dong, Rui Li, Wanwei Liu
2020	C	`conf`	Controller Synthesis for ROS-based Multi-Robot Collaboration. SEKE Xudong Zhao, Rui Li, Wanwei Liu, Hao Shi, Shaoxian Shu, Wei Dong
2020	J	`jnl`	Decentralized runtime enforcement for robotic swarms. Frontiers Inf. Technol. Electron. Eng. Chi Hu, Wei Dong, Yonghui Yang, Hao Shi, Fei Deng
2020	—	`conf`	Effective Iterative Program Synthesis with Knowledge Searched from Internet. QRS Companion Jiaxin Liu, Wei Dong, Binbin Liu, Yating Zhang, Daiyan Wang
2020	J	`jnl`	Entity disambiguation with context awareness in user-generated short texts. Expert Syst. Appl. Jiaqi Yang, Yongjun Li, Congjie Gao, Wei Dong
2020	—	`conf`	Graph-based Vulnerability Detection via Extracting Features from Sliced Code. QRS Companion Peng Wu, Liangze Yin, Xiang Du, Liyuan Jia, Wei Dong
2020	B	`conf`	How Much Support Can API Recommendation Methods Provide for Component-Based Synthesis? COMPSAC Jiaxin Liu, Binbin Liu, Wei Dong, Yating Zhang, Daiyan Wang
2020	J	`jnl`	Iterative Controller Synthesis for Multirobot System. IEEE Trans. Reliab. Hao Shi, Rui Li, Wanwei Liu, Wei Dong, Ge Zhou
2020	J	`jnl`	Modified condition/decision coverage (MC/DC) oriented compiler optimization for symbolic execution. Frontiers Inf. Technol. Electron. Eng. Weijiang Hong, Yijun Liu, Zhenbang Chen, Wei Dong, Ji Wang
2020	J	`jnl`	On Scheduling Constraint Abstraction for Multi-Threaded Program Verification. IEEE Trans. Software Eng. Liangze Yin, Wei Dong, Wanwei Liu, Ji Wang
2020	—	`conf`	Probabilistic Synthesis for Program with Non-API Operations. QRS Companion Yating Zhang, Wei Dong, Daiyan Wang, Jiaxin Liu, Binbin Liu
2020	—	`conf`	Rchecker: A CBMC-based Data Race Detector for Interrupt-driven Programs. QRS Companion Haining Feng, Liangze Yin, Wenfeng Lin, Xudong Zhao, Wei Dong
2020	J	`jnl`	Runtime Verification on Hierarchical Properties of ROS-Based Robot Swarms. IEEE Trans. Reliab. Chi Hu, Wei Dong, Yonghui Yang, Hao Shi, Ge Zhou
2020	—	`conf`	Security Controller Synthesis for ROS-based Robot. QRS Companion Xudong Zhao, Shaoxian Shu, Yutian Lan, Haining Feng, Wei Dong
2020	A*	`conf`	Symbolic verification of message passing interface programs. ICSE Hengbiao Yu, Zhenbang Chen, Xianjin Fu, Ji Wang, Zhendong Su, Jun Sun, Chun Huang, Wei Dong
2020	C	`conf`	Synthesizing Cooperative Controllers from Global Tasks of Multi-robot Systems. APSEC Rui Li, Hao Shi, Wanwei Liu, Wei Dong
2020	J	`jnl`	The Java Pathfinder Workshop 2019. ACM SIGSOFT Softw. Eng. Notes 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
2020	—	`conf`	Vulnerability Analysis through Interface-based Checker Design. QRS Companion Xiang Du, Liangze Yin, Peng Wu, Liyuan Jia, Wei Dong
2019	J	`jnl`	Accelerating API-Based Program Synthesis via API Usage Pattern Mining. IEEE Access Binbin Liu, Wei Dong, Yinzhu Zhang
2019	J	`jnl`	Deep Code-Comment Understanding and Assessment. IEEE Access Deze Wang, Yong Guo, Wei Dong, Zhiming Wang, Haoran Liu, Shanshan Li
2019	J	`jnl`	Fine-Grained Geolocalization of User-Generated Short Text Based on a Weight Probability Model. IEEE Access Congjie Gao, Yongjun Li, Jiaqi Yang, Wei Dong
2019	A*	`conf`	Parallel refinement for multi-threaded program verification. ICSE Liangze Yin, Wei Dong, Wanwei Liu, Ji Wang
2019	J	`jnl`	Symbolic Verification of Regular Properties for Java Programs. ACM SIGSOFT Softw. Eng. Notes Zhenbang Chen, Hengbiao Yu, Ji Wang, Wei Dong
2019	—	`conf`	Synthesizing Secure Reactive Controller for Unmanned Aerial System. DSA Wei Lu, Shaoxian Shu, Rao Shi, Rui Li, Wei Dong
2018	J	`jnl`	A True-Concurrency Encoding for BMC of Compositional Systems. Comput. J. Liangze Yin, Wei Dong, Fei He, Ji Wang
2018	—	`conf`	Automatic Exploit Generation for Buffer Overflow Vulnerabilities. QRS Companion Luhang Xu, Weixi Jia, Wei Dong, Yongjun Li
2018	J	`jnl`	Boosting the Robustness Verification of DNN by Identifying the Achilles's Heel. CoRR Chengdong Feng, Zhenbang Chen, Weijiang Hong, Hengbiao Yu, Wei Dong, Ji Wang
2018	J	`jnl`	Combining Symbolic Execution and Model Checking to Verify MPI Programs. CoRR Hengbiao Yu, Zhenbang Chen, Xianjin Fu, Ji Wang, Zhendong Su, Wei Dong, Chun Huang
2018	—	`conf`	Evaluating and Integrating Diverse Bug Finders for Effective Program Analysis. SATE Bailin Lu, Wei Dong, Liangze Yin, Li Zhang
2018	C	`conf`	Expediting Binary Fuzzing with Symbolic Analysis. SEKE Luhang Xu, Wei Dong, Liangze Yin, Weixi Jia, Shenzhi Li
2018	J	`jnl`	Expediting Binary Fuzzing with Symbolic Analysis. Int. J. Softw. Eng. Knowl. Eng. Luhang Xu, Liangze Yin, Wei Dong, Weixi Jia, Yongjun Li
2018	—	`conf`	Guide Fuzzing with Multi-Factor Potential Analysis. QRS Companion Luhang Xu, Wei Dong, Liangze Yin, Qiuxi Zhong
2018	—	`conf`	MC/DC coverage-oriented compiler optimization for symbolic execution. ICSE (Companion Volume) Yijun Liu, Zhenbang Chen, Wei Dong, Chendong Feng
2018	C	`conf`	NotOnlyLog: Mining Patch-Log Associations from Software Evolution History to Enhance Failure Diagnosis Capability. APSEC Shuqi Chi, Shanshan Li, Yong Guo, Wei Dong, Zhouyang Jia, Haochen He, Qing Liao
2018	A*	`conf`	Scheduling constraint based abstraction refinement for weak memory models. ASE Liangze Yin, Wei Dong, Wanwei Liu, Ji Wang
2018	A*	`conf`	Symbolic verification of regular properties. ICSE Hengbiao Yu, Zhenbang Chen, Ji Wang, Zhendong Su, Wei Dong
2018	A	`conf`	User Identification with Spatio-Temporal Awareness across Social Networks. CIKM Xing Gao, Wenli Ji, Yongjun Li, Yao Deng, Wei Dong
2018	—	`conf`	YOGAR-CBMC: CBMC with Scheduling Constraint Based Abstraction Refinement - (Competition Contribution). TACAS (2) Liangze Yin, Wei Dong, Wanwei Liu, Yunchou Li, Ji Wang
2017	C	`conf`	Automatic Type Inference for Proactive Misconfiguration Prevention. SEKE Xiangyang Xu, Shanshan Li, Yong Guo, Wei Dong, Wang Li, Xiangke Liao
2017	—	`conf`	Monitor Synthesis for Parametric MTL Properties in Discrete Control Software. QRS Companion Hao Shi, Wei Dong, Ge Zhou, Liangze Yin
2017	—	`conf`	Optimizing Monitor Code Based on Patterns in Runtime Verification. QRS Companion Ge Zhou, Wei Dong, Wanwei Liu, Hao Shi, Chi Hu, Liangze Yin
2017	—	`conf`	RGSE: a regular property guided symbolic executor for Java. ESEC/SIGSOFT FSE Hengbiao Yu, Zhenbang Chen, Yufeng Zhang, Ji Wang, Wei Dong
2017	J	`jnl`	Scheduling Constraint Based Abstraction Refinement for Multi-Threaded Program Verification. CoRR Liangze Yin, Wei Dong, Wanwei Liu, Ji Wang
2017	J	`jnl`	基于语义补丁的Linux驱动程序后向移植技术 (Backporting of Linux Device Drivers Using Semantic Patch). 计算机科学 Lihua Zhu, Yanjun Wen, Wei Dong
2017	J	`jnl`	无人驾驶汽车决策系统的规则正确性验证 (Correctness Verification of Rules for Unmanned Vehicles' Decision System). 计算机科学 Binbin Liu, Wanwei Liu, Xiaoguang Mao, Wei Dong
2017	J	`jnl`	混源软件质量模型与度量方法研究 (Research on Mixed Source Software Quality Model and Measurement Method). 计算机科学 Qilin Liu, Wei Dong, Liangze Yin, Xuan Qi, Shazhou Yang
2016	—	`conf`	Analyzing Math Library Functions via Summarization. QRS Companion Jiahong Jiang, Liqian Chen, Yanjun Wen, Wei Dong, Ling Wen
2016	—	`conf`	ConfMapper: Automated Variable Finding for Configuration Items in Source Code. QRS Companion Shulin Zhou, Xiaodong Liu, Shanshan Li, Wei Dong, Xiangke Liao, Yun Xiong
2016	J	`jnl`	Static Analysis of Runtime Errors in Interrupt-Driven Programs via Sequentialization. ACM Trans. Embed. Comput. Syst. Xueguang Wu, Liqian Chen, Antoine Miné, Wei Dong, Ji Wang
2015	—	`conf`	MPISE: Symbolic Execution of MPI Programs. HASE Xianjin Fu, Zhenbang Chen, Yufeng Zhang, Chun Huang, Wei Dong, Ji Wang
2015	—	`conf`	Poster: Symbolic Execution of MPI Programs. ICSE (2) Xianjin Fu, Zhenbang Chen, Hengbiao Yu, Chun Huang, Wei Dong, Ji Wang
2015	—	`conf`	Regular Property Guided Dynamic Symbolic Execution. ICSE (1) Yufeng Zhang, Zhenbang Chen, Ji Wang, Wei Dong, Zhiming Liu
2014	—	`conf`	A Predictive Runtime Verification Framework for Cyber-Physical Systems. SERE (Companion) Kang Yu, Zhenbang Chen, Wei Dong
2014	—	`conf`	A Runtime Verification Based Trace-Oriented Monitoring Framework for Cloud Systems. ISSRE Workshops Jingwen Zhou, Zhenbang Chen, Ji Wang, Zibin Zheng, Wei Dong
2014	J	`jnl`	Counterexample-Preserving Reduction for Symbolic Model Checking. J. Appl. Math. Wanwei Liu, Rui Wang, Xianjin Fu, Ji Wang, Wei Dong, Xiaoguang Mao
2014	J	`jnl`	Robustness Analysis of Floating-Point Programs by Self-Composition. J. Appl. Math. Liqian Chen, Jiahong Jiang, Banghu Yin, Wei Dong, Ji Wang
2014	—	`conf`	Synchronization Error Detection of MPI Programs by Symbolic Execution. APSEC (1) Xianjin Fu, Zhenbang Chen, Chun Huang, Wei Dong, Ji Wang
2013	J	`jnl`	Counterexample-Preserving Reduction for Symbolic Model Checking CoRR Wanwei Liu, Rui Wang, Xianjin Fu, Ji Wang, Wei Dong, Xiaoguang Mao
2013	C	`conf`	Counterexample-Preserving Reduction for Symbolic Model Checking. ICTAC Wanwei Liu, Rui Wang, Xianjin Fu, Ji Wang, Wei Dong, Xiaoguang Mao
2013	—	`conf`	Data Race Detection for Interrupt-Driven Programs via Bounded Model Checking. SERE (Companion) Xueguang Wu, Yanjun Wen, Liqian Chen, Wei Dong, Ji Wang
2012	J	`jnl`	Anticipatory active monitoring for safety- and security-critical software. Sci. China Inf. Sci. Wei Dong, Changzhi Zhao, Shaoxian Shu, Martin Leucker
2012	—	`conf`	Invalid Pointer Dereferences Detection for CPS Software Based on Extended Pointer Structures. SERE (Companion) Longming Dong, Wei Dong, Liqian Chen
2012	—	`conf`	Runtime Verification with Predictive Semantics. NASA Formal Methods Xian Zhang, Martin Leucker, Wei Dong
2011	—	`conf`	An event pattern language for runtime monitoring based on AOP. ICITST Xian Zhang, Martin Leucker, Wei Dong
2011	—	`conf`	Security Goals Assurance Based on Software Active Monitoring. SSIRI Changzhi Zhao, Wei Dong, Martin Leucker, Zhichang Qi
2010	—	`conf`	Active Monitoring for Control Systems under Anticipatory Semantics. QSIC Changzhi Zhao, Wei Dong, Zhichang Qi
2009	J	`jnl`	Demand-Driven Memory Leak Detection Based on Flow- and Context-Sensitive Pointer Analysis. J. Comput. Sci. Technol. Ji Wang, Xiaodong Ma, Wei Dong, Hou-Feng Xu, Wanwei Liu
2008	—	`conf`	A Method to Generate Embedded Real-Time System Test Suites Based on Software Architecture Specifications. ICYCS Junmin Ye, Wei Dong, Zhichang Qi
2008	B	`conf`	Automating Software FMEA via Formal Analysis of Dependence Relations. COMPSAC Wei Dong, Ji Wang, Changzhi Zhao, Xian Zhang, Jie Tian
2008	C	`conf`	Computing Must and May Alias to Detect Null Pointer Dereference. ISoLA Xiaodong Ma, Ji Wang, Wei Dong
2008	—	`conf`	Design of Some Artificial Immune Operators in Software Test Cases Generation. ICYCS Junmin Ye, Zemei Zhan, Zhenfang Zhang, Wei Dong, Zhichang Qi
2008	B	`conf`	Impartial Anticipation in Runtime-Verification. ATVA Wei Dong, Martin Leucker, Christian Schallhart
2008	—	`conf`	Implementation of String Recognition Algorithm Based on the Principle of Artificial Immunology. ICYCS Junmin Ye, Junjie Wang, Wei Dong, Zhichang Qi
2007	C	`conf`	Axiomatizing Extended Temporal Logic Fragments Via Instantiation. ICTAC Wanwei Liu, Ji Wang, Wei Dong, Huowang Chen
2007	C	`conf`	Compositional Verification of UML Dynamic Models. APSEC Wei Dong, Ji Wang, Zhichang Qi, Ni Rong
2007	J	`jnl`	Interface theory-based formalisation and verification of orchestration in BPEL4WS. Int. J. Bus. Process. Integr. Manag. Zhenbang Chen, Ji Wang, Wei Dong, Zhichang Qi
2007	J	`jnl`	Modelling and model checking suspendible business processes via statechart diagrams and CSP. Sci. Comput. Program. Wing Lok Yeung, Karl R. P. H. Leung, Ji Wang, Wei Dong
2007	—	`conf`	Shape Analysis by Refining on Abstract Evaluation Path. TTSS Xiaodong Ma, Ji Wang, Wei Dong
2006	—	`conf`	A Contract-based Approach to Specifying and Verifying Safety Critical Systems. FESCA@ETAPS Wei Dong, Zhenbang Chen, Ji Wang
2006	—	`conf`	An Interface Theory Based Approach to Verification of Web Services. COMPSAC (2) Zhenbang Chen, Ji Wang, Wei Dong, Zhichang Qi, Wing Lok Yeung
2006	J	`jnl`	An Value Range Analysis Based on Abstract Interpretation and Generalized Monotone Data Flow Framework. J. Comput. Res. Dev. Mengluo Ji, Huaimin Wang, Mengjun Li, Wei Dong, Zhichang Qi
2006	—	`conf`	Model Checking Suspendible Business Processes via Statechart Diagrams and CSP. MSVVEIS Wing Lok Yeung, Karl R. P. H. Leung, Ji Wang, Wei Dong
2006	—	`conf`	Towards Formal Interfaces for Web Services with Transactions. SITIS Zhenbang Chen, Ji Wang, Wei Dong, Zhichang Qi
2006	—	`conf`	Verifying Choreographic Descriptions of Web Services Based on CSP. SCW Wing Lok Yeung, Ji Wang, Wei Dong
2005	—	`conf`	Contract-Based Formal Specification of Safety Critical Systems. COMPSAC (2) Wei Dong, Ji Wang
2005	C	`conf`	Improvements Towards Formalizing UML State Diagrams in CSP. APSEC Wing Lok Yeung, Karl R. P. H. Leung, Ji Wang, Wei Dong
2004	C	`conf`	Property-Oriented Testing of Real-Time Systems. APSEC Shuhao Li, Ji Wang, Wei Dong, Zhichang Qi
2002	C	`conf`	Slicing Hierarchical Automata for Model Checking UML Statecharts. ICFEM Ji Wang, Wei Dong, Zhichang Qi
2001	C	`conf`	Model Checking UML Statecharts. APSEC Wei Dong, Ji Wang, Xuan Qi, Zhichang Qi