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
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]