Project Publications

Sort by: date, type, title

6 publications:

[KPQU14] M. Kwiatkowska, D. Parker, H. Qu, and M. Ujma. On Incremental Quantitative Verification for Probabilistic Systems. In Proc. Andrei Voronkov and Margarita Korovina (editors), HOWARD-60: A Festschrift on the Occasion of Howard Barringer's 60th Birthday, pages 245-257, Easychair. February 2014. [pdf] [bib]

[GR12] S. Giro and M. Rabe. Verification of Partial-Information Probabilistic Systems using Counterexample-Guided Refinements. In Supratik Chakraborty and Madhavan Mukund (editors), Proc. 10th International Symposium on Automated Technology for Verification and Analysis (ATVA'12), volume 7561 of LNCS, pages 333-348, Springer. October 2012. [pdf] [bib]
[Gir12] S. Giro. Efficient Computation of Exact Solutions for Quantitative Model Checking. In Proc. 10th Workshop on Quantitative Aspects of Programming Languages (QAPL'12), volume 85 of EPTCS, pages 17-32. March 2012. [pdf] [bib]

[KNP11] M. Kwiatkowska, G. Norman and D. Parker. PRISM 4.0: Verification of Probabilistic Real-time Systems. In Proc. 23rd International Conference on Computer Aided Verification (CAV'11), volume 6806 of LNCS, pages 585-591, Springer. July 2011. [pdf] [bib]
[KPQ11] M. Kwiatkowska, D. Parker and H. Qu. Incremental Quantitative Verification for Markov Decision Processes. In Proc. IEEE/IFIP International Conference on Dependable Systems and Networks (DSN-PDS'11), pages 359-370, IEEE CS Press. June 2011. [pdf] [bib]

Sort by: date, type, title