Lijun Zhang
- 2013
- Published
A tighter bound for the self-stabilization time in Hermanʼs algorithm. / Feng, Yuan; Zhang, Lijun.
In: Information Processing Letters, Vol. 113, No. 13, 2013, p. 486-488.Publication: Research - peer-review › Journal article – Annual report year: 2013
- Published
Model checking conditional CSL for continuous-time Markov chains. / Gao, Yang; Xu, Ming; Zhan, Naijun; Zhang, Lijun.
In: Information Processing Letters, Vol. 113, No. 1-2, 2013, p. 44-50.Publication: Research - peer-review › Journal article – Annual report year: 2013
- Published
The Quest for Minimal Quotients for Probabilistic Automata. / Eisentraut, Christian; Hermanns, Holger; Schuster, Johann; Turrini, Andrea; Zhang, Lijun.
In: Tools and Algorithms for the Construction and Analysis of Systems: 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings. Springer, 2013. p. 16-31 (Lecture Notes in Computer Science, Vol. 7795).Publication: Research - peer-review › Article in proceedings – Annual report year: 2013
- 2012
- Published
A General Framework for Probabilistic Characterizing Formulae. / Sack, Joshua; Zhang, Lijun.
In: Verification, Model Checking, and Abstract Interpretation: 13th International Conference, VMCAI 2012 Philadelphia, PA, USA, January 22-24, 2012 Proceedings. Springer, 2012. p. 396-411 (Lecture Notes in Computer Science; No. 7148).Publication: Research - peer-review › Article in proceedings – Annual report year: 2012
- Published
Belief Bisimulation for Hidden Markov Models Logical Characterisation and Decision Algorithm. / Jansen, David N.; Nielson, Flemming; Zhang, Lijun.
In: NASA Formal Methods: 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings. Springer, 2012. p. 326-340 (Lecture Notes in Computer Science, Vol. 7226).Publication: Research - peer-review › Article in proceedings – Annual report year: 2012
- Published
Efficient CSL Model Checking Using Stratification. / Zhang, Lijun; Jansen, David N.; Nielson, Flemming; Hermanns, Holger.
In: Logical Methods in Computer Science, Vol. 8, No. 2, 2012, p. Paper 17.Publication: Research - peer-review › Journal article – Annual report year: 2012
- Published
Safety Verification for Probabilistic Hybrid Systems. / Zhang, Lijun; She, Zhikun; Ratschan, Stefan; Hermanns, Holger; Hahn, Ernst Moritz.
In: European Journal of Control, Vol. 18, No. 6, 2012, p. 572-587.Publication: Research - peer-review › Journal article – Annual report year: 2013
- 2011
- Published
Automata-Based CSL Model Checking. / Zhang, Lijun; Jansen, David N.; Nielson, Flemming; Hermanns, Holger.
In: Automata, Languages and Programming: 38th International Colloquium, ICALP 2011 - Zurich, Switzerland, July 4-8, 2011 - Proceedings, Part II. Springer, 2011. p. 271-282 (Lecture Notes in Computer Science; No. 6756).Publication: Research - peer-review › Article in proceedings – Annual report year: 2011
- Published
Bisimulations Meet PCTL Equivalences for Probabilistic Automata. / Song, Lei; Zhang, Lijun; Godskesen, Jens Chr.
In: CONCUR 2011 – Concurrency Theory: 22nd International Conference, CONCUR 2011 Aachen, Germany, September 6-9, 2011 Proceedings. Vol. 6901 Springer, 2011. p. 108-123 (Lecture Notes in Computer Science; No. 6901).Publication: Research - peer-review › Article in proceedings – Annual report year: 2011
- Published
Efficient Approximation of Optimal Control for Markov Games. / Fearnley, John; Rabe, Markus; Schewe, Sven; Zhang, Lijun.
In: Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science. 2011.Publication: Research - peer-review › Article in proceedings – Annual report year: 2011