Liang Zhao

Orcid: 0000-0003-1751-8618

Affiliations:

Xidian University, Xi'an, Shaanxi, China

According to our database¹, Liang Zhao authored at least 33 papers between 2012 and 2024.

Collaborative distances:

Dijkstra number² of three.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2024

Requirement specification extraction and analysis based on propositional projection temporal logic.

[BibT_eX]

[DOI]

Xiaobing Wang

Chunyi Li

Liang Zhao

J. Softw. Evol. Process., April, 2024

A multi-granularity CNN pruning framework via deformable soft mask with joint training.

[BibT_eX]

[DOI]

Neurocomputing, March, 2024

Neuron importance based verification of neural networks via divide and conquer.

[BibT_eX]

[DOI]

Neurocomputing, January, 2024

Verifiable privacy-preserving semantic retrieval scheme in the edge computing.

[BibT_eX]

[DOI]

J. Syst. Archit., 2024

Multi-keyword ranked search with access control for multiple data owners in the cloud.

[BibT_eX]

[DOI]

J. Inf. Secur. Appl., 2024

Efficient verification of neural networks based on neuron branching and LP abstraction.

[BibT_eX]

[DOI]

Neurocomputing, 2024

2023

Detecting Atomicity Violations in Interrupt-Driven Programs via Interruption Points Selecting and Delayed ISR-Triggering.

[BibT_eX]

[DOI]

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

2022

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

[BibT_eX]

[DOI]

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

Driver Violation Prediction based on Neural Network.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

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

2021

RTPDroid: Detecting Implicitly Malicious Behaviors Under Runtime Permission Model.

[BibT_eX]

[DOI]

IEEE Trans. Reliab., 2021

2020

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

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2020

Efficient decision procedure for propositional projection temporal logic.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2020

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

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2019

Model checking of pushdown systems for projection temporal logic.

[BibT_eX]

[DOI]

Liang Zhao

Xiaobing Wang

Zhenhua Duan

Theor. Comput. Sci., 2019

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

[BibT_eX]

[DOI]

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

Model Checking Python Programs with MSVL.

[BibT_eX]

[DOI]

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

A Proof System for a Unified Temporal Logic.

[BibT_eX]

[DOI]

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

2018

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

[BibT_eX]

[DOI]

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

Model Checking Java Programs with MSVL.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

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

Reducing Extension Edges of Concurrent Programs for Reachability Analysis.

[BibT_eX]

[DOI]

Proceedings of the Combinatorial Optimization and Applications, 2018

2017

MSVL: a typed language for temporal logic programming.

[BibT_eX]

[DOI]

Frontiers Comput. Sci., 2017

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

[BibT_eX]

[DOI]

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

2016

Runtime Verification Monitor Construction for Three-valued PPTL.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Liang Zhao

Roberto Bruni

Zhiming Liu

Sci. Comput. Program., 2014

2013

Formalizing and Implementing Types in MSVL.

[BibT_eX]

[DOI]

Xiaobing Wang

Zhenhua Duan

Liang Zhao

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

An Interface Model of Software Components.

[BibT_eX]

[DOI]

Ruzhen Dong

Naijun Zhan

Liang Zhao

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

Graph-Based Object-Oriented Hoare Logic.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Liang Zhao

PhD thesis, 2012

Liang Zhao

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...