HomeNewsCase StudiesPeoplePublications

VERIWARE - Publications

140 publications:

Book chapters

  • [BdAFK16] C. Baier, L. de Alfaro, V. Forejt, and M. Kwiatkowska. Probabilistic Model Checking. In Handbook of Model Checking, S​pringer. To appear. 2016. [pdf] [bib]
  • [KT14] M. Kwiatkowska and C. Thachuk. Probabilistic Model Checking for Biology. In Software Safety and Security, volume 36 of NATO Science for Peace and Security Series - D: Information and Communication Security, pages 165-189, IOS Press. 2014. [pdf] [bib]
  • [KP12] M. Kwiatkowska and D. Parker. Advances in Probabilistic Model Checking. In Software Safety and Security - Tools for Analysis and Verification, volume 33 of NATO Science for Peace and Security Series - D: Information and Communication Security, pages 126-151, IOS Press. June 2012. [pdf] [bib]
  • [FKNP11] V. Forejt, M. Kwiatkowska, G. Norman and D. Parker. Automated Verification Techniques for Probabilistic Systems. In M. Bernardo and V. Issarny (editors), Formal Methods for Eternal Networked Software Systems (SFM'11), volume 6659 of LNCS, pages 53-113, Springer. June 2011. [pdf] [bib]

Journal papers

Conference papers

Theses