Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Matheja, Christoph Expected runtime analyis by program verification. (English) Zbl 07311046 Barthe, Gilles (ed.) et al., Foundations of probabilistic programming. Cambridge: Cambridge University Press. 185-220 (2021). MSC: 68N01 PDFBibTeX XMLCite \textit{B. L. Kaminski} et al., in: Foundations of probabilistic programming. Cambridge: Cambridge University Press. 185--220 (2021; Zbl 07311046) Full Text: DOI
Barthe, Gilles (ed.); Katoen, Joost-Pieter (ed.); Silva, Alexandra (ed.) Preface. (English) Zbl 07311040 Barthe, Gilles (ed.) et al., Foundations of probabilistic programming. Cambridge: Cambridge University Press. xi-xiv (2021). MSC: 68N01 PDFBibTeX XMLCite \textit{G. Barthe} (ed.) et al., in: Foundations of probabilistic programming. Cambridge: Cambridge University Press. xi-xiv (2021; Zbl 07311040) Full Text: DOI
Baier, Christel; Hensel, Christian; Hutschenreiter, Lisa; Junges, Sebastian; Katoen, Joost-Pieter; Klein, Joachim Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination. (English) Zbl 1443.68101 Inf. Comput. 272, Article ID 104504, 26 p. (2020). MSC: 68Q60 03B44 60J10 68Q25 68Q87 PDFBibTeX XMLCite \textit{C. Baier} et al., Inf. Comput. 272, Article ID 104504, 26 p. (2020; Zbl 1443.68101) Full Text: DOI arXiv
Chakraborty, Souymodip; Katoen, Joost-Pieter On the satisfiability of some simple probabilistic logics. (English) Zbl 1394.68169 Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5–8, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4391-6). 56-65 (2016). MSC: 68Q25 03B25 03B44 03B45 03B48 60J20 68Q17 68Q60 68Q87 PDFBibTeX XMLCite \textit{S. Chakraborty} and \textit{J.-P. Katoen}, in: Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5--8, 2016. New York, NY: Association for Computing Machinery (ACM). 56--65 (2016; Zbl 1394.68169) Full Text: DOI
Katoen, Joost-Pieter; Song, Lei; Zhang, Lijun Probably safe or live. (English) Zbl 1394.68231 Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14–18, 2014. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4503-2886-9). Paper No. 55, 10 p. (2014). MSC: 68Q60 03B44 68Q85 68Q87 PDFBibTeX XMLCite \textit{J.-P. Katoen} et al., in: Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14--18, 2014. Los Alamitos, CA: IEEE Computer Society. Paper No. 55, 10 p. (2014; Zbl 1394.68231) Full Text: DOI arXiv Link
Chakraborty, Souymodip; Katoen, Joost-Pieter Parametric LTL on Markov chains. (English) Zbl 1417.68099 Diaz, Josep (ed.) et al., Theoretical computer science. 8th IFIP TC 1/WG 2.2 international conference, TCS 2014, Rome, Italy, September 1–3, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8705, 207-221 (2014). MSC: 68Q60 03B44 68Q87 PDFBibTeX XMLCite \textit{S. Chakraborty} and \textit{J.-P. Katoen}, Lect. Notes Comput. Sci. 8705, 207--221 (2014; Zbl 1417.68099) Full Text: DOI arXiv
Sharma, Arpit; Katoen, Joost-Pieter Weighted lumpability on Markov chains. (English) Zbl 1336.68186 Clarke, Edmund (ed.) et al., Perspectives of systems informatics. 8th international Andrei Ershov memorial conference, PSI 2011, Novosibirsk, Russia, June 27 – July 1, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-29708-3/pbk). Lecture Notes in Computer Science 7162, 322-339 (2012). MSC: 68Q85 60J28 68Q45 68Q60 68Q87 PDFBibTeX XMLCite \textit{A. Sharma} and \textit{J.-P. Katoen}, Lect. Notes Comput. Sci. 7162, 322--339 (2012; Zbl 1336.68186) Full Text: DOI
Katoen, Joost-Pieter; Klink, Daniel; Leucker, Martin; Wolf, Verena Three-valued abstraction for probabilistic systems. (English) Zbl 1277.68219 J. Log. Algebr. Program. 81, No. 4, 356-389 (2012). MSC: 68Q87 68Q60 03B70 PDFBibTeX XMLCite \textit{J.-P. Katoen} et al., J. Log. Algebr. Program. 81, No. 4, 356--389 (2012; Zbl 1277.68219) Full Text: DOI
Katoen, Joost-Pieter; McIver, Annabelle K.; Meinicke, Larissa A.; Morgan, Carroll C. Linear-invariant generation for probabilistic programs: automated support for proof-based methods. (English) Zbl 1239.68020 Cousot, Radhia (ed.) et al., Static analysis. 17th international symposium, SAS 2010, Perpignan, France, September 14–16, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15768-4/pbk). Lecture Notes in Computer Science 6337, 390-406 (2010). MSC: 68N19 68Q60 68Q87 PDFBibTeX XMLCite \textit{J.-P. Katoen} et al., Lect. Notes Comput. Sci. 6337, 390--406 (2010; Zbl 1239.68020) Full Text: DOI
Baier, Christel; Haverkort, Boudewijn R.; Hermanns, Holger; Katoen, Joost-Pieter Reachability in continuous-time Markov reward decision processes. (English) Zbl 1222.68120 Flum, Jörg (ed.) et al., Logic and automata. History and perspectives. Dedicated to Wolfgang Thomas on the occasion of his sixtieth birthday. Amsterdam: Amsterdam University Press (ISBN 978-90-5356-576-6/pbk). Texts in Logic and Games 2, 53-71 (2008). Reviewer: Christel Baier (Dresden) MSC: 68Q87 68Q60 90C40 03B70 PDFBibTeX XMLCite \textit{C. Baier} et al., Texts Log. Games 2, 53--71 (2008; Zbl 1222.68120)
Baier, Christel; Hermanns, Holger; Katoen, Joost-Pieter; Wolf, Verena Bisimulation and simulation relations for Markov chains. (English) Zbl 1316.68085 Aceto, Luca (ed.) et al., Proceedings of the workshop “Essays on algebraic process calculi” (APC 25), Bertinoro, Italy, August 1–5, 2005. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 162, 73-78 (2006). MSC: 68Q85 60J20 68Q87 PDFBibTeX XMLCite \textit{C. Baier} et al., Electron. Notes Theor. Comput. Sci. 162, 73--78 (2006; Zbl 1316.68085) Full Text: DOI