Jing Liu

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 50

Top Topics

Formal Verification

Activity Diagrams

Top Venues

Publications

Wenbing Tang, Jing Liu, Yuan Zhou, Zuohua Ding
Causality-Guided Counterfactual Debiasing for Anomaly Detection of Cyber-Physical Systems. IEEE Trans. Ind. Informatics 20 (3) (2024)
Wenbing Tang, Yuan Zhou, Yang Liu, Zuohua Ding, Jing Liu
Robust Motion Planning for Multi-Robot Systems Against Position Deception Attacks. IEEE Trans. Inf. Forensics Secur. 19 (2024)
Wenbing Tang, Yuan Zhou, Haiying Sun, Yuhong Zhang, Yang Liu, Zuohua Ding, Jing Liu, Jifeng He
GAN-Based Robust Motion Planning for Mobile Robots Against Localization Attacks. IEEE Robotics Autom. Lett. 8 (3) (2023)
Mengyuan Wang, Tengfei Li, Jing Liu, Hui Dou, HongTao Chen, John Zhang, Lipeng Zhang
Modeling and Verification of Autonomous Driving Systems under Stochastic Spatio-Temporal Constraints. SEKE (2023)
Zhaodi Zhang, Zhiyi Xue, Yang Chen, Si Liu, Yueling Zhang, Jing Liu, Min Zhang
Boosting Verified Training for Robust Image Classifications via Abstraction. CoRR (2023)
Zhaodi Zhang, Jing Liu, Guanjun Liu, Jiacun Wang, John Zhang
Robustness Verification of Swish Neural Networks Embedded in Autonomous Driving Systems. IEEE Trans. Comput. Soc. Syst. 10 (4) (2023)
Tengfei Li, Junfeng Sun, Xinjun Lv, Xiang Chen, Jing Liu, Haiying Sun
Enhancing the Formal Verification of Train Control Systems based on Decomposition. COMPSAC (2023)
Zhiwei Wu, Li Han, Jing Liu, Yves Robert, Frédéric Vivien
Energy-aware mapping and scheduling strategies for real-time workflows under reliability constraints. J. Parallel Distributed Comput. 176 (2023)
Huiyu Liu, Jing Liu, Wei Yin, Haiying Sun, Chenchen Yang
Safety SysML: An Executable Safety-Critical Avionics Requirement Modeling Language. QRS (2022)
Fei Tang, Jing Liu, Nicholas Zafetti
Optimization of residential building envelopes using an improved Emperor Penguin Optimizer. Eng. Comput. 38 (2) (2022)
Debao Sang, Jing Liu, Haiying Sun, Jin Xu, Jiexiang Kang
A Novel Approach for Bounded Model Checking Through Full Parallelism. QRS (2022)
Huiyu Liu, Jing Liu, Haiying Sun, Tengfei Li, John Zhang
Uncertainty-Aware Behavior Modeling and Quantitative Safety Evaluation for Automatic Flight Control Systems. QRS (2022)
Zhaodi Zhang, Yiting Wu, Si Liu, Jing Liu, Min Zhang
Provably Tightest Linear Approximation for Robustness Verification of Sigmoid-like Neural Networks. ASE (2022)
Runhao Wang, Jiexiang Kang, Wei Yin, Hui Wang, Haiying Sun, Xiaohong Chen, Zhongjie Gao, Shuning Wang, Jing Liu
DeepTrace: A Secure Fingerprinting Framework for Intellectual Property Protection of Deep Neural Networks. TrustCom (2021)
Runhao Wang, Yuhong Zhang, Haiying Sun, Jing Liu
Dependable Reinforcement Learning via Timed Differential Dynamic Logic. ISCC (2021)
Tengfei Li, Jing Liu, Haiying Sun, Xiaohong Chen, Ling Yin, Xia Mao, Junfeng Sun
Runtime Verification of Spatio-Temporal Specification Language. Mob. Networks Appl. 26 (6) (2021)
Chenchen Yang, Jing Liu, Haiying Sun, Junfeng Sun, Xiang Chen, Lipeng Zhang
Safe Reinforcement Learning for CPSs via Formal Modeling and Verification. IJCNN (2021)
Dong Wang, Jing Liu, Haiying Sun, Jin Xu, Jiexiang Kang
A Fully Parallel Approach of Model Checking Via Probe Machine. Int. J. Softw. Eng. Knowl. Eng. 31 (11&12) (2021)
Dong Wang, Jing Liu, Jin Xu, Haiying Sun, Jiexiang Kang
A Novel Approach of CTL Model Checking Based on Probe Machine. SEKE (2021)
Tengfei Li, Xiaohong Chen, Haiying Sun, Jing Liu, Jiajia Yang, Chenchen Yang, Junfeng Sun
Modeling and Verification of Spatio-Temporal Intelligent Transportation Systems. TrustCom (2020)
Qian Liu, Robert de Simone, Xiaohong Chen, Jiexiang Kang, Jing Liu, Wei Yin, Hui Wang
Multiform Logical Time & Space for Mobile Cyber-Physical System With Automated Driving Assistance System. APSEC (2020)
Tengfei Li, Jing Liu, Haiying Sun, Xiang Chen, Lipeng Zhang, Junfeng Sun
A spatio-temporal specification language and its completeness & decidability. J. Cloud Comput. 9 (2020)
Pan Fan, Jing Liu, Wei Yin, Hui Wang, Xiaohong Chen, Haiying Sun
2PC*: a distributed transaction concurrency control protocol of multi-microservice based on cloud computing platform. J. Cloud Comput. 9 (2020)
Li Han, Yiqin Gao, Jing Liu, Yves Robert, Frédéric Vivien
Energy-aware strategies for reliability-oriented real-time task allocation on heterogeneous platforms. ICPP (2020)
Dongdong An, Jing Liu, Min Zhang, Xiaohong Chen, Mingsong Chen, Haiying Sun
Uncertainty modeling and runtime verification for autonomous vehicles driving control: A machine learning-based approach. J. Syst. Softw. 167 (2020)
Jing Liu, Yan Zhang, Jiazhen Han, Jifeng He, Junfeng Sun, Tingliang Zhou
Intelligent Hazard-Risk Prediction Model for Train Control Systems. IEEE Trans. Intell. Transp. Syst. 21 (11) (2020)
Qian Liu, Robert de Simone, Xiaohong Chen, Jing Liu
Multiform Logical Time & Space for Specification of Automated Driving Assistance Systems: Work-in-Progress. EMSOFT (2020)
Jin Xu, Zishan Li, Bowen Du, Miaomiao Zhang, Jing Liu
Reluplex made more practical: Leaky ReLU. ISCC (2020)
Tengfei Li, Jing Liu, JieXiang Kang, Haiying Sun, Xiaohong Chen, Li Han
Model Checking of Spatial Logic. APSEC (2020)
Hongze Wang, Jing Liu, JieXiang Kang, Wei Yin, Haiying Sun, Hui Wang
Feature Envy Detection based on Bi-LSTM with Self-Attention Mechanism. ISPA/BDCloud/SocialCom/SustainCom (2020)
Tengfei Li, Jing Liu, JieXiang Kang, Haiying Sun, Wei Yin, Xiaohong Chen, Hui Wang
STSL: A Novel Spatio-Temporal Specification Language for Cyber-Physical Systems. QRS (2020)
Jing Liu, Li Qian, Yan Zhang, Jiazhen Han, Junfeng Sun
Towards Safety-Risk Prediction of CBTC Systems With Deep Learning and Formal Methods. IEEE Access 8 (2020)
Zhangtao Chen, Jing Liu, Xi Ding, Miaomiao Zhang
RBML: A Refined Behavior Modeling Language for Safety-Critical Hybrid Systems. APSEC (2019)
Jing Liu, Tengfei Li, Zuohua Ding, Yuqing Qian, Haiying Sun, Jifeng He
AADL+: a simulation-based methodology for cyber-physical systems. Frontiers Comput. Sci. 13 (3) (2019)
Dongdong An, Jing Liu, Xiaohong Chen, Tengfei Li, Ling Yin
A Modeling Framework of Cyber-Physical-Social Systems with Human Behavior Classification Based on Machine Learning. ICFEM (2019)
ZhiWei Wu, Jing Liu, Xiang Chen
Better Development of Safety Critical Systems: Chinese High Speed Railway System Development Experience Report. ASE (2019)
Tengfei Li, Jing Liu, Dongdong An, Haiying Sun
A Sound and Complete Axiomatisation for Spatio-Temporal Specification Language. SEKE (2019)
Xiaoxue Hou, Jie An, Miaomiao Zhang, Bowen Du, Jing Liu
High-Speed Rail Operating Environment Recognition Based on Neural Network and Adversarial Training. ICTAI (2019)
Yan Zhang, Jing Liu, Junfeng Sun, Xiang Chen, Tingliang Zhou
Intelligent-Prediction Model of Safety-Risk for CBTC System by Deep Neural Network. CollaborateCom (2019)
Zhengheng Yuan, Xiaohong Chen, Jing Liu, Yijun Yu, Haiying Sun, Tingliang Zhou, Zhi Jin
Simplifying the Formal Verification of Safety Requirements in Zone Controllers Through Problem Frames and Constraint-Based Projection. IEEE Trans. Intell. Transp. Syst. 19 (11) (2018)
Dongdong An, Jing Liu
An Approach to Modeling and Analyzing Human-Centric Systems and Its Application. Int. J. Cooperative Inf. Syst. 27 (1) (2018)
Jie Liu, Jing Liu, Miaomiao Zhang, Haiying Sun, Xiaohong Chen, Dehui Du, Mingsong Chen
A proof-based method of hybrid systems development using differential invariants. Frontiers Comput. Sci. 12 (5) (2018)
Yan Zhang, Jiazhen Han, Jing Liu, Tingliang Zhou, Junfeng Sun, Juan Luo
Safety prediction of rail transit system based on deep learning. ICIS (2017)
Jie Liu, Jing Liu, Miaomiao Zhang, Haiying Sun, Xiaohong Chen, Dehui Du, Mingsong Chen
An Approach to Proving Proof Obligation of Hybrid Event B Based on Differential Invariants. COMPSAC (1) (2017)
Jiazhen Han, Zhengheng Yuan, Yiheng Han, Cheng Peng, Jing Liu, Guangli Li
An adaptive scheduling algorithm for heterogeneous Hadoop systems. ICIS (2017)
Zhiwei Li, Jing Liu, Haiying Sun, Tingliang Zhou, Junfeng Sun
Automatic Test Generation of Large Boolean Expressions in Computer Based Interlocking System. APSEC (2017)
Haiying Sun, Mingsong Chen, Min Zhang, Jing Liu, Ying Zhang
Improving Defect Detection Ability of Derived Test Cases Based on Mutated UML Activity Diagrams. COMPSAC (2016)
Fei Tang, Jing Liu, Tingliang Zhou, Junfeng Sun, Haiying Sun
Spatial Alloy: An Alloy Extension for Modeling Spatial Properties. CIT (2016)
Xiaohong Chen, Li Han, Jing Liu, Haiying Sun
Using Safety Requirement Patterns to Elicit Requirements for Railway Interlocking Systems. RE Workshops (2016)
Li Han, Jing Liu, Tingliang Zhou, Junfeng Sun, Xiaohong Chen
Safety Requirements Specification and Verification for Railway Interlocking Systems. COMPSAC (2016)
Lulu Yao, Jing Liu, Yan Zhang, Yuejun Wang, Haiying Sun, Qingsheng Wang, Dehui Du, Xiaohong Chen
HSD: Hybrid MARTE Sequence Diagram. QRS (2015)
Zhengheng Yuan, Tingliang Zhou, Jing Liu, Juan Luo, Yi Zhang, Xiaohong Chen
Hybrid Lustre. Ershov Memorial Conference (2015)
Xiaohong Chen, Fan Gu, Mingsong Chen, Dehui Du, Jing Liu, Haiying Sun
Evaluating Energy Consumption for Cyber-Physical Energy System: An Environment Ontology-Based Approach. COMPSAC (2015)
Haiying Sun, Jing Liu, Xiaohong Chen, Dehui Du
Specifying Cyber Physical System Safety Properties with Metric Temporal Spatial Logic. APSEC (2015)
Lulu Yao, Jing Liu, Yan Zhang, Yuejun Wang
Hybrid Marte. APSEC (2015)
Jing Liu, Xijiao Xiong, Zuohua Ding, Jifeng He
Modeling and analysis of interactive telemedicine systems. Innov. Syst. Softw. Eng. 11 (1) (2015)
Jie Qian, Jing Liu, Xiang Chen, Junfeng Sun
Modeling and Verification of Zone Controller: The SCADE Experience in China's Railway Systems. COUFLESS@ICSE (2015)
Jie Liu, Jing Liu
A Formal Framework for Hybrid Event B. Electron. Notes Theor. Comput. Sci. 309 (2014)
Jie Qian, Jing Liu, Xiang Chen, Junfeng Sun
Formal Design and Verification of Zone Controller. APSEC (1) (2014)
Ang Li, Zishan Qin, Mingsong Chen, Jing Liu
ADAutomation: An Activity Diagram Based Automated GUI Testing Framework for Smartphone Applications. SERE (2014)
Tingliang Zhou, Haiying Sun, Jing Liu, Xiaohong Chen, Dehui Du
Improving Testing Coverage for Safety-Critical System by Mutated Specification. APSEC (1) (2014)
Zhucheng Shao, Jing Liu, Zuohua Ding, Mingsong Chen, Ningkang Jiang
Spatio-temporal Properties Analysis for Cyber-physical Systems. ICECCS (2013)
Xiaohong Chen, Haiying Sun, Ronghua Ye, Jing Liu
Problem Frames Construction from Feature Models. APSEC (1) (2013)
Zhucheng Shao, Jing Liu, Xiaohong Chen, Zuohua Ding, Zhengheng Yuan
Unified Modeling of Active and Reactive Components for Real-Time Systems. TASE (2013)
Xiaohong Chen, Jing Liu, Zhiming Liu
Requirements monitoring for Internetware: an interaction based approach. Sci. China Inf. Sci. 56 (8) (2013)
Ling Yin, Jing Liu, Zuohua Ding, Frédéric Mallet, Robert de Simone
Schedulability Analysis with CCSL Specifications. APSEC (1) (2013)
Yuqing Qian, Jing Liu, Xiaohong Chen
Hybrid AADL: a sublanguage extension to AADL. Internetware (2013)
Jing Liu, Ziwei Liu, Jifeng He, Frédéric Mallet, Zuohua Ding
Hybrid MARTE statecharts. Frontiers Comput. Sci. 7 (1) (2013)
Zhucheng Shao, Jing Liu
Spatio-temporal Hybrid Automata for Cyber-Physical Systems. ICTAC (2013)
Haiying Sun, Jing Liu, Dehui Du
Integration of Safety Verification with Conformance Testing in Real-Time Reactive System. APSEC (2012)
Mingyue Jiang, Zuohua Ding, Jing Liu
Service Selection Based On Behavior Matching. J. Softw. 7 (9) (2012)
Zhike Wu, Jing Liu, Xiaohong Chen, Mingsong Chen
An approach to communicating process modeling of MARTE. Internetware (2012)
Ziwei Liu, Jing Liu, Jifeng He, Zuohua Ding
Spatio-temporal UML Statechart for Cyber-Physical Systems. ICECCS (2012)
Ziwei Liu, Jing Liu, Jifeng He, Frédéric Mallet, Miaomiao Zhang
Formal Specification of Hybrid MARTE Statecharts. TASE (2012)
Xiaohong Chen, Jing Liu
Eliciting Security Requirements in the Commanded Behavior Frame: An Ontology based Approach. SEKE (2012)
Xiaohong Chen, Jing Liu, Frédéric Mallet, Zhi Jin
Modeling Timing Requirements in Problem Frames Using CCSL. APSEC (2011)
Xiaohong Chen, Jing Liu, Zuohua Ding
On Constructing Software Environment Ontology for Time-Continuous Environment. KSEM (2011)
Ling Yin, Jing Liu, Zuohua Ding
Modeling and Prototyping Business Processes in AutoPA. TASE (2011)
Ling Yin, Frédéric Mallet, Jing Liu
Verification of MARTE/CCSL Time Requirements in Promela/SPIN. ICECCS (2011)
Xijiao Xiong, Jing Liu, Miaomiao Zhang, Zuohua Ding
Modeling and Verification of an Automatic Train Protection System. COMPSAC Workshops (2010)
Xijiao Xiong, Jing Liu, Zuohua Ding
Design and Verification of a Trustable Medical System. Electron. Notes Theor. Comput. Sci. 266 (2010)
Zuohua Ding, Hui Shen, Jing Liu
Applying Ordinary Differential Equations to the Performance Analysis of Service Composition. ICFEM (2010)
Zuohua Ding, Mingyue Jiang, Geguang Pu, Jing Liu
Requirement Checking: Generating Uses Cases out of Navigational Logs in Web Applications. QSIC (2010)
Zuohua Ding, Jing Liu
An Improvement of Software Architecture Verification. Electron. Notes Theor. Comput. Sci. 243 (2009)
Jueliang Hu, Zuohua Ding, Jing Liu, Ling Yin
Measuring the Survivability of Object-Oriented Software. TASE (2009)
Zuohua Ding, Mingyue Jiang, Jing Liu
Model Checking Service Component Composition by SPIN. ACIS-ICIS (2009)
Yue Xie, Dehui Du, Jing Liu, Zuohua Ding
Towards the Verification of Services Collaboration. COMPSAC (2) (2009)
Xueqiang Gong, Jing Liu, Miaomiao Zhang, Jueliang Hu
Formal Analysis of Services Compatibility. COMPSAC (2) (2009)
Dehui Du, Jing Liu, Honghua Cao, Miaomiao Zhang
BAS: A Case Study for Modeling and Verification in Trustable Model Driven Development. Electron. Notes Theor. Comput. Sci. 243 (2009)
Zuohua Ding, Zhenbang Chen, Jing Liu
A Rigorous Model of Service Component Architecture. Electron. Notes Theor. Comput. Sci. 207 (2008)
Dehui Du, Jing Liu, Honghua Cao
A Rigorous Model of Contract-Based Service Component Architecture. CSSE (2) (2008)
Quan Zu, Miaomiao Zhang, Jing Liu, Qingfeng Du
Designing, Modelling and Verifying a Container Terminal System Using UPPAAL. HASE (2008)
Xiao Yu, Zheng Wang, Geguang Pu, Dingding Mao, Jing Liu
The Verification of rCOS Using Spin. Electron. Notes Theor. Comput. Sci. 207 (2008)
Geguang Pu, Jianqi Shi, Zheng Wang, Lu Jin, Jing Liu, Jifeng He
The Validation and Verification of WSCDL. APSEC (2007)