Jing Liu

According to our database, Jing Liu authored at least 111 papers between 2003 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

SOD-diffusion: Salient Object Detection via Diffusion-Based Image Generators.

Shuo Zhang, Jiaming Huang, Shizhe Chen, Yan Wu, Tao Hu, Jing Liu

Comput. Graph. Forum, October, 2024

Minimizing Energy Consumption for Real-Time Tasks on Heterogeneous Platforms Under Deadline and Reliability Constraints.

Yiqin Gao, Li Han, Jing Liu, Yves Robert, Frédéric Vivien

Algorithmica, October, 2024

Causality-Guided Counterfactual Debiasing for Anomaly Detection of Cyber-Physical Systems.

Wenbing Tang, Jing Liu, Yuan Zhou, Zuohua Ding

IEEE Trans. Ind. Informatics, March, 2024

Robust Motion Planning for Multi-Robot Systems Against Position Deception Attacks.

Wenbing Tang, Yuan Zhou, Yang Liu, Zuohua Ding, Jing Liu

IEEE Trans. Inf. Forensics Secur., 2024

Causal deconfounding deep reinforcement learning for mobile robot motion planning.

Wenbing Tang, Fenghua Wu, Shang-wei Lin, Zuohua Ding, Jing Liu, Yang Liu, Jifeng He

Knowl. Based Syst., 2024

Efficient Verification of Multi-Agent Systems Through Parallel.

Zhen Yao, Jing Liu, Xiaohong Chen, Li Han, Haiying Sun

Proceedings of the 24th IEEE International Conference on Software Quality, 2024

QuanSafe: A DTBN-Based Framework of Quantitative Safety Analysis for AADL Models.

Yiwei Zhu, Jing Liu, Haiying Sun, Wei Yin, Jiexiang Kang

Proceedings of the Engineering of Complex Computer Systems - 28th International Conference, 2024

2023

Robustness Verification of Swish Neural Networks Embedded in Autonomous Driving Systems.

Zhaodi Zhang, Jing Liu, Guanjun Liu, Jiacun Wang, John Zhang

IEEE Trans. Comput. Soc. Syst., August, 2023

Energy-aware mapping and scheduling strategies for real-time workflows under reliability constraints.

Zhiwei Wu, Li Han, Jing Liu, Yves Robert, Frédéric Vivien

J. Parallel Distributed Comput., June, 2023

GAN-Based Robust Motion Planning for Mobile Robots Against Localization Attacks.

Wenbing Tang, Yuan Zhou, Haiying Sun, Yuhong Zhang, Yang Liu, Zuohua Ding, Jing Liu, Jifeng He

IEEE Robotics Autom. Lett., March, 2023

Cooperative collision avoidance in multirobot systems using fuzzy rules and velocity obstacles.

Wenbing Tang, Yuan Zhou, Tianwei Zhang, Yang Liu, Jing Liu, Zuohua Ding

Robotica, February, 2023

Modeling and Verification of Autonomous Driving Systems under Stochastic Spatio-Temporal Constraints.

Mengyuan Wang, Tengfei Li, Jing Liu, Hui Dou, HongTao Chen, John Zhang, Lipeng Zhang

Proceedings of the 35th International Conference on Software Engineering and Knowledge Engineering, 2023

Ont4Sys: Ontology-based tool of Semantic Representation and Verification for Traceability Models.

Qian Wang, Jing Liu, John Zhang, Hui Dou, Haiying Sun, HongTao Chen, Xiaohong Chen, Jifeng He

Proceedings of the 27th International Conference on Engineering of Complex Computer Systems, 2023

Boosting Verified Training for Robust Image Classifications via Abstraction.

Zhaodi Zhang, Zhiyi Xue, Yang Chen, Si Liu, Yueling Zhang, Jing Liu, Min Zhang

Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2023

Enhancing the Formal Verification of Train Control Systems based on Decomposition.

Tengfei Li, Junfeng Sun, Xinjun Lv, Xiang Chen, Jing Liu, Haiying Sun

Proceedings of the 47th IEEE Annual Computers, Software, and Applications Conference, 2023

2022

Editorial: Intelligent Collaboration Under Internet of Things and Mobile Edge Computing.

Honghao Gao, Jing Liu

Mob. Networks Appl., 2022

Efficient Robustness Verification of the Deep Neural Networks for Smart IoT Devices.

