Liang Zhao

According to our database, Liang Zhao authored at least 26 papers between 2012 and 2022.

Collaborative distances:

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

2022

Formalization of Natural Language into PPTL Specification via Neural Machine Translation.

Chunyi Li, Jiajun Chang, Xiaobing Wang, Liang Zhao, Wenjie Mao

Proceedings of the Structured Object-Oriented Formal Language and Method, 2022

Driver Violation Prediction based on Neural Network.

Xingguang Zhu, Jiajun Chang, Weikang Li, Bin Yu, Liang Zhao, Xiaobing Wang

Proceedings of the 9th International Conference on Dependable Systems and Their Applications, 2022

Formal Modeling and Verification of Convolutional Neural Networks based on MSVL.

Liang Zhao, Leping Wu, Yu Gao, Xiaobing Wang, Bin Yu

Proceedings of the 9th International Conference on Dependable Systems and Their Applications, 2022

2021

RTPDroid: Detecting Implicitly Malicious Behaviors Under Runtime Permission Model.

Jie Zhang, Cong Tian, Zhenhua Duan, Liang Zhao

IEEE Trans. Reliab., 2021

2020

A sound and complete proof system for a unified temporal logic.

Liang Zhao, Xiaobing Wang, Xinfeng Shu, Nan Zhang

Theor. Comput. Sci., 2020

Efficient decision procedure for propositional projection temporal logic.

Xinfeng Shu, Nan Zhang, Xiaobing Wang, Liang Zhao

Theor. Comput. Sci., 2020

An MSVL-Based Modeling Framework for Back Propagation Neural Networks.

Liang Zhao, Zhe Feng, Xiaobing Wang, Xinfeng Shu

Proceedings of the Structured Object-Oriented Formal Language and Method, 2020

Automatic Generation of Specification from Natural Language Based on Temporal Logic.

Xiaobing Wang, Ge Li, Chunyi Li, Liang Zhao, Xinfeng Shu

Proceedings of the Structured Object-Oriented Formal Language and Method, 2020

An MSVL Based Model Checking Method for Multi-threaded C Programs.

Xinfeng Shu, Zhenyu Wang, Weiran Gao, Xiaobing Wang, Liang Zhao

Proceedings of the Structured Object-Oriented Formal Language and Method, 2020

2019

Differential Testing of Certificate Validation in SSL/TLS Implementations: An RFC-guided Approach.

Cong Tian, Chu Chen, Zhenhua Duan, Liang Zhao

ACM Trans. Softw. Eng. Methodol., 2019

Model checking of pushdown systems for projection temporal logic.

Liang Zhao, Xiaobing Wang, Zhenhua Duan

Theor. Comput. Sci., 2019

Towards Formal Verification of Neural Networks: A Temporal Logic Based Framework.

Xiaobing Wang, Kun Yang, Yanmei Wang, Liang Zhao, Xinfeng Shu

Proceedings of the Structured Object-Oriented Formal Language and Method, 2019

Model Checking Python Programs with MSVL.

Xinfeng Shu, Fengyun Gao, Weiran Gao, Lili Zhang, Xiaobing Wang, Liang Zhao

Proceedings of the Structured Object-Oriented Formal Language and Method, 2019

A Proof System for a Unified Temporal Logic.

Liang Zhao, Xiaobing Wang, Xinfeng Shu, Nan Zhang

Proceedings of the Computing and Combinatorics - 25th International Conference, 2019

2018

Runtime Verification Method for Social Network Security Based on Source Code Instrumentation.

Xiaobing Wang, Wenxuan Guo, Liang Zhao, Xinfeng Shu

Proceedings of the Structured Object-Oriented Formal Language and Method, 2018

Model Checking Java Programs with MSVL.

Xinfeng Shu, Na Luo, Bo Wang, Xiaobing Wang, Liang Zhao

Proceedings of the Structured Object-Oriented Formal Language and Method, 2018

RFC-directed differential testing of certificate validation in SSL/TLS implementations.

Chu Chen, Cong Tian, Zhenhua Duan, Liang Zhao

Proceedings of the 40th International Conference on Software Engineering, 2018

Reducing Extension Edges of Concurrent Programs for Reachability Analysis.

Cong Tian, Jiaying Wang, Zhenhua Duan, Liang Zhao

Proceedings of the Combinatorial Optimization and Applications, 2018

2017

MSVL: a typed language for temporal logic programming.

Xiaobing Wang, Cong Tian, Zhenhua Duan, Liang Zhao

Frontiers Comput. Sci., 2017

A Framework Based on MSVL for Verifying Probabilistic Properties in Social Networks.

Xiaobing Wang, Liyuan Ren, Liang Zhao, Xinfeng Shu

Proceedings of the Structured Object-Oriented Formal Language and Method, 2017

2016

Runtime Verification Monitor Construction for Three-valued PPTL.

Xiaobing Wang, Dongmiao Liu, Liang Zhao, Yina Xue

Proceedings of the Structured Object-Oriented Formal Language and Method, 2016

2014

A sound and complete theory of graph transformations for service programming with sessions and pipelines.

Liang Zhao, Roberto Bruni, Zhiming Liu

Sci. Comput. Program., 2014

2013

Formalizing and Implementing Types in MSVL.

Xiaobing Wang, Zhenhua Duan, Liang Zhao

Proceedings of the Structured Object-Oriented Formal Language and Method, 2013

An Interface Model of Software Components.

Ruzhen Dong, Naijun Zhan, Liang Zhao

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

Graph-Based Object-Oriented Hoare Logic.

Liang Zhao, Shuling Wang, Zhiming Liu

Proceedings of the Theories of Programming and Formal Methods, 2013

2012

Graphs and Graph Transformations for Object-Oriented and Service-Oriented Systems.

Liang Zhao

PhD thesis, 2012