Lijun Zhang

According to our database, Lijun Zhang authored at least 155 papers between 2005 and 2024.

Collaborative distances:

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

2024

Invariant Correlation of Representation with Label.

Gaojie Jin, Ronghui Mu, Xinping Yi, Xiaowei Huang, Lijun Zhang

CoRR, 2024

ADVREPAIR: Provable Repair of Adversarial Attack.

Zhiming Chi, Jianan Ma, Pengfei Yang, Cheng-Chao Huang, Renjue Li, Xiaowei Huang, Lijun Zhang

CoRR, 2024

DeepCDCL: An CDCL-based Neural Network Verification Framework.

Zongxin Liu, Pengfei Yang, Lijun Zhang, Xiaowei Huang

CoRR, 2024

HFE-Mamba: High-Frequency Enhanced Mamba Network for Efficient Segmentation of Left Ventricle in Pediatric Echocardiograms.

Zi Ye, Tianxiang Chen, Dan Wang, Fangyijie Wang, Lijun Zhang

IEEE Access, 2024

DeepCDCL: A CDCL-based Neural Network Verification Framework.

Zongxin Liu, Pengfei Yang, Lijun Zhang, Xiaowei Huang

Proceedings of the Theoretical Aspects of Software Engineering, 2024

Eidos: Efficient, Imperceptible Adversarial 3D Point Clouds.

Hanwei Zhang, Luo Cheng, Qisong He, Wei Huang, Renjue Li, Ronan Sicre, Xiaowei Huang, Holger Hermanns, Lijun Zhang

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2024

Formal Verification of RISC-V Processor Chisel Designs.

Shidong Shen, Yicheng Liu, Lijun Zhang, Fu Song, Zhilin Wu

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2024

Class-Aware Cross Pseudo Supervision Framework for Semi-Supervised Multi-organ Segmentation in Abdominal CT Scans.

Deqian Yang, Haochen Zhao, Gaojie Jin, Hui Meng, Lijun Zhang

Proceedings of the Pattern Recognition and Computer Vision - 7th Chinese Conference, 2024

Verifying Randomized Consensus Protocols with Common Coins.

Song Gao, Bohua Zhan, Zhilin Wu, Lijun Zhang

Proceedings of the 54th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2024

Formally Verifying Arithmetic Chisel Designs for All Bit Widths at Once.

Weizhi Feng, Yicheng Liu, Jiaxiang Liu, David N. Jansen, Lijun Zhang, Zhilin Wu

Proceedings of the 61st ACM/IEEE Design Automation Conference, 2024

2023

Model Checking for Probabilistic Multiagent Systems.

Chen Fu, Andrea Turrini, Xiaowei Huang, Lei Song, Yuan Feng, Lijun Zhang

J. Comput. Sci. Technol., September, 2023

Artifact for the ATVA'23 paper "Scenario Approach for Parametric Markov Models".

Ying Liu, Andrea Turrini, Ernst Moritz Hahn, Bai Xue, Lijun Zhang

Dataset, July, 2023

On the power of finite ambiguity in Büchi complementation.

Weizhi Feng, Yong Li, Andrea Turrini, Moshe Y. Vardi, Lijun Zhang

Inf. Comput., June, 2023

Model checking differentially private properties.

Depeng Liu, Bow-Yaw Wang, Chen Fu, Lijun Zhang

Theor. Comput. Sci., 2023

Quantitative controller synthesis for consumption Markov decision processes.

Jianling Fu, Cheng-Chao Huang, Yong Li, Jingyi Mei, Ming Xu, Lijun Zhang

Inf. Process. Lett., 2023

Provable Reach-avoid Controllers Synthesis Based on Inner-approximating Controlled Reach-avoid Sets.

Jianqiang Ding, Taoran Wu, Yuping Qian, Lijun Zhang, Bai Xue

CoRR, 2023

Incremental Satisfiability Modulo Theory for Verification of Deep Neural Networks.

Pengfei Yang, Zhiming Chi, Zongxin Liu, Mengyu Zhao, Cheng-Chao Huang, Shaowei Cai, Lijun Zhang

CoRR, 2023

Model Predictive Control with Reach-avoid Analysis.

Dejin Ren, Wanli Lu, Jidong Lv, Lijun Zhang, Bai Xue

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

TrajPAC: Towards Robustness Verification of Pedestrian Trajectory Prediction Models.

Liang Zhang, Nathaniel Xu, Pengfei Yang, Gaojie Jin, Cheng-Chao Huang, Lijun Zhang

Proceedings of the IEEE/CVF International Conference on Computer Vision, 2023

Scenario Approach for Parametric Markov Models.

Ying Liu, Andrea Turrini, Ernst Moritz Hahn, Bai Xue, Lijun Zhang

Proceedings of the Automated Technology for Verification and Analysis, 2023

2022

Artifact for the CAV'22 paper "Divide-and-Conquer Determinization of Büchi Automata based on SCC Decomposition".

Yong Li, Andrea Turrini, Weizhi Feng, Moshe Y. Vardi, Lijun Zhang

Dataset, May, 2022

Artifact for the CAV'22 paper "Divide-and-Conquer Determinization of Büchi Automata based on SCC Decomposition".

Yong Li, Andrea Turrini, Weizhi Feng, Moshe Y. Vardi, Lijun Zhang

Dataset, May, 2022

Probabilistic Preference Planning Problem for Markov Decision Processes.

Meilun Li, Andrea Turrini, Ernst Moritz Hahn, Zhikun She, Lijun Zhang

IEEE Trans. Software Eng., 2022

Weight Expansion: A New Perspective on Dropout and Generalization.

Gaojie Jin, Xinping Yi, Pengfei Yang, Lijun Zhang, Sven Schewe, Xiaowei Huang

Trans. Mach. Learn. Res., 2022

Synthesizing ranking functions for loop programs via SVM.

Yi Li, Xie Li, Yong Li, Xuechao Sun, Andrea Turrini, Lijun Zhang

Theor. Comput. Sci., 2022

Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2019.

Tomás Vojnar, Lijun Zhang

Int. J. Softw. Tools Technol. Transf., 2022

Safety Analysis of Autonomous Driving Systems Based on Model Learning.

Renjue Li, Tianhang Qin, Pengfei Yang, Cheng-Chao Huang, Youcheng Sun, Lijun Zhang

CoRR, 2022

Defensive Design of Saturating Counters Based on Differential Privacy.

Depeng Liu, Lutan Zhao, Pengfei Yang, Bow-Yaw Wang, Rui Hou, Lijun Zhang, Naijun Zhan

CoRR, 2022

Verifying Pufferfish Privacy in Hidden Markov Models.

Depeng Liu, Bow-Yaw Wang, Lijun Zhang

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2022

EPMC Gets Knowledge in Multi-agent Systems.

Chen Fu, Ernst Moritz Hahn, Yong Li, Sven Schewe, Meng Sun, Andrea Turrini, Lijun Zhang

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2022

CHA: Supporting SVA-Like Assertions in Formal Verification of Chisel Programs (Tool Paper).

Shizhen Yu, Yifan Dong, Jiuyang Liu, Yong Li, Zhilin Wu, David N. Jansen, Lijun Zhang

Proceedings of the Software Engineering and Formal Methods - 20th International Conference, 2022

Towards Practical Robustness Analysis for DNNs based on PAC-Model Learning.

Renjue Li, Pengfei Yang, Cheng-Chao Huang, Youcheng Sun, Bai Xue, Lijun Zhang

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

Divide-and-Conquer Determinization of Büchi Automata Based on SCC Decomposition.

Yong Li, Andrea Turrini, Weizhi Feng, Moshe Y. Vardi, Lijun Zhang

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

2021

Editorial - Special issue on Concurrency Theory (CONCUR 2018).

Sven Schewe, Lijun Zhang

J. Comput. Syst. Sci., 2021

A novel learning algorithm for Büchi automata based on family of DFAs and classification trees.

Yong Li, Yu-Fang Chen, Lijun Zhang, Depeng Liu

Inf. Comput., 2021

Enhancing Robustness Verification for Deep Neural Networks via Symbolic Propagation.

Pengfei Yang, Jianlin Li, Jiangchao Liu, Cheng-Chao Huang, Renjue Li, Liqian Chen, Xiaowei Huang, Lijun Zhang

Formal Aspects Comput., 2021

Ensemble Defense with Data Diversity: Weak Correlation Implies Strong Robustness.

Renjue Li, Hanwei Zhang, Pengfei Yang, Cheng-Chao Huang, Aimin Zhou, Bai Xue, Lijun Zhang

CoRR, 2021

What do all these Buttons do? Statically Mining Android User Interfaces at Scale.

Konstantin Kuznetsov, Chen Fu, Song Gao, David N. Jansen, Lijun Zhang, Andreas Zeller

CoRR, 2021

Probabilistic Robustness Analysis for DNNs based on PAC Learning.

Renjue Li, Pengfei Yang, Cheng-Chao Huang, Bai Xue, Lijun Zhang

CoRR, 2021

Improving Neural Network Verification through Spurious Region Guided Refinement.

Pengfei Yang, Renjue Li, Jianlin Li, Cheng-Chao Huang, Jingyi Wang, Jun Sun, Bai Xue, Lijun Zhang

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

Frontmatter: mining Android user interfaces at scale.

Konstantin Kuznetsov, Chen Fu, Song Gao, David N. Jansen, Lijun Zhang, Andreas Zeller

Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

Synthesizing Good-Enough Strategies for LTLf Specifications.

Yong Li, Andrea Turrini, Moshe Y. Vardi, Lijun Zhang

Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

Probabilistic Verification of Neural Networks Against Group Fairness.

Bing Sun, Jun Sun, Ting Dai, Lijun Zhang

Proceedings of the Formal Methods - 24th International Symposium, 2021

Congruence Relations for Büchi Automata.

Yong Li, Yih-Kuen Tsay, Andrea Turrini, Moshe Y. Vardi, Lijun Zhang

Proceedings of the Formal Methods - 24th International Symposium, 2021

Formal Verification of Consensus in the Taurus Distributed Database.

Song Gao, Bohua Zhan, Depeng Liu, Xuechao Sun, Yanan Zhi, David N. Jansen, Lijun Zhang

Proceedings of the Formal Methods - 24th International Symposium, 2021

2020

Preface.

Tao Xie, Zhi Jin, Xuandong Li, Gang Huang, Hausi A. Müller, Jun Pang, Lijun Zhang

J. Comput. Sci. Technol., 2020

On the Power of Unambiguity in Büchi Complementation.

Yong Li, Moshe Y. Vardi, Lijun Zhang

Proceedings of the Proceedings 11th International Symposium on Games, 2020

SVMRanker: a general termination analysis framework of loop programs via SVM.

Xie Li, Yi Li, Yong Li, Xuechao Sun, Andrea Turrini, Lijun Zhang

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

PRODeep: a platform for robustness verification of deep neural networks.

Renjue Li, Jianlin Li, Cheng-Chao Huang, Pengfei Yang, Xiaowei Huang, Lijun Zhang, Bai Xue, Holger Hermanns

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

How does Weight Correlation Affect Generalisation Ability of Deep Neural Networks?

Gaojie Jin, Xinping Yi, Liang Zhang, Lijun Zhang, Sven Schewe, Xiaowei Huang

Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020

Proving Non-inclusion of Büchi Automata Based on Monte Carlo Sampling.

Yong Li, Andrea Turrini, Xuechao Sun, Lijun Zhang

Proceedings of the Automated Technology for Verification and Analysis, 2020

2019

SAT-based explicit LTL reasoning and its application to satisfiability checking.

Jianwen Li, Shufang Zhu, Geguang Pu, Lijun Zhang, Moshe Y. Vardi

Formal Methods Syst. Des., 2019

Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification.

Jianlin Li, Jiangchao Liu, Pengfei Yang, Liqian Chen, Xiaowei Huang, Lijun Zhang

Proceedings of the Static Analysis - 26th International Symposium, 2019

An Axiomatisation of the Probabilistic \mu -Calculus.

Junnan Xu, Wanwei Liu, David N. Jansen, Lijun Zhang

Proceedings of the Formal Methods and Software Engineering, 2019

Synthesizing Nested Ranking Functions for Loop Programs via SVM.

Yi Li, Xuechao Sun, Yong Li, Andrea Turrini, Lijun Zhang

Proceedings of the Formal Methods and Software Engineering, 2019

2018

An Automatic Proving Approach to Parameterized Verification.

Yongjian Li, Kaiqiang Duan, David N. Jansen, Jun Pang, Lijun Zhang, Yi Lv, Shaowei Cai

ACM Trans. Comput. Log., 2018

Accelerating LTL satisfiability checking by SAT solvers.

Jianwen Li, Geguang Pu, Lijun Zhang, Moshe Y. Vardi, Jifeng He

J. Log. Comput., 2018

The quest for minimal quotients for probabilistic and Markov automata.

Christian Eisentraut, Holger Hermanns, Johann Schuster, Andrea Turrini, Lijun Zhang

Inf. Comput., 2018

An explicit transition system construction approach to LTL satisfiability checking.

Jianwen Li, Lijun Zhang, Shufang Zhu, Geguang Pu, Moshe Y. Vardi, Jifeng He

Formal Aspects Comput., 2018

Probabilistic bisimulation for realistic schedulers.

Lijun Zhang, Pengfei Yang, Lei Song, Holger Hermanns, Christian Eisentraut, David N. Jansen, Jens Chr. Godskesen

Acta Informatica, 2018

Preface for the special issue for ATVA 2015.

Bernd Finkbeiner, Geguang Pu, Lijun Zhang

Acta Informatica, 2018

Learning to Complement Büchi Automata.

Yong Li, Andrea Turrini, Lijun Zhang, Sven Schewe

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2018

Learning Büchi Automata and Its Applications.

Yong Li, Andrea Turrini, Yu-Fang Chen, Lijun Zhang

Proceedings of the Engineering Trustworthy Software Systems - 4th International School, 2018

Advanced automata-based algorithms for program termination checking.

Yu-Fang Chen, Matthias Heizmann, Ondrej Lengál, Yong Li, Ming-Hsien Tsai, Andrea Turrini, Lijun Zhang

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

Model Checking Probabilistic Epistemic Logic for Probabilistic Multiagent Systems.

Chen Fu, Andrea Turrini, Xiaowei Huang, Lei Song, Yuan Feng, Lijun Zhang

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Model Checking Differentially Private Properties.

Depeng Liu, Bow-Yaw Wang, Lijun Zhang

Proceedings of the Programming Languages and Systems - 16th Asian Symposium, 2018

2017

Precisely deciding CSL formulas through approximate model checking for CTMCs.

Yuan Feng, Lijun Zhang

J. Comput. Syst. Sci., 2017

A Compositional Modelling and Verification Framework for Stochastic Hybrid Systems.

Shuling Wang, Naijun Zhan, Lijun Zhang

Formal Aspects Comput., 2017

Verifying Probabilistic Timed Automata Against Omega-Regular Dense-Time Properties.

Hongfei Fu, Yi Li, Jianlin Li, Lijun Zhang

CoRR, 2017

Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games.

Ernst Moritz Hahn, Sven Schewe, Andrea Turrini, Lijun Zhang

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2017

On Equivalence Checking of Nondeterministic Finite Automata.

Chen Fu, Yuxin Deng, David N. Jansen, Lijun Zhang

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2017

Distribution-Based Bisimulation for Labelled Markov Processes.

Pengfei Yang, David N. Jansen, Lijun Zhang

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2017

Finding Polynomial Loop Invariants for Probabilistic Programs.

Yijun Feng, Lijun Zhang, David N. Jansen, Naijun Zhan, Bican Xia

Proceedings of the Automated Technology for Verification and Analysis, 2017

2016

Learning Weighted Assumptions for Compositional Verification of Markov Decision Processes.

Fei He, Xiaowei Gao, Miaofei Wang, Bow-Yaw Wang, Lijun Zhang

ACM Trans. Softw. Eng. Methodol., 2016

Multiphase until formulas over Markov reward models: An algebraic approach.

Ming Xu, Lijun Zhang, David N. Jansen, Huibiao Zhu, Zongyuan Yang

Theor. Comput. Sci., 2016

A space-efficient simulation algorithm on probabilistic automata.

Lijun Zhang, David N. Jansen

Inf. Comput., 2016

Efficient approximation of optimal control for continuous-time Markov games.

John Fearnley, Markus N. Rabe, Sven Schewe, Lijun Zhang

Inf. Comput., 2016

Verify LTL with Fairness Assumptions Efficiently.

Yong Li, Lei Song, Yuan Feng, Lijun Zhang

Proceedings of the 23rd International Symposium on Temporal Representation and Reasoning, 2016

An Efficient Synthesis Algorithm for Parametric Markov Chains Against Linear Time Properties.

Yong Li, Wanwei Liu, Andrea Turrini, Ernst Moritz Hahn, Lijun Zhang

Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2016

GPU-Accelerated Value Iteration for the Computation of Reachability Probabilities in MDPs.

Zhimin Wu, Ernst Moritz Hahn, Akin Günay, Lijun Zhang, Yang Liu

Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

A Simple Algorithm for Solving Qualitative Probabilistic Parity Games.

Ernst Moritz Hahn, Sven Schewe, Andrea Turrini, Lijun Zhang

Proceedings of the Computer Aided Verification - 28th International Conference, 2016

2015

A nearly optimal upper bound for the self-stabilization time in Herman's algorithm.

Yuan Feng, Lijun Zhang

Distributed Comput., 2015

Distribution-based Bisimulation and Bisimulation Metric in Probabilistic Automata.

Yuan Feng, Lei Song, Lijun Zhang

CoRR, 2015

Extending Hybrid CSP with Probability and Stochasticity.

Yu Peng, Shuling Wang, Naijun Zhan, Lijun Zhang

Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2015

A Comparative Study of BDD Packages for Probabilistic Symbolic Model Checking.

Tom van Dijk, Ernst Moritz Hahn, David N. Jansen, Yong Li, Thomas Neele, Mariëlle Stoelinga, Andrea Turrini, Lijun Zhang

Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2015

Leveraging Weighted Automata in Compositional Reasoning about Concurrent Probabilistic Systems.

Fei He, Xiaowei Gao, Bow-Yaw Wang, Lijun Zhang

Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

Planning for Stochastic Games with Co-Safe Objectives.

Lei Song, Yuan Feng, Lijun Zhang

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

A Simple Probabilistic Extension of Modal Mu-calculus.

Wanwei Liu, Lei Song, Ji Wang, Lijun Zhang

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

QPMC: A Model Checker for Quantum Programs and Protocols.

Yuan Feng, Ernst Moritz Hahn, Andrea Turrini, Lijun Zhang

Proceedings of the FM 2015: Formal Methods, 2015

Probabilistic Bisimulation for Realistic Schedulers.

Christian Eisentraut, Jens Chr. Godskesen, Holger Hermanns, Lei Song, Lijun Zhang

Proceedings of the FM 2015: Formal Methods, 2015

Lazy Probabilistic Model Checking without Determinisation.

Ernst Moritz Hahn, Guangyuan Li, Sven Schewe, Andrea Turrini, Lijun Zhang

Proceedings of the 26th International Conference on Concurrency Theory, 2015

Counterexample-Guided Polynomial Loop Invariant Generation by Lagrange Interpolation.

Yu-Fang Chen, Chih-Duo Hong, Bow-Yaw Wang, Lijun Zhang

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

Decentralized Bisimulation for Multiagent Systems.

Lei Song, Yuan Feng, Lijun Zhang

Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

Preference Planning for Markov Decision Processes.

Meilun Li, Zhikun She, Andrea Turrini, Lijun Zhang

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

Incremental Bisimulation Abstraction Refinement.

Lei Song, Lijun Zhang, Holger Hermanns, Jens Chr. Godskesen

ACM Trans. Embed. Comput. Syst., 2014

Model Checking CSL for Markov Population Models

David Spieler, Ernst Moritz Hahn, Lijun Zhang

Proceedings of the Proceedings Twelfth International Workshop on Quantitative Aspects of Programming Languages and Systems, 2014

Fast LTL Satisfiability Checking by SAT Solvers.

Jianwen Li, Geguang Pu, Lijun Zhang, Moshe Y. Vardi, Jifeng He

CoRR, 2014

Bisimulations and Logical Characterizations on Continuous-Time Markov Decision Processes.

Lei Song, Lijun Zhang, Jens Chr. Godskesen

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2014

Aalta: an LTL satisfiability checker over Infinite/Finite traces.

Jianwen Li, Yinbo Yao, Geguang Pu, Lijun Zhang, Jifeng He

Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014

iscasMc: A Web-Based Probabilistic Model Checker.

Ernst Moritz Hahn, Yi Li, Sven Schewe, Andrea Turrini, Lijun Zhang

Proceedings of the FM 2014: Formal Methods, 2014

When Equivalence and Bisimulation Join Forces in Probabilistic Automata.

Yuan Feng, Lijun Zhang

Proceedings of the FM 2014: Formal Methods, 2014

LTLf Satisfiability Checking.

Jianwen Li, Lijun Zhang, Geguang Pu, Moshe Y. Vardi, Jifeng He

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

Probably safe or live.

Joost-Pieter Katoen, Lei Song, Lijun Zhang

Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014

2013

Model checking conditional CSL for continuous-time Markov chains.

Yang Gao, Ming Xu, Naijun Zhan, Lijun Zhang

Inf. Process. Lett., 2013

A tighter bound for the self-stabilization time in Herman's algorithm.

Yuan Feng, Lijun Zhang

Inf. Process. Lett., 2013

Bisimulations Meet PCTL Equivalences for Probabilistic Automata

Lei Song, Lijun Zhang, Jens Chr. Godskesen

Log. Methods Comput. Sci., 2013

Polsat: A Portfolio LTL Satisfiability Solver.

Jianwen Li, Geguang Pu, Lijun Zhang, Yinbo Yao, Moshe Y. Vardi, Jifeng He

CoRR, 2013

Lazy Determinisation for Quantitative Model Checking.

Ernst Moritz Hahn, Guangyuan Li, Sven Schewe, Lijun Zhang

CoRR, 2013

LTL Satisfiability Checking Revisited.

Jianwen Li, Lijun Zhang, Geguang Pu, Moshe Y. Vardi, Jifeng He

Proceedings of the 2013 20th International Symposium on Temporal Representation and Reasoning, 2013

Model Repair for Markov Decision Processes.

Taolue Chen, Ernst Moritz Hahn, Tingting Han, Marta Z. Kwiatkowska, Hongyang Qu, Lijun Zhang

Proceedings of the Seventh International Symposium on Theoretical Aspects of Software Engineering, 2013

The Quest for Minimal Quotients for Probabilistic Automata.

Christian Eisentraut, Holger Hermanns, Johann Schuster, Andrea Turrini, Lijun Zhang

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

Revisiting Weak Simulation for Substochastic Markov Chains.

David N. Jansen, Lei Song, Lijun Zhang

Proceedings of the Quantitative Evaluation of Systems - 10th International Conference, 2013

Deciding Bisimilarities on Distributions.

Christian Eisentraut, Holger Hermanns, Julia Krämer, Andrea Turrini, Lijun Zhang

Proceedings of the Quantitative Evaluation of Systems - 10th International Conference, 2013

On the Relationship between LTL Normal Forms and Büchi Automata.

Jianwen Li, Geguang Pu, Lijun Zhang, Zheng Wang, Jifeng He, Kim Guldstrand Larsen

Proceedings of the Theories of Programming and Formal Methods, 2013

CCMC: A Conditional CSL Model Checker for Continuous-Time Markov Chains.

Yang Gao, Ernst Moritz Hahn, Naijun Zhan, Lijun Zhang

Proceedings of the Automated Technology for Verification and Analysis, 2013

A Semantics for Every GSPN.

Christian Eisentraut, Holger Hermanns, Joost-Pieter Katoen, Lijun Zhang

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2013

2012

Safety Verification for Probabilistic Hybrid Systems.

Lijun Zhang, Zhikun She, Stefan Ratschan, Holger Hermanns, Ernst Moritz Hahn

Eur. J. Control, 2012

Roadmap Document on Stochastic Analysis

Bo Friis Nielsen, Flemming Nielson, Henrik Pilegaard, Michael James Andrew Smith, Ender Yüksel, Kebin Zeng, Lijun Zhang

CoRR, 2012

On the Relationship between LTL Normal Forms and Buechi Automata

Jianwen Li, Geguang Pu, Lijun Zhang, Zheng Wang, Jifeng He, Kim G. Larsen

CoRR, 2012

The Branching Time Spectrum for Continuous-time MDPs

Lei Song, Lijun Zhang, Jens Chr. Godskesen

CoRR, 2012

Late Weak Bisimulation for Markov Automata

Lei Song, Lijun Zhang, Jens Chr. Godskesen

CoRR, 2012

A General Framework for Probabilistic Characterizing Formulae.

Joshua Sack, Lijun Zhang

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2012

Belief Bisimulation for Hidden Markov Models - Logical Characterisation and Decision Algorithm.

David N. Jansen, Flemming Nielson, Lijun Zhang

Proceedings of the NASA Formal Methods, 2012

2011

From Concurrency Models to Numbers - Performance and Dependability.

Holger Hermanns, Lijun Zhang

Proceedings of the Software and Systems Safety - Specification and Verification, 2011

Probabilistic reachability for parametric Markov models.

Ernst Moritz Hahn, Holger Hermanns, Lijun Zhang

Int. J. Softw. Tools Technol. Transf., 2011

Probabilistic Logical Characterization.

Holger Hermanns, Augusto Parma, Roberto Segala, Björn Wachter, Lijun Zhang

Inf. Comput., 2011

Automata-Based CSL Model Checking

Lijun Zhang, David N. Jansen, Flemming Nielson, Holger Hermanns

Log. Methods Comput. Sci., 2011

Game-based Abstraction and Controller Synthesis for Probabilistic Hybrid Systems.

Ernst Moritz Hahn, Gethin Norman, David Parker, Björn Wachter, Lijun Zhang

Proceedings of the Eighth International Conference on Quantitative Evaluation of Systems, 2011

Synthesis for PCTL in Parametric Markov Decision Processes.

Ernst Moritz Hahn, Tingting Han, Lijun Zhang

Proceedings of the NASA Formal Methods, 2011

On Stabilization in Herman's Algorithm.

Stefan Kiefer, Andrzej S. Murawski, Joël Ouaknine, James Worrell, Lijun Zhang

Proceedings of the Automata, Languages and Programming - 38th International Colloquium, 2011

Measurability and safety verification for stochastic hybrid systems.

Martin Fränzle, Ernst Moritz Hahn, Holger Hermanns, Nicolás Wolovick, Lijun Zhang

Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, 2011

Model Checking Algorithms for CTMDPs.

Peter Buchholz, Ernst Moritz Hahn, Holger Hermanns, Lijun Zhang

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2010

Efficient Approximation of Optimal Control for Markov Games

Markus N. Rabe, Sven Schewe, Lijun Zhang

CoRR, 2010

Best Probabilistic Transformers.

Björn Wachter, Lijun Zhang

Proceedings of the Verification, 2010

Model Checking Interactive Markov Chains.

Lijun Zhang, Martin R. Neuhäußer

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2010

PASS: Abstraction Refinement for Infinite Probabilistic Models.

Ernst Moritz Hahn, Holger Hermanns, Björn Wachter, Lijun Zhang

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2010

Time-Bounded Reachability in Distributed Input/Output Interactive Probabilistic Chains.

Georgel Calin, Pepijn Crouzen, Pedro R. D'Argenio, Ernst Moritz Hahn, Lijun Zhang

Proceedings of the Model Checking Software, 2010

Time-Bounded Reachability Probabilities in Continuous-Time Markov Decision Processes.

Martin R. Neuhäußer, Lijun Zhang

Proceedings of the QEST 2010, 2010

On Probabilistic Automata in Continuous Time.

Christian Eisentraut, Holger Hermanns, Lijun Zhang

Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, 2010

Concurrency and Composition in a Stochastic World.

Christian Eisentraut, Holger Hermanns, Lijun Zhang

Proceedings of the CONCUR 2010 - Concurrency Theory, 21th International Conference, 2010

PARAM: A Model Checker for Parametric Markov Models.

Ernst Moritz Hahn, Holger Hermanns, Björn Wachter, Lijun Zhang

Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

2009

Decision algorithms for probabilistic simulations.

Lijun Zhang

PhD thesis, 2009

Time-Bounded Model Checking of Infinite-State Continuous-Time Markov Chains.

Ernst Moritz Hahn, Holger Hermanns, Björn Wachter, Lijun Zhang

Fundam. Informaticae, 2009

FlowSim Simulation Benchmarking Platform.

Jonathan Bogdoll, Holger Hermanns, Lijun Zhang

Proceedings of the QEST 2009, 2009

INFAMY: An Infinite-State Markov Model Checker.

Ernst Moritz Hahn, Holger Hermanns, Björn Wachter, Lijun Zhang

Proceedings of the Computer Aided Verification, 21st International Conference, 2009

2008

Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations.

Lijun Zhang, Holger Hermanns, Friedrich Eisenbrand, David N. Jansen

Log. Methods Comput. Sci., 2008

An Experimental Evaluation of Probabilistic Simulation.

Jonathan Bogdoll, Holger Hermanns, Lijun Zhang

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2008

A Space-Efficient Probabilistic Simulation Algorithm.

Lijun Zhang

Proceedings of the CONCUR 2008 - Concurrency Theory, 19th International Conference, 2008

On the Minimisation of Acyclic Models.

Pepijn Crouzen, Holger Hermanns, Lijun Zhang

Proceedings of the CONCUR 2008 - Concurrency Theory, 19th International Conference, 2008

Probabilistic CEGAR.

Holger Hermanns, Björn Wachter, Lijun Zhang

Proceedings of the Computer Aided Verification, 20th International Conference, 2008

2007

Probabilistic Model Checking Modulo Theories.

Björn Wachter, Lijun Zhang, Holger Hermanns

Proceedings of the Fourth International Conference on the Quantitative Evaluaiton of Systems (QEST 2007), 2007

07101 Working Group Report -- Performance Measures Other Than Time.

Lucia Cloth, Pepijn Crouzen, Matthias Fruth, Tingting Han, David N. Jansen, Mark Kattenbelt, Gerard J. M. Smit, Lijun Zhang

Proceedings of the Quantitative Aspects of Embedded Systems, 04.03. - 09.03.2007, 2007

Deciding Simulations on Probabilistic Automata.

Lijun Zhang, Holger Hermanns

Proceedings of the Automated Technology for Verification and Analysis, 2007

2005

Logic and Model Checking for Hidden Markov Models.

Lijun Zhang, Holger Hermanns, David N. Jansen

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2005

Hardware Reliability.

Irene Eusgeld, Bernhard Fechner, Felix Salfner, Max Walter, Philipp Limbourg, Lijun Zhang

Proceedings of the Dependability Metrics: Advanced Lectures [result from a Dagstuhl seminar, October 30, 2005