Oxford logo

Project Publications

Predictable Software Systems

50 publications:





  • [CDK12] T. Chen, K. Draeger, S. Kiefer. Model Checking Stochastic Branching Processes. In B. Rovan, V. Sassone, P. Widmayer (editor), Proceedings 37th International Symposium on Mathematical Foundations of Computer Science (MFCS), volume 7464 of LNCS, pages 271-282, Springer. 2012. [pdf] [bib]
  • [CFK+12b] T. Chen, V. Forejt, M. Kwiatkowska, A. Simaitis, A. Trivedi and M. Ummels. Playing Stochastic Games Precisely. In Proc. 23rd International Conference on Concurrency Theory (CONCUR'12), volume 7454 of LNCS, pages 348-363, Springer. 2012. [pdf] [bib]
  • [DK12] K. Draeger and M. Kwiatkowska. Towards Communication-Based Steering of Complex Distributed Systems. In R. Calinescu and D. Garlan (editors), Development, Operation and Management of Large-Scale Complex IT Systems, volume 7539 of LNCS, Springer. 2012. [pdf] [bib]
  • [FKP12] V. Forejt, M. Kwiatkowska and D. Parker. Pareto Curves for Probabilistic Model Checking. In Proc. 10th International Symposium on Automated Technology for Verification and Analysis (ATVA'12), volume 7561 of LNCS, pages 317-332, Springer. 2012. [pdf] [bib]
  • [CKW12] C. Chilton, M. Kwiatkowska and X. Wang. Revisiting Timed Specification Theories: A Linear-Time Perspective. In M. Jurdzinski and D. Nickovic (editors), Proc. 10th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS'12), volume 7595 of LNCS, pages 75-90, Springer. September 2012. [pdf] [bib]
  • [FKP+12] V. Forejt, M. Kwiatkowska, D. Parker, H. Qu and M. Ujma. Incremental Runtime Verification of Probabilistic Systems. In S. Qadeer and S. Tasiran (editors), Proc. 3rd International Conference on Runtime Verification (RV'12), volume 7687 of LNCS, pages 314-319, Springer. September 2012. [pdf] [bib]
  • [KNP12b] M. Kwiatkowska, G. Norman and D. Parker. The PRISM Benchmark Suite. In Proc. 9th International Conference on Quantitative Evaluation of SysTems (QEST'12), pages 203-204, IEEE CS Press. September 2012. [pdf] [bib]
  • [CGKM12] R. Calinescu, C. Ghezzi, M. Kwiatkowska and R. Mirandola. Self-adaptive Software Needs Quantitative Verification at Runtime. Communications of the ACM, 55(9), pages 69-77, ACM. September 2012. [pdf] [bib]
  • [SCCKKKMP12] I. Sommerville, D. Cliff, R. Calinescu, J. Keen, T. Kelly, M. Kwiatkowska, J. McDermid and R. Paige. Large-Scale Complex IT Systems. Communications of the ACM, 55(7), pages 71-77. July 2012. [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]
  • [CFK+12] T. Chen, V. Forejt, M. Kwiatkowska, D. Parker and A. Simaitis. Automatic Verification of Competitive Stochastic Systems. In Proc. 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'12), volume 7214 of LNCS, pages 315-330, Springer. March 2012. [pdf] [bib]