Jing Liu

Affiliations:
  • East China Normal University, Shanghai Key Laboratory of Trustworthy Computing, China


According to our database1, Jing Liu authored at least 99 papers between 2007 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Causality-Guided Counterfactual Debiasing for Anomaly Detection of Cyber-Physical Systems.
IEEE Trans. Ind. Informatics, March, 2024

Robust Motion Planning for Multi-Robot Systems Against Position Deception Attacks.
IEEE Trans. Inf. Forensics Secur., 2024

2023
Robustness Verification of Swish Neural Networks Embedded in Autonomous Driving Systems.
IEEE Trans. Comput. Soc. Syst., August, 2023

Energy-aware mapping and scheduling strategies for real-time workflows under reliability constraints.
J. Parallel Distributed Comput., June, 2023

GAN-Based Robust Motion Planning for Mobile Robots Against Localization Attacks.
IEEE Robotics Autom. Lett., March, 2023

Cooperative collision avoidance in multirobot systems using fuzzy rules and velocity obstacles.
Robotica, February, 2023

Modeling and Verification of Autonomous Driving Systems under Stochastic Spatio-Temporal Constraints.
Proceedings of the 35th International Conference on Software Engineering and Knowledge Engineering, 2023

Boosting Verified Training for Robust Image Classifications via Abstraction.
Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2023

Enhancing the Formal Verification of Train Control Systems based on Decomposition.
Proceedings of the 47th IEEE Annual Computers, Software, and Applications Conference, 2023

2022
Optimization of residential building envelopes using an improved Emperor Penguin Optimizer.
Eng. Comput., 2022

A Novel Approach for Bounded Model Checking Through Full Parallelism.
Proceedings of the 22nd IEEE International Conference on Software Quality, 2022

Safety SysML: An Executable Safety-Critical Avionics Requirement Modeling Language.
Proceedings of the 22nd IEEE International Conference on Software Quality, 2022

Uncertainty-Aware Behavior Modeling and Quantitative Safety Evaluation for Automatic Flight Control Systems.
Proceedings of the 22nd IEEE International Conference on Software Quality, 2022

Provably Tightest Linear Approximation for Robustness Verification of Sigmoid-like Neural Networks.
Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

SysML Flow Model.
Proceedings of the 29th Asia-Pacific Software Engineering Conference, 2022

2021
Runtime Verification of Spatio-Temporal Specification Language.
Mob. Networks Appl., 2021

A Fully Parallel Approach of Model Checking Via Probe Machine.
Int. J. Softw. Eng. Knowl. Eng., 2021

DeepTrace: A Secure Fingerprinting Framework for Intellectual Property Protection of Deep Neural Networks.
Proceedings of the 20th IEEE International Conference on Trust, 2021

Parametric Spatio-temporal Modeling and Safety Verifying for T2T-CBTC Systems.
Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2021

A Novel Approach of CTL Model Checking Based on Probe Machine.
Proceedings of the 33rd International Conference on Software Engineering and Knowledge Engineering, 2021

Dependable Reinforcement Learning via Timed Differential Dynamic Logic.
Proceedings of the IEEE Symposium on Computers and Communications, 2021

Safe Reinforcement Learning for CPSs via Formal Modeling and Verification.
Proceedings of the International Joint Conference on Neural Networks, 2021

Uncertainty Modeling and Quantitative Evaluation of Cyber-physical Systems.
Proceedings of the IEEE 45th Annual Computers, Software, and Applications Conference, 2021

2020
Intelligent Hazard-Risk Prediction Model for Train Control Systems.
IEEE Trans. Intell. Transp. Syst., 2020

Uncertainty modeling and runtime verification for autonomous vehicles driving control: A machine learning-based approach.
J. Syst. Softw., 2020

A spatio-temporal specification language and its completeness & decidability.
J. Cloud Comput., 2020

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