Zhaodi Zhang, Jing Liu, Min Zhang, Haiying Sun

Comput. J., 2022

A Novel Approach to Maintain Traceability between Safety Requirements and Model Design.

Qian Wang, Jing Liu, John Zhang, Hui Dou, Haiying Sun, HongTao Chen, Xiaohong Chen, Jifeng He

Proceedings of the 34th International Conference on Software Engineering and Knowledge Engineering, 2022

A Novel Approach for Bounded Model Checking Through Full Parallelism.

Debao Sang, Jing Liu, Haiying Sun, Jin Xu, Jiexiang Kang

Proceedings of the 22nd IEEE International Conference on Software Quality, 2022

Safety SysML: An Executable Safety-Critical Avionics Requirement Modeling Language.

Huiyu Liu, Jing Liu, Wei Yin, Haiying Sun, Chenchen Yang

Proceedings of the 22nd IEEE International Conference on Software Quality, 2022

Uncertainty-Aware Behavior Modeling and Quantitative Safety Evaluation for Automatic Flight Control Systems.

Huiyu Liu, Jing Liu, Haiying Sun, Tengfei Li, John Zhang

Proceedings of the 22nd IEEE International Conference on Software Quality, 2022

Provably Tightest Linear Approximation for Robustness Verification of Sigmoid-like Neural Networks.

Zhaodi Zhang, Yiting Wu, Si Liu, Jing Liu, Min Zhang

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

SysML Flow Model.

Guohuan Ding, Jing Liu

Proceedings of the 29th Asia-Pacific Software Engineering Conference, 2022

2021

Runtime Verification of Spatio-Temporal Specification Language.

Tengfei Li, Jing Liu, Haiying Sun, Xiaohong Chen, Ling Yin, Xia Mao, Junfeng Sun

Mob. Networks Appl., 2021

A Fully Parallel Approach of Model Checking Via Probe Machine.

Dong Wang, Jing Liu, Haiying Sun, Jin Xu, Jiexiang Kang

Int. J. Softw. Eng. Knowl. Eng., 2021

DeepTrace: A Secure Fingerprinting Framework for Intellectual Property Protection of Deep Neural Networks.

Runhao Wang, Jiexiang Kang, Wei Yin, Hui Wang, Haiying Sun, Xiaohong Chen, Zhongjie Gao, Shuning Wang, Jing Liu

Proceedings of the 20th IEEE International Conference on Trust, 2021

Parametric Spatio-temporal Modeling and Safety Verifying for T2T-CBTC Systems.

Qianzhu Zhao, Jing Liu, Xiang Chen, Tengfei Li, Junfeng Sun, Lipeng Zhang

Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2021

A Novel Approach of CTL Model Checking Based on Probe Machine.

Dong Wang, Jing Liu, Jin Xu, Haiying Sun, Jiexiang Kang

Proceedings of the 33rd International Conference on Software Engineering and Knowledge Engineering, 2021

Dependable Reinforcement Learning via Timed Differential Dynamic Logic.

Runhao Wang, Yuhong Zhang, Haiying Sun, Jing Liu

Proceedings of the IEEE Symposium on Computers and Communications, 2021

Safe Reinforcement Learning for CPSs via Formal Modeling and Verification.

Chenchen Yang, Jing Liu, Haiying Sun, Junfeng Sun, Xiang Chen, Lipeng Zhang

Proceedings of the International Joint Conference on Neural Networks, 2021

Uncertainty Modeling and Quantitative Evaluation of Cyber-physical Systems.

Chenchen Yang, Haiying Sun, Jing Liu, Jiexiang Kang, Wei Yin, Hui Wang, Tengfei Li

Proceedings of the IEEE 45th Annual Computers, Software, and Applications Conference, 2021

2020

Intelligent Hazard-Risk Prediction Model for Train Control Systems.

Jing Liu, Yan Zhang, Jiazhen Han, Jifeng He, Junfeng Sun, Tingliang Zhou

IEEE Trans. Intell. Transp. Syst., 2020

Uncertainty modeling and runtime verification for autonomous vehicles driving control: A machine learning-based approach.

Dongdong An, Jing Liu, Min Zhang, Xiaohong Chen, Mingsong Chen, Haiying Sun

J. Syst. Softw., 2020

A spatio-temporal specification language and its completeness & decidability.

Tengfei Li, Jing Liu, Haiying Sun, Xiang Chen, Lipeng Zhang, Junfeng Sun

