Jing Liu - RankMe

125 papers A* 5A 3B 17C 31Misc 10Journal 30Unranked 28

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Counterfactual-Based Root Cause Analysis for Misconfigurations in Autonomous Driving Systems. IEEE Robotics Autom. Lett. Letian Fang, Wenbing Tang, Jing Liu
2026	A*	`conf`	SimpleDiffusion: A Lightweight and Efficient Conditional Diffusion Model for Multi-Modal Salient Object Detection. AAAI Shuo Zhang, Jiaming Huang, Wenbing Tang, Jing Liu, Li Han, Jiandun Li, Hongchun Yuan, Zizhu Fan
2025	A*	`conf`	DiMSOD: A Diffusion-Based Framework for Multi-Modal Salient Object Detection. AAAI Shuo Zhang, Jiaming Huang, Wenbing Tang, Yan Wu, Terrence Hu, Xiaogang Xu, Jing Liu
2025	B	`conf`	Formal Modeling and Quantitative Evaluation for Online Monitoring Systems in Nuclear Facilities. SMC Letian Fang, Wenbing Tang, Xin Wang, Jing Liu, Shengyuan Wang
2025	—	`conf`	Heuristic Relation Networks for Causal Event Extraction in Financial Texts. ICIC (11) Chutian Liu, Jing Liu
2025	Misc	`conf`	Multi-modal Salient Object Detection via a Unified Diffusion Model. ICASSP Shuo Zhang, Jiaming Huang, Wenbing Tang, Lili Tian, Yuang Wei, Jing Liu
2025	Misc	`conf`	Seg-diffusion: Text-to-Image Diffusion Model for Open-Vocabulary Semantic Segmentation. ICASSP Shuo Zhang, Jiaming Huang, Yan Wu, Tao Hu, Wenbing Tang, Jing Liu
2024	A	`conf`	Causal Fusion of Convolutional Neural Network and Vision Transformer for Image Anomaly Detection and Localization. ICME Shuo Zhang, Xiongpeng Hu, Jing Liu
2024	J	`jnl`	Causal deconfounding deep reinforcement learning for mobile robot motion planning. Knowl. Based Syst. Wenbing Tang, Fenghua Wu, Shang-wei Lin, Zuohua Ding, Jing Liu, Yang Liu, Jifeng He
2024	J	`jnl`	Causality-Guided Counterfactual Debiasing for Anomaly Detection of Cyber-Physical Systems. IEEE Trans. Ind. Informatics Wenbing Tang, Jing Liu, Yuan Zhou, Zuohua Ding
2024	C	`conf`	Efficient Verification of Multi-Agent Systems Through Parallel. QRS Zhen Yao, Jing Liu, Xiaohong Chen, Li Han, Haiying Sun
2024	Misc	`conf`	Feature-Constrained and Attention-Conditioned Distillation Learning for Visual Anomaly Detection. ICASSP Shuo Zhang, Jing Liu
2024	J	`jnl`	Minimizing Energy Consumption for Real-Time Tasks on Heterogeneous Platforms Under Deadline and Reliability Constraints. Algorithmica Yiqin Gao, Li Han, Jing Liu, Yves Robert, Frédéric Vivien
2024	B	`conf`	QuanSafe: A DTBN-Based Framework of Quantitative Safety Analysis for AADL Models. ICECCS Yiwei Zhu, Jing Liu, Haiying Sun, Wei Yin, Jiexiang Kang
2024	J	`jnl`	Robust Motion Planning for Multi-Robot Systems Against Position Deception Attacks. IEEE Trans. Inf. Forensics Secur. Wenbing Tang, Yuan Zhou, Yang Liu, Zuohua Ding, Jing Liu
2024	J	`jnl`	SOD-diffusion: Salient Object Detection via Diffusion-Based Image Generators. Comput. Graph. Forum Shuo Zhang, Jiaming Huang, Shizhe Chen, Yan Wu, Tao Hu, Jing Liu
2024	A	`conf`	TranBF: Deep Transformer Networks and Bayesian Filtering for Time Series Anomalous Signal Detection in Cyber-physical Systems. ICME Shuo Zhang, Xiongpeng Hu, Jing Liu
2023	Misc	`conf`	Anomalous Signal Detection for Cyber-Physical Systems Using Interpretable Causal Neural Network. ICASSP Shuo Zhang, Jing Liu
2023	A*	`conf`	Boosting Verified Training for Robust Image Classifications via Abstraction. CVPR Zhaodi Zhang, Zhiyi Xue, Yang Chen, Si Liu, Yueling Zhang, Jing Liu, Min Zhang
2023	J	`jnl`	Boosting Verified Training for Robust Image Classifications via Abstraction. CoRR Zhaodi Zhang, Zhiyi Xue, Yang Chen, Si Liu, Yueling Zhang, Jing Liu, Min Zhang
2023	J	`jnl`	Cooperative collision avoidance in multirobot systems using fuzzy rules and velocity obstacles. Robotica Wenbing Tang, Yuan Zhou, Tianwei Zhang, Yang Liu, Jing Liu, Zuohua Ding
2023	J	`jnl`	Energy-aware mapping and scheduling strategies for real-time workflows under reliability constraints. J. Parallel Distributed Comput. Zhiwei Wu, Li Han, Jing Liu, Yves Robert, Frédéric Vivien
2023	B	`conf`	Enhancing the Formal Verification of Train Control Systems based on Decomposition. COMPSAC Tengfei Li, Junfeng Sun, Xinjun Lv, Xiang Chen, Jing Liu, Haiying Sun
2023	J	`jnl`	GAN-Based Robust Motion Planning for Mobile Robots Against Localization Attacks. IEEE Robotics Autom. Lett. Wenbing Tang, Yuan Zhou, Haiying Sun, Yuhong Zhang, Yang Liu, Zuohua Ding, Jing Liu, Jifeng He
2023	C	`conf`	Modeling and Verification of Autonomous Driving Systems under Stochastic Spatio-Temporal Constraints. SEKE Mengyuan Wang, Tengfei Li, Jing Liu, Hui Dou, Hongtao Chen, John Zhang, Lipeng Zhang
2023	B	`conf`	Ont4Sys: Ontology-based tool of Semantic Representation and Verification for Traceability Models. ICECCS Qian Wang, Jing Liu, John Zhang, Hui Dou, Haiying Sun, Hongtao Chen, Xiaohong Chen, Jifeng He
2023	J	`jnl`	Robustness Verification of Swish Neural Networks Embedded in Autonomous Driving Systems. IEEE Trans. Comput. Soc. Syst. Zhaodi Zhang, Jing Liu, Guanjun Liu, Jiacun Wang, John Zhang
2022	C	`conf`	A Novel Approach for Bounded Model Checking Through Full Parallelism. QRS Debao Sang, Jing Liu, Haiying Sun, Jin Xu, Jiexiang Kang
2022	C	`conf`	A Novel Approach to Maintain Traceability between Safety Requirements and Model Design. SEKE Qian Wang, Jing Liu, John Zhang, Hui Dou, Haiying Sun, Hongtao Chen, Xiaohong Chen, Jifeng He
2022	J	`jnl`	Editorial: Intelligent Collaboration Under Internet of Things and Mobile Edge Computing. Mob. Networks Appl. Honghao Gao, Jing Liu
2022	J	`jnl`	Efficient Robustness Verification of the Deep Neural Networks for Smart IoT Devices. Comput. J. Zhaodi Zhang, Jing Liu, Min Zhang, Haiying Sun
2022	A*	`conf`	Provably Tightest Linear Approximation for Robustness Verification of Sigmoid-like Neural Networks. ASE Zhaodi Zhang, Yiting Wu, Si Liu, Jing Liu, Min Zhang
2022	J	`jnl`	Provably Tightest Linear Approximation for Robustness Verification of Sigmoid-like Neural Networks. CoRR Zhaodi Zhang, Yiting Wu, Si Liu, Jing Liu, Min Zhang
2022	C	`conf`	Safety SysML: An Executable Safety-Critical Avionics Requirement Modeling Language. QRS Huiyu Liu, Jing Liu, Wei Yin, Haiying Sun, Chenchen Yang
2022	C	`conf`	SysML Flow Model. APSEC Guohuan Ding, Jing Liu
2022	C	`conf`	Uncertainty-Aware Behavior Modeling and Quantitative Safety Evaluation for Automatic Flight Control Systems. QRS Huiyu Liu, Jing Liu, Haiying Sun, Tengfei Li, John Zhang
2021	J	`jnl`	A Fully Parallel Approach of Model Checking Via Probe Machine. Int. J. Softw. Eng. Knowl. Eng. Dong Wang, Jing Liu, Haiying Sun, Jin Xu, Jiexiang Kang
2021	C	`conf`	A Novel Approach of CTL Model Checking Based on Probe Machine. SEKE Dong Wang, Jing Liu, Jin Xu, Haiying Sun, Jiexiang Kang
2021	B	`conf`	DeepTrace: A Secure Fingerprinting Framework for Intellectual Property Protection of Deep Neural Networks. TrustCom Runhao Wang, Jiexiang Kang, Wei Yin, Hui Wang, Haiying Sun, Xiaohong Chen, Zhongjie Gao, Shuning Wang, Jing Liu
2021	C	`conf`	Dependable Reinforcement Learning via Timed Differential Dynamic Logic. ISCC Runhao Wang, Yuhong Zhang, Haiying Sun, Jing Liu
2021	Misc	`conf`	Parametric Spatio-temporal Modeling and Safety Verifying for T2T-CBTC Systems. TASE Qianzhu Zhao, Jing Liu, Xiang Chen, Tengfei Li, Junfeng Sun, Lipeng Zhang
2021	J	`jnl`	Runtime Verification of Spatio-Temporal Specification Language. Mob. Networks Appl. Tengfei Li, Jing Liu, Haiying Sun, Xiaohong Chen, Ling Yin, Xia Mao, Junfeng Sun
2021	B	`conf`	Safe Reinforcement Learning for CPSs via Formal Modeling and Verification. IJCNN Chenchen Yang, Jing Liu, Haiying Sun, Junfeng Sun, Xiang Chen, Lipeng Zhang
2021	B	`conf`	Uncertainty Modeling and Quantitative Evaluation of Cyber-physical Systems. COMPSAC Chenchen Yang, Haiying Sun, Jing Liu, Jiexiang Kang, Wei Yin, Hui Wang, Tengfei Li
2020	J	`jnl`	2PC*: a distributed transaction concurrency control protocol of multi-microservice based on cloud computing platform. J. Cloud Comput. Pan Fan, Jing Liu, Wei Yin, Hui Wang, Xiaohong Chen, Haiying Sun
2020	J	`jnl`	A spatio-temporal specification language and its completeness & decidability. J. Cloud Comput. Tengfei Li, Jing Liu, Haiying Sun, Xiang Chen, Lipeng Zhang, Junfeng Sun
2020	B	`conf`	Energy-aware strategies for reliability-oriented real-time task allocation on heterogeneous platforms. ICPP Li Han, Yiqin Gao, Jing Liu, Yves Robert, Frédéric Vivien
2020	—	`conf`	Feature Envy Detection based on Bi-LSTM with Self-Attention Mechanism. ISPA/BDCloud/SocialCom/SustainCom Hongze Wang, Jing Liu, Jiexiang Kang, Wei Yin, Haiying Sun, Hui Wang
2020	J	`jnl`	Intelligent Hazard-Risk Prediction Model for Train Control Systems. IEEE Trans. Intell. Transp. Syst. Jing Liu, Yan Zhang, Jiazhen Han, Jifeng He, Junfeng Sun, Tingliang Zhou
2020	—	`ed.`	Mobile Computing, Applications, and Services - 11th EAI International Conference, MobiCASE 2020, Shanghai, China, September 12, 2020, Proceedings MobiCASE Jing Liu, Honghao Gao, Yuyu Yin, Zhongqin Bi
2020	C	`conf`	Model Checking of Spatial Logic. APSEC Tengfei Li, Jing Liu, Jiexiang Kang, Haiying Sun, Xiaohong Chen, Li Han
2020	B	`conf`	Modeling and Verification of Spatio-Temporal Intelligent Transportation Systems. TrustCom Tengfei Li, Xiaohong Chen, Haiying Sun, Jing Liu, Jiajia Yang, Chenchen Yang, Junfeng Sun
2020	C	`conf`	Multiform Logical Time & Space for Mobile Cyber-Physical System With Automated Driving Assistance System. APSEC Qian Liu, Robert de Simone, Xiaohong Chen, Jiexiang Kang, Jing Liu, Wei Yin, Hui Wang
2020	Misc	`conf`	Multiform Logical Time & Space for Specification of Automated Driving Assistance Systems: Work-in-Progress. EMSOFT Qian Liu, Robert de Simone, Xiaohong Chen, Jing Liu
2020	C	`conf`	Reluplex made more practical: Leaky ReLU. ISCC Jin Xu, Zishan Li, Bowen Du, Miaomiao Zhang, Jing Liu
2020	C	`conf`	STSL: A Novel Spatio-Temporal Specification Language for Cyber-Physical Systems. QRS Tengfei Li, Jing Liu, Jiexiang Kang, Haiying Sun, Wei Yin, Xiaohong Chen, Hui Wang
2020	J	`jnl`	Towards Safety-Risk Prediction of CBTC Systems With Deep Learning and Formal Methods. IEEE Access Jing Liu, Li Qian, Yan Zhang, Jiazhen Han, Junfeng Sun
2020	J	`jnl`	Uncertainty modeling and runtime verification for autonomous vehicles driving control: A machine learning-based approach. J. Syst. Softw. Dongdong An, Jing Liu, Min Zhang, Xiaohong Chen, Mingsong Chen, Haiying Sun
2019	C	`conf`	A Modeling Framework of Cyber-Physical-Social Systems with Human Behavior Classification Based on Machine Learning. ICFEM Dongdong An, Jing Liu, Xiaohong Chen, Tengfei Li, Ling Yin
2019	C	`conf`	A Sound and Complete Axiomatisation for Spatio-Temporal Specification Language. SEKE Tengfei Li, Jing Liu, Dongdong An, Haiying Sun
2019	J	`jnl`	AADL+: a simulation-based methodology for cyber-physical systems. Frontiers Comput. Sci. Jing Liu, Tengfei Li, Zuohua Ding, Yuqing Qian, Haiying Sun, Jifeng He
2019	A*	`conf`	Better Development of Safety Critical Systems: Chinese High Speed Railway System Development Experience Report. ASE Zhiwei Wu, Jing Liu, Xiang Chen
2019	B	`conf`	High-Speed Rail Operating Environment Recognition Based on Neural Network and Adversarial Training. ICTAI Xiaoxue Hou, Jie An, Miaomiao Zhang, Bowen Du, Jing Liu
2019	A	`conf`	Improved Energy-Aware Strategies for Periodic Real-Time Tasks under Reliability Constraints. RTSS Li Han, Louis-Claude Canon, Jing Liu, Yves Robert, Frédéric Vivien
2019	C	`conf`	Intelligent-Prediction Model of Safety-Risk for CBTC System by Deep Neural Network. CollaborateCom Yan Zhang, Jing Liu, Junfeng Sun, Xiang Chen, Tingliang Zhou
2019	C	`conf`	RBML: A Refined Behavior Modeling Language for Safety-Critical Hybrid Systems. APSEC Zhangtao Chen, Jing Liu, Xi Ding, Miaomiao Zhang
2018	J	`jnl`	A proof-based method of hybrid systems development using differential invariants. Frontiers Comput. Sci. Jie Liu, Jing Liu, Miaomiao Zhang, Haiying Sun, Xiaohong Chen, Dehui Du, Mingsong Chen
2018	J	`jnl`	An Approach to Modeling and Analyzing Human-Centric Systems and Its Application. Int. J. Cooperative Inf. Syst. Dongdong An, Jing Liu
2018	J	`jnl`	Simplifying the Formal Verification of Safety Requirements in Zone Controllers Through Problem Frames and Constraint-Based Projection. IEEE Trans. Intell. Transp. Syst. Zhengheng Yuan, Xiaohong Chen, Jing Liu, Yijun Yu, Haiying Sun, Tingliang Zhou, Zhi Jin
2017	—	`conf`	An Approach to Proving Proof Obligation of Hybrid Event B Based on Differential Invariants. COMPSAC (1) Jie Liu, Jing Liu, Miaomiao Zhang, Haiying Sun, Xiaohong Chen, Dehui Du, Mingsong Chen
2017	C	`conf`	An adaptive scheduling algorithm for heterogeneous Hadoop systems. ICIS Jiazhen Han, Zhengheng Yuan, Yiheng Han, Cheng Peng, Jing Liu, Guangli Li
2017	C	`conf`	Automatic Test Generation of Large Boolean Expressions in Computer Based Interlocking System. APSEC Zhiwei Li, Jing Liu, Haiying Sun, Tingliang Zhou, Junfeng Sun
2017	C	`conf`	Safety prediction of rail transit system based on deep learning. ICIS Yan Zhang, Jiazhen Han, Jing Liu, Tingliang Zhou, Junfeng Sun, Juan Luo
2016	B	`conf`	Improving Defect Detection Ability of Derived Test Cases Based on Mutated UML Activity Diagrams. COMPSAC Haiying Sun, Mingsong Chen, Min Zhang, Jing Liu, Ying Zhang
2016	B	`conf`	Safety Requirements Specification and Verification for Railway Interlocking Systems. COMPSAC Li Han, Jing Liu, Tingliang Zhou, Junfeng Sun, Xiaohong Chen
2016	C	`conf`	Spatial Alloy: An Alloy Extension for Modeling Spatial Properties. CIT Fei Tang, Jing Liu, Tingliang Zhou, Junfeng Sun, Haiying Sun
2016	—	`conf`	Using Safety Requirement Patterns to Elicit Requirements for Railway Interlocking Systems. RE Workshops Xiaohong Chen, Li Han, Jing Liu, Haiying Sun
2015	B	`conf`	Evaluating Energy Consumption for Cyber-Physical Energy System: An Environment Ontology-Based Approach. COMPSAC Xiaohong Chen, Fan Gu, Mingsong Chen, Dehui Du, Jing Liu, Haiying Sun
2015	C	`conf`	HSD: Hybrid MARTE Sequence Diagram. QRS Lulu Yao, Jing Liu, Yan Zhang, Yuejun Wang, Haiying Sun, Qingsheng Wang, Dehui Du, Xiaohong Chen
2015	—	`conf`	Hybrid Lustre. Ershov Memorial Conference Zhengheng Yuan, Tingliang Zhou, Jing Liu, Juan Luo, Yi Zhang, Xiaohong Chen
2015	C	`conf`	Hybrid Marte. APSEC Lulu Yao, Jing Liu, Yan Zhang, Yuejun Wang
2015	—	`conf`	Modeling and Verification of Zone Controller: The SCADE Experience in China's Railway Systems. COUFLESS@ICSE Jie Qian, Jing Liu, Xiang Chen, Junfeng Sun
2015	J	`jnl`	Modeling and analysis of interactive telemedicine systems. Innov. Syst. Softw. Eng. Jing Liu, Xijiao Xiong, Zuohua Ding, Jifeng He
2015	C	`conf`	Specifying Cyber Physical System Safety Properties with Metric Temporal Spatial Logic. APSEC Haiying Sun, Jing Liu, Xiaohong Chen, Dehui Du
2014	—	`conf`	ADAutomation: An Activity Diagram Based Automated GUI Testing Framework for Smartphone Applications. SERE Ang Li, Zishan Qin, Mingsong Chen, Jing Liu
2014	—	`conf`	Formal Design and Verification of Zone Controller. APSEC (1) Jie Qian, Jing Liu, Xiang Chen, Junfeng Sun
2014	—	`conf`	Improving Testing Coverage for Safety-Critical System by Mutated Specification. APSEC (1) Tingliang Zhou, Haiying Sun, Jing Liu, Xiaohong Chen, Dehui Du
2013	—	`conf`	A Formal Framework for Hybrid Event B. TTSS Jie Liu, Jing Liu
2013	—	`conf`	Hybrid AADL: a sublanguage extension to AADL. Internetware Yuqing Qian, Jing Liu, Xiaohong Chen
2013	J	`jnl`	Hybrid MARTE statecharts. Frontiers Comput. Sci. Jing Liu, Ziwei Liu, Jifeng He, Frédéric Mallet, Zuohua Ding
2013	—	`conf`	Problem Frames Construction from Feature Models. APSEC (1) Xiaohong Chen, Haiying Sun, Ronghua Ye, Jing Liu
2013	J	`jnl`	Requirements monitoring for Internetware: an interaction based approach. Sci. China Inf. Sci. Xiaohong Chen, Jing Liu, Zhiming Liu
2013	—	`conf`	Schedulability Analysis with CCSL Specifications. APSEC (1) Ling Yin, Jing Liu, Zuohua Ding, Frédéric Mallet, Robert de Simone
2013	C	`conf`	Spatio-temporal Hybrid Automata for Cyber-Physical Systems. ICTAC Zhucheng Shao, Jing Liu
2013	B	`conf`	Spatio-temporal Properties Analysis for Cyber-physical Systems. ICECCS Zhucheng Shao, Jing Liu, Zuohua Ding, Mingsong Chen, Ningkang Jiang
2013	Misc	`conf`	Unified Modeling of Active and Reactive Components for Real-Time Systems. TASE Zhucheng Shao, Jing Liu, Xiaohong Chen, Zuohua Ding, Zhengheng Yuan
2012	—	`conf`	An approach to communicating process modeling of MARTE. Internetware Zhike Wu, Jing Liu, Xiaohong Chen, Mingsong Chen
2012	C	`conf`	Eliciting Security Requirements in the Commanded Behavior Frame: An Ontology based Approach. SEKE Xiaohong Chen, Jing Liu
2012	Misc	`conf`	Formal Specification of Hybrid MARTE Statecharts. TASE Ziwei Liu, Jing Liu, Jifeng He, Frédéric Mallet, Miaomiao Zhang
2012	C	`conf`	Integration of Safety Verification with Conformance Testing in Real-Time Reactive System. APSEC Haiying Sun, Jing Liu, Dehui Du
2012	J	`jnl`	Service Selection Based On Behavior Matching. J. Softw. Mingyue Jiang, Zuohua Ding, Jing Liu
2012	B	`conf`	Spatio-temporal UML Statechart for Cyber-Physical Systems. ICECCS Ziwei Liu, Jing Liu, Jifeng He, Zuohua Ding
2011	C	`conf`	Modeling Timing Requirements in Problem Frames Using CCSL. APSEC Xiaohong Chen, Jing Liu, Frédéric Mallet, Zhi Jin
2011	Misc	`conf`	Modeling and Prototyping Business Processes in AutoPA. TASE Ling Yin, Jing Liu, Zuohua Ding
2011	C	`conf`	On Constructing Software Environment Ontology for Time-Continuous Environment. KSEM Xiaohong Chen, Jing Liu, Zuohua Ding
2011	B	`conf`	Verification of MARTE/CCSL Time Requirements in Promela/SPIN. ICECCS Ling Yin, Frédéric Mallet, Jing Liu
2010	C	`conf`	Applying Ordinary Differential Equations to the Performance Analysis of Service Composition. ICFEM Zuohua Ding, Hui Shen, Jing Liu
2010	—	`conf`	Modeling and Verification of an Automatic Train Protection System. COMPSAC Workshops Xijiao Xiong, Jing Liu, Miaomiao Zhang, Zuohua Ding
2010	—	`conf`	Requirement Checking: Generating Uses Cases out of Navigational Logs in Web Applications. QSIC Zuohua Ding, Mingyue Jiang, Geguang Pu, Jing Liu
2009	—	`conf`	Design and Verification of a Trustable Medical System. TTSS Xijiao Xiong, Jing Liu, Zuohua Ding
2009	—	`conf`	Formal Analysis of Services Compatibility. COMPSAC (2) Xueqiang Gong, Jing Liu, Miaomiao Zhang, Jueliang Hu
2009	Misc	`conf`	Measuring the Survivability of Object-Oriented Software. TASE Jueliang Hu, Zuohua Ding, Jing Liu, Ling Yin
2009	—	`conf`	Model Checking Service Component Composition by SPIN. ACIS-ICIS Zuohua Ding, Mingyue Jiang, Jing Liu
2009	—	`conf`	Towards the Verification of Services Collaboration. COMPSAC (2) Yue Xie, Dehui Du, Jing Liu, Zuohua Ding
2008	—	`conf`	A Rigorous Model of Contract-Based Service Component Architecture. CSSE (2) Dehui Du, Jing Liu, Honghua Cao
2008	—	`conf`	An Improvement of Software Architecture Verification. TTSS Zuohua Ding, Jing Liu
2008	—	`conf`	BAS: A Case Study for Modeling and Verification in Trustable Model Driven Development. TTSS Dehui Du, Jing Liu, Honghua Cao, Miaomiao Zhang
2008	—	`conf`	Designing, Modelling and Verifying a Container Terminal System Using UPPAAL. HASE Quan Zu, Miaomiao Zhang, Jing Liu, Qingfeng Du
2007	—	`conf`	A Rigorous Model of Service Component Architecture. TTSS Zuohua Ding, Zhenbang Chen, Jing Liu
2007	C	`conf`	The Validation and Verification of WSCDL. APSEC Geguang Pu, Jianqi Shi, Zheng Wang, Lu Jin, Jing Liu, Jifeng He
2007	—	`conf`	The Verification of rCOS Using Spin. TTSS Xiao Yu, Zheng Wang, Geguang Pu, Dingding Mao, Jing Liu
2006	J	`jnl`	A strategy for service realization in service-oriented design. Sci. China Ser. F Inf. Sci. Jing Liu, Jifeng He, Zhiming Liu
2006	B	`conf`	Reactive Component based Service-Oriented Design - A Case Study. ICECCS Jing Liu, Jifeng He
2004	—	`conf`	Linking UML Models of Design and Requirement. Australian Software Engineering Conference Jing Liu, Zhiming Liu, Jifeng He, Xiaoshan Li
2003	—	`conf`	Unifying Views of UML. CVUML Zhiming Liu, Jifeng He, Jing Liu, Xiaoshan Li