Towards Safety-Risk Prediction of CBTC Systems With Deep Learning and Formal Methods.
IEEE Access, 2020

Modeling and Verification of Spatio-Temporal Intelligent Transportation Systems.
Proceedings of the 19th IEEE International Conference on Trust, 2020

STSL: A Novel Spatio-Temporal Specification Language for Cyber-Physical Systems.
Proceedings of the 20th IEEE International Conference on Software Quality, 2020

Feature Envy Detection based on Bi-LSTM with Self-Attention Mechanism.
Proceedings of the IEEE International Conference on Parallel & Distributed Processing with Applications, 2020

Reluplex made more practical: Leaky ReLU.
Proceedings of the IEEE Symposium on Computers and Communications, 2020

Energy-aware strategies for reliability-oriented real-time task allocation on heterogeneous platforms.
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.
Proceedings of the 20th International Conference on Embedded Software, 2020

Multiform Logical Time & Space for Mobile Cyber-Physical System With Automated Driving Assistance System.
Proceedings of the 27th Asia-Pacific Software Engineering Conference, 2020

Model Checking of Spatial Logic.
Proceedings of the 27th Asia-Pacific Software Engineering Conference, 2020

2019
AADL+: a simulation-based methodology for cyber-physical systems.
Frontiers Comput. Sci., 2019

A Sound and Complete Axiomatisation for Spatio-Temporal Specification Language.
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.
Proceedings of the IEEE Real-Time Systems Symposium, 2019

Better Development of Safety Critical Systems: Chinese High Speed Railway System Development Experience Report.
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.
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.
Proceedings of the Formal Methods and Software Engineering, 2019

Intelligent-Prediction Model of Safety-Risk for CBTC System by Deep Neural Network.
Proceedings of the Collaborative Computing: Networking, Applications and Worksharing, 2019

RBML: A Refined Behavior Modeling Language for Safety-Critical Hybrid Systems.
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.
IEEE Trans. Intell. Transp. Syst., 2018

An Approach to Modeling and Analyzing Human-Centric Systems and Its Application.
Int. J. Cooperative Inf. Syst., 2018

A proof-based method of hybrid systems development using differential invariants.
Frontiers Comput. Sci., 2018

2017
An Approach to Proving Proof Obligation of Hybrid Event B Based on Differential Invariants.
Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

Automatic Test Generation of Large Boolean Expressions in Computer Based Interlocking System.
Proceedings of the 24th Asia-Pacific Software Engineering Conference, 2017

Safety prediction of rail transit system based on deep learning.
Proceedings of the 16th IEEE/ACIS International Conference on Computer and Information Science, 2017

An adaptive scheduling algorithm for heterogeneous Hadoop systems.
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.
Proceedings of the 24th IEEE International Requirements Engineering Conference, 2016

Improving Defect Detection Ability of Derived Test Cases Based on Mutated UML Activity Diagrams.
Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 2016

Safety Requirements Specification and Verification for Railway Interlocking Systems.
Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 2016

Spatial Alloy: An Alloy Extension for Modeling Spatial Properties.
Proceedings of the 2016 IEEE International Conference on Computer and Information Technology, 2016

2015
Modeling and analysis of interactive telemedicine systems.
Innov. Syst. Softw. Eng., 2015

HSD: Hybrid MARTE Sequence Diagram.
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.
Proceedings of the 1st IEEE/ACM International Workshop on Complex Faults and Failures in Large Software Systems, 2015

Hybrid Lustre.
Proceedings of the Perspectives of System Informatics, 2015

Evaluating Energy Consumption for Cyber-Physical Energy System: An Environment Ontology-Based Approach.
Proceedings of the 39th IEEE Annual Computer Software and Applications Conference, 2015

Hybrid Marte.
Proceedings of the 2015 Asia-Pacific Software Engineering Conference, 2015

Specifying Cyber Physical System Safety Properties with Metric Temporal Spatial Logic.
Proceedings of the 2015 Asia-Pacific Software Engineering Conference, 2015