J. Cloud Comput., 2020

2PC*: a distributed transaction concurrency control protocol of multi-microservice based on cloud computing platform.

Pan Fan, Jing Liu, Wei Yin, Hui Wang, Xiaohong Chen, Haiying Sun

J. Cloud Comput., 2020

Towards Safety-Risk Prediction of CBTC Systems With Deep Learning and Formal Methods.

Jing Liu, Li Qian, Yan Zhang, Jiazhen Han, Junfeng Sun

IEEE Access, 2020

Modeling and Verification of Spatio-Temporal Intelligent Transportation Systems.

Tengfei Li, Xiaohong Chen, Haiying Sun, Jing Liu, Jiajia Yang, Chenchen Yang, Junfeng Sun

Proceedings of the 19th IEEE International Conference on Trust, 2020

STSL: A Novel Spatio-Temporal Specification Language for Cyber-Physical Systems.

Tengfei Li, Jing Liu, Jiexiang Kang, Haiying Sun, Wei Yin, Xiaohong Chen, Hui Wang

Proceedings of the 20th IEEE International Conference on Software Quality, 2020

Feature Envy Detection based on Bi-LSTM with Self-Attention Mechanism.

Hongze Wang, Jing Liu, Jiexiang Kang, Wei Yin, Haiying Sun, Hui Wang

Proceedings of the IEEE International Conference on Parallel & Distributed Processing with Applications, 2020

Reluplex made more practical: Leaky ReLU.

Jin Xu, Zishan Li, Bowen Du, Miaomiao Zhang, Jing Liu

Proceedings of the IEEE Symposium on Computers and Communications, 2020

Energy-aware strategies for reliability-oriented real-time task allocation on heterogeneous platforms.

Li Han, Yiqin Gao, Jing Liu, Yves Robert, Frédéric Vivien

Proceedings of the ICPP 2020: 49th International Conference on Parallel Processing, 2020

Multiform Logical Time & Space for Specification of Automated Driving Assistance Systems: Work-in-Progress.

Qian Liu, Robert de Simone, Xiaohong Chen, Jing Liu

Proceedings of the 20th International Conference on Embedded Software, 2020

Multiform Logical Time & Space for Mobile Cyber-Physical System With Automated Driving Assistance System.

Qian Liu, Robert de Simone, Xiaohong Chen, Jiexiang Kang, Jing Liu, Wei Yin, Hui Wang

Proceedings of the 27th Asia-Pacific Software Engineering Conference, 2020

Model Checking of Spatial Logic.

Tengfei Li, Jing Liu, Jiexiang Kang, Haiying Sun, Xiaohong Chen, Li Han

Proceedings of the 27th Asia-Pacific Software Engineering Conference, 2020

2019

AADL+: a simulation-based methodology for cyber-physical systems.

Jing Liu, Tengfei Li, Zuohua Ding, Yuqing Qian, Haiying Sun, Jifeng He

Frontiers Comput. Sci., 2019

A Sound and Complete Axiomatisation for Spatio-Temporal Specification Language.

Tengfei Li, Jing Liu, Dongdong An, Haiying Sun

Proceedings of the 31st International Conference on Software Engineering and Knowledge Engineering, 2019

Improved Energy-Aware Strategies for Periodic Real-Time Tasks under Reliability Constraints.

Li Han, Louis-Claude Canon, Jing Liu, Yves Robert, Frédéric Vivien

Proceedings of the IEEE Real-Time Systems Symposium, 2019

Better Development of Safety Critical Systems: Chinese High Speed Railway System Development Experience Report.

ZhiWei Wu, Jing Liu, Xiang Chen

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

High-Speed Rail Operating Environment Recognition Based on Neural Network and Adversarial Training.

Xiaoxue Hou, Jie An, Miaomiao Zhang, Bowen Du, Jing Liu

Proceedings of the 31st IEEE International Conference on Tools with Artificial Intelligence, 2019

A Modeling Framework of Cyber-Physical-Social Systems with Human Behavior Classification Based on Machine Learning.

Dongdong An, Jing Liu, Xiaohong Chen, Tengfei Li, Ling Yin

Proceedings of the Formal Methods and Software Engineering, 2019

Intelligent-Prediction Model of Safety-Risk for CBTC System by Deep Neural Network.

Yan Zhang, Jing Liu, Junfeng Sun, Xiang Chen, Tingliang Zhou

