Publications

Below are the lists of papers, reports and talks from the COMPASS project ordered by year. Please click on the icon to download the respective file.

Publications

2010
DownloadFalko Dulat, Joost-Pieter Katoen, Viet Yen Nguyen. Model Checking Markov Chains using Krylov Subspace Methods: An Experience Report. Proceedings of 7th European Performance Engineering Workshop (EPEW 2010), Volume 6342 of LNCS, pages 115–130, Springer, 2010.

Talks