default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLijun Zhang 0001
张立军
Person information
- unicode name: 张立军
- affiliation: Chinese Academy of Sciences, School of Software, Beijing, China
- affiliation (former): Technical University of Denmark
- affiliation (former): Saarland University, Saarbrücken, Germany
Other persons with the same name
- Lijun Zhang (aka: Li-jun Zhang, Li-Jun Zhang, Li Jun Zhang) — disambiguation page
- Lijun Zhang 0002 — Tsinghua University, Department of Electronic Engineering, Beijing, China
- Lijun Zhang 0003
![[0000-0002-2306-9823]](https://dblp.org/img/orcid-mark.12x12.png "0000-0002-2306-9823")
— Northwestern Polytechnical University, School of Computer Science and Technology, Xi'an, China - Lijun Zhang 0004 — Northwestern Polytechnical University, Center of Intelligent Acoustics and Immersive Communications, Xi'an, China (and 1 more)
- Lijun Zhang 0005 — Nanjing University, National Key Laboratory for Novel Software Technology, China (and 2 more)
- Lijun Zhang 0006 — University of Science & Technology of China, Department of Modern Physics, Hefei, China
- Lijun Zhang 0007 — University of Science and Technology Beijing, China
- Lijun Zhang 0008 — Institute of Clinical Pharmacology, Central South University, Changsha, China
- Lijun Zhang 0009 — University of Louisville, CECS Department, KY, USA
- Lijun Zhang 0010 — Hebei Univerity of Engineering, Handan, China
- Lijun Zhang 0011 — China Meteorol. Adm. (CMA), Beijing
- Lijun Zhang 0012 — Soochow University, Department of Engineering, Suzhou, China
- Lijun Zhang 0013 — Graduate University of Chinese Academy of Science, State Key Lab. of Information Security, China
- Lijun Zhang 0014 — University of Pretoria, Department of Electrical, Electronic and Computer Engineering, South Africa (and 1 more)
- Lijun Zhang 0016 — Chinese Academy of Sciences, Shanghai Advanced Research Institute, China (and 1 more)
- Lijun Zhang 0017 — Jilin University, College of Materials Science and Engineering, Changchun, China
Other persons with a similar name
SPARQL queries 
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j37]Zi Ye, Tianxiang Chen, Dan Wang, Fangyijie Wang, Lijun Zhang:
HFE-Mamba: High-Frequency Enhanced Mamba Network for Efficient Segmentation of Left Ventricle in Pediatric Echocardiograms. IEEE Access 12: 123038-123048 (2024)- [c100]Weizhi Feng, Yicheng Liu, Jiaxiang Liu, David N. Jansen, Lijun Zhang, Zhilin Wu:
Formally Verifying Arithmetic Chisel Designs for All Bit Widths at Once. DAC 2024: 213:1-213:6 - [c99]Song Gao, Bohua Zhan, Zhilin Wu, Lijun Zhang:
Verifying Randomized Consensus Protocols with Common Coins. DSN 2024: 403-415 - [c98]Deqian Yang, Haochen Zhao, Gaojie Jin, Hui Meng, Lijun Zhang:
Class-Aware Cross Pseudo Supervision Framework for Semi-Supervised Multi-organ Segmentation in Abdominal CT Scans. PRCV (14) 2024: 148-162 - [c97]Zongxin Liu, Pengfei Yang, Lijun Zhang, Xiaowei Huang:
DeepCDCL: A CDCL-based Neural Network Verification Framework. TASE 2024: 343-355 - [i47]Zongxin Liu, Pengfei Yang, Lijun Zhang, Xiaowei Huang:
DeepCDCL: An CDCL-based Neural Network Verification Framework. CoRR abs/2403.07956 (2024) - [i46]Zhiming Chi, Jianan Ma, Pengfei Yang, Cheng-Chao Huang, Renjue Li, Xiaowei Huang, Lijun Zhang:
ADVREPAIR: Provable Repair of Adversarial Attack. CoRR abs/2404.01642 (2024) - [i45]Hanwei Zhang, Luo Cheng, Qisong He, Wei Huang, Renjue Li, Ronan Sicre, Xiaowei Huang, Holger Hermanns, Lijun Zhang:
Eidos: Efficient, Imperceptible Adversarial 3D Point Clouds. CoRR abs/2405.14210 (2024) - [i44]Gaojie Jin, Ronghui Mu, Xinping Yi, Xiaowei Huang, Lijun Zhang:
Invariant Correlation of Representation with Label. CoRR abs/2407.01749 (2024) - 2023
- [j36]Weizhi Feng, Yong Li, Andrea Turrini, Moshe Y. Vardi, Lijun Zhang:
On the power of finite ambiguity in Büchi complementation. Inf. Comput. 292: 105032 (2023) - [j35]Jianling Fu, Cheng-Chao Huang, Yong Li, Jingyi Mei, Ming Xu, Lijun Zhang:
Quantitative controller synthesis for consumption Markov decision processes. Inf. Process. Lett. 180: 106342 (2023) - [j34]Chen Fu, Andrea Turrini, Xiaowei Huang, Lei Song, Yuan Feng, Lijun Zhang:
Model Checking for Probabilistic Multiagent Systems. J. Comput. Sci. Technol. 38(5): 1162-1186 (2023) - [j33]Depeng Liu, Bow-Yaw Wang, Chen Fu, Lijun Zhang:
Model checking differentially private properties. Theor. Comput. Sci. 943: 153-170 (2023) - [c96]Ying Liu, Andrea Turrini, Ernst Moritz Hahn, Bai Xue, Lijun Zhang:
Scenario Approach for Parametric Markov Models. ATVA (1) 2023: 158-180 - [c95]Liang Zhang, Nathaniel Xu, Pengfei Yang, Gaojie Jin, Cheng-Chao Huang, Lijun Zhang:
TrajPAC: Towards Robustness Verification of Pedestrian Trajectory Prediction Models. ICCV 2023: 8293-8305 - [c94]Dejin Ren, Wanli Lu, Jidong Lv, Lijun Zhang, Bai Xue:
Model Predictive Control with Reach-avoid Analysis. IJCAI 2023: 5437-5445 - [d3]Ying Liu, Andrea Turrini, Ernst Moritz Hahn, Bai Xue, Lijun Zhang:
Artifact for the ATVA'23 paper "Scenario Approach for Parametric Markov Models". Zenodo, 2023
- [i43]Pengfei Yang, Zhiming Chi, Zongxin Liu, Mengyu Zhao, Cheng-Chao Huang, Shaowei Cai, Lijun Zhang:
Incremental Satisfiability Modulo Theory for Verification of Deep Neural Networks. CoRR abs/2302.06455 (2023) - [i42]Ying Liu, Andrea Turrini, Ernst Moritz Hahn, Bai Xue, Lijun Zhang:
Scenario Approach for Parametric Markov Models. CoRR abs/2304.08330 (2023) - [i41]Jianqiang Ding, Taoran Wu, Yuping Qian, Lijun Zhang, Bai Xue:
Provable Reach-avoid Controllers Synthesis Based on Inner-approximating Controlled Reach-avoid Sets. CoRR abs/2304.11550 (2023) - [i40]Dejin Ren, Wanli Lu, Jidong Lv, Lijun Zhang, Bai Xue:
Model Predictive Control with Reach-avoid Analysis. CoRR abs/2305.08712 (2023) - [i39]Liang Zhang, Nathaniel Xu, Pengfei Yang, Gaojie Jin, Cheng-Chao Huang, Lijun Zhang:
TrajPAC: Towards Robustness Verification of Pedestrian Trajectory Prediction Models. CoRR abs/2308.05985 (2023) - 2022
- [j32]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): 29-31 (2022) - [j31]Yi Li, Xie Li, Yong Li, Xuechao Sun, Andrea Turrini, Lijun Zhang:
Synthesizing ranking functions for loop programs via SVM. Theor. Comput. Sci. 935: 1-20 (2022) - [j30]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) - [j29]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): 1545-1559 (2022) - [c93]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: 152-173 - [c92]Renjue Li, Pengfei Yang, Cheng-Chao Huang, Youcheng Sun, Bai Xue, Lijun Zhang:
Towards Practical Robustness Analysis for DNNs based on PAC-Model Learning. ICSE 2022: 2189-2201 - [c91]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: 324-331 - [c90]Chen Fu, Ernst Moritz Hahn, Yong Li, Sven Schewe, Meng Sun, Andrea Turrini, Lijun Zhang:
EPMC Gets Knowledge in Multi-agent Systems. VMCAI 2022: 93-107 - [c89]Depeng Liu, Bow-Yaw Wang, Lijun Zhang:
Verifying Pufferfish Privacy in Hidden Markov Models. VMCAI 2022: 174-196 - [d2]Yong Li, Andrea Turrini, Weizhi Feng, Moshe Y. Vardi, Lijun Zhang:
Artifact for the CAV'22 paper "Divide-and-Conquer Determinization of Büchi Automata based on SCC Decomposition". Version 2. Zenodo, 2022 [all versions] - [d1]Yong Li, Andrea Turrini, Weizhi Feng, Moshe Y. Vardi, Lijun Zhang:
Artifact for the CAV'22 paper "Divide-and-Conquer Determinization of Büchi Automata based on SCC Decomposition". Version 1. Zenodo, 2022 [all versions] - [i38]Gaojie Jin, Xinping Yi, Pengfei Yang, Lijun Zhang, Sven Schewe, Xiaowei Huang:
Weight Expansion: A New Perspective on Dropout and Generalization. CoRR abs/2201.09209 (2022) - [i37]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 abs/2206.00279 (2022) - [i36]Yong Li, Andrea Turrini, Weizhi Feng, Moshe Y. Vardi, Lijun Zhang:
Divide-and-Conquer Determinization of Büchi Automata based on SCC Decomposition. CoRR abs/2206.13739 (2022) - [i35]Renjue Li, Tianhang Qin, Pengfei Yang, Cheng-Chao Huang, Youcheng Sun, Lijun Zhang:
Safety Analysis of Autonomous Driving Systems Based on Model Learning. CoRR abs/2211.12733 (2022) - 2021
- [j28]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): 407-435 (2021) - [j27]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: 104678 (2021) - [j26]Sven Schewe, Lijun Zhang:
Editorial - Special issue on Concurrency Theory (CONCUR 2018). J. Comput. Syst. Sci. 119: 19-20 (2021) - [c88]Bing Sun, Jun Sun, Ting Dai, Lijun Zhang:
Probabilistic Verification of Neural Networks Against Group Fairness. FM 2021: 83-102 - [c87]Yong Li, Yih-Kuen Tsay, Andrea Turrini, Moshe Y. Vardi, Lijun Zhang:
Congruence Relations for Büchi Automata. FM 2021: 465-482 - [c86]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: 741-751 - [c85]Yong Li, Andrea Turrini, Moshe Y. Vardi, Lijun Zhang:
Synthesizing Good-Enough Strategies for LTLf Specifications. IJCAI 2021: 4144-4151 - [c84]Konstantin Kuznetsov, Chen Fu, Song Gao, David N. Jansen, Lijun Zhang, Andreas Zeller:
Frontmatter: mining Android user interfaces at scale. ESEC/SIGSOFT FSE 2021: 1580-1584 - [c83]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: 389-408 - [e7]S. Arun-Kumar, Dominique Méry, Indranil Saha, Lijun Zhang:
MEMOCODE '21: 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, Virtual Event, China, November 20 - 22, 2021. ACM 2021, ISBN 978-1-4503-9127-6 [contents] - [i34]Renjue Li, Pengfei Yang, Cheng-Chao Huang, Bai Xue, Lijun Zhang:
Probabilistic Robustness Analysis for DNNs based on PAC Learning. CoRR abs/2101.10102 (2021) - [i33]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 abs/2105.03144 (2021) - [i32]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 abs/2106.02867 (2021) - [i31]Bing Sun, Jun Sun, Ting Dai, Lijun Zhang:
Probabilistic Verification of Neural Networks Against Group Fairness. CoRR abs/2107.08362 (2021) - [i30]Weizhi Feng, Yong Li, Andrea Turrini, Moshe Y. Vardi, Lijun Zhang:
On the Power of Finite Ambiguity in Büchi Complementation. CoRR abs/2109.12828 (2021) - 2020
- [j25]Tao Xie, Zhi Jin, Xuandong Li, Gang Huang, Hausi A. Müller, Jun Pang, Lijun Zhang:
Preface. J. Comput. Sci. Technol. 35(6): 1231-1233 (2020) - [c82]Yong Li, Andrea Turrini, Xuechao Sun, Lijun Zhang:
Proving Non-inclusion of Büchi Automata Based on Monte Carlo Sampling. ATVA 2020: 467-483 - [c81]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 - [c80]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: 1630-1634 - [c79]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: 1635-1639 - [c78]Yong Li, Moshe Y. Vardi, Lijun Zhang:
On the Power of Unambiguity in Büchi Complementation. GandALF 2020: 182-198 - [e6]Holger Hermanns, Lijun Zhang, Naoki Kobayashi, Dale Miller:
LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, Saarbrücken, Germany, July 8-11, 2020. ACM 2020, ISBN 978-1-4503-7104-9 [contents] - [e5]Jun Pang, Lijun Zhang:
Dependable Software Engineering. Theories, Tools, and Applications - 6th International Symposium, SETTA 2020, Guangzhou, China, November 24-27, 2020, Proceedings. Lecture Notes in Computer Science 12153, Springer 2020, ISBN 978-3-030-62821-5 [contents] - [i29]Yong Li, Andrea Turrini, Xuechao Sun, Lijun Zhang:
Proving Non-Inclusion of Büchi Automata based on Monte Carlo Sampling. CoRR abs/2007.02282 (2020) - [i28]Depeng Liu, Bow-Yaw Wang, Lijun Zhang:
Verifying Pufferfish Privacy in Hidden Markov Models. CoRR abs/2008.01704 (2020) - [i27]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 abs/2010.05983 (2020) - [i26]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 abs/2010.07722 (2020)
2010 – 2019
- 2019
- [j24]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): 164-190 (2019) - [c77]Junnan Xu, Wanwei Liu, David N. Jansen, Lijun Zhang:
An Axiomatisation of the Probabilistic \mu -Calculus. ICFEM 2019: 420-437 - [c76]Yi Li, Xuechao Sun, Yong Li, Andrea Turrini, Lijun Zhang:
Synthesizing Nested Ranking Functions for Loop Programs via SVM. ICFEM 2019: 438-454 - [c75]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: 296-319 - [e4]Tomás Vojnar, Lijun Zhang:
Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part I. Lecture Notes in Computer Science 11427, Springer 2019, ISBN 978-3-030-17461-3 [contents] - [e3]Tomás Vojnar, Lijun Zhang:
Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part II. Lecture Notes in Computer Science 11428, Springer 2019, ISBN 978-3-030-17464-4 [contents] - 2018
- [j23]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): 461-488 (2018) - [j22]Bernd Finkbeiner, Geguang Pu, Lijun Zhang:
Preface for the special issue for ATVA 2015. Acta Informatica 55(8): 625-626 (2018) - [j21]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): 193-217 (2018) - [j20]Christian Eisentraut, Holger Hermanns, Johann Schuster, Andrea Turrini, Lijun Zhang:
The quest for minimal quotients for probabilistic and Markov automata. Inf. Comput. 262: 162-186 (2018) - [j19]Jianwen Li, Geguang Pu, Lijun Zhang, Moshe Y. Vardi, Jifeng He:
Accelerating LTL satisfiability checking by SAT solvers. J. Log. Comput. 28(6): 1011-1030 (2018) - [j18]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): 27:1-27:25 (2018) - [c74]Depeng Liu, Bow-Yaw Wang, Lijun Zhang:
Model Checking Differentially Private Properties. APLAS 2018: 394-414 - [c73]Chen Fu, Andrea Turrini, Xiaowei Huang, Lei Song, Yuan Feng, Lijun Zhang:
Model Checking Probabilistic Epistemic Logic for Probabilistic Multiagent Systems. IJCAI 2018: 4757-4763 - [c72]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: 135-150 - [c71]Yong Li, Andrea Turrini, Yu-Fang Chen, Lijun Zhang:
Learning Büchi Automata and Its Applications. SETSS 2018: 38-98 - [c70]Yong Li, Andrea Turrini, Lijun Zhang, Sven Schewe:
Learning to Complement Büchi Automata. VMCAI 2018: 313-335 - [e2]Sven Schewe, Lijun Zhang:
29th International Conference on Concurrency Theory, CONCUR 2018, September 4-7, 2018, Beijing, China. LIPIcs 118, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2018, ISBN 978-3-95977-087-3 [contents] - 2017
- [j17]Shuling Wang, Naijun Zhan, Lijun Zhang:
A Compositional Modelling and Verification Framework for Stochastic Hybrid Systems. Formal Aspects Comput. 29(4): 751-775 (2017) - [j16]Yuan Feng, Lijun Zhang:
Precisely deciding CSL formulas through approximate model checking for CTMCs. J. Comput. Syst. Sci. 89: 361-371 (2017) - [c69]Yijun Feng, Lijun Zhang, David N. Jansen, Naijun Zhan, Bican Xia:
Finding Polynomial Loop Invariants for Probabilistic Programs. ATVA 2017: 400-416 - [c68]Pengfei Yang, David N. Jansen, Lijun Zhang:
Distribution-Based Bisimulation for Labelled Markov Processes. FORMATS 2017: 170-186 - [c67]Chen Fu, Yuxin Deng, David N. Jansen, Lijun Zhang:
On Equivalence Checking of Nondeterministic Finite Automata. SETTA 2017: 216-231 - [c66]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: 208-226 - [c65]Ernst Moritz Hahn, Sven Schewe, Andrea Turrini, Lijun Zhang:
Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games. VMCAI 2017: 266-287 - [i25]Pengfei Yang, David N. Jansen, Lijun Zhang:
Distribution-based bisimulation for labelled Markov processes. CoRR abs/1706.10049 (2017) - [i24]Yijun Feng, Lijun Zhang, David N. Jansen, Naijun Zhan, Bican Xia:
Finding polynomial loop invariants for probabilistic programs. CoRR abs/1707.02690 (2017) - [i23]Hongfei Fu, Yi Li, Jianlin Li, Lijun Zhang:
Verifying Probabilistic Timed Automata Against Omega-Regular Dense-Time Properties. CoRR abs/1712.00275 (2017) - 2016
- [j15]John Fearnley, Markus N. Rabe, Sven Schewe, Lijun Zhang:
Efficient approximation of optimal control for continuous-time Markov games. Inf. Comput. 247: 106-129 (2016) - [j14]Lijun Zhang, David N. Jansen:
A space-efficient simulation algorithm on probabilistic automata. Inf. Comput. 249: 138-159 (2016) - [j13]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: 116-135 (2016) - [j12]Fei He, Xiaowei Gao, Miaofei Wang, Bow-Yaw Wang, Lijun Zhang:
Learning Weighted Assumptions for Compositional Verification of Markov Decision Processes. ACM Trans. Softw. Eng. Methodol. 25(3): 21:1-21:39 (2016) - [c64]Ernst Moritz Hahn, Sven Schewe, Andrea Turrini, Lijun Zhang:
A Simple Algorithm for Solving Qualitative Probabilistic Parity Games. CAV (2) 2016: 291-311 - [c63]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: 1726-1727 - [c62]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: 280-296 - [c61]Yong Li, Lei Song, Yuan Feng, Lijun Zhang:
Verify LTL with Fairness Assumptions Efficiently. TIME 2016: 41-50 - [i22]Yong Li, Wanwei Liu, Andrea Turrini, Ernst Moritz Hahn, Lijun Zhang:
An Efficient Synthesis Algorithm for Parametric Markov Chains Against Linear Time Properties. CoRR abs/1605.04400 (2016) - [i21]Yong Li, Lei Song, Yuan Feng, Lijun Zhang:
Verify LTL with Fairness Assumptions Efficiently. CoRR abs/1606.08116 (2016) - [i20]Ernst Moritz Hahn, Sven Schewe, Andrea Turrini, Lijun Zhang:
Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games. CoRR abs/1607.01474 (2016) - [i19]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 abs/1610.07380 (2016) - 2015
- [j11]Yuan Feng, Lijun Zhang:
A nearly optimal upper bound for the self-stabilization time in Herman's algorithm. Distributed Comput. 28(4): 233-244 (2015) - [c60]Meilun Li, Zhikun She, Andrea Turrini, Lijun Zhang:
Preference Planning for Markov Decision Processes. AAAI 2015: 3313-3319 - [c59]Lei Song, Yuan Feng, Lijun Zhang:
Decentralized Bisimulation for Multiagent Systems. AAMAS 2015: 209-217 - [c58]Yu-Fang Chen, Chih-Duo Hong, Bow-Yaw Wang, Lijun Zhang:
Counterexample-Guided Polynomial Loop Invariant Generation by Lagrange Interpolation. CAV (1) 2015: 658-674 - [c57]Ernst Moritz Hahn, Guangyuan Li, Sven Schewe, Andrea Turrini, Lijun Zhang:
Lazy Probabilistic Model Checking without Determinisation. CONCUR 2015: 354-367 - [c56]Christian Eisentraut, Jens Chr. Godskesen, Holger Hermanns, Lei Song, Lijun Zhang:
Probabilistic Bisimulation for Realistic Schedulers. FM 2015: 248-264 - [c55]Yuan Feng, Ernst Moritz Hahn, Andrea Turrini, Lijun Zhang:
QPMC: A Model Checker for Quantum Programs and Protocols. FM 2015: 265-272 - [c54]Wanwei Liu, Lei Song, Ji Wang, Lijun Zhang:
A Simple Probabilistic Extension of Modal Mu-calculus. IJCAI 2015: 882-888 - [c53]Lei Song, Yuan Feng, Lijun Zhang:
Planning for Stochastic Games with Co-Safe Objectives. IJCAI 2015: 1682-1688 - [c52]Fei He, Xiaowei Gao, Bow-Yaw Wang, Lijun Zhang:
Leveraging Weighted Automata in Compositional Reasoning about Concurrent Probabilistic Systems. POPL 2015: 503-514 - [c51]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: 35-51 - [c50]Yu Peng, Shuling Wang, Naijun Zhan, Lijun Zhang:
Extending Hybrid CSP with Probability and Stochasticity. SETTA 2015: 87-102 - [e1]Bernd Finkbeiner, Geguang Pu, Lijun Zhang:
Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings. Lecture Notes in Computer Science 9364, Springer 2015, ISBN 978-3-319-24952-0 [contents] - [i18]Yu-Fang Chen, Chih-Duo Hong, Bow-Yaw Wang, Lijun Zhang:
Counterexample-Guided Polynomial Loop Invariant Generation by Lagrange Interpolation. CoRR abs/1502.04280 (2015) - [i17]Wanwei Liu, Lei Song, Ji Wang, Lijun Zhang:
A Simple Probabilistic Extension of Modal Mu-calculus. CoRR abs/1504.07737 (2015) - [i16]Yu Peng, Shuling Wang, Naijun Zhan, Lijun Zhang:
Extending Hybrid CSP with Probability and Stochasticity. CoRR abs/1509.01660 (2015) - [i15]Yuan Feng, Lei Song, Lijun Zhang:
Distribution-based Bisimulation and Bisimulation Metric in Probabilistic Automata. CoRR abs/1512.05027 (2015) - 2014
- [j10]Lei Song, Lijun Zhang, Holger Hermanns, Jens Chr. Godskesen:
Incremental Bisimulation Abstraction Refinement. ACM Trans. Embed. Comput. Syst. 13(4s): 142:1-142:23 (2014) - [c49]Yuan Feng, Lijun Zhang:
A Nearly Optimal Upper Bound for the Self-Stabilization Time in Herman's Algorithm. CONCUR 2014: 342-356 - [c48]Joost-Pieter Katoen, Lei Song, Lijun Zhang:
Probably safe or live. CSL-LICS 2014: 55:1-55:10 - [c47]Jianwen Li, Lijun Zhang, Geguang Pu, Moshe Y. Vardi, Jifeng He:
LTLf Satisfiability Checking. ECAI 2014: 513-518 - [c46]Yuan Feng, Lijun Zhang:
When Equivalence and Bisimulation Join Forces in Probabilistic Automata. FM 2014: 247-262 - [c45]Ernst Moritz Hahn, Yi Li, Sven Schewe, Andrea Turrini, Lijun Zhang:
iscasMc: A Web-Based Probabilistic Model Checker. FM 2014: 312-317 - [c44]Jianwen Li, Yinbo Yao, Geguang Pu, Lijun Zhang, Jifeng He:
Aalta: an LTL satisfiability checker over Infinite/Finite traces. SIGSOFT FSE 2014: 731-734 - [c43]Lei Song, Lijun Zhang, Jens Chr. Godskesen:
Bisimulations and Logical Characterizations on Continuous-Time Markov Decision Processes. VMCAI 2014: 98-117 - [c42]David Spieler, Ernst Moritz Hahn, Lijun Zhang:
Model Checking CSL for Markov Population Models. QAPL 2014: 93-107 - [i14]Jianwen Li, Geguang Pu, Lijun Zhang, Moshe Y. Vardi, Jifeng He:
Fast LTL Satisfiability Checking by SAT Solvers. CoRR abs/1401.5677 (2014) - [i13]Joost-Pieter Katoen, Lei Song, Lijun Zhang:
Probably Safe or Live. CoRR abs/1401.7171 (2014) - [i12]Jianwen Li, Lijun Zhang, Geguang Pu, Moshe Y. Vardi, Jifeng He:
LTLf satisfiability checking. CoRR abs/1403.1666 (2014) - 2013
- [j9]Lei Song, Lijun Zhang, Jens Chr. Godskesen:
Bisimulations Meet PCTL Equivalences for Probabilistic Automata. Log. Methods Comput. Sci. 9(2) (2013) - [j8]Yang Gao, Ming Xu, Naijun Zhan, Lijun Zhang:
Model checking conditional CSL for continuous-time Markov chains. Inf. Process. Lett. 113(1-2): 44-50 (2013) - [j7]Yuan Feng, Lijun Zhang:
A tighter bound for the self-stabilization time in Herman's algorithm. Inf. Process. Lett. 113(13): 486-488 (2013) - [c41]Lei Song, Lijun Zhang, Holger Hermanns, Jens Chr. Godskesen:
Incremental Bisimulation Abstraction Refinement. ACSD 2013: 11-20 - [c40]Christian Eisentraut, Holger Hermanns, Joost-Pieter Katoen, Lijun Zhang:
A Semantics for Every GSPN. Petri Nets 2013: 90-109 - [c39]Yang Gao, Ernst Moritz Hahn, Naijun Zhan, Lijun Zhang:
CCMC: A Conditional CSL Model Checker for Continuous-Time Markov Chains. ATVA 2013: 464-468 - [c38]Jianwen Li, Geguang Pu, Lijun Zhang, Zheng Wang, Jifeng He, Kim Guldstrand Larsen:
On the Relationship between LTL Normal Forms and Büchi Automata. Theories of Programming and Formal Methods 2013: 256-270 - [c37]Christian Eisentraut, Holger Hermanns, Julia Krämer, Andrea Turrini, Lijun Zhang:
Deciding Bisimilarities on Distributions. QEST 2013: 72-88 - [c36]David N. Jansen, Lei Song, Lijun Zhang:
Revisiting Weak Simulation for Substochastic Markov Chains. QEST 2013: 209-224 - [c35]Christian Eisentraut, Holger Hermanns, Johann Schuster, Andrea Turrini, Lijun Zhang:
The Quest for Minimal Quotients for Probabilistic Automata. TACAS 2013: 16-31 - [c34]Taolue Chen, Ernst Moritz Hahn, Tingting Han, Marta Z. Kwiatkowska, Hongyang Qu, Lijun Zhang:
Model Repair for Markov Decision Processes. TASE 2013: 85-92 - [c33]Jianwen Li, Lijun Zhang, Geguang Pu, Moshe Y. Vardi, Jifeng He:
LTL Satisfiability Checking Revisited. TIME 2013: 91-98 - [i11]Jianwen Li, Geguang Pu, Lijun Zhang, Yinbo Yao, Moshe Y. Vardi, Jifeng He:
Polsat: A Portfolio LTL Satisfiability Solver. CoRR abs/1311.1602 (2013) - [i10]Ernst Moritz Hahn, Guangyuan Li, Sven Schewe, Lijun Zhang:
Lazy Determinisation for Quantitative Model Checking. CoRR abs/1311.2928 (2013) - [i9]Yuan Feng, Lijun Zhang:
When Equivalence and Bisimulation Join Forces in Probabilistic Automata. CoRR abs/1311.3396 (2013) - 2012
- [j6]Lijun Zhang, Zhikun She, Stefan Ratschan, Holger Hermanns, Ernst Moritz Hahn:
Safety Verification for Probabilistic Hybrid Systems. Eur. J. Control 18(6): 572-587 (2012) - [c32]David N. Jansen, Flemming Nielson, Lijun Zhang:
Belief Bisimulation for Hidden Markov Models - Logical Characterisation and Decision Algorithm. NASA Formal Methods 2012: 326-340 - [c31]Joshua Sack, Lijun Zhang:
A General Framework for Probabilistic Characterizing Formulae. VMCAI 2012: 396-411 - [i8]Lei Song, Lijun Zhang, Jens Chr. Godskesen:
Late Weak Bisimulation for Markov Automata. CoRR abs/1202.4116 (2012) - [i7]Lei Song, Lijun Zhang, Jens Chr. Godskesen:
The Branching Time Spectrum for Continuous-time MDPs. CoRR abs/1204.1848 (2012) - [i6]Jianwen Li, Geguang Pu, Lijun Zhang, Zheng Wang, Jifeng He, Kim G. Larsen:
On the Relationship between LTL Normal Forms and Buechi Automata. CoRR abs/1207.3866 (2012) - [i5]Bo Friis Nielsen, Flemming Nielson, Henrik Pilegaard, Michael James Andrew Smith, Ender Yüksel, Kebin Zeng, Lijun Zhang:
Roadmap Document on Stochastic Analysis. CoRR abs/1209.6578 (2012) - 2011
- [j5]Lijun Zhang, David N. Jansen, Flemming Nielson, Holger Hermanns:
Automata-Based CSL Model Checking. Log. Methods Comput. Sci. 8(2) (2011) - [j4]Holger Hermanns, Augusto Parma, Roberto Segala, Björn Wachter, Lijun Zhang:
Probabilistic Logical Characterization. Inf. Comput. 209(2): 154-172 (2011) - [j3]Ernst Moritz Hahn, Holger Hermanns, Lijun Zhang:
Probabilistic reachability for parametric Markov models. Int. J. Softw. Tools Technol. Transf. 13(1): 3-19 (2011) - [c30]Peter Buchholz, Ernst Moritz Hahn, Holger Hermanns, Lijun Zhang:
Model Checking Algorithms for CTMDPs. CAV 2011: 225-242 - [c29]Lei Song, Lijun Zhang, Jens Chr. Godskesen:
Bisimulations Meet PCTL Equivalences for Probabilistic Automata. CONCUR 2011: 108-123 - [c28]John Fearnley, Markus N. Rabe, Sven Schewe, Lijun Zhang:
Efficient Approximation of Optimal Control for Continuous-Time Markov Games. FSTTCS 2011: 399-410 - [c27]Martin Fränzle, Ernst Moritz Hahn, Holger Hermanns, Nicolás Wolovick, Lijun Zhang:
Measurability and safety verification for stochastic hybrid systems. HSCC 2011: 43-52 - [c26]Lijun Zhang, David N. Jansen, Flemming Nielson, Holger Hermanns:
Automata-Based CSL Model Checking. ICALP (2) 2011: 271-282 - [c25]Stefan Kiefer, Andrzej S. Murawski, Joël Ouaknine, James Worrell, Lijun Zhang:
On Stabilization in Herman's Algorithm. ICALP (2) 2011: 466-477 - [c24]Ernst Moritz Hahn, Tingting Han, Lijun Zhang:
Synthesis for PCTL in Parametric Markov Decision Processes. NASA Formal Methods 2011: 146-161 - [c23]Ernst Moritz Hahn, Gethin Norman, David Parker, Björn Wachter, Lijun Zhang:
Game-based Abstraction and Controller Synthesis for Probabilistic Hybrid Systems. QEST 2011: 69-78 - [p1]Holger Hermanns, Lijun Zhang:
From Concurrency Models to Numbers - Performance and Dependability. Software and Systems Safety - Specification and Verification 2011: 182-210 - [i4]Stefan Kiefer, Andrzej S. Murawski, Joël Ouaknine, James Worrell, Lijun Zhang:
On Stabilization in Herman's Algorithm. CoRR abs/1104.3100 (2011) - 2010
- [c22]Lijun Zhang, Zhikun She, Stefan Ratschan, Holger Hermanns, Ernst Moritz Hahn:
Safety Verification for Probabilistic Hybrid Systems. CAV 2010: 196-211 - [c21]Ernst Moritz Hahn, Holger Hermanns, Björn Wachter, Lijun Zhang:
PARAM: A Model Checker for Parametric Markov Models. CAV 2010: 660-664 - [c20]Christian Eisentraut, Holger Hermanns, Lijun Zhang:
Concurrency and Composition in a Stochastic World. CONCUR 2010: 21-39 - [c19]Christian Eisentraut, Holger Hermanns, Lijun Zhang:
On Probabilistic Automata in Continuous Time. LICS 2010: 342-351 - [c18]Martin R. Neuhäußer, Lijun Zhang:
Time-Bounded Reachability Probabilities in Continuous-Time Markov Decision Processes. QEST 2010: 209-218 - [c17]Georgel Calin, Pepijn Crouzen, Pedro R. D'Argenio, Ernst Moritz Hahn, Lijun Zhang:
Time-Bounded Reachability in Distributed Input/Output Interactive Probabilistic Chains. SPIN 2010: 193-211 - [c16]Lijun Zhang, Martin R. Neuhäußer:
Model Checking Interactive Markov Chains. TACAS 2010: 53-68 - [c15]Ernst Moritz Hahn, Holger Hermanns, Björn Wachter, Lijun Zhang:
PASS: Abstraction Refinement for Infinite Probabilistic Models. TACAS 2010: 353-357 - [c14]Björn Wachter, Lijun Zhang:
Best Probabilistic Transformers. VMCAI 2010: 362-379 - [i3]Markus N. Rabe, Sven Schewe, Lijun Zhang:
Efficient Approximation of Optimal Control for Markov Games. CoRR abs/1011.0397 (2010)
2000 – 2009
- 2009
- [b1]Lijun Zhang:
Decision algorithms for probabilistic simulations. Saarland University, Saarbrücken, Germany, 2009 - [j2]Ernst Moritz Hahn, Holger Hermanns, Björn Wachter, Lijun Zhang:
Time-Bounded Model Checking of Infinite-State Continuous-Time Markov Chains. Fundam. Informaticae 95(1): 129-155 (2009) - [c13]Ernst Moritz Hahn, Holger Hermanns, Björn Wachter, Lijun Zhang:
INFAMY: An Infinite-State Markov Model Checker. CAV 2009: 641-647 - [c12]Jonathan Bogdoll, Holger Hermanns, Lijun Zhang:
FlowSim Simulation Benchmarking Platform. QEST 2009: 211-212 - [c11]Ernst Moritz Hahn, Holger Hermanns, Lijun Zhang:
Probabilistic Reachability for Parametric Markov Models. SPIN 2009: 88-106 - 2008
- [j1]Lijun Zhang, Holger Hermanns, Friedrich Eisenbrand, David N. Jansen:
Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations. Log. Methods Comput. Sci. 4(4) (2008) - [c10]Lijun Zhang, Holger Hermanns, Ernst Moritz Hahn, Björn Wachter:
Time-bounded model checking of infinite-state continuous-time Markov chains. ACSD 2008: 98-107 - [c9]Holger Hermanns, Björn Wachter, Lijun Zhang:
Probabilistic CEGAR. CAV 2008: 162-175 - [c8]Lijun Zhang:
A Space-Efficient Probabilistic Simulation Algorithm. CONCUR 2008: 248-263 - [c7]Pepijn Crouzen, Holger Hermanns, Lijun Zhang:
On the Minimisation of Acyclic Models. CONCUR 2008: 295-309 - [c6]Jonathan Bogdoll, Holger Hermanns, Lijun Zhang:
An Experimental Evaluation of Probabilistic Simulation. FORTE 2008: 37-52 - [i2]Lijun Zhang, Holger Hermanns, Friedrich Eisenbrand, David N. Jansen:
Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations. CoRR abs/0808.3651 (2008) - 2007
- [c5]Lijun Zhang, Holger Hermanns:
Deciding Simulations on Probabilistic Automata. ATVA 2007: 207-222 - [c4]Björn Wachter, Lijun Zhang, Holger Hermanns:
Probabilistic Model Checking Modulo Theories. QEST 2007: 129-140 - [c3]Lijun Zhang, Holger Hermanns, Friedrich Eisenbrand, David N. Jansen:
Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations. TACAS 2007: 155-169 - [i1]Lucia Cloth, Pepijn Crouzen, Matthias Fruth, Tingting Han, David N. Jansen, Mark Kattenbelt, Gerard J. M. Smit, Lijun Zhang:
07101 Working Group Report -- Performance Measures Other Than Time. Quantitative Aspects of Embedded Systems 2007 - 2005
- [c2]Irene Eusgeld, Bernhard Fechner, Felix Salfner, Max Walter, Philipp Limbourg, Lijun Zhang:
Hardware Reliability. Dependability Metrics 2005: 59-103 - [c1]Lijun Zhang, Holger Hermanns, David N. Jansen:
Logic and Model Checking for Hidden Markov Models. FORTE 2005: 98-112
Coauthor Index
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-12-11 20:46 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