Proceedings of the Collaborative Computing: Networking, Applications and Worksharing, 2019

RBML: A Refined Behavior Modeling Language for Safety-Critical Hybrid Systems.

Zhangtao Chen, Jing Liu, Xi Ding, Miaomiao Zhang

Proceedings of the 26th Asia-Pacific Software Engineering Conference, 2019

2018

Simplifying the Formal Verification of Safety Requirements in Zone Controllers Through Problem Frames and Constraint-Based Projection.

Zhengheng Yuan, Xiaohong Chen, Jing Liu, Yijun Yu, Haiying Sun, Tingliang Zhou, Zhi Jin

IEEE Trans. Intell. Transp. Syst., 2018

An Approach to Modeling and Analyzing Human-Centric Systems and Its Application.

Dongdong An, Jing Liu

Int. J. Cooperative Inf. Syst., 2018

A proof-based method of hybrid systems development using differential invariants.

Jie Liu, Jing Liu, Miaomiao Zhang, Haiying Sun, Xiaohong Chen, Dehui Du, Mingsong Chen

Frontiers Comput. Sci., 2018

2017

An Approach to Proving Proof Obligation of Hybrid Event B Based on Differential Invariants.

Jie Liu, Jing Liu, Miaomiao Zhang, Haiying Sun, Xiaohong Chen, Dehui Du, Mingsong Chen

Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

Automatic Test Generation of Large Boolean Expressions in Computer Based Interlocking System.

Zhiwei Li, Jing Liu, Haiying Sun, Tingliang Zhou, Junfeng Sun

Proceedings of the 24th Asia-Pacific Software Engineering Conference, 2017

Safety prediction of rail transit system based on deep learning.

Yan Zhang, Jiazhen Han, Jing Liu, Tingliang Zhou, Junfeng Sun, Juan Luo

Proceedings of the 16th IEEE/ACIS International Conference on Computer and Information Science, 2017

An adaptive scheduling algorithm for heterogeneous Hadoop systems.

Jiazhen Han, Zhengheng Yuan, Yiheng Han, Cheng Peng, Jing Liu, Guangli Li

Proceedings of the 16th IEEE/ACIS International Conference on Computer and Information Science, 2017

2016

Using Safety Requirement Patterns to Elicit Requirements for Railway Interlocking Systems.

Xiaohong Chen, Li Han, Jing Liu, Haiying Sun

Proceedings of the 24th IEEE International Requirements Engineering Conference, 2016

Improving Defect Detection Ability of Derived Test Cases Based on Mutated UML Activity Diagrams.

Haiying Sun, Mingsong Chen, Min Zhang, Jing Liu, Ying Zhang

Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 2016

Safety Requirements Specification and Verification for Railway Interlocking Systems.

Li Han, Jing Liu, Tingliang Zhou, Junfeng Sun, Xiaohong Chen

Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 2016

Spatial Alloy: An Alloy Extension for Modeling Spatial Properties.

Fei Tang, Jing Liu, Tingliang Zhou, Junfeng Sun, Haiying Sun

Proceedings of the 2016 IEEE International Conference on Computer and Information Technology, 2016

2015

Modeling and analysis of interactive telemedicine systems.

Jing Liu, Xijiao Xiong, Zuohua Ding, Jifeng He

Innov. Syst. Softw. Eng., 2015

HSD: Hybrid MARTE Sequence Diagram.

Lulu Yao, Jing Liu, Yan Zhang, Yuejun Wang, Haiying Sun, Qingsheng Wang, Dehui Du, Xiaohong Chen

Proceedings of the 2015 IEEE International Conference on Software Quality, 2015

Modeling and Verification of Zone Controller: The SCADE Experience in China's Railway Systems.

Jie Qian, Jing Liu, Xiang Chen, Junfeng Sun

Proceedings of the 1st IEEE/ACM International Workshop on Complex Faults and Failures in Large Software Systems, 2015

Hybrid Lustre.

Zhengheng Yuan, Tingliang Zhou, Jing Liu, Juan Luo, Yi Zhang, Xiaohong Chen

Proceedings of the Perspectives of System Informatics, 2015

Evaluating Energy Consumption for Cyber-Physical Energy System: An Environment Ontology-Based Approach.

Xiaohong Chen, Fan Gu, Mingsong Chen, Dehui Du, Jing Liu, Haiying Sun

Proceedings of the 39th IEEE Annual Computer Software and Applications Conference, 2015

