Publications

Export 7 results:
Sort by: Author [ Title (Asc)] Type Year
Filters: First Letter Of Title is M and Author is Joost-Pieter Katoen  [Clear All Filters]
A B C D E F G H I J K L [M] N O P Q R S T U V W X Y Z   [Show ALL]
M
R. Wimmer, N. Jansen, E. Ábrahám, J. - P. Katoen, and B. Becker, “Minimal counterexamples for linear-time probabilistic verification”, Theoretical Computer Science, vol. 549, p. 61 - 100, 2014.
C. Baier, E. M. Hahn, B. R. Haverkort, H. Hermanns, and J. - P. Katoen, “Model checking for performability”, Mathematical Structures in Computer Science, vol. 23, p. 751–795, 2013.
J. - P. Katoen, “Model Checking Gigantic Markov Models”, in 12th International Conference on Software Engineering and Formal Methods (SEFM), 2014.
J. - P. Katoen, “Model Checking Meets Probability: A Gentle Introduction”, in Engineering Dependable Software Systems, vol. 34, Amsterdam: , 2013, p. 177–205.
S. Chakraborty, M. Strelec, J. - P. Katoen, and F. Sher, “Modelling and Statistical Model Checking of a Microgrid”, in Workshop on Statistical Model Checking (SMC), 2013.
S. Chakraborty, J. - P. Katoen, F. Sher, and M. Strelec, “Modelling and statistical model checking of a microgrid”, {STTT}, vol. 17, p. 537–554, 2015.
D. Guck, H. Hatefi, H. Hermanns, J. - P. Katoen, and M. Timmer, “Modelling, Reduction and Analysis of Markov Automata”, in Quantitative Evaluation of Systems, QEST 2013, 2013, vol. 8054, p. 55-71.