Li, Yongjian; Duan, Kaiqiang; Jansen, David N.; Pang, Jun; Zhang, Lijun; Lv, Yi; Cai, Shaowei An automatic proving approach to parameterized verification. (English) Zbl 1407.68295 ACM Trans. Comput. Log. 19, No. 4, Article No. 27, 25 p. (2018). MSC: 68Q60 68T15 PDFBibTeX XMLCite \textit{Y. Li} et al., ACM Trans. Comput. Log. 19, No. 4, Article No. 27, 25 p. (2018; Zbl 1407.68295) Full Text: DOI Link
Zhang, Lijun; Yang, Pengfei; Song, Lei; Hermanns, Holger; Eisentraut, Christian; Jansen, David N.; Godskesen, Jens Chr. Probabilistic bisimulation for realistic schedulers. (English) Zbl 1398.68374 Acta Inf. 55, No. 6, 461-488 (2018). MSC: 68Q85 68Q45 68Q87 PDFBibTeX XMLCite \textit{L. Zhang} et al., Acta Inf. 55, No. 6, 461--488 (2018; Zbl 1398.68374) Full Text: DOI
Fu, Chen; Deng, Yuxin; Jansen, David N.; Zhang, Lijun On equivalence checking of nondeterministic finite automata. (English) Zbl 1498.68136 Larsen, Kim G. (ed.) et al., Dependable software engineering. Theories, tools, and applications. Third international symposium, SETTA 2017, Changsha, China, October 23–25, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10606, 216-231 (2017). MSC: 68Q45 PDFBibTeX XMLCite \textit{C. Fu} et al., Lect. Notes Comput. Sci. 10606, 216--231 (2017; Zbl 1498.68136) Full Text: DOI
Feng, Yijun; Zhang, Lijun; Jansen, David N.; Zhan, Naijun; Xia, Bican Finding polynomial loop invariants for probabilistic programs. (English) Zbl 1495.68042 D’Souza, Deepak (ed.) et al., Automated technology for verification and analysis. 15th international symposium, ATVA 2017, Pune, India, October 3–6, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10482, 400-416 (2017). MSC: 68N30 68Q60 PDFBibTeX XMLCite \textit{Y. Feng} et al., Lect. Notes Comput. Sci. 10482, 400--416 (2017; Zbl 1495.68042) Full Text: DOI arXiv
Yang, Pengfei; Jansen, David N.; Zhang, Lijun Distribution-based bisimulation for labelled Markov processes. (English) Zbl 1494.68184 Abate, Alessandro (ed.) et al., Formal modeling and analysis of timed systems. 15th international conference, FORMATS 2017, Berlin, Germany, September 5–7, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10419, 170-186 (2017). MSC: 68Q85 68Q87 PDFBibTeX XMLCite \textit{P. Yang} et al., Lect. Notes Comput. Sci. 10419, 170--186 (2017; Zbl 1494.68184) Full Text: DOI arXiv
Zhang, Lijun; Jansen, David N. A space-efficient simulation algorithm on probabilistic automata. (English) Zbl 1345.68219 Inf. Comput. 249, 138-159 (2016). MSC: 68Q45 68Q25 68Q85 PDFBibTeX XMLCite \textit{L. Zhang} and \textit{D. N. Jansen}, Inf. Comput. 249, 138--159 (2016; Zbl 1345.68219) Full Text: DOI
Xu, Ming; Zhang, Lijun; Jansen, David N.; Zhu, Huibiao; Yang, Zongyuan Multiphase until formulas over Markov reward models: an algebraic approach. (English) Zbl 1332.68143 Theor. Comput. Sci. 611, 116-135 (2016). MSC: 68Q60 68Q87 PDFBibTeX XMLCite \textit{M. Xu} et al., Theor. Comput. Sci. 611, 116--135 (2016; Zbl 1332.68143) Full Text: DOI
Zhang, Lijun; Jansen, David N.; Nielson, Flemming; Hermanns, Holger Efficient CSL model checking using stratification. (English) Zbl 1348.68152 Log. Methods Comput. Sci. 8, No. 2, Paper No. 17, 18 p. (2012). MSC: 68Q60 68Q87 68W25 PDFBibTeX XMLCite \textit{L. Zhang} et al., Log. Methods Comput. Sci. 8, No. 2, Paper No. 17, 18 p. (2012; Zbl 1348.68152) Full Text: DOI
Zhang, Lijun; Jansen, David N.; Nielson, Flemming; Hermanns, Holger Automata-based CSL model checking. (English) Zbl 1334.68135 Aceto, Luca (ed.) et al., Automata, languages and programming. 38th international colloquium, ICALP 2011, Zurich, Switzerland, July 4–8, 2011. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-22011-1/pbk). Lecture Notes in Computer Science 6756, 271-282 (2011). MSC: 68Q60 03B44 68Q45 68W25 PDFBibTeX XMLCite \textit{L. Zhang} et al., Lect. Notes Comput. Sci. 6756, 271--282 (2011; Zbl 1334.68135) Full Text: DOI
Zhang, Lijun; Hermanns, Holger; Eisenbrand, Friedrich; Jansen, David N. Flow faster: efficient decision algorithms for probabilistic simulations. (English) Zbl 1161.68473 Log. Methods Comput. Sci. 4, No. 4, Paper 6, 43 p. (2008). MSC: 68Q10 60J10 60J27 PDFBibTeX XMLCite \textit{L. Zhang} et al., Log. Methods Comput. Sci. 4, No. 4, Paper 6, 43 p. (2008; Zbl 1161.68473) Full Text: DOI
Zhang, Lijun; Hermanns, Holger; Eisenbrand, Friedrich; Jansen, David N. Flow faster: Efficient decision algorithms for probabilistic simulations. (English) Zbl 1186.68326 Grumberg, Orna (ed.) et al., Tools and algorithms for the construction and analysis of systems. 13th international conference, TACAS 2007, held as part of the joint European conferences on theory and practice of software, ETAPS 2007, Braga, Portugal, March 24 – April 1, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-71208-4/pbk). Lecture Notes in Computer Science 4424, 155-169 (2007). MSC: 68Q87 PDFBibTeX XMLCite \textit{L. Zhang} et al., Lect. Notes Comput. Sci. 4424, 155--169 (2007; Zbl 1186.68326) Full Text: DOI
Zhang, Lijun; Hermanns, Holger; Jansen, David N. Logic and model checking for hidden Markov models. (English) Zbl 1169.68524 Wang, Farn (ed.), Formal techniques for networked and distributed systems – FORTE 2005. 25th IFIP WG 6.1 international conference, Taipei, Taiwan, October 2–5, 2005. Proceedings. Berlin: Springer (ISBN 3-540-29189-X/pbk). Lecture Notes in Computer Science 3731, 98-112 (2005). MSC: 68Q60 PDFBibTeX XMLCite \textit{L. Zhang} et al., Lect. Notes Comput. Sci. 3731, 98--112 (2005; Zbl 1169.68524) Full Text: DOI