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
Wang, Shuling; Zhan, Naijun; Zhang, Lijun A compositional modelling and verification framework for stochastic hybrid systems. (English) Zbl 1370.68220 Formal Asp. Comput. 29, No. 4, 751-775 (2017). MSC: 68Q85 68Q60 68Q87 93C30 93C83 PDFBibTeX XMLCite \textit{S. Wang} et al., Formal Asp. Comput. 29, No. 4, 751--775 (2017; Zbl 1370.68220) Full Text: DOI
Peng, Yu; Wang, Shuling; Zhan, Naijun; Zhang, Lijun Extending hybrid CSP with probability and stochasticity. (English) Zbl 1369.68264 Li, Xuandong (ed.) et al., Dependable software engineering: theories, tools, and applications. First international symposium, SETTA 2015, Nanjing, China, November 4–6, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-25941-3/pbk; 978-3-319-25942-0/ebook). Lecture Notes in Computer Science 9409, 87-102 (2015). MSC: 68Q85 68Q60 68Q87 93C30 93C83 PDFBibTeX XMLCite \textit{Y. Peng} et al., Lect. Notes Comput. Sci. 9409, 87--102 (2015; Zbl 1369.68264) Full Text: DOI arXiv
Gao, Yang; Hahn, Ernst Moritz; Zhan, Naijun; Zhang, Lijun CCMC: a conditional CSL model checker for continuous-time Markov chains. (English) Zbl 1410.68227 Hung, Dang Van (ed.) et al., Automated technology for verification and analysis. 11th international symposium, ATVA 2013, Hanoi, Vietnam, October 15–18, 2013. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8172, 464-468 (2013). MSC: 68Q60 68Q87 PDFBibTeX XMLCite \textit{Y. Gao} et al., Lect. Notes Comput. Sci. 8172, 464--468 (2013; Zbl 1410.68227) Full Text: DOI
Gao, Yang; Xu, Ming; Zhan, Naijun; Zhang, Lijun Model checking conditional CSL for continuous-time Markov chains. (English) Zbl 1259.68125 Inf. Process. Lett. 113, No. 1-2, 44-50 (2013). MSC: 68Q60 68Q87 60J27 03B48 PDFBibTeX XMLCite \textit{Y. Gao} et al., Inf. Process. Lett. 113, No. 1--2, 44--50 (2013; Zbl 1259.68125) Full Text: DOI Link