2014
ADAutomation: An Activity Diagram Based Automated GUI Testing Framework for Smartphone Applications.
Proceedings of the Eighth International Conference on Software Security and Reliability, 2014

Improving Testing Coverage for Safety-Critical System by Mutated Specification.
Proceedings of the 21st Asia-Pacific Software Engineering Conference, 2014

Formal Design and Verification of Zone Controller.
Proceedings of the 21st Asia-Pacific Software Engineering Conference, 2014

2013
Hybrid MARTE statecharts.
Frontiers Comput. Sci., 2013

A Formal Framework for Hybrid Event B.
Proceedings of the Sixth International Workshop on Harnessing Theories for Tool Support for Software, 2013

Requirements monitoring for Internetware: an interaction based approach.
Sci. China Inf. Sci., 2013

Unified Modeling of Active and Reactive Components for Real-Time Systems.
Proceedings of the Seventh International Symposium on Theoretical Aspects of Software Engineering, 2013

Hybrid AADL: a sublanguage extension to AADL.
Proceedings of the 5th Asia-Pacific Symposium on Internetware, 2013

Spatio-temporal Hybrid Automata for Cyber-Physical Systems.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2013, 2013

Spatio-temporal Properties Analysis for Cyber-physical Systems.
Proceedings of the 2013 18th International Conference on Engineering of Complex Computer Systems, 2013

Schedulability Analysis with CCSL Specifications.
Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013

Problem Frames Construction from Feature Models.
Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013

2012
Service Selection Based On Behavior Matching.
J. Softw., 2012

Formal Specification of Hybrid MARTE Statecharts.
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.
Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), 2012

An approach to communicating process modeling of MARTE.
Proceedings of the Fourth Asia-Pacific Symposium on Internetware, 2012

Spatio-temporal UML Statechart for Cyber-Physical Systems.
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.
Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012

2011
Modeling and Prototyping Business Processes in AutoPA.
Proceedings of the 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2011

On Constructing Software Environment Ontology for Time-Continuous Environment.
Proceedings of the Knowledge Science, Engineering and Management, 2011

Verification of MARTE/CCSL Time Requirements in Promela/SPIN.
Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, 2011

Modeling Timing Requirements in Problem Frames Using CCSL.
Proceedings of the 18th Asia Pacific Software Engineering Conference, 2011

2010
Requirement Checking: Generating Uses Cases out of Navigational Logs in Web Applications.
Proceedings of the 10th International Conference on Quality Software, 2010

Applying Ordinary Differential Equations to the Performance Analysis of Service Composition.
Proceedings of the Formal Methods and Software Engineering, 2010

Modeling and Verification of an Automatic Train Protection System.
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.
Proceedings of the 3rd International Workshop on Harnessing Theories for Tool Support in Software, 2009

Measuring the Survivability of Object-Oriented Software.
Proceedings of the TASE 2009, 2009

Towards the Verification of Services Collaboration.
Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009

Formal Analysis of Services Compatibility.
Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009

Model Checking Service Component Composition by SPIN.
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.
Proceedings of the 2nd International Workshop on Harnessing Theories for Tool Support in Software, 2008

An Improvement of Software Architecture Verification.
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.
Proceedings of the 11th IEEE High Assurance Systems Engineering Symposium, 2008

A Rigorous Model of Contract-Based Service Component Architecture.
Proceedings of the International Conference on Computer Science and Software Engineering, 2008

2007
The Verification of rCOS Using Spin.
Proceedings of the 1st International Workshop on Harnessing Theories for Tool Support in Software, 2007

A Rigorous Model of Service Component Architecture.
Proceedings of the 1st International Workshop on Harnessing Theories for Tool Support in Software, 2007

The Validation and Verification of WSCDL.
Proceedings of the 14th Asia-Pacific Software Engineering Conference (APSEC 2007), 2007


  Loading...