Hybrid Marte.

Lulu Yao, Jing Liu, Yan Zhang, Yuejun Wang

Proceedings of the 2015 Asia-Pacific Software Engineering Conference, 2015

Specifying Cyber Physical System Safety Properties with Metric Temporal Spatial Logic.

Haiying Sun, Jing Liu, Xiaohong Chen, Dehui Du

Proceedings of the 2015 Asia-Pacific Software Engineering Conference, 2015

2014

ADAutomation: An Activity Diagram Based Automated GUI Testing Framework for Smartphone Applications.

Ang Li, Zishan Qin, Mingsong Chen, Jing Liu

Proceedings of the Eighth International Conference on Software Security and Reliability, 2014

Improving Testing Coverage for Safety-Critical System by Mutated Specification.

Tingliang Zhou, Haiying Sun, Jing Liu, Xiaohong Chen, Dehui Du

Proceedings of the 21st Asia-Pacific Software Engineering Conference, 2014

Formal Design and Verification of Zone Controller.

Jie Qian, Jing Liu, Xiang Chen, Junfeng Sun

Proceedings of the 21st Asia-Pacific Software Engineering Conference, 2014

2013

Hybrid MARTE statecharts.

Jing Liu, Ziwei Liu, Jifeng He, Frédéric Mallet, Zuohua Ding

Frontiers Comput. Sci., 2013

A Formal Framework for Hybrid Event B.

Jie Liu, Jing Liu

Proceedings of the Sixth International Workshop on Harnessing Theories for Tool Support for Software, 2013

Requirements monitoring for Internetware: an interaction based approach.

Xiaohong Chen, Jing Liu, Zhiming Liu

Sci. China Inf. Sci., 2013

Unified Modeling of Active and Reactive Components for Real-Time Systems.

Zhucheng Shao, Jing Liu, Xiaohong Chen, Zuohua Ding, Zhengheng Yuan

Proceedings of the Seventh International Symposium on Theoretical Aspects of Software Engineering, 2013

Hybrid AADL: a sublanguage extension to AADL.

Yuqing Qian, Jing Liu, Xiaohong Chen

Proceedings of the 5th Asia-Pacific Symposium on Internetware, 2013

Spatio-temporal Hybrid Automata for Cyber-Physical Systems.

Zhucheng Shao, Jing Liu

Proceedings of the Theoretical Aspects of Computing - ICTAC 2013, 2013

Spatio-temporal Properties Analysis for Cyber-physical Systems.

Zhucheng Shao, Jing Liu, Zuohua Ding, Mingsong Chen, Ningkang Jiang

Proceedings of the 2013 18th International Conference on Engineering of Complex Computer Systems, 2013

Schedulability Analysis with CCSL Specifications.

Ling Yin, Jing Liu, Zuohua Ding, Frédéric Mallet, Robert de Simone

Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013

Problem Frames Construction from Feature Models.

Xiaohong Chen, Haiying Sun, Ronghua Ye, Jing Liu

Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013

2012

Service Selection Based On Behavior Matching.

Mingyue Jiang, Zuohua Ding, Jing Liu

J. Softw., 2012

Formal Specification of Hybrid MARTE Statecharts.

Ziwei Liu, Jing Liu, Jifeng He, Frédéric Mallet, Miaomiao Zhang

Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012

Eliciting Security Requirements in the Commanded Behavior Frame: An Ontology based Approach.

Xiaohong Chen, Jing Liu

Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), 2012

An approach to communicating process modeling of MARTE.

Zhike Wu, Jing Liu, Xiaohong Chen, Mingsong Chen

Proceedings of the Fourth Asia-Pacific Symposium on Internetware, 2012

Spatio-temporal UML Statechart for Cyber-Physical Systems.

Ziwei Liu, Jing Liu, Jifeng He, Zuohua Ding

Proceedings of the 17th IEEE International Conference on Engineering of Complex Computer Systems, 2012

Integration of Safety Verification with Conformance Testing in Real-Time Reactive System.

Haiying Sun, Jing Liu, Dehui Du

Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012

2011

Modeling and Prototyping Business Processes in AutoPA.

Ling Yin, Jing Liu, Zuohua Ding

Proceedings of the 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2011

On Constructing Software Environment Ontology for Time-Continuous Environment.

Xiaohong Chen, Jing Liu, Zuohua Ding

