![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Jing Liu 0012
Person information
- affiliation: East China Normal University, Shanghai Key Laboratory of Trustworthy Computing, China
Other persons with the same name
- Jing Liu — disambiguation page
- Jing Liu 0001
— Chinese Academy of Sciences, Institute of Automation, National Laboratory of Pattern Recognition, Beijing, China
- Jing Liu 0002
— Tianjin University, School of Electrical and Information Engineering, China (and 1 more)
- Jing Liu 0003
— Inner Mongolia University, College of Computer Science, Hohhot, China (and 1 more)
- Jing Liu 0004
— Chinese Academy of Sciences, Institute of Computing Technology, Key Laboratory of Mobile Computing and Pervasive Device, Beijing, China
- Jing Liu 0005
— Tianjin University, School of Precision Instruments and Opto-Electronics Engineering, China (and 1 more)
- Jing Liu 0006
— Xidian University, Key Laboratory of Intelligent Perception and Image Understanding, Xi'an, China (and 3 more)
- Jing Liu 0007
— Xi'an University of Technology, Faculty of Computer Science and Engineering, China
- Jing Liu 0008
— TU Dortmund University, Robotics Research Institute, Germany
- Jing Liu 0009
— University of California, San Diego, Department of Electrical and Computer Engineering, CA, USA
- Jing Liu 0010 — Nankai University, Nankai-Baidu Joint Laboratory, College of IT, Tianjin, China
- Jing Liu 0011
— Xi'an JiaoTong University, School of Electronics and Information Engineering, China (and 1 more)
- Jing Liu 0013
— Peking University, School of Software and Microelectronics / School of Electronics Engineering and Computer Science, Beijing, China
- Jing Liu 0014
— Tsinghua University, School of Medicine, Department of Biomedical Engineering, Beijing, China
- Jing Liu 0015
— Beijing University of Posts and Telecommunications, School of Information and Communications Engineering, China
- Jing Liu 0016
— Chinese University of Hong Kong, Future Network of Intelligence Institute, Shenzhen, China (and 1 more)
- Jing Liu 0017
— Donghua University, School of Information Science and Technology, Shanghai, China
- Jing Liu 0018
— Xi'an University of Posts and Telecommunications, School of Electronic Engineering, Xi'an, China (and 1 more)
- Jing Liu 0019
— Lehigh University, Department of Electrical and Computer Engineering, Bethlehem, PA, USA
- Jing Liu 0020
— Chinese University of Hong Kong, Department of Electronic Engineering, Hong Kong
- Jing Liu 0021
— University of Twente, Faculty of Geo-Information Science and Earth Observation, Enschede, Netherlands (and 1 more)
- Jing Liu 0022
— Baidu Inc., Beijing, China (and 2 more)
- Jing Liu 0023 — Shanghai Jiao Tong University, Department of Electronic Engineering, Shanghai, China (and 1 more)
- Jing Liu 0024 — George Mason University, Fairfax, VA, USA (and 1 more)
- Jing Liu 0025 — Southern Yangtze University, School of Information Technology, Wuxi, China
- Jing Liu 0026 — McMaster University, Department of Electrical and Computer Engineering, Hamilton, Canada (and 1 more)
- Jing Liu 0027 — University of Alabama, Department of Computer Science, Tuscaloosa, AL, USA
- Jing Liu 0028
— Beijing University of Technology, College of Computer Science, China
- Jing Liu 0029
— University of New South Wales, School of Engineering and Information Technology, Canberra, Australia (and 1 more)
- Jing Liu 0030 — Capital Normal University, Department of Educational Technology, Beijing, China
- Jing Liu 0031 — East China Normal University, Multimedia and Computer Vision Lab, Shanghai, China
- Jing Liu 0032
— Wuhan University of Science and Technology, College of Computer Science and Technology, Hubei Province Key Laboratory of Intelligent Information Processing and Real-time Industrial System, China (and 1 more)
- Jing Liu 0033 — Wuhan University, School of Computer / State Key Laboratory of Software Engineering, China
- Jing Liu 0034 — Chinese Academy of Sciences, Institute of Information Engineering, Beijing, China (and 1 more)
- Jing Liu 0035 — Chinese Academy of Sciences, Institute of Microelectronics, Laboratory of Microelectronics Devices and Integrated Technology, Beijing, China
- Jing Liu 0036
— Zhengzhou Information Science and Technology Institute, China
- Jing Liu 0037
— University of Copenhagen, Department of Food Science, Denmark
- Jing Liu 0038
— Chinese Academy of Sciences, Institute of Remote Sensing and Digital Earth, Beijing, China
- Jing Liu 0039
— Beijing Normal University, State Key Laboratory of Cognitive Neuroscience and Learning / IDG/McGovern Institute of Brain Research / Center for Collaboration and Innovation in Brain and Learning Sciences, China
- Jing Liu 0040
— Jilin University, MoE Key Laboratory of Bionic Engineering, Changchun, China
- Jing Liu 0041
— Hainan University, School of Information and Communication Engineering / State Key Laboratory of Marine Resource Utilization in the South China Sea, Haikou, China (and 1 more)
- Jing Liu 0042
— Tianjin University, School of Precision Instruments and Opto-Electronic Engineering, China
- Jing Liu 0043
— Shandong University of Science and Technology, College of Computer Science and Engineering, Qingdao, China
- Jing Liu 0044
— Zhejiang University School of Medicine, Second Affiliated Hospital, Hangzhou, China
- Jing Liu 0045
— Soochow University, School of Electronic and Information Engineering, Suzhou, China
- Jing Liu 0046
— Northwestern Polytechnical University, School of Marine Science and Technology, Xi'an, China (and 1 more)
- Jing Liu 0047
— Beijing University of Technology, Beijing Laboratory of Smart Environmental Protection / Beijing Key Laboratory of Computational Intelligence and Intelligent System / Beijing Artificial Intelligence Institute, China
- Jing Liu 0048
— Monash University Clayton Campus, Faculty of Information Technology, VIC, Australia (and 1 more)
- Jing Liu-Zeng
(aka: Jing Liu 0049) — Tianjin University, Institute of Surface-Earth System Science, School of Earth System Science, China (and 1 more)
- Jing Liu 0050
— Fudan University, Academy for Engineering and Technology, Shanghai, China
- Jing Liu 0051
— Xi'an University of Technology, Department of Electronic Engineering, China
- Jing Liu 0052 — Uppsala University, Sweden
- Jing Liu 0053 — University of California, Santa Cruz, USA
- Jing Liu 0054
— Chinese Academy of Sciences, Key Laboratory of Brain Cognition and Brain-inspired Intelligence Technology, Institute of Automation, Beijing, China
Refine list
![note](https://dblp1.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2024
- [j25]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: 2157-2170 (2024) - [j24]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): 4582-4593 (2024) - 2023
- [j23]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: 1-16 (2023) - [j22]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): 1603-1610 (2023) - [j21]Wenbing Tang
, Yuan Zhou
, Tianwei Zhang, Yang Liu, Jing Liu, Zuohua Ding:
Cooperative collision avoidance in multirobot systems using fuzzy rules and velocity obstacles. Robotica 41(2): 668-689 (2023) - [j20]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): 2041-2050 (2023) - 2022
- [j19]Zhaodi Zhang
, Jing Liu, Min Zhang
, Haiying Sun:
Efficient Robustness Verification of the Deep Neural Networks for Smart IoT Devices. Comput. J. 65(11): 2894-2908 (2022) - [j18]Fei Tang, Jing Liu, Nicholas Zafetti:
Optimization of residential building envelopes using an improved Emperor Penguin Optimizer. Eng. Comput. 38(2): 1395-1407 (2022) - [j17]Honghao Gao, Jing Liu:
Editorial: Intelligent Collaboration Under Internet of Things and Mobile Edge Computing. Mob. Networks Appl. 27(4): 1421-1422 (2022) - 2021
- [j16]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): 1761-1781 (2021) - [j15]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): 2392-2406 (2021) - 2020
- [j14]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: 16618-16626 (2020) - [j13]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: 40 (2020) - [j12]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: 65 (2020) - [j11]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: 110617 (2020) - [j10]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): 4693-4704 (2020) - 2019
- [j9]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): 516-538 (2019) - 2018
- [j8]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): 1026-1028 (2018) - [j7]Dongdong An, Jing Liu:
An Approach to Modeling and Analyzing Human-Centric Systems and Its Application. Int. J. Cooperative Inf. Syst. 27(1): 1741005:1-1741005:21 (2018) - [j6]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): 3517-3528 (2018) - 2015
- [j5]Jing Liu, Xijiao Xiong, Zuohua Ding, Jifeng He:
Modeling and analysis of interactive telemedicine systems. Innov. Syst. Softw. Eng. 11(1): 55-69 (2015) - 2013
- [j4]Xiaohong Chen, Jing Liu, Zhiming Liu:
Requirements monitoring for Internetware: an interaction based approach. Sci. China Inf. Sci. 56(8): 1-15 (2013) - [j3]Jing Liu, Ziwei Liu, Jifeng He, Frédéric Mallet
, Zuohua Ding:
Hybrid MARTE statecharts. Frontiers Comput. Sci. 7(1): 95-108 (2013) - 2012
- [j2]Mingyue Jiang, Zuohua Ding, Jing Liu:
Service Selection Based On Behavior Matching. J. Softw. 7(9): 1950-1959 (2012) - 2006
- [j1]Jing Liu, Jifeng He, Zhiming Liu:
A strategy for service realization in service-oriented design. Sci. China Ser. F Inf. Sci. 49(6): 864-884 (2006)
Conference and Workshop Papers
- 2023
- [c82]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: 1804-1809 - [c81]Zhaodi Zhang, Zhiyi Xue, Yang Chen, Si Liu
, Yueling Zhang, Jing Liu, Min Zhang
:
Boosting Verified Training for Robust Image Classifications via Abstraction. CVPR 2023: 16251-16260 - [c80]Qian Wang, Jing Liu, John Zhang, Hui Dou, Haiying Sun, HongTao Chen, Xiaohong Chen, Jifeng He:
Ont4Sys: Ontology-based tool of Semantic Representation and Verification for Traceability Models. ICECCS 2023: 126-135 - [c79]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: 373-378 - 2022
- [c78]Guohuan Ding, Jing Liu:
SysML Flow Model. APSEC 2022: 159-168 - [c77]Zhaodi Zhang
, Yiting Wu
, Si Liu
, Jing Liu
, Min Zhang
:
Provably Tightest Linear Approximation for Robustness Verification of Sigmoid-like Neural Networks. ASE 2022: 80:1-80:13 - [c76]Debao Sang, Jing Liu, Haiying Sun, Jin Xu, Jiexiang Kang:
A Novel Approach for Bounded Model Checking Through Full Parallelism. QRS 2022: 376-387 - [c75]Huiyu Liu, Jing Liu, Wei Yin, Haiying Sun, Chenchen Yang:
Safety SysML: An Executable Safety-Critical Avionics Requirement Modeling Language. QRS 2022: 388-399 - [c74]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: 549-560 - [c73]Qian Wang, Jing Liu, John Zhang, Hui Dou, Haiying Sun, HongTao Chen, Xiaohong Chen, Jifeng He:
A Novel Approach to Maintain Traceability between Safety Requirements and Model Design. SEKE 2022: 31-34 - 2021
- [c72]Chenchen Yang, Haiying Sun, Jing Liu, Jiexiang Kang, Wei Yin, Hui Wang, Tengfei Li
:
Uncertainty Modeling and Quantitative Evaluation of Cyber-physical Systems. COMPSAC 2021: 874-883 - [c71]Chenchen Yang, Jing Liu, Haiying Sun, Junfeng Sun, Xiang Chen, Lipeng Zhang:
Safe Reinforcement Learning for CPSs via Formal Modeling and Verification. IJCNN 2021: 1-8 - [c70]Runhao Wang, Yuhong Zhang, Haiying Sun, Jing Liu:
Dependable Reinforcement Learning via Timed Differential Dynamic Logic. ISCC 2021: 1-6 - [c69]Dong Wang, Jing Liu, Jin Xu, Haiying Sun, Jiexiang Kang:
A Novel Approach of CTL Model Checking Based on Probe Machine. SEKE 2021: 183-188 - [c68]Qianzhu Zhao, Jing Liu, Xiang Chen, Tengfei Li
, Junfeng Sun, Lipeng Zhang:
Parametric Spatio-temporal Modeling and Safety Verifying for T2T-CBTC Systems. TASE 2021: 71-78 - [c67]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: 188-195 - 2020
- [c66]Tengfei Li
, Jing Liu, Jiexiang Kang, Haiying Sun, Xiaohong Chen, Li Han:
Model Checking of Spatial Logic. APSEC 2020: 169-177 - [c65]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: 415-424 - [c64]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: 22-24 - [c63]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: 16:1-16:11 - [c62]Jin Xu, Zishan Li, Bowen Du, Miaomiao Zhang, Jing Liu:
Reluplex made more practical: Leaky ReLU. ISCC 2020: 1-7 - [c61]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: 448-457 - [c60]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: 309-319 - [c59]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: 568-575 - 2019
- [c58]Zhangtao Chen, Jing Liu, Xi Ding, Miaomiao Zhang:
RBML: A Refined Behavior Modeling Language for Safety-Critical Hybrid Systems. APSEC 2019: 339-346 - [c57]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: 669-680 - [c56]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: 522-525 - [c55]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: 840-847 - [c54]ZhiWei Wu, Jing Liu, Xiang Chen:
Better Development of Safety Critical Systems: Chinese High Speed Railway System Development Experience Report. ASE 2019: 1216-1217 - [c53]Li Han, Louis-Claude Canon, Jing Liu, Yves Robert
, Frédéric Vivien:
Improved Energy-Aware Strategies for Periodic Real-Time Tasks under Reliability Constraints. RTSS 2019: 17-29 - [c52]Tengfei Li
, Jing Liu, Dongdong An, Haiying Sun:
A Sound and Complete Axiomatisation for Spatio-Temporal Specification Language. SEKE 2019: 153-204 - 2017
- [c51]Jiazhen Han, Zhengheng Yuan, Yiheng Han, Cheng Peng, Jing Liu, Guangli Li
:
An adaptive scheduling algorithm for heterogeneous Hadoop systems. ICIS 2017: 845-850 - [c50]Yan Zhang, Jiazhen Han, Jing Liu, Tingliang Zhou, Junfeng Sun, Juan Luo:
Safety prediction of rail transit system based on deep learning. ICIS 2017: 851-856 - [c49]Zhiwei Li, Jing Liu, Haiying Sun, Tingliang Zhou, Junfeng Sun:
Automatic Test Generation of Large Boolean Expressions in Computer Based Interlocking System. APSEC 2017: 513-520 - [c48]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: 138-143 - 2016
- [c47]Fei Tang, Jing Liu, Tingliang Zhou, Junfeng Sun, Haiying Sun:
Spatial Alloy: An Alloy Extension for Modeling Spatial Properties. CIT 2016: 42-49 - [c46]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: 275-280 - [c45]Li Han, Jing Liu, Tingliang Zhou, Junfeng Sun, Xiaohong Chen:
Safety Requirements Specification and Verification for Railway Interlocking Systems. COMPSAC 2016: 335-340 - [c44]Xiaohong Chen, Li Han, Jing Liu, Haiying Sun:
Using Safety Requirement Patterns to Elicit Requirements for Railway Interlocking Systems. RE Workshops 2016: 296-303 - 2015
- [c43]Lulu Yao, Jing Liu, Yan Zhang, Yuejun Wang:
Hybrid Marte. APSEC 2015: 174-181 - [c42]Haiying Sun, Jing Liu, Xiaohong Chen, Dehui Du:
Specifying Cyber Physical System Safety Properties with Metric Temporal Spatial Logic. APSEC 2015: 254-260 - [c41]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: 5-14 - [c40]Zhengheng Yuan, Tingliang Zhou, Jing Liu, Juan Luo, Yi Zhang, Xiaohong Chen:
Hybrid Lustre. Ershov Memorial Conference 2015: 325-340 - [c39]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: 48-54 - [c38]Lulu Yao, Jing Liu, Yan Zhang, Yuejun Wang, Haiying Sun, Qingsheng Wang, Dehui Du, Xiaohong Chen:
HSD: Hybrid MARTE Sequence Diagram. QRS 2015: 189-194 - 2014
- [c37]Tingliang Zhou, Haiying Sun, Jing Liu, Xiaohong Chen, Dehui Du:
Improving Testing Coverage for Safety-Critical System by Mutated Specification. APSEC (1) 2014: 43-46 - [c36]Jie Qian, Jing Liu, Xiang Chen, Junfeng Sun:
Formal Design and Verification of Zone Controller. APSEC (1) 2014: 375-382 - [c35]Ang Li, Zishan Qin, Mingsong Chen, Jing Liu:
ADAutomation: An Activity Diagram Based Automated GUI Testing Framework for Smartphone Applications. SERE 2014: 68-77 - 2013
- [c34]Xiaohong Chen, Haiying Sun, Ronghua Ye, Jing Liu:
Problem Frames Construction from Feature Models. APSEC (1) 2013: 164-171 - [c33]Ling Yin, Jing Liu, Zuohua Ding, Frédéric Mallet
, Robert de Simone:
Schedulability Analysis with CCSL Specifications. APSEC (1) 2013: 414-421 - [c32]Zhucheng Shao, Jing Liu, Zuohua Ding, Mingsong Chen, Ningkang Jiang:
Spatio-temporal Properties Analysis for Cyber-physical Systems. ICECCS 2013: 101-110 - [c31]Zhucheng Shao, Jing Liu:
Spatio-temporal Hybrid Automata for Cyber-Physical Systems. ICTAC 2013: 337-354 - [c30]Yuqing Qian, Jing Liu, Xiaohong Chen:
Hybrid AADL: a sublanguage extension to AADL. Internetware 2013: 27:1-27:4 - [c29]Zhucheng Shao, Jing Liu, Xiaohong Chen, Zuohua Ding, Zhengheng Yuan:
Unified Modeling of Active and Reactive Components for Real-Time Systems. TASE 2013: 145-148 - [c28]Jie Liu, Jing Liu:
A Formal Framework for Hybrid Event B. TTSS 2013: 3-12 - 2012
- [c27]Haiying Sun, Jing Liu, Dehui Du:
Integration of Safety Verification with Conformance Testing in Real-Time Reactive System. APSEC 2012: 10-19 - [c26]Ziwei Liu, Jing Liu, Jifeng He, Zuohua Ding:
Spatio-temporal UML Statechart for Cyber-Physical Systems. ICECCS 2012: 137-146 - [c25]Zhike Wu, Jing Liu, Xiaohong Chen, Mingsong Chen:
An approach to communicating process modeling of MARTE. Internetware 2012: 6:1-6:9 - [c24]Xiaohong Chen, Jing Liu:
Eliciting Security Requirements in the Commanded Behavior Frame: An Ontology based Approach. SEKE 2012: 61-65 - [c23]Ziwei Liu, Jing Liu, Jifeng He, Frédéric Mallet
, Miaomiao Zhang:
Formal Specification of Hybrid MARTE Statecharts. TASE 2012: 59-66 - 2011
- [c22]Xiaohong Chen, Jing Liu, Frédéric Mallet
, Zhi Jin:
Modeling Timing Requirements in Problem Frames Using CCSL. APSEC 2011: 381-388 - [c21]Ling Yin, Frédéric Mallet
, Jing Liu:
Verification of MARTE/CCSL Time Requirements in Promela/SPIN. ICECCS 2011: 65-74 - [c20]Xiaohong Chen, Jing Liu, Zuohua Ding:
On Constructing Software Environment Ontology for Time-Continuous Environment. KSEM 2011: 148-159 - [c19]Ling Yin, Jing Liu, Zuohua Ding:
Modeling and Prototyping Business Processes in AutoPA. TASE 2011: 169-176 - 2010
- [c18]Xijiao Xiong, Jing Liu, Miaomiao Zhang, Zuohua Ding:
Modeling and Verification of an Automatic Train Protection System. COMPSAC Workshops 2010: 226-231 - [c17]Zuohua Ding, Hui Shen, Jing Liu:
Applying Ordinary Differential Equations to the Performance Analysis of Service Composition. ICFEM 2010: 155-170 - [c16]Zuohua Ding, Mingyue Jiang, Geguang Pu, Jing Liu:
Requirement Checking: Generating Uses Cases out of Navigational Logs in Web Applications. QSIC 2010: 341-344 - 2009
- [c15]Zuohua Ding, Mingyue Jiang, Jing Liu:
Model Checking Service Component Composition by SPIN. ACIS-ICIS 2009: 1029-1034 - [c14]Xueqiang Gong, Jing Liu, Miaomiao Zhang, Jueliang Hu:
Formal Analysis of Services Compatibility. COMPSAC (2) 2009: 243-248 - [c13]Yue Xie, Dehui Du, Jing Liu, Zuohua Ding:
Towards the Verification of Services Collaboration. COMPSAC (2) 2009: 428-433 - [c12]Jueliang Hu, Zuohua Ding, Jing Liu, Ling Yin:
Measuring the Survivability of Object-Oriented Software. TASE 2009: 329-330 - [c11]Xijiao Xiong, Jing Liu, Zuohua Ding:
Design and Verification of a Trustable Medical System. TTSS 2009: 77-92 - 2008
- [c10]Dehui Du, Jing Liu, Honghua Cao:
A Rigorous Model of Contract-Based Service Component Architecture. CSSE (2) 2008: 409-412 - [c9]Quan Zu, Miaomiao Zhang, Jing Liu, Qingfeng Du:
Designing, Modelling and Verifying a Container Terminal System Using UPPAAL. HASE 2008: 445-448 - [c8]Zuohua Ding, Jing Liu:
An Improvement of Software Architecture Verification. TTSS 2008: 49-67 - [c7]Dehui Du, Jing Liu, Honghua Cao, Miaomiao Zhang:
BAS: A Case Study for Modeling and Verification in Trustable Model Driven Development. TTSS 2008: 69-87 - 2007
- [c6]Geguang Pu, Jianqi Shi, Zheng Wang, Lu Jin, Jing Liu, Jifeng He:
The Validation and Verification of WSCDL. APSEC 2007: 81-88 - [c5]Zuohua Ding, Zhenbang Chen, Jing Liu:
A Rigorous Model of Service Component Architecture. TTSS 2007: 33-48 - [c4]Xiao Yu, Zheng Wang, Geguang Pu, Dingding Mao, Jing Liu:
The Verification of rCOS Using Spin. TTSS 2007: 49-67 - 2006
- [c3]Jing Liu, Jifeng He:
Reactive Component based Service-Oriented Design - A Case Study. ICECCS 2006: 27-36 - 2004
- [c2]Jing Liu, Zhiming Liu, Jifeng He, Xiaoshan Li:
Linking UML Models of Design and Requirement. Australian Software Engineering Conference 2004: 329-338 - 2003
- [c1]Zhiming Liu, Jifeng He, Jing Liu, Xiaoshan Li:
Unifying Views of UML. CVUML 2003: 95-127
Editorship
- 2020
- [e1]Jing Liu, Honghao Gao, Yuyu Yin, Zhongqin Bi:
Mobile Computing, Applications, and Services - 11th EAI International Conference, MobiCASE 2020, Shanghai, China, September 12, 2020, Proceedings. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering 341, Springer 2020, ISBN 978-3-030-64213-6 [contents]
Informal and Other Publications
- 2023
- [i2]Zhaodi Zhang, Zhiyi Xue, Yang Chen, Si Liu, Yueling Zhang, Jing Liu, Min Zhang
:
Boosting Verified Training for Robust Image Classifications via Abstraction. CoRR abs/2303.11552 (2023) - 2022
- [i1]Zhaodi Zhang, Yiting Wu, Si Liu, Jing Liu, Min Zhang:
Provably Tightest Linear Approximation for Robustness Verification of Sigmoid-like Neural Networks. CoRR abs/2208.09872 (2022)
Coauthor Index
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-21 21:33 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint