Project Publications

Predictable Software Systems

Sort by: date, type, title

50 publications:

[KNP10c] M. Kwiatkowska, G. Norman and D. Parker. Advances and Challenges of Probabilistic Model Checking. In Proc. 48th Annual Allerton Conference on Communication, Control and Computing, pages 1691-1698, IEEE Press. Invited paper. October 2010. [pdf] [bib]
[KNP10b] M. Kwiatkowska, G. Norman and D. Parker. A Framework for Verification of Software with Time and Probabilities. In Proc. 8th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'10), volume 6246 of LNCS, pages 25-45, Springer. September 2010. [pdf] [bib]
[Chi13] C. Chilton. An Algebraic Theory of Componentised Interaction. Ph.D. thesis, Department of Computer Science, University of Oxford. 2013. [pdf] [bib]
[FKP11] L. Feng, M. Kwiatkowska and D. Parker. Automated Learning of Probabilistic Assumptions for Compositional Reasoning. In Proc. 14th International Conference on Fundamental Approaches to Software Engineering (FASE'11), volume 6603 of LNCS, pages 2-17, Springer. Invited paper. March 2011. [pdf] [bib]
[CFK+13b] T. Chen, V. Forejt, M. Kwiatkowska, D. Parker and A. Simaitis. Automatic Verification of Competitive Stochastic Systems. Formal Methods in System Design, pages 43(1), pages 61-92, Springer. February 2013. [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]
[JT08] M. Jurdzinski and A. Trivedi. Average-Time Games. In Foundations of Software Technology and Theoretical Computer Science, volume 2 of LIPIcs, pages 340-351, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik. 2008. [bib] http://drops.dagstuhl.de/opus/volltexte/2008/1765/
[CK09b] R. Calinescu and M. Kwiatkowska. CADS*: Computer-Aided Development of Self-* Systems. In Marsha Chechik and Martin Wirsing (editors), Fundamental Approaches to Software Engineering (FASE 2009), volume 5503 of Lecture Notes in Computer Science, pages 421-424, Springer-Verlag. March 2009. [pdf] [bib]
[KNPQ13] M. Kwiatkowska, G. Norman, D. Parker and H. Qu. Compositional Probabilistic Verification through Multi-Objective Model Checking. Information and Computation, 232, pages 38-65, Elsevier. November 2013. [pdf] [bib]
[FKP10] L. Feng, M. Kwiatkowska and D. Parker. Compositional Verification of Probabilistic Systems Using Learning. In Proc. 7th International Conference on Quantitative Evaluation of Systems (QEST'10), pages 133-142, IEEE CS Press. September 2010. [pdf] [bib]
[JKNT09] M. Jurdzinski, M. Kwiatkowska, G. Norman and A. Trivedi. Concavely-Priced Probabilistic Timed Automata. In M. Bravetti and G. Zavattaro (editors), Proc. 20th Int. Conf. Concurrency Theory (CONCUR'09), volume 5710 of LNCS, pages 415-430, Springer. September 2009. [pdf] [bib]
[CGKMT11] R. Calinescu, L. Grunske, M. Kwiatkowska, R. Mirandola and G. Tamburrelli. Dynamic QoS Management and Optimisation in Service-Based Systems. IEEE Transactions on Software Engineering, 37(3), pages 387-409. May 2011. [bib]
[KKMCK09] Z. Kurd, T. Kelly, J. McDermid, R. Calinescu and M. Kwiatkowska. Establishing a Framework for Dynamic Risk Management in 'Intelligent' Aero-Engine Control. In Bettina Buth, Gerd Rabe and Till Seyfarth (editors), Proceedings of the 28th International Conference on Computer Safety, Reliability and Security (SAFECOMP'09), volume 5775 of Lecture Notes in Computer Science, pages 326-341, Springer. September 2009. [bib] http://www.springerlink.com/content/e7m722j50mr45333/?p=788c48d314174662bad973ff9a59f5ff&pi=25
[KKMCK09b] Z. Kurd, T. Kelly, J. McDermid, R. Calinescu, and M. Kwiatkowska. Establishing a Framework for Dynamic Risk Management in ‘Intelligent’ Aero-Engine Control. In B. Buth, G. Rabe, and T. Seyfarth (editors), Computer Safety, Reliability, and Security, volume 5775 of LNCS, pages 326-341, Springer. 2009. [bib] http://dx.doi.org/10.1007/978-3-642-04468-7_26
[FKNT16] V. Forejt, M. Kwiatkowska, G. Norman, A. Trivedi. Expected Reachability-Time Games. Theoretical Computer Science, Elsevier. To appear. 2016. [pdf] [bib]
[FKNT10a] V. Forejt, M. Kwiatkowska, G. Norman and A. Trivedi. Expected Reachability-Time Games. In K. Chatterjee and T. Henzinger (editors), Proeedings of 8th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'10), volume 6246 of LNCS, pages 122--136, Springer. September 2010. [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]
[Ubi08] M. Kwiatkowska, T. Rodden and V. Sassone (editors), From computers to ubiquitous computing by 2020. Volume 366 of Philosophical Transactions of the Royal Society A. Royal Society. Discussion Meeting Issue. November 2008. [bib] http://journals.royalsociety.org/content/m830841k852j/?p=58520deabd3548f487106ddb70f7ee93&pi=0
[Cal08] R. Calinescu. Implementation of a Generic Autonomic Framework. In D. Greenwood et al. (editor), Proc. 4th International Conference on Autonomic and Autonomous Systems (ICAS 2008), pages 124-129, IEEE CS Press. March 2008. [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]
[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]
[Kwi08] M. Kwiatkowska. Introduction. Philosophical Transactions of the Royal Society A, 366(1881), pages 3665-3668. Discussion Meeting Issue 'From computers to ubiquitous computing, by 2020'. November 2008. [bib] http://journals.royalsociety.org/content/n14829004k702421/?p=30526c4aa640484bb395293860f05535&pi=0
[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]
[FHKP11] L. Feng, T. Han, M. Kwiatkowska and D. Parker. Learning-based Compositional Verification for Synchronous Probabilistic Systems. In Proc. 9th International Symposium on Automated Technology for Verification and Analysis (ATVA'11), volume 6996 of LNCS, pages 511-521, Springer. October 2011. [pdf] [bib]
[DKPQ14] K. Draeger, M. Kwiatkowska, D. Parker, and H. Qu. Local Abstraction Refinement for Probabilistic Timed Programs. Theoretical Computer Science, 538, pages 37–53, Elsevier. 2014. [pdf] [bib]
[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]
[CHH+13] T. Chen, E. M. Hahn, T. Han, M. Kwiatkowska, H. Qu, and L. Zhang. Model Repair for Markov Decision Processes. In Proc. 7th International Symposium on Theoretical Aspects of Software Engineering (TASE), pages 85-92, IEEE CS Press. July 2013. [pdf] [bib]
[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]
[Fen13] L. Feng. On Learning Assumptions for Compositional Verification of Probabilistic Systems. Ph.D. thesis, University of Oxford. October 2013. [pdf] [bib]
[Kwi09] M. Kwiatkowska. On Quantitative Software Verification. In C. Pasareanu (editor), Proc. 16th International SPIN Workshop, volume 5578 of LNCS, pages 2-3, Springer. Invited contribution. June 2009. [pdf] [bib]
[CFK+13c] T. Chen, V. Forejt, M. Kwiatkowska, A. Simaitis and C. Wiltsche. On Stochastic Games with Multiple Objectives. In Krishnendu Chatterjee and Jiri Sgall (editors), Proc. 38th International Symposium on Mathematical Foundations of Computer Science (MFCS'13), volume 8087 of Lecture Notes in Computer Science, pages 266-277, Springer. 2013. [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]
[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]
[CFK+13] T. Chen, V. Forejt, M. Kwiatkowska, D. Parker and A. Simaitis. PRISM-games: A Model Checker for Stochastic Multi-Player Games. In Proc. 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'13), volume 7795 of LNCS, pages 185-191, Springer. 2013. [pdf] [bib]
[KNP09a] M. Kwiatkowska, G. Norman and D. Parker. PRISM: Probabilistic Model Checking for Performance and Reliability Analysis. ACM SIGMETRICS Performance Evaluation Review, 36(4), pages 40-45, ACM. March 2009. [pdf] [bib]
[Kwi07] M. Kwiatkowska. Quantitative Verification: Models, Techniques and Tools. In Proc. 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE), pages 449-458, ACM Press. September 2007. [pdf] [bib]
[TW10a] A. Trivedi and D. Wojtczak. Recursive Timed Automata. In A. Boujjani and W-N Chin (editors), Proc. of 8th International Symposium on Automated Technology for Verification and Analysis (ATVA'10), volume 6252 of LNCS, pages 306-324, Springer. 2010. [pdf] [bib]
[Cal09] R. Calinescu. Resource-Definition Policies for Autonomic Computing. In Proc. 5th International Conference on Autonomic and Autonomous Systems (ICAS'09), pages 111-116, IEEE Computer Society Press. April 2009. [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]
[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]
[CK10] R. Calinescu and M. Kwiatkowska. Software Engineering Techniques for the Development of Systems of Systems. In Christine Choppy and Oleg Sokolsky (editors), Foundations of Computer Software. Future Trends and Techniques for Development. Proceedings of the 15th Monterey Workshop, volume 6028 of LNCS, pages 59-82, Springer. September 2010. [bib] http://www.springerlink.com/content/6334127431456134/
[CK08] R. Calinescu and M. Kwiatkowska. Software Engineering Techniques for the Development of Systems of Systems. In Proc. 15th Monterey Workshop on Foundations of Computer Software, pages 86--93. September 2008. [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]
[KPS13] M. Kwiatkowska, D. Parker and A. Simaitis. Strategic Analysis of Trust Models for User-Centric Networks. In Proc. 1st International Workshop on Strategic Reasoning (SR'13), volume 112 of EPTCS, pages 53-60. March 2013. [pdf] [bib]
[CKSW13] T. Chen, M. Kwiatkowska, A. Simaitis and C. Wiltsche. Synthesis for Multi-Objective Stochastic Games: An Application to Autonomous Urban Driving. In Proc. 10th International Conference on Quantitative Evaluation of SysTems (QEST 2013), pages 322-337, IEEE CS Press. 2013. [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]
[TW10b] A. Trivedi and D. Wojtczak. Timed Branching Processes. In Proc. of 7th International Conference on Quantitative Evaluation of SysTems (QEST'10), IEEE Computer Society. 2010. [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]
[CK09] R. Calinescu and M. Kwiatkowska. Using Quantitative Analysis to Implement Autonomic IT Systems. In Proc. 31st International Conference on Software Engineering (ICSE'09), pages 100-110, IEEE Press. May 2009. [pdf] [bib]
[ZCH+08] T. Zang, R. Calinescu, S. Harris, A. Tsui, M. Kwiatkowska, J. Gibbons, J. Davies, P. Maccallum and C. Caldas. WSRF-Based Modeling of Clinical Trial Information for Collaborative Cancer Research. In Proc. 8th IEEE International Symposium on Cluster Computing and the Grid (CCGRID'08), IEEE. May 2008. [pdf] [bib]

Sort by: date, type, title