Proceedings of the Knowledge Science, Engineering and Management, 2011

Verification of MARTE/CCSL Time Requirements in Promela/SPIN.

Ling Yin, Frédéric Mallet, Jing Liu

Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, 2011

Modeling Timing Requirements in Problem Frames Using CCSL.

Xiaohong Chen, Jing Liu, Frédéric Mallet, Zhi Jin

Proceedings of the 18th Asia Pacific Software Engineering Conference, 2011

2010

Requirement Checking: Generating Uses Cases out of Navigational Logs in Web Applications.

Zuohua Ding, Mingyue Jiang, Geguang Pu, Jing Liu

Proceedings of the 10th International Conference on Quality Software, 2010

Applying Ordinary Differential Equations to the Performance Analysis of Service Composition.

Zuohua Ding, Hui Shen, Jing Liu

Proceedings of the Formal Methods and Software Engineering, 2010

Modeling and Verification of an Automatic Train Protection System.

Xijiao Xiong, Jing Liu, Miaomiao Zhang, Zuohua Ding

Proceedings of the Workshop Proceedings of the 34th Annual IEEE International Computer Software and Applications Conference, 2010

2009

Design and Verification of a Trustable Medical System.

Xijiao Xiong, Jing Liu, Zuohua Ding

Proceedings of the 3rd International Workshop on Harnessing Theories for Tool Support in Software, 2009

Measuring the Survivability of Object-Oriented Software.

Jueliang Hu, Zuohua Ding, Jing Liu, Ling Yin

Proceedings of the TASE 2009, 2009

Towards the Verification of Services Collaboration.

Yue Xie, Dehui Du, Jing Liu, Zuohua Ding

Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009

Formal Analysis of Services Compatibility.

Xueqiang Gong, Jing Liu, Miaomiao Zhang, Jueliang Hu

Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009

Model Checking Service Component Composition by SPIN.

Zuohua Ding, Mingyue Jiang, Jing Liu

Proceedings of the 8th IEEE/ACIS International Conference on Computer and Information Science, 2009

2008

BAS: A Case Study for Modeling and Verification in Trustable Model Driven Development.

Dehui Du, Jing Liu, Honghua Cao, Miaomiao Zhang

Proceedings of the 2nd International Workshop on Harnessing Theories for Tool Support in Software, 2008

An Improvement of Software Architecture Verification.

Zuohua Ding, Jing Liu

Proceedings of the 2nd International Workshop on Harnessing Theories for Tool Support in Software, 2008

Designing, Modelling and Verifying a Container Terminal System Using UPPAAL.

Quan Zu, Miaomiao Zhang, Jing Liu, Qingfeng Du

Proceedings of the 11th IEEE High Assurance Systems Engineering Symposium, 2008

A Rigorous Model of Contract-Based Service Component Architecture.

Dehui Du, Jing Liu, Honghua Cao

Proceedings of the International Conference on Computer Science and Software Engineering, 2008

2007

The Verification of rCOS Using Spin.

Xiao Yu, Zheng Wang, Geguang Pu, Dingding Mao, Jing Liu

Proceedings of the 1st International Workshop on Harnessing Theories for Tool Support in Software, 2007

A Rigorous Model of Service Component Architecture.

Zuohua Ding, Zhenbang Chen, Jing Liu

Proceedings of the 1st International Workshop on Harnessing Theories for Tool Support in Software, 2007

The Validation and Verification of WSCDL.

Geguang Pu, Jianqi Shi, Zheng Wang, Lu Jin, Jing Liu, Jifeng He

Proceedings of the 14th Asia-Pacific Software Engineering Conference (APSEC 2007), 2007

2006

A strategy for service realization in service-oriented design.

Jing Liu, Jifeng He, Zhiming Liu

Sci. China Ser. F Inf. Sci., 2006

Reactive Component based Service-Oriented Design - A Case Study.

Jing Liu, Jifeng He

Proceedings of the 11th International Conference on Engineering of Complex Computer Systems (ICECCS 2006), 2006

2004

Linking UML Models of Design and Requirement.

Jing Liu, Zhiming Liu, Jifeng He, Xiaoshan Li

Proceedings of the 15th Australian Software Engineering Conference (ASWEC 2004), 2004

2003

Unifying Views of UML.

Zhiming Liu, Jifeng He, Jing Liu, Xiaoshan Li

Proceedings of the Workshop on the Compositional Verification of UML Models, 2003