Lijun Zhang

ORCID

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 75

Top Venues

CoRR

VMCAI

Inf. Comput.

Saarland University, Saarbrücken, Germany (PHD)

Education History

Saarland University, Saarbrücken, Germany

PHD

Publications

Gaojie Jin, Ronghui Mu, Xinping Yi, Xiaowei Huang, Lijun Zhang
Invariant Correlation of Representation with Label. CoRR (2024)
Zongxin Liu, Pengfei Yang, Lijun Zhang, Xiaowei Huang
DeepCDCL: A CDCL-based Neural Network Verification Framework. TASE (2024)
Zongxin Liu, Pengfei Yang, Lijun Zhang, Xiaowei Huang
DeepCDCL: An CDCL-based Neural Network Verification Framework. CoRR (2024)
Zhiming Chi, Jianan Ma, Pengfei Yang, Cheng-Chao Huang, Renjue Li, Xiaowei Huang, Lijun Zhang
ADVREPAIR: Provable Repair of Adversarial Attack. CoRR (2024)
Ying Liu, Andrea Turrini, Ernst Moritz Hahn, Bai Xue, Lijun Zhang
Scenario Approach for Parametric Markov Models. ATVA (1) (2023)
Dejin Ren, Wanli Lu, Jidong Lv, Lijun Zhang, Bai Xue
Model Predictive Control with Reach-avoid Analysis. CoRR (2023)
Depeng Liu, Bow-Yaw Wang, Chen Fu, Lijun Zhang
Model checking differentially private properties. Theor. Comput. Sci. 943 (2023)
Weizhi Feng, Yong Li, Andrea Turrini, Moshe Y. Vardi, Lijun Zhang
On the power of finite ambiguity in Büchi complementation. Inf. Comput. 292 (2023)
Jianqiang Ding, Taoran Wu, Yuping Qian, Lijun Zhang, Bai Xue
Provable Reach-avoid Controllers Synthesis Based on Inner-approximating Controlled Reach-avoid Sets. CoRR (2023)
Chen Fu, Andrea Turrini, Xiaowei Huang, Lei Song, Yuan Feng, Lijun Zhang
Model Checking for Probabilistic Multiagent Systems. J. Comput. Sci. Technol. 38 (5) (2023)
Ying Liu, Andrea Turrini, Ernst Moritz Hahn, Bai Xue, Lijun Zhang
Scenario Approach for Parametric Markov Models. CoRR (2023)
Dejin Ren, Wanli Lu, Jidong Lv, Lijun Zhang, Bai Xue
Model Predictive Control with Reach-avoid Analysis. IJCAI (2023)
Depeng Liu, Bow-Yaw Wang, Lijun Zhang
Verifying Pufferfish Privacy in Hidden Markov Models. VMCAI (2022)
Depeng Liu, Lutan Zhao, Pengfei Yang, Bow-Yaw Wang, Rui Hou, Lijun Zhang, Naijun Zhan
Defensive Design of Saturating Counters Based on Differential Privacy. CoRR (2022)
Chen Fu, Ernst Moritz Hahn, Yong Li, Sven Schewe, Meng Sun, Andrea Turrini, Lijun Zhang
EPMC Gets Knowledge in Multi-agent Systems. VMCAI (2022)
Tomás Vojnar, Lijun Zhang
Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2019. Int. J. Softw. Tools Technol. Transf. 24 (1) (2022)
Gaojie Jin, Xinping Yi, Pengfei Yang, Lijun Zhang, Sven Schewe, Xiaowei Huang
Weight Expansion: A New Perspective on Dropout and Generalization. Trans. Mach. Learn. Res. 2022 (2022)
Meilun Li, Andrea Turrini, Ernst Moritz Hahn, Zhikun She, Lijun Zhang
Probabilistic Preference Planning Problem for Markov Decision Processes. IEEE Trans. Software Eng. 48 (5) (2022)
Renjue Li, Tianhang Qin, Pengfei Yang, Cheng-Chao Huang, Youcheng Sun, Lijun Zhang
Safety Analysis of Autonomous Driving Systems Based on Model Learning. CoRR (2022)
Shizhen Yu, Yifan Dong, Jiuyang Liu, Yong Li, Zhilin Wu, David N. Jansen, Lijun Zhang
CHA: Supporting SVA-Like Assertions in Formal Verification of Chisel Programs (Tool Paper). SEFM (2022)
Yong Li, Andrea Turrini, Weizhi Feng, Moshe Y. Vardi, Lijun Zhang
Divide-and-Conquer Determinization of Büchi Automata Based on SCC Decomposition. CAV (2) (2022)
Yong Li, Yu-Fang Chen, Lijun Zhang, Depeng Liu
A novel learning algorithm for Büchi automata based on family of DFAs and classification trees. Inf. Comput. 281 (2021)
Pengfei Yang, Jianlin Li, Jiangchao Liu, Cheng-Chao Huang, Renjue Li, Liqian Chen, Xiaowei Huang, Lijun Zhang
Enhancing Robustness Verification for Deep Neural Networks via Symbolic Propagation. Formal Aspects Comput. 33 (3) (2021)
Sven Schewe, Lijun Zhang
Editorial - Special issue on Concurrency Theory (CONCUR 2018). J. Comput. Syst. Sci. 119 (2021)
Song Gao, Bohua Zhan, Depeng Liu, Xuechao Sun, Yanan Zhi, David N. Jansen, Lijun Zhang
Formal Verification of Consensus in the Taurus Distributed Database. FM (2021)
Konstantin Kuznetsov, Chen Fu, Song Gao, David N. Jansen, Lijun Zhang, Andreas Zeller
What do all these Buttons do? Statically Mining Android User Interfaces at Scale. CoRR (2021)
Yong Li, Yih-Kuen Tsay, Andrea Turrini, Moshe Y. Vardi, Lijun Zhang
Congruence Relations for Büchi Automata. FM (2021)
Renjue Li, Pengfei Yang, Cheng-Chao Huang, Bai Xue, Lijun Zhang
Probabilistic Robustness Analysis for DNNs based on PAC Learning. CoRR (2021)
Renjue Li, Hanwei Zhang, Pengfei Yang, Cheng-Chao Huang, Aimin Zhou, Bai Xue, Lijun Zhang
Ensemble Defense with Data Diversity: Weak Correlation Implies Strong Robustness. CoRR (2021)
Konstantin Kuznetsov, Chen Fu, Song Gao, David N. Jansen, Lijun Zhang, Andreas Zeller
Frontmatter: mining Android user interfaces at scale. ESEC/SIGSOFT FSE (2021)
Yong Li, Andrea Turrini, Moshe Y. Vardi, Lijun Zhang
Synthesizing Good-Enough Strategies for LTLf Specifications. IJCAI (2021)
Pengfei Yang, Renjue Li, Jianlin Li, Cheng-Chao Huang, Jingyi Wang, Jun Sun, Bai Xue, Lijun Zhang
Improving Neural Network Verification through Spurious Region Guided Refinement. TACAS (1) (2021)
Yong Li, Andrea Turrini, Xuechao Sun, Lijun Zhang
Proving Non-Inclusion of Büchi Automata based on Monte Carlo Sampling. CoRR (2020)
Renjue Li, Jianlin Li, Cheng-Chao Huang, Pengfei Yang, Xiaowei Huang, Lijun Zhang, Bai Xue, Holger Hermanns
PRODeep: a platform for robustness verification of deep neural networks. ESEC/SIGSOFT FSE (2020)
Xie Li, Yi Li, Yong Li, Xuechao Sun, Andrea Turrini, Lijun Zhang
SVMRanker: a general termination analysis framework of loop programs via SVM. ESEC/SIGSOFT FSE (2020)
Yong Li, Andrea Turrini, Xuechao Sun, Lijun Zhang
Proving Non-inclusion of Büchi Automata Based on Monte Carlo Sampling. ATVA (2020)
Gaojie Jin, Xinping Yi, Liang Zhang, Lijun Zhang, Sven Schewe, Xiaowei Huang
How does Weight Correlation Affect the Generalisation Ability of Deep Neural Networks. CoRR (2020)
Gaojie Jin, Xinping Yi, Liang Zhang, Lijun Zhang, Sven Schewe, Xiaowei Huang
How does Weight Correlation Affect Generalisation Ability of Deep Neural Networks? NeurIPS (2020)
Depeng Liu, Bow-Yaw Wang, Lijun Zhang
Verifying Pufferfish Privacy in Hidden Markov Models. CoRR (2020)
Pengfei Yang, Renjue Li, Jianlin Li, Cheng-Chao Huang, Jingyi Wang, Jun Sun, Bai Xue, Lijun Zhang
Improving Neural Network Verification through Spurious Region Guided Refinement. CoRR (2020)
Junnan Xu, Wanwei Liu, David N. Jansen, Lijun Zhang
An Axiomatisation of the Probabilistic \mu -Calculus. ICFEM (2019)
Jianlin Li, Jiangchao Liu, Pengfei Yang, Liqian Chen, Xiaowei Huang, Lijun Zhang
Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification. SAS (2019)
Yi Li, Xuechao Sun, Yong Li, Andrea Turrini, Lijun Zhang
Synthesizing Nested Ranking Functions for Loop Programs via SVM. ICFEM (2019)
Jianwen Li, Shufang Zhu, Geguang Pu, Lijun Zhang, Moshe Y. Vardi
SAT-based explicit LTL reasoning and its application to satisfiability checking. Formal Methods Syst. Des. 54 (2) (2019)
Bernd Finkbeiner, Geguang Pu, Lijun Zhang
Preface for the special issue for ATVA 2015. Acta Informatica 55 (8) (2018)
Yu-Fang Chen, Matthias Heizmann, Ondrej Lengál, Yong Li, Ming-Hsien Tsai, Andrea Turrini, Lijun Zhang
Advanced automata-based algorithms for program termination checking. PLDI (2018)
Chen Fu, Andrea Turrini, Xiaowei Huang, Lei Song, Yuan Feng, Lijun Zhang
Model Checking Probabilistic Epistemic Logic for Probabilistic Multiagent Systems. IJCAI (2018)
Jianwen Li, Lijun Zhang, Shufang Zhu, Geguang Pu, Moshe Y. Vardi, Jifeng He
An explicit transition system construction approach to LTL satisfiability checking. Formal Aspects Comput. 30 (2) (2018)
Christian Eisentraut, Holger Hermanns, Johann Schuster, Andrea Turrini, Lijun Zhang
The quest for minimal quotients for probabilistic and Markov automata. Inf. Comput. 262 (2018)
Jianwen Li, Geguang Pu, Lijun Zhang, Moshe Y. Vardi, Jifeng He
Accelerating LTL satisfiability checking by SAT solvers. J. Log. Comput. 28 (6) (2018)
Lijun Zhang, Pengfei Yang, Lei Song, Holger Hermanns, Christian Eisentraut, David N. Jansen, Jens Chr. Godskesen
Probabilistic bisimulation for realistic schedulers. Acta Informatica 55 (6) (2018)
Depeng Liu, Bow-Yaw Wang, Lijun Zhang
Model Checking Differentially Private Properties. APLAS (2018)
Yong Li, Andrea Turrini, Yu-Fang Chen, Lijun Zhang
Learning Büchi Automata and Its Applications. SETSS (2018)
Yongjian Li, Kaiqiang Duan, David N. Jansen, Jun Pang, Lijun Zhang, Yi Lv, Shaowei Cai
An Automatic Proving Approach to Parameterized Verification. ACM Trans. Comput. Log. 19 (4) (2018)
Yong Li, Andrea Turrini, Lijun Zhang, Sven Schewe
Learning to Complement Büchi Automata. VMCAI (2018)
Ernst Moritz Hahn, Sven Schewe, Andrea Turrini, Lijun Zhang
Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games. VMCAI (2017)
Yijun Feng, Lijun Zhang, David N. Jansen, Naijun Zhan, Bican Xia
Finding Polynomial Loop Invariants for Probabilistic Programs. ATVA (2017)
Pengfei Yang, David N. Jansen, Lijun Zhang
Distribution-Based Bisimulation for Labelled Markov Processes. FORMATS (2017)
Chen Fu, Yuxin Deng, David N. Jansen, Lijun Zhang
On Equivalence Checking of Nondeterministic Finite Automata. SETTA (2017)
Shuling Wang, Naijun Zhan, Lijun Zhang
A Compositional Modelling and Verification Framework for Stochastic Hybrid Systems. Formal Aspects Comput. 29 (4) (2017)
Hongfei Fu, Yi Li, Jianlin Li, Lijun Zhang
Verifying Probabilistic Timed Automata Against Omega-Regular Dense-Time Properties. CoRR (2017)
Yong Li, Yu-Fang Chen, Lijun Zhang, Depeng Liu
A Novel Learning Algorithm for Büchi Automata Based on Family of DFAs and Classification Trees. TACAS (1) (2017)
Yijun Feng, Lijun Zhang, David N. Jansen, Naijun Zhan, Bican Xia
Finding polynomial loop invariants for probabilistic programs. CoRR (2017)
Pengfei Yang, David N. Jansen, Lijun Zhang
Distribution-based bisimulation for labelled Markov processes. CoRR (2017)
Yong Li, Lei Song, Yuan Feng, Lijun Zhang
Verify LTL with Fairness Assumptions Efficiently. CoRR (2016)
John Fearnley, Markus N. Rabe, Sven Schewe, Lijun Zhang
Efficient approximation of optimal control for continuous-time Markov games. Inf. Comput. 247 (2016)
Zhimin Wu, Ernst Moritz Hahn, Akin Günay, Lijun Zhang, Yang Liu
GPU-Accelerated Value Iteration for the Computation of Reachability Probabilities in MDPs. ECAI (2016)
Yong Li, Wanwei Liu, Andrea Turrini, Ernst Moritz Hahn, Lijun Zhang
An Efficient Synthesis Algorithm for Parametric Markov Chains Against Linear Time Properties. SETTA (2016)
Ernst Moritz Hahn, Sven Schewe, Andrea Turrini, Lijun Zhang
Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games. CoRR (2016)
Yong Li, Lei Song, Yuan Feng, Lijun Zhang
Verify LTL with Fairness Assumptions Efficiently. TIME (2016)
Ming Xu, Lijun Zhang, David N. Jansen, Huibiao Zhu, Zongyuan Yang
Multiphase until formulas over Markov reward models: An algebraic approach. Theor. Comput. Sci. 611 (2016)
Yong Li, Wanwei Liu, Andrea Turrini, Ernst Moritz Hahn, Lijun Zhang
An Efficient Synthesis Algorithm for Parametric Markov Chains Against Linear Time Properties. CoRR (2016)
Ernst Moritz Hahn, Sven Schewe, Andrea Turrini, Lijun Zhang
A Simple Algorithm for Solving Qualitative Probabilistic Parity Games. CAV (2) (2016)
Yong Li, Yu-Fang Chen, Lijun Zhang, Depeng Liu
A Novel Learning Algorithm for Büchi Automata based on Family of DFAs and Classification Trees. CoRR (2016)
Lijun Zhang, David N. Jansen
A space-efficient simulation algorithm on probabilistic automata. Inf. Comput. 249 (2016)
Ernst Moritz Hahn, Guangyuan Li, Sven Schewe, Andrea Turrini, Lijun Zhang
Lazy Probabilistic Model Checking without Determinisation. CONCUR (2015)
Tom van Dijk, Ernst Moritz Hahn, David N. Jansen, Yong Li, Thomas Neele, Mariëlle Stoelinga, Andrea Turrini, Lijun Zhang
A Comparative Study of BDD Packages for Probabilistic Symbolic Model Checking. SETTA (2015)
Wanwei Liu, Lei Song, Ji Wang, Lijun Zhang
A Simple Probabilistic Extension of Modal Mu-calculus. IJCAI (2015)
Yu-Fang Chen, Chih-Duo Hong, Bow-Yaw Wang, Lijun Zhang
Counterexample-Guided Polynomial Loop Invariant Generation by Lagrange Interpolation. CAV (1) (2015)
Wanwei Liu, Lei Song, Ji Wang, Lijun Zhang
A Simple Probabilistic Extension of Modal Mu-calculus. CoRR (2015)
Yu-Fang Chen, Chih-Duo Hong, Bow-Yaw Wang, Lijun Zhang
Counterexample-Guided Polynomial Loop Invariant Generation by Lagrange Interpolation. CoRR (2015)
Lei Song, Yuan Feng, Lijun Zhang
Planning for Stochastic Games with Co-Safe Objectives. IJCAI (2015)
Yu Peng, Shuling Wang, Naijun Zhan, Lijun Zhang
Extending Hybrid CSP with Probability and Stochasticity. CoRR (2015)
Lei Song, Yuan Feng, Lijun Zhang
Decentralized Bisimulation for Multiagent Systems. AAMAS (2015)
Yu Peng, Shuling Wang, Naijun Zhan, Lijun Zhang
Extending Hybrid CSP with Probability and Stochasticity. SETTA (2015)
Yuan Feng, Ernst Moritz Hahn, Andrea Turrini, Lijun Zhang
QPMC: A Model Checker for Quantum Programs and Protocols. FM (2015)
Christian Eisentraut, Jens Chr. Godskesen, Holger Hermanns, Lei Song, Lijun Zhang
Probabilistic Bisimulation for Realistic Schedulers. FM (2015)
Yuan Feng, Lijun Zhang
A nearly optimal upper bound for the self-stabilization time in Herman's algorithm. Distributed Comput. 28 (4) (2015)
Meilun Li, Zhikun She, Andrea Turrini, Lijun Zhang
Preference Planning for Markov Decision Processes. AAAI (2015)
Yuan Feng, Lei Song, Lijun Zhang
Distribution-based Bisimulation and Bisimulation Metric in Probabilistic Automata. CoRR (2015)
Lei Song, Lijun Zhang, Holger Hermanns, Jens Chr. Godskesen
Incremental Bisimulation Abstraction Refinement. ACM Trans. Embed. Comput. Syst. 13 (4s) (2014)
Jianwen Li, Lijun Zhang, Geguang Pu, Moshe Y. Vardi, Jifeng He
LTLf Satisfiability Checking. ECAI (2014)
Jianwen Li, Geguang Pu, Lijun Zhang, Moshe Y. Vardi, Jifeng He
Fast LTL Satisfiability Checking by SAT Solvers. CoRR (2014)
Ernst Moritz Hahn, Yi Li, Sven Schewe, Andrea Turrini, Lijun Zhang
iscasMc: A Web-Based Probabilistic Model Checker. FM (2014)
Yuan Feng, Lijun Zhang
A Nearly Optimal Upper Bound for the Self-Stabilization Time in Herman's Algorithm. CONCUR (2014)
David Spieler, Ernst Moritz Hahn, Lijun Zhang
Model Checking CSL for Markov Population Models QAPL (2014)
Joost-Pieter Katoen, Lei Song, Lijun Zhang
Probably Safe or Live. CoRR (2014)
Jianwen Li, Yinbo Yao, Geguang Pu, Lijun Zhang, Jifeng He
Aalta: an LTL satisfiability checker over Infinite/Finite traces. SIGSOFT FSE (2014)
Jianwen Li, Lijun Zhang, Geguang Pu, Moshe Y. Vardi, Jifeng He
LTLf satisfiability checking. CoRR (2014)
Yuan Feng, Lijun Zhang
When Equivalence and Bisimulation Join Forces in Probabilistic Automata. FM (2014)

Lijun Zhang.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Lijun Zhang