Publications

Export 6 results:
Sort by: [ Author (Asc)] Title Type Year
Filters: 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 
K
J. - P. Katoen, “Probabilistic Programming: {A} True Verification Challenge”, in Automated Technology for Verification and Analysis - 13th International Symposium, {ATVA} 2015, Shanghai, China, October 12-15, 2015, Proceedings, 2015.
J. - P. Katoen, “Model Checking Meets Probability: A Gentle Introduction”, in Engineering Dependable Software Systems, vol. 34, Amsterdam: , 2013, p. 177–205.
J. - P. Katoen, “Model Checking Gigantic Markov Models”, in 12th International Conference on Software Engineering and Formal Methods (SEFM), 2014.
J. - P. Katoen, “Concurrency Meets Probability: Theory and Practice - (Abstract)”, in CONCUR 2013 – Concurrency Theory, 2013, vol. 8052, p. 44-45.PDF icon concur_2013_katoen.pdf (103.79 KB)
J. - P. Katoen, L. Song, and L. Zhang, “Probably Safe or Live”, in Computer Science Logic and Logic in Computer Science (CSL-LICS), 2014.
J. - P. Katoen and D. Peled, “Taming Confusion for Modeling and Implementing Probabilistic Concurrent Systems”, in Programming Languages and Systems, ESOP 2013, 2013, vol. 7792, p. 411-430.