Eisentraut, Christian; Hermanns, Holger; Schuster, Johann; Turrini, Andrea; Zhang, Lijun The quest for minimal quotients for probabilistic and Markov automata. (English) Zbl 1400.68132 Inf. Comput. 262, Part 1, 162-186 (2018). MSC: 68Q85 68Q45 68Q60 68Q87 PDFBibTeX XMLCite \textit{C. Eisentraut} et al., Inf. Comput. 262, Part 1, 162--186 (2018; Zbl 1400.68132) Full Text: DOI
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
Eisentraut, Christian; Godskesen, Jens Chr.; Hermanns, Holger; Song, Lei; Zhang, Lijun Probabilistic bisimulation for realistic schedulers. (English) Zbl 1427.68193 Bjørner, Nikolaj (ed.) et al., FM 2015: formal methods. 20th international symposium, Oslo, Norway, June 24–26, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9109, 248-264 (2015). MSC: 68Q85 68Q45 68Q87 PDFBibTeX XMLCite \textit{C. Eisentraut} et al., Lect. Notes Comput. Sci. 9109, 248--264 (2015; Zbl 1427.68193) Full Text: DOI
Eisentraut, Christian; Hermanns, Holger; Krämer, Julia; Turrini, Andrea; Zhang, Lijun Deciding bisimilarities on distributions. (English) Zbl 1398.68364 Joshi, Kaustubh (ed.) et al., Quantitative evaluation of systems. 10th international conference, QEST 2013, Buenos Aires, Argentina, August 27–30, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-40195-4/pbk). Lecture Notes in Computer Science 8054, 72-88 (2013). MSC: 68Q85 68Q45 68Q87 PDFBibTeX XMLCite \textit{C. Eisentraut} et al., Lect. Notes Comput. Sci. 8054, 72--88 (2013; Zbl 1398.68364) Full Text: DOI
Eisentraut, Christian; Hermanns, Holger; Schuster, Johann; Turrini, Andrea; Zhang, Lijun The quest for minimal quotients for probabilistic automata. (English) Zbl 1381.68115 Piterman, Nir (ed.) et al., 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. Berlin: Springer (ISBN 978-3-642-36741-0/pbk). Lecture Notes in Computer Science 7795, 16-31 (2013). MSC: 68Q45 68Q85 68Q87 PDFBibTeX XMLCite \textit{C. Eisentraut} et al., Lect. Notes Comput. Sci. 7795, 16--31 (2013; Zbl 1381.68115) Full Text: DOI
Eisentraut, Christian; Hermanns, Holger; Katoen, Joost-Pieter; Zhang, Lijun A semantics for every GSPN. (English) Zbl 1381.68199 Colom, José-Manuel (ed.) et al., Application and theory of Petri nets and concurrency. 34th international conference, PETRI NETS 2013, Milan, Italy, June 24–28, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-38696-1/pbk). Lecture Notes in Computer Science 7927, 90-109 (2013). MSC: 68Q85 68Q55 68Q87 PDFBibTeX XMLCite \textit{C. Eisentraut} et al., Lect. Notes Comput. Sci. 7927, 90--109 (2013; Zbl 1381.68199) Full Text: DOI
Zhang, Lijun; She, Zhikun; Ratschan, Stefan; Hermanns, Holger; Hahn, Ernst Moritz Safety verification for probabilistic hybrid systems. (English) Zbl 1291.93294 Eur. J. Control 18, No. 6, 572-587 (2012). MSC: 93E03 93C30 PDFBibTeX XMLCite \textit{L. Zhang} et al., Eur. J. Control 18, No. 6, 572--587 (2012; Zbl 1291.93294) 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
Fränzle, Martin; Hahn, Ernst Moritz; Hermanns, Holger; Wolovick, Nicolás; Zhang, Lijun Measurability and safety verification for stochastic hybrid systems. (English) Zbl 1362.68170 Proceedings of the 14th ACM international conference on hybrid systems: computation and control, HSCC 2011, Chicago, IL, USA, April 12–14, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0629-4). 43-52 (2011). MSC: 68Q60 68Q45 PDFBibTeX XMLCite \textit{M. Fränzle} et al., in: Proceedings of the 14th ACM international conference on hybrid systems: computation and control, HSCC 2011, Chicago, IL, USA, April 12--14, 2011. New York, NY: Association for Computing Machinery (ACM). 43--52 (2011; Zbl 1362.68170) 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
Hermanns, Holger; Parma, Augusto; Segala, Roberto; Wachter, Björn; Zhang, Lijun Probabilistic logical characterization. (English) Zbl 1210.68072 Inf. Comput. 209, No. 2, 154-172 (2011). MSC: 68Q85 03B70 68Q45 PDFBibTeX XMLCite \textit{H. Hermanns} et al., Inf. Comput. 209, No. 2, 154--172 (2011; Zbl 1210.68072) Full Text: DOI
Eisentraut, Christian; Hermanns, Holger; Zhang, Lijun Concurrency and composition in a stochastic world. (English) Zbl 1287.68132 Gastin, Paul (ed.) et al., CONCUR 2010 – concurrency theory. 21st international conference, CONCUR 2010, Paris, France, August 31 – September 3, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15374-7/pbk). Lecture Notes in Computer Science 6269, 21-39 (2010). MSC: 68Q85 68Q45 68Q87 PDFBibTeX XMLCite \textit{C. Eisentraut} et al., Lect. Notes Comput. Sci. 6269, 21--39 (2010; Zbl 1287.68132) Full Text: DOI
Hahn, E. Moritz; Hermanns, Holger; Wachter, Björn; Zhang, Lijun Time-bounded model checking of infinite-state continuous-time Markov chains. (English) Zbl 1214.68213 Fundam. Inform. 95, No. 1, 129-155 (2009). MSC: 68Q60 PDFBibTeX XMLCite \textit{E. M. Hahn} et al., Fundam. Inform. 95, No. 1, 129--155 (2009; Zbl 1214.68213) 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
Crouzen, Pepijn; Hermanns, Holger; Zhang, Lijun On the minimisation of acyclic models. (English) Zbl 1160.68462 van Breugel, Franck (ed.) et al., CONCUR 2008 – concurrency theory. 19th international conference, CONCUR 2008, Toronto, Canada, August 19–22, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-85360-2/pbk). Lecture Notes in Computer Science 5201, 295-309 (2008). MSC: 68Q85 PDFBibTeX XMLCite \textit{P. Crouzen} et al., Lect. Notes Comput. Sci. 5201, 295--309 (2008; Zbl 1160.68462) Full Text: DOI
Hermanns, Holger; Wachter, Björn; Zhang, Lijun Probabilistic CEGAR. (English) Zbl 1155.68438 Gupta, Aarti (ed.) et al., Computer aided verification. 20th international conference, CAV 2008, Princeton, NJ, USA, July 7–14, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-70543-7/pbk). Lecture Notes in Computer Science 5123, 162-175 (2008). MSC: 68Q60 PDFBibTeX XMLCite \textit{H. Hermanns} et al., Lect. Notes Comput. Sci. 5123, 162--175 (2008; Zbl 1155.68438) Full Text: DOI
Zhang, Lijun; Hermanns, Holger Deciding simulations on probabilistic automata. (English) Zbl 1141.68443 Namjoshi, Kedar S. (ed.) et al., Automated technology for verification and analysis. 5th international symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-75595-1/pbk). Lecture Notes in Computer Science 4762, 207-222 (2007). MSC: 68Q45 68Q85 PDFBibTeX XMLCite \textit{L. Zhang} and \textit{H. Hermanns}, Lect. Notes Comput. Sci. 4762, 207--222 (2007; Zbl 1141.68443) 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