Lijun Zhang

According to our database1, Lijun Zhang authored at least 78 papers between 2005 and 2018.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2018
Accelerating LTL satisfiability checking by SAT solvers.
J. Log. Comput., 2018

The quest for minimal quotients for probabilistic and Markov automata.
Inf. Comput., 2018

An explicit transition system construction approach to LTL satisfiability checking.
Formal Asp. Comput., 2018

Probabilistic bisimulation for realistic schedulers.
Acta Inf., 2018

Preface for the special issue for ATVA 2015.
Acta Inf., 2018

2017
A Compositional Modelling and Verification Framework for Stochastic Hybrid Systems.
Formal Asp. Comput., 2017

Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2017

On Equivalence Checking of Nondeterministic Finite Automata.
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2017

Distribution-Based Bisimulation for Labelled Markov Processes.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2017

Finding Polynomial Loop Invariants for Probabilistic Programs.
Proceedings of the Automated Technology for Verification and Analysis, 2017

2016
Multiphase until formulas over Markov reward models: An algebraic approach.
Theor. Comput. Sci., 2016

A space-efficient simulation algorithm on probabilistic automata.
Inf. Comput., 2016

An Efficient Synthesis Algorithm for Parametric Markov Chains Against Linear Time Properties.
Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2016

GPU-Accelerated Value Iteration for the Computation of Reachability Probabilities in MDPs.
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.
Proceedings of the Computer Aided Verification - 28th International Conference, 2016

2015
Extending Hybrid CSP with Probability and Stochasticity.
Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2015

A Comparative Study of BDD Packages for Probabilistic Symbolic Model Checking.
Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2015

A Simple Probabilistic Extension of Modal Mu-calculus.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

QPMC: A Model Checker for Quantum Programs and Protocols.
Proceedings of the FM 2015: Formal Methods, 2015

Probabilistic Bisimulation for Realistic Schedulers.
Proceedings of the FM 2015: Formal Methods, 2015

Lazy Probabilistic Model Checking without Determinisation.
Proceedings of the 26th International Conference on Concurrency Theory, 2015

Preference Planning for Markov Decision Processes.
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014
Model Checking CSL for Markov Population Models
Proceedings of the Proceedings Twelfth International Workshop on Quantitative Aspects of Programming Languages and Systems, 2014

Bisimulations and Logical Characterizations on Continuous-Time Markov Decision Processes.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2014

Aalta: an LTL satisfiability checker over Infinite/Finite traces.
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.
Proceedings of the FM 2014: Formal Methods, 2014

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

Probably safe or live.
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

A Nearly Optimal Upper Bound for the Self-Stabilization Time in Herman's Algorithm.
Proceedings of the CONCUR 2014 - Concurrency Theory - 25th International Conference, 2014

2013
Model checking conditional CSL for continuous-time Markov chains.
Inf. Process. Lett., 2013

Bisimulations Meet PCTL Equivalences for Probabilistic Automata
Logical Methods in Computer Science, 2013

LTL Satisfiability Checking Revisited.
Proceedings of the 2013 20th International Symposium on Temporal Representation and Reasoning, 2013

Model Repair for Markov Decision Processes.
Proceedings of the Seventh International Symposium on Theoretical Aspects of Software Engineering, 2013

The Quest for Minimal Quotients for Probabilistic Automata.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

Revisiting Weak Simulation for Substochastic Markov Chains.
Proceedings of the Quantitative Evaluation of Systems - 10th International Conference, 2013

Deciding Bisimilarities on Distributions.
Proceedings of the Quantitative Evaluation of Systems - 10th International Conference, 2013

On the Relationship between LTL Normal Forms and Büchi Automata.
Proceedings of the Theories of Programming and Formal Methods, 2013

CCMC: A Conditional CSL Model Checker for Continuous-Time Markov Chains.
Proceedings of the Automated Technology for Verification and Analysis, 2013

A Semantics for Every GSPN.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2013

Incremental Bisimulation Abstraction Refinement.
Proceedings of the 13th International Conference on Application of Concurrency to System Design, 2013

2012
A General Framework for Probabilistic Characterizing Formulae.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2012

Belief Bisimulation for Hidden Markov Models - Logical Characterisation and Decision Algorithm.
Proceedings of the NASA Formal Methods, 2012

2011
From Concurrency Models to Numbers - Performance and Dependability.
Proceedings of the Software and Systems Safety - Specification and Verification, 2011

Probabilistic Logical Characterization.
Inf. Comput., 2011

Automata-Based CSL Model Checking
Logical Methods in Computer Science, 2011

Game-based Abstraction and Controller Synthesis for Probabilistic Hybrid Systems.
Proceedings of the Eighth International Conference on Quantitative Evaluation of Systems, 2011

Synthesis for PCTL in Parametric Markov Decision Processes.
Proceedings of the NASA Formal Methods, 2011

Automata-Based CSL Model Checking.
Proceedings of the Automata, Languages and Programming - 38th International Colloquium, 2011

On Stabilization in Herman's Algorithm.
Proceedings of the Automata, Languages and Programming - 38th International Colloquium, 2011

Measurability and safety verification for stochastic hybrid systems.
Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, 2011

Efficient Approximation of Optimal Control for Continuous-Time Markov Games.
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2011

Bisimulations Meet PCTL Equivalences for Probabilistic Automata.
Proceedings of the CONCUR 2011 - Concurrency Theory - 22nd International Conference, 2011

Model Checking Algorithms for CTMDPs.
Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2010
Best Probabilistic Transformers.
Proceedings of the Verification, 2010

Model Checking Interactive Markov Chains.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2010

PASS: Abstraction Refinement for Infinite Probabilistic Models.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2010

Time-Bounded Reachability in Distributed Input/Output Interactive Probabilistic Chains.
Proceedings of the Model Checking Software, 2010

Time-Bounded Reachability Probabilities in Continuous-Time Markov Decision Processes.
Proceedings of the QEST 2010, 2010

On Probabilistic Automata in Continuous Time.
Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, 2010

Concurrency and Composition in a Stochastic World.
Proceedings of the CONCUR 2010 - Concurrency Theory, 21th International Conference, 2010

Safety Verification for Probabilistic Hybrid Systems.
Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

PARAM: A Model Checker for Parametric Markov Models.
Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

2009
Decision algorithms for probabilistic simulations.
PhD thesis, 2009

Time-Bounded Model Checking of Infinite-State Continuous-Time Markov Chains.
Fundam. Inform., 2009

Probabilistic Reachability for Parametric Markov Models.
Proceedings of the Model Checking Software, 2009

FlowSim Simulation Benchmarking Platform.
Proceedings of the QEST 2009, 2009

INFAMY: An Infinite-State Markov Model Checker.
Proceedings of the Computer Aided Verification, 21st International Conference, 2009

2008
An Experimental Evaluation of Probabilistic Simulation.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2008

A Space-Efficient Probabilistic Simulation Algorithm.
Proceedings of the CONCUR 2008 - Concurrency Theory, 19th International Conference, 2008

On the Minimisation of Acyclic Models.
Proceedings of the CONCUR 2008 - Concurrency Theory, 19th International Conference, 2008

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

Time-bounded model checking of infinite-state continuous-time Markov chains.
Proceedings of the 8th International Conference on Application of Concurrency to System Design (ACSD 2008), 2008

2007
Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007

Probabilistic Model Checking Modulo Theories.
Proceedings of the Fourth International Conference on the Quantitative Evaluaiton of Systems (QEST 2007), 2007

07101 Working Group Report -- Performance Measures Other Than Time.
Proceedings of the Quantitative Aspects of Embedded Systems, 04.03. - 09.03.2007, 2007

Deciding Simulations on Probabilistic Automata.
Proceedings of the Automated Technology for Verification and Analysis, 2007

2005
Logic and Model Checking for Hidden Markov Models.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2005

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


  Loading...