Marta Kwiatkowska's Publications

Sort by: date, type, title

387 publications:

Books and edited volumes

[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
[Qes07] J. Hillston, M. Harchol-Balter, M. Kwiatkowska and M. Telek (editors), Proc. 4th International Conference on Quantitative Evaluation of Systems (QEST'07). IEEE CS Press. September 2007. [bib]
[KNP04a] J. Rutten, M. Kwiatkowska, G. Norman and D. Parker. Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems. Volume 23 of CRM Monograph Series. American Mathematical Society. P. Panangaden and F. van Breugel (eds.). March 2004. [bib]
[Pro98] C. Baier and M. Huth and M. Kwiatkowska and M. Ryan (editors), PROBMIV'98, First International Workshop on Probabilistic Methods in Verification. Volume 22 of Electronic Notes in Theoretical Computer Science. Elsevier. 1999. [bib]
[Com98] A. Edalat and A. Jung and K. Keimel and M. Kwiatkowska (editors), Comprox III, Third Workshop on Computation and Approximation. Volume 13 of Electronic Notes in Theoretical Computer Science. Elsevier. 1998. [bib]
[KST90] M. Kwiatkowska and M. Shields and R. Thomas (editors), Semantics for Concurrency. Springer-Verlag. 1990. [bib]

Book chapters

[Calinescu2017] R. Calinescu, M. Autili, J. Camara, A. Di Marco, S. Gerasimou, P. Inverardi, A. Perucci, N. Jansen, J.-P. Katoen, M. Kwiatkowska, O. J. Mengshoel, R. Spalazzese and M. Tivoli. Synthesis and Verification of Self-aware Computing Systems. In S. Kounev, J. O. Kephart, A. Milenkoski and X. Zhu (editors), Self-Aware Computing Systems, pages 337-373, Springer International Publishing. 2017. [pdf] [bib]
[BdAFK16] C. Baier, L. de Alfaro, V. Forejt, and M. Kwiatkowska. Probabilistic Model Checking. In Handbook of Model Checking, Springer. 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]
[DKN+13] M. Duflot, M. Kwiatkowska, G. Norman, D. Parker, S. Peyronnet, C. Picaronny and J. Sproston. Practical Applications of Probabilistic Model Checking to Communication Protocols. In S. Gnesi and T. Margaria (editors), Formal Methods for Industrial Critical Systems: A Survey of Applications, IEEE Computer Society Press. 2013. [pdf]
[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]
[KNP10a] M. Kwiatkowska, G. Norman and D. Parker. Probabilistic Model Checking for Systems Biology. In M. Sriram Iyengar (editor), Symbolic Systems Biology, pages 31-59, Jones and Bartlett. May 2010. [pdf] [bib]
[KNP09b] M. Kwiatkowska, G. Norman and D. Parker. Quantitative Verification Techniques for Biological Processes. In A. Condon, D. Harel, J. Kok, A. Salomaa and E. Winfree (editors), Algorithmic Bioprocesses, pages 391-409, Springer. August 2009. [pdf] [bib]
[KNPS08] M. Kwiatkowska, G. Norman, D. Parker and J. Sproston. Verification of Real-Time Probabilistic Systems. In S. Merz and N. Navet (editors), Modeling and Verification of Real-Time Systems: Formalisms and Software Tools, pages 249-288, John Wiley & Sons. January 2008. [pdf] [bib] http://www.iste.co.uk/index.php?p=a&ACTION=View&id=195
[KNP07a] M. Kwiatkowska, G. Norman and D. Parker. Stochastic Model Checking. In M. Bernardo and J. Hillston (editors), Formal Methods for the Design of Computer, Communication and Software Systems: Performance Evaluation (SFM'07), volume 4486 of Lecture Notes in Computer Science (Tutorial Volume), pages 220-270, Springer. June 2007. [pdf] [bib]

Journal papers

[WLP+24] Matthew Wicker, Luca Laurenti, Andrea Patane, Nicola Paoletti, Alessandro Abate, Marta Kwiatkowska.. Probabilistic Reach-Avoid for Bayesian Neural Networks. Artificial Intelligence. To appear in Artificial Intelligence. 2024. [pdf] [bib] https://arxiv.org/abs/2310.01951
[YSN+24c] Rui Yan, Gabriel Santos, Gethin Norman, David Parker and Marta Kwiatkowska. Strategy Synthesis for Zero-sum Neuro-symbolic Concurrent Stochastic Games. Information and Computation. To appear. 2024. [pdf] [bib]
[SYP+24] Shili Sheng, Pian Yu, David Parker, Marta Kwiatkowska, Lu Feng. Safe POMDP Online Planning among Dynamic Agents via Adaptive Conformal Prediction. IEEE Robotics and Automation Letters (RA-L), 11(9), pages 9946-9953. 2024. [pdf] [bib]
[GPL+22] Shadi Ghiasi, Andrea Patane, Luca Laurenti, Claudio Gentili, Enzo Pasquale Scilingo, Alberto Greco and Marta Kwiatkowska. Physiologically-Informed Gaussian Processes for Interpretable Modelling of Psycho-Physiological States. EEE Journal of Biomedical and Health Informatics (J-BHI). 2022. [pdf] [bib]
[PBL+22] Andrea Patane, Arno Blaas, Luca Laurenti, Luca Cardelli, Stephen Roberts and Marta Kwiatkowska. Adversarial Robustness Guarantees for Gaussian Processes. Journal of Machine Learning Research, 23, pages 1-55. 2022. [pdf] [bib]
[KNP22] Marta Kwiatkowska, Gethin Norman and David Parker. Probabilistic Model Checking and Autonomy. Annual Review of Control, Robotics, and Autonomous Systems, 5, Annual Reviews, 5, pages 385-410. May 2022. [pdf] [bib]
[CKL21] Luca Cardelli, Marta Kwiatkowska and Luca Laurenti. A Language for Modeling And Optimizing Experimental Biological Protocols. Computation, MDPI. October 2021. [pdf] [bib]
[GKK+21] Pascale Gourdeau, Varun Kanade, Marta Kwiatkowska and James Worrell. On the Hardness of Robust Classification. Journal of Machine Learning Research (JMLR), 22(273), pages 1-29. October 2021. [pdf] [bib]
[AGH+21] Alessandro Abate, Julian Gutierrez, Lewis Hammond, Paul Harrenstein, Marta Kwiatkowska, Muhammad Najib, Giuseppe Perelli, Thomas Steeples and Michael Wooldridge. Rational verification: game-theoretic verification of multi-agent systems. Applied Intelligence, Springer. August 2021. [pdf] [bib]
[AACK21] Alessandro Abate, Roman Andriushchenko, MilanCeska and Marta Kwiatkowska. Adaptive Formal Approximations of Markov Chains. Performance Evaluation, Elsevier. April 2021. [pdf] [bib]
[KNPS21] Marta Kwiatkowska, Gethin Norman, David Parker and Gabriel Santos. Automated Verification of Concurrent Stochastic Systems. Formal Methods in System Design, Springer. January 2021. [pdf] [bib]
[MWL+20] Rhiannon Michelmore, Matthew Wicker, Luca Laurenti, Luca Cardelli, Yarin Gal, Marta Kwiatkowska. Uncertainty Quantification with Statistical Guarantees in End-to-End Autonomous Driving Control. International Conference on Robotics and Automation (ICRA'20), IEEE. 2020. [pdf] [bib]
[LLA+20] Luca Laurenti, Morteza Lahijanian, Alessandro Abate, Luca Cardelli, and Marta Kwiatkowska. Formal and Efficient Synthesis for Continuous-Time Linear Stochastic Hybrid Processes. IEEE Transactions on Automatic Control, IEEE. February 2020. [pdf] [bib] https://doi.org/10.1109/TAC.2020.2975028
[BCKL19] Luca Bortolussi, Luca Cardelli, Marta Kwiatkowska and Luca Laurenti. Central Limit Model Checking. ACM Transactions on Computational Logic (TOCL), 20(4), pages 1-35, ACM New York, NY, USA. 2019. [pdf] [bib] https://doi.org/10.1145/3331452
[HKO19] Xiaowei Huang, Marta Kwiatkowska, Maciej Olejnik. Reasoning about Cognitive Trust in Stochastic Multiagent Systems. ACM Transactions on Computational Logic. 2019. [pdf] [bib]
[WWR+19] Min Wu, Matthew Wicker, Wenjie Ruan, Xiaowei Huang and Marta Kwiatkowska. A Game-Based Approximate Verification of Deep Neural Networks with Provable Guarantees. Theoretical Computer Science. 2019. [pdf] [bib]
[PPK18] N. Paoletti, A. Patane and M. Kwiatkowska. Closed-loop quantitative verification of rate-adaptive pacemakers. ACM Transactions on Cyber-Physical Systems. 2018. [pdf] [bib]
[CCG+18] R. Calinescu, M. Ceska, S. Gerasimou, M. Kwiatkowska, and N. Paoletti. Efficient Synthesis of Robust Models for Stochastic Systems. Journal of Systems and Software , Elsevier. 2018. [pdf] [bib]
[LSM+18] M. Lahijanian, M. Svorenova, A. Morye, B. Yeomans, D. Rao, I. Posner, P. Newman, H. Kress-Gazit, and M. Kwiatkowska. Resource-Performance Trade-off Analysis for Mobile Robots. IEEE Robotics and Automation Letters , IEEE. 2018. [pdf] [bib]
[LKC+18] L. Laurenti, M. Kwiatkowska, A. Czikasz-Nagy, L. Cardelli. Molecular Filters for Noise Reduction. Biophysical Journal, Elsevier. 2018. [pdf] [bib]
[DPA+18] Colombo Desiree and Azucena Garcia Palacios and Javier Fernandez Alvarez and Andrea Patane and Michelle Semonella and Pietro Cipresso and Marta Kwiatkowska and Giuseppe Riva and Cristina Botella. Current State and Future Directions of Technology- based Ecological Momentary Assessments and Interventions for Major Depressive Disorder: Protocol for a Systematic Review. Systematic Reviews, 7(1), BioMed Central. December 2018. [pdf] [bib]
[KPW17] M. Kwiatkowska, D. Parker and C. Wiltsche. PRISM-games: Verification and Strategy Synthesis for Stochastic Multi-player Games with Multiple Objectives. International Journal on Software Tools for Technology Transfer, Springer. To appear. 2017. [pdf] [bib]
[JK17] A. Jovanovic and M. Kwiatkowska. Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions. Theoretical Computer Science. To appear. 2017. [pdf] [bib]
[BKW17] N. Basset, M. Kwiatkowska and C. Wiltsche. Compositional Strategy Synthesis for Stochastic Games with Multiple Objectives. Information and Computation. To appear. 2017. [pdf] [bib]
[CKW17] L. Cardelli, M. Kwiatkowska and M. Whitby. Chemical Reaction Network Designs for Asynchronous Logic Circuits. Natural Computing. To appear. 2017. [pdf] [bib]
[CKL17] L. Cardelli, M. Kwiatkowska and L. Laurenti. Programming discrete distributions with chemical reaction networks. Natural Computing. To appear. 2017. [pdf] [bib]
[JKNP17] A. Jovanovic, M. Kwiatkowska, G. Norman and Q. Peyras. Symbolic Optimal Expected Time Reachability Computation and Controller Synthesis for Probabilistic Timed Automata. Theoretical Computer Science, 669, pages 1-21, Elsevier. March 2017. [pdf] [bib]
[CKL16c] L. Cardelli, M. Kwiatkowska, L. Laurenti. Stochastic Analysis of Chemical Reaction Networks Using Linear Noise Approximation. BioSystems, Elsevier. 2016. [pdf] [bib]
[FKNT16] V. Forejt, M. Kwiatkowska, G. Norman, A. Trivedi. Expected Reachability-Time Games. Theoretical Computer Science, Elsevier. To appear. 2016. [pdf] [bib]
[CDP+16] M. Ceska, F. Dannenberg, N. Paoletti, M. Kwiatkowska and L. Brim. Precise Parameter Synthesis for Stochastic Biochemical Systems. Acta Informatica, Springer. To appear. 2016. [pdf] [bib]
[SK16] M. Svorenova and M. Kwiatkowska. Quantitative Verification and Strategy Synthesis for Stochastic Games. European Journal of Control, 30, pages 15-30, Elsevier. July 2016. [pdf] [bib]
[DDB+15] F. Dannenberg, K. Dunn, J. Bath, M. Kwiatkowska, A. Turberfield, and T. Ouldridge. Modelling DNA Origami Self-Assembly at the Domain Level. Journal of Chemical Physics, 143(16). 2015. [bib] http://arxiv.org/abs/1509.03066
[DKTT15] F. Dannenberg, M. Kwiatkowska, C. Thachuk and A. J.Turberfield. DNA walker circuits: Computational potential, design, and verification. Natural Computing, 14(2), pages 195-211, Springer. 2015. [pdf] [bib]
[DDO+15] K. Dunn, F. Dannenberg, T. Ouldridge, M, Kwiatkowska, A. Turberfield, J. Bath. Guiding the folding pathway of DNA origami. Nature, 525, pages 82–86, Nature Publishing Group. September 2015. [bib] http://dx.doi.org/10.1038/nature14860
[HFM+15] Z. Huang, C. Fan, A. Mereacre, S. Mitra, M. Kwiatkowska. Simulation-based Verification of Cardiac Pacemakers with Guaranteed Coverage. Design Test, IEEE, 32(5), pages 27 - 34, IEEE. June 2015. [bib] http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=7130608
[DFK+15] K. Draeger, V. Forejt, M. Kwiatkowska, D. Parker, M. Ujma. Permissive Controller Synthesis for Probabilistic Systems. Logical Methods in Computer Science, 11(2:16)2015, pages 1-34. June 2015. [pdf] [bib]
[CJK14] C. Chilton, B. Jonsson and M. Kwiatkowska. Compositional Assume-Guarantee Reasoning for Input/Output Component Theories. Science of Computer Programming, 91, Part A, pages 115-137, Elsevier. 2014. [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]
[CDKM13c] T. Chen, M. Diciolla, M. Kwiatkowska and A. Mereacre. Quantitative Verification of Implantable Cardiac Pacemakers over Hybrid Heart Models. Information and Computation, 236, pages pages 87-101, Elsevier. August 2014. [pdf] [bib]
[CJK14b] C. Chilton, B. Jonsson and M. Kwiatkowska. An Algebraic Theory of Interface Automata. Theoretical Computer Science, 549, pages 146-174, Elsevier. 2014. [pdf] [bib]
[CHK13] T. Chen, T. Han, M. Kwiatkowska. On the Complexity of Model Checking Interval-valued Discrete Time Markov Chains. Information Processing Letters, 113(7), pages 210-216, Elsevier. 2013. [pdf] [bib]
[CDKM13] T. Chen, M. Diciolla, M. Kwiatkowska and A. Mereacre. A Simulink Hybrid Heart Model for Quantitative Verification of Cardiac Pacemakers. In Proc. 16th International Conference on Hybrid Systems: Computation and Control (HSCC 2013), pages 131-136, ACM. 2013. [pdf] [bib]
[Kwi13] M. Kwiatkowska. From Software Verification to 'Everyware' Verification. Computer Science - Research and Development, 28(4), pages 295-310, Springer. November 2013. [pdf] [bib]
[CDKM13b] T. Chen, M. Diciolla, M. Kwiatkowska and A. Mereacre. Verification of Linear Duration Properties over Continuous Time Markov Chains. Transactions on Computational Logic, 14(4), pages 1-35, ACM. Article 33. November 2013. [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]
[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]
[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]
[KNP12a] M. Kwiatkowska, G. Norman and D. Parker. Probabilistic Verification of Herman’s Self-Stabilisation Algorithm. Formal Aspects of Computing, 24(4), pages 661-670, Springer. July 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]
[LPC+12] M. Lakin, D. Parker, L. Cardelli, M. Kwiatkowska and A. Phillips. Design and Analysis of DNA Strand Displacement Devices using Probabilistic Model Checking. Journal of the Royal Society Interface, 9(72), pages 1470-1485. July 2012. [pdf] [bib]
[JKNP12] J. Júlvez, M. Kwiatkowska, G. Norman and D. Parker. Evaluation of Sustained Stochastic Oscillations by Means of a System of Differential Equations. International Journal of Computers and Applications (IJCA), 19(2), pages 101-111, ISCA. June 2012. [pdf] [bib]
[BK11] D. Bucur and M. Kwiatkowska. On Software Verification for Sensor Nodes. Journal of Software and Systems, 84(10), pages 1693-1707, Elsevier. October 2011. [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]
[KKNP10] M. Kattenbelt, M. Kwiatkowska, G. Norman and D. Parker. A Game-based Abstraction-Refinement Framework for Markov Decision Processes. Formal Methods in System Design, 36(3), pages 246-280, Springer. September 2010. [pdf] [bib]
[LKC10] Z. Liu, M. Kwiatkowska and C. Constantinou. A Biologically Inspired QoS Routing Algorithm for Mobile Ad Hoc Networks. International Journal of Wireless and Mobile Computing, 4(2), pages 64-75. June 2010. [bib]
[KH09b] M. Kwiatkowska and J. Heath. Biological pathways as communicating computer systems. Journal of Cell Science, 122(16), pages 2793-2800. August 2009. [bib] http://jcs.biologists.org/cgi/content/abstract/122/16/2793
[KNPV09] M. Kwiatkowska, G. Norman, D. Parker and M.G. Vigliotti. Probabilistic Mobile Ambients. Theoretical Computer Science, 410(12-13), pages 1272-1303, Elsevier. March 2009. [ps.gz] [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]
[EKVY08] K. Etessami, M. Kwiatkowska, M. Vardi and M. Yannakakis. Multi-Objective Model Checking of Markov Decision Processes. Logical Methods in Computer Science, 4(4), pages 1-21. 2008. [pdf] [bib] http://www.lmcs-online.org/ojs/viewarticle.php?id=364&layout=abstract
[KNP08d] M. Kwiatkowska, G. Norman and D. Parker. Analysis of a Gossip Protocol in PRISM. ACM SIGMETRICS Performance Evaluation Review, 36(3), pages 17-22. December 2008. [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
[GHK08] E. Gaffney, J. Heath and M. Kwiatkowska. A Mass Action Model of a Fibroblast Growth Factor Signaling Pathway and Its Simplification. Bulletin of Mathematical Biology, 70(8), pages 2229-2263. November 2008. [bib] http://www.springerlink.com/content/p66j111082836074/
[KNP08a] M. Kwiatkowska, G. Norman and D. Parker. Using Probabilistic Model Checking in Systems Biology. ACM SIGMETRICS Performance Evaluation Review, 35(4), pages 14-21, Association for Computing Machinery. March 2008. [ps.gz] [pdf] [bib]
[HKN+08] J. Heath, M. Kwiatkowska, G. Norman, D. Parker and O. Tymchyshyn. Probabilistic Model Checking of Complex Biological Pathways. Theoretical Computer Science (Special Issue on Converging Sciences: Informatics and Biology), 391(3), pages 239-257, Elsevier. February 2008. [ps.gz] [pdf] [bib]
[WK07] X. Wang and M. Kwiatkowska. On process-algebraic verification of asynchronous circuits. Fundamenta Informaticae, 80(1-3), pages 283-310. 2007. [pdf] [bib]
[KNP07b] M. Kwiatkowska, G. Norman and D. Parker. Controller Dependability Analysis By Probabilistic Model Checking. Control Engineering Practice, 15(11), pages 1427-1434, Elsevier. November 2007. [ps.gz] [pdf] [bib]
[KNSW07] M. Kwiatkowska, G. Norman, J. Sproston and F. Wang. Symbolic Model Checking for Probabilistic Timed Automata. Information and Computation, 205(7), pages 1027-1077. July 2007. [ps.gz] [pdf] [bib]
[DKNP06] M. Duflot, M. Kwiatkowska, G. Norman and D. Parker. A Formal Analysis of Bluetooth Device Discovery. International Journal on Software Tools for Technology Transfer (STTT), 8(6), pages 621 - 632, Springer-Verlag. November 2006. [ps.gz] [pdf] [bib]
[KNPS06] M. Kwiatkowska, G. Norman, D. Parker and J. Sproston. Performance Analysis of Probabilistic Timed Automata using Digital Clocks. Formal Methods in System Design, 29, pages 33-78, Springer. August 2006. [ps.gz] [pdf] [bib]
[YKNP06] H. Younes, M. Kwiatkowska, G. Norman and D. Parker. Numerical vs. Statistical Probabilistic Model Checking. International Journal on Software Tools for Technology Transfer (STTT), 8(3), pages 216-228, Springer. June 2006. [ps.gz] [pdf] [bib]
[KNP06e] M. Kwiatkowska, G. Norman and A. Pacheco. Model Checking Expected Time and Expected Reward Formulae with Random Time Bounds. Computers & Mathematics with Applications, 51(2), pages 305-316, Elsevier. January 2006. [ps.gz] [pdf] [bib]
[LKC06] Z. Liu, M. Kwiatkowska and C. Constantinou. A Biologically Inspired QoS Routing Algorithm for Mobile Ad Hoc Networks. International Journal of Wireless and Mobile Computing. 2006. [ps.gz] [pdf] [bib]
[NPKS05] G. Norman, D. Parker, M. Kwiatkowska and S. Shukla. Evaluating the Reliability of NAND Multiplexing with PRISM. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 24(10), pages 1629-1637. October 2005. [ps.gz] [pdf] [bib]
[NPK+05] G. Norman, D. Parker, M. Kwiatkowska, S. Shukla and R. Gupta. Using Probabilistic Model Checking for Dynamic Power Management. Formal Aspects of Computing, 17(2), pages 160-176, Springer-Verlag. August 2005. [ps.gz] [pdf] [bib]
[CK05] S. Cattani and M. Kwiatkowska. A Refinement-based Process Algebra for Timed Automata. Formal Aspects of Computing, 17(2), pages 138-159, Springer. August 2005. [ps.gz] [pdf] [bib]
[KNP05d] M. Kwiatkowska, G. Norman and D. Parker. Quantitative Analysis with the Probabilistic Model Checker PRISM. Electronic Notes in Theoretical Computer Science, 153(2), pages 5-31, Elsevier. May 2005. [ps.gz] [pdf] [bib]
[KNP05b] M. Kwiatkowska, G. Norman and D. Parker. Probabilistic Model Checking in Practice: Case Studies with PRISM. ACM SIGMETRICS Performance Evaluation Review, 32(4), pages 16-21. March 2005. [ps.gz] [pdf] [bib]
[LKC05c] Z. Liu, M. Kwiatkowska and C. Constantinou. A Self-Organised Emergent Routing Mechanism for Mobile Ad Hoc Networks. European Transactions on Telecommunications, 16(5), pages 457-470, Wiley InterScience. 2005. [bib] http://www3.interscience.wiley.com/journal/112093849/abstract?CRETRY=1&SRETRY=0
[KNP04b] M. Kwiatkowska, G. Norman and D. Parker. Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach. International Journal on Software Tools for Technology Transfer (STTT), 6(2), pages 128-142. September 2004. [ps.gz] [pdf] [bib]
[DKN04] C. Daws, M. Kwiatkowska and G. Norman. Automatic Verification of the IEEE 1394 Root Contention Protocol with KRONOS and PRISM. International Journal on Software Tools for Technology Transfer (STTT), 5(2), pages 221-236. March 2004. [ps.gz] [pdf] [bib]
[HKN+03] H. Hermanns, M. Kwiatkowska, G. Norman, D. Parker and M. Siegle. On the use of MTBDDs for Performability Analysis and Verification of Stochastic Systems. Journal of Logic and Algebraic Programming: Special Issue on Probabilistic Techniques for the Design and Analysis of Systems, 56, pages 23-67, Elsevier. June 2003. [ps.gz] [pdf] [bib]
[KNS03b] M. Kwiatkowska, G. Norman and J. Sproston. Probabilistic Model Checking of Deadline Properties in the IEEE1394 FireWire Root Contention Protocol. Formal Aspects of Computing, 14(3), pages 295-318. April 2003. [ps.gz] [pdf] [bib]
[KNSS02] M. Kwiatkowska, G. Norman, R. Segala and J. Sproston. Automatic Verification of Real-time Systems with Discrete Probability Distributions. Theoretical Computer Science, 282, pages 101-150. June 2002. [ps.gz] [pdf] [bib]
[BK00b] C. Baier and M. Kwiatkowska. On topological hierarchies of temporal properties. Fundamenta Informaticae, 41(3), pages 259-294. 2000. [ps.gz] [bib]
[BK00] C. Baier and M. Kwiatkowska. Domain Equations for Probabilistic Processes. Mathematical Structures in Computer Science, 10(6), pages 665-717. 2000. [ps.gz] [bib]
[BK98b] C. Baier and M. Kwiatkowska. On the Verification of Quantitative properties of Probabilistic Processes under Fairness Constraints. Information Processing Letters, 66(2), pages 71-79. 1998. [ps.gz] [bib]
[BK98] C. Baier and M. Kwiatkowska. Model Checking for a Probabilistic Branching Time Logic with Fairness. Distributed Computing, 11(3), pages 125-155. 1998. [ps.gz] [bib]
[AKM95] S. Ambler, M. Kwiatkowska and N. Measor. Duality and the completeness of the modal mu-calculus. Theoretical Computer Science, 151, pages 3-27. 1995. [ps.gz] [bib]
[Kwi90a] M. Kwiatkowska. A Metric for Traces. Information Processing Letters, 35(3), pages 129-135. 1990. [pdf] [bib]
[Kwi89] M. Kwiatkowska. Event Fairness and Non-interleaving Concurrency. Formal Aspects of Computing, 1(3), pages 213-228. 1989. [bib] http://www.springerlink.com/content/u267467650l36258/
[Kwi89a] M.Z. Kwiatkowska. Survey of fairness notions. Information and Software Technology , 31(7), pages 371 - 386. 1989. [bib] http://www.sciencedirect.com/science/article/pii/0950584989901596

Conference papers

[YSN+24] Rui Yan, Gabriel Santos, Gethin Norman, David Parker and Marta Kwiatkowska. HSVI-based Online Minimax Strategies for Partially Observable Stochastic Games with Neural Perception Mechanisms. In Proc. Learning for Dynamics and Control Conference (L4DC'24), volume 242 of Proceedings of Machine Learning Research, pages 80-91. 2024. [pdf] [bib]
[YSN+24b] Rui Yan, Gabriel Santos, Gethin Norman, David Parker, Marta Kwiatkowska. Partially Observable Stochastic Games with Neural Perception Mechanisms. In Proc. 26th International Symposium on Formal Methods (FM'24), Springer. To appear. 2024. [pdf] [bib]
[SSQK24] Daqian Shao, Ashkan Soleymani, Francesco Quinzan, Marta Kwiatkowska. Learning Decision Policies with Instrumental Variables through Double Machine Learning. In Proc. 41st International Conference on Machine Learning (ICML 2024). 2024. [pdf] [bib] https://arxiv.org/abs/2405.08498
[YZD+24] Pian Yu, Shufang Zhu, Giuseppe De Giacomo, Marta Kwiatkowska and Moshe Vardi. The Trembling-Hand Problem for LTLf Planning. In To appear in 33rd International Joint Conference on Artificial Intelligence (IJCAI 2024). 2024. [pdf] [bib] https://doi.org/10.48550/arXiv.2404.16163
[YDS+24] Pian Yu, Shuyang Dong, Shili Sheng, Lu Feng, Marta Kwiatkowska. Trust-Aware Motion Planning for Human-Robot Collaboration under Distribution Temporal Logic Specifications. In Proc. IEEE International Conference on Robotics and Automation (ICRA'24). 2024. [pdf] [bib] https://arxiv.org/abs/2310.01163
[ZWK24] Xiyue Zhang, Benjie Wang, Marta Kwiatkowska. Provable preimage under-approximation for neural networks. In To appear in Proc. 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2024), Springer. 2024. [pdf] [bib]
[Kwi24] Marta Kwiatkowska. Strategy Synthesis for Partially Observable Stochastic Games with Neural Perception Mechanisms. In 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024). 2024. [pdf] [bib] https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2024.5
[CWZS24] Jialuo Chen, Jingyi Wang, Xiyue Zhang, Youcheng Sun, Marta Kwiatkowska, Jiming Chen, Peng Cheng. FAST: Boosting Uncertainty-based Test Prioritization Methods for Neural Networks via Feature Selection. In 39th IEEE/ACM International Conference on Automated Software Engineering (ASE 2024). To appear. 2024. [pdf] [bib] https://arxiv.org/abs/2409.09130
[LKF24] Tobias Lorenz, Marta Kwiatkowska, Mario Fritz . FullCert: Deterministic End-to-End Certification for Training and Inference of Neural Networks. In The German Conference on Pattern Recognition (GCPR), Springer Nature. To appear. 2024. [pdf] [bib]
[KZH+24] Matthias König, Xiyue Zhang, Holger H. Hoos, Marta Kwiatkowska, Jan N. van Rijn. Automated Design of Linear Bounding Functions for Sigmoidal Nonlinearities in Neural Networks. In Proc. at (ECML-PKDD 2024) European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases. 2024. [pdf] [bib] https://arxiv.org/abs/2406.10154
[KNPS24] Marta Kwiatkowska, Gethin Norman, David Parker and Gabriel Santos. Expectation vs. Reality: Towards Verification of Psychological Games. In In Principles of Verification: Cycling the Probabilistic Landscape,, pages 166–191, Springer. 2024. [pdf] [bib]
[WPL+24] Matthew Wicker, Andrea Patane, Luca Laurenti, Marta Kwiatkowska. Adversarial Robustness Certification for Bayesian Neural Networks. In In Proc. 26th International Symposium on Formal Methods (FM'24 invited paper), Springer. To appear. 2024. [pdf] [bib] https://arxiv.org/abs/2306.13614
[LKF23] Tobias Lorenz, Marta Kwiatkowska and Mario Fritz. Certifiers Make Neural Networks Vulnerable to Availability Attacks. In 16th ACM Workshop on Artificial Intelligence and Security (AISec 2023). To appear. 2023. [pdf] [bib]
[KZ23] Marta Kwiatkowska, Xiyue Zhang. When to Trust AI: Advances and Challenges for Certification of Neural Networks. In Proceedings of the 18th Conference on Computer Science and Intelligence Systems (FedCSIS 2023). To appear. 2023. [pdf] [bib]
[Kwi23] Marta Kwiatkowska. Robust Decision Pipelines: Opportunities and Challenges for AI in Business Process Modelling. In BPM 2023 Forum, Utrecht, The Netherlands, A Springer Nature Computer Science book series. To appear. 2023. [pdf] [bib]
[SK23] Daqian Shao, Marta Kwiatkowska. Sample Efficient Model-free Reinforcement Learning from LTL Specifications with Optimality Guarantees. In Proc. 32nd International Joint Conference on Artificial Intelligence (IJCAI'23). 2023. [pdf] [bib]
[WK23] Benjie Wang and Marta Kwiatkowska. Compositional Probabilistic and Causal Inference using Tractable Circuit Models. In Proc. 26th International Conference on Artificial Intelligence and Statistics (AISTATS). 2023. [pdf] [bib]
[Kwi22] Marta Kwiatkowska. Robustness Guarantees for Bayesian Neural Networks. In Proc. 19th International Conference on Quantitative Evaluation of SysTems (QEST 2022). 2022. [pdf] [bib]
[WK22] Benjie Wang and Marta Kwiatkowska. Symbolic Causal Inference via Operations on Probabilistic Circuits. In NeurIPS Workshop on Neuro Causal and Symbolic AI (nCSI'22). 2022. [pdf] [bib]
[KNPS22b] Marta Kwiatkowska, Gethin Norman, David Parker and Gabriel Santos. Symbolic Verification and Strategy Synthesis for Turn-based Stochastic Games. In Principles of Systems Design: Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday, volume 13660 of LNCS, Springer. 2022. [pdf] [bib]
[WWK22c] Benjie Wang and Matthew Wicker and Marta Kwiatkowska. Tractable Uncertainty for Structure Learning. In 5th Workshop on Tractable Probabilistic Modelling (TPM). This paper was accepted for ICML 2022. 2022. [pdf] [bib]
[KNP+22] Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos and Rui Yan. Probabilistic Model Checking for Strategic Equilibria-based Decision Making: Advances and Challenges. In Proc. 47th International Symposium on Mathematical Foundations of Computer Science (MFCS'22). August 2022. [pdf] [bib]
[YSD+22] Rui Yan, Gabriel Santos, Xiaoming Duan, David Parker and Marta Kwiatkowska. Finite-horizon Equilibria for Neuro-symbolic Concurrent Stochastic Games. In Proc. 38th Conference on Uncertainty in Artificial Intelligence (UAI'22), AUAI Press. August 2022. [pdf] [bib]
[LRD+22] Clare Lyle, Mark Rowland, Will Dabney, Marta Kwiatkowska and Yarin Gal. Learning Dynamics and Generalization in Reinforcement Learning. In Proc. 39th International Conference on Machine Learning (ICML'22). To appear. July 2022. [pdf] [bib]
[GKKW22] Pascale Gourdeau, Varun Kanade, Marta Kwiatkowska and James Worrell. Sample Complexity Bounds for Robustly Learning Decision Lists against Evasion Attacks. In Proc. 31st International Joint Conference on Artificial Intelligence (IJCAI'22). To appear. July 2022. [pdf] [bib]
[WWK22] Hjalmar Wijk, Benjie Wang and Marta Kwiatkowska. Robustness Guarantees for Credal Bayesian Networks via Constraint Relaxation over Probabilistic Circuits. In Proc. 31st International Joint Conference on Artificial Intelligence (IJCAI'22). To appear. July 2022. [pdf] [bib]
[BPW+22] Elias Benussi, Andrea Patane, Matthew Wicker, Luca Laurenti and Marta Kwiatkowska. Individual Fairness Guarantees for Neural Networks. In Proc. 31st International Joint Conference on Artificial Intelligence (IJCAI'22). To appear. July 2022. [pdf] [bib]
[WWK22b] Benjie Wang, Matthew Wicker and Marta Kwiatkowska. Tractable Uncertainty for Structure Learning. In Proc. 39th International Conference on Machine Learning (ICML'22). To appear. July 2022. [pdf] [bib]
[KNPS22] Marta Kwiatkowska, Gethin Norman, David Parker and Gabriel Santos. Correlated Equilibria and Fairness in Concurrent Stochastic Games. In Proc. 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'22), volume 13244 of LNCS, pages 60–78, Springer. April 2022. [pdf] [bib]
[LK22] Emanuele La Malfa and Marta Kwiatkowska. The King is Naked: on the Notion of Robustness for Natural Language Processing. In Proc. 36th AAAI Conference on Artificial Intelligence (AAAI'22). To appear. March 2022. [pdf] [bib]
[GKKW22b] Pascale Gourdeau, Varun Kanade, Marta Kwiatkowska, James Worrell. When are Local Queries Useful for Robust Learning?. In Proc. 36th Conference on Neural Information Processing Systems (NeurIPS'22). 2022. [pdf] [bib]
[LZM+21] Emanuele La Malfa, Agnieszka Zbrzezny, Rhiannon Michelmore, Nicola Paoletti and Marta Kwiatkowska. On Guaranteed Optimal Robust Explanations for NLP Models. In 30th International Joint Conference on Artificial Intelligence (IJCAI'21). August 2021. [pdf] [bib]
[WLK21] Benjie Wang, Clare Lyle and Marta Kwiatkowska. Provable Guarantees on the Robustness of Decision Rules to Causal Interventions. In 30th International Joint Conference on Artificial Intelligence (IJCAI'21). August 2021. [pdf] [bib]
[WLP+21a] Matthew Wicker, Luca Laurenti, Andrea Patane, Nicola Paoletti, Alessandro Abate and Marta Kwiatkowska. Certification of Iterative Predictions in Bayesian Neural Networks. In 37th Conference on Uncertainty in Artificial Intelligence (UAI'21). May 2021. [pdf] [bib]
[WLP+21] Matthew Wicker, Luca Laurenti, Andrea Patane, Zhuotong Chen, Zheng Zhang and Marta Kwiatkowska. Bayesian Inference with Certifiable Adversarial Robustness. In International Conference on Artificial Intelligence and Statistics (AISTATS'21), PMLR. April 2021. [pdf] [bib]
[PLP+20] Kyriakos Polymenakos, Luca Laurenti, Andrea Patane, Jan-Peter Calliess, Luca Cardelli, Marta Kwiatkowska, Alessandro Abate and Stephen Roberts. Safety Guarantees for Iterative Predictions with Gaussian Processes. In 59th Conference on Decision and Control (CDC'20), IEEE. December 2020. [pdf] [bib]
[LWL+20] Emanuele La Malfa, Min Wu, Luca Laurenti, Benjie Wang, Anthony Hartshorn and Marta Kwiatkowska. Assessing Robustness of Text Classification through Maximal Safe Radius Computation. In Conference on Empirical Methods in Natural Language Processing (EMNLP'20), ACL. November 2020. [pdf] [bib]
[Kwi20] Marta Kwiatkowska. Safety and Robustness for Deep Learning with Provable Guarantees. In 35th IEEE/ACM International Conference on Automated Software Engineering, (ASE’20), ACM. September 2020. [pdf] [bib]
[KNPS20b] Marta Kwiatkowska, Gethin Norman, David Parker, and Gabriel Santos. Multi-player Equilibria Verification for Concurrent Stochastic Games. In 17th International Conference on Quantitative Evaluation of SysTems (QEST'20), Springer. August 2020. [pdf] [bib]
[BPL+20] Arno Blaas, Andrea Patane, Luca Laurenti, Luca Cardelli, Marta Kwiatkowska and Stephen Roberts. Adversarial Robustness Guarantees for Classification with Gaussian Processes. In 23rd International Conference on Artificial Intelligence and Statistics (AISTATS'20), PMLR. August 2020. [pdf] [bib]
[WLPK20] Matthew Wicker, Luca Laurenti, Andrea Patane and Marta Kwiatkowska. Probabilistic Safety for Bayesian Neural Networks. In 36th Conference on Uncertainty in Artificial Intelligence (UAI'20), PMLR. August 2020. [pdf] [bib]
[GPG+20] Shadi Ghiasi, Andrea Patane, Alberto Greco, Luca Laurenti, Enzo Pasquale Scilingo and Marta Kwiatkowska. Gaussian Processes with Physiologically-Inspired Priors for Physical Arousal Recognition. In 42nd Annual International Conferences of the IEEE Engineering in Medicine and Biology Society (EMBS'20). July 2020. [pdf] [bib]
[KNPS20] Marta Kwiatkowska, Gethin Norman, David Parker and Gabriel Santos. PRISM-games 3.0: Stochastic Game Verification with Concurrency, Equilibria and Time. In 32nd International Conference on Computer Aided Verification (CAV'20), Springer. July 2020. [pdf] [bib]
[ZLS+20] Amy Zhang, Clare Lyle, Shagun Sodhani, Angelos Filos, Marta Kwiatkowska, Joelle Pineau, Yarin Gal, Doina Precup. Invariant Causal Prediction for Block MDPs. In International Conference on Machine Learning (ICML'20), PMLR. July 2020. [pdf] [bib]
[WK20] Min Wu and Marta Kwiatkowska. Robustness Guarantees for Deep Neural Networks on Videos. In IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR'20), IEEE. June 2020. [pdf] [bib]
[RWS+19] Wenjie Ruan, Min Wu, Youcheng Sun, Xiaowei Huang, Daniel Kroening and Marta Kwiatkowska. Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for the Hamming Distance. In Proc. International Joint Conference on Artificial Intelligence (IJCAI-19). 2019. [pdf] [bib]
[CKL+19a] Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Nicola Paoletti, Andrea Patane, and Matthew Wicker. Statistical Guarantees for the Robustness of Bayesian Neural Networks. In Proc. International Joint Conference on Artificial Intelligence (IJCAI). 2019. [pdf]
[CLL+19] Nathalie Cauchi, Luca Laurenti, Morteza Lahijanian, Alessandro Abate, Marta Kwiatkowska and Luca Cardelli. Efficiency through Uncertainty: Scalable Formal Synthesis for Stochastic Hybrid Systems. In Proc. 22nd ACM International Conference on Hybrid Systems: Computation and Control (HSCC'19), ACM. 2019. [pdf] [bib]
[AKM+19] Benjamin Aminof, Marta Kwiatkowska, Bastien Maubert, Aniello Murano and Sasha Rubin. Probabilistic Strategy Logic. In Proc. International Joint Conference on Artificial Intelligence (IJCAI-19). 2019. [pdf] [bib]
[CKLP19] Luca Cardelli, Marta Kwiatkowska, Luca Laurenti and Andrea Patane. Robustness Guarantees for Bayesian Inference with Gaussian Processes. In Proc. Thirty-Third AAAI Conference on Artificial Intelligence (AAAI'19). 2019. [pdf] [bib]
[WCK+19] Max Whitby, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Mirco Tribastone and Max Tschaikowski. PID Control of Biochemical Reaction Networks. In Proc. 58th Conference on Decision and Control - Nice, France - December 11th-13th 2019. 2019. [pdf] [bib] http://arxiv.org/abs/1903.10390
[WK19] Matthew Wicker and Marta Kwiatkowska. Robustness of 3D Deep Learning in an Adversarial Setting. In Proceedings, Computer Vision and Pattern Recognition (CVPR). 2019. [pdf] [bib]
[GKKW19] Pascale Gourdeau, Varun Kanade, Marta Kwiatkowska and James Worrell. On the Hardness of Robust Classification. In In Proc. Thirty-third Conference on Neural Information Processing Systems. 2019. [pdf] [bib]
[ELK19] Francisco Eiras, Morteza Lahijanian, and Marta Kwiatkowska. Correct-by-Construction Advanced Driver Assistance Systems based on a Cognitive Architecture. In Proceedings at IEEE CAVS 2019. 2019. [pdf] [bib] https://arxiv.org/abs/1907.09603
[WLL+19] Min Wu, Tyron Louw, Morteza Lahijanian, Wenjie Ruan, Xiaowei Huang, Natasha Merat, and Marta Kwiatkowska. Gaze-based Intention Anticipation over Driving Manoeuvres in Semi-Autonomous Vehicles. In Proceedings of IEEE/RSJ International Conference on Intelligent Robots and Systems. 2019. [pdf] [bib]
[KNPS19] Marta Kwiatkowska, Gethin Norman, David Parker and Gabriel Santos. Equilibria-based Probabilistic Model Checking for Concurrent Stochastic Games. In Proc. 23rd International Symposium on Formal Methods (FM'19), Springer. October 2019. [pdf] [bib]
[Kwi19a] Marta Kwiatkowska. Safety and Robustness for Deep Learning with Provable Guarantees (Keynote). In Proceedings of the ACM Joint Meeting on European Software Engineering, Conference and Symposium on the Foundations of Software Engineering, ESEC/SIGSOFT FSE 2019, Tallinn, Estonia, August 26-30, 2019., pages 2. September 2019. [pdf] [bib]
[Kwi19] Marta Kwiatkowska. Safety Verification for Deep Neural Networks with Provable Guarantees (Invited Paper). In 30th International Conference on Concurrency Theory (CONCUR'19), Dagstuhl Publishing. August 2019. [pdf] [bib]
[ELP+18] S. Eberz, G. Lovisotto, A. Patane, M. Kwiatkowska, V. Lenders and I. Martinovic. When Your Fitness Tracker Betrays You: Quantifying the Predictability of Biometric Features Across Contexts. In IEEE Symposium on Security and Privacy , IEEE. 2018. [pdf] [bib]
[SWR+18] Y. Sun, M. Wu, W. Ruan, X. Huang, M. Kwiatkowska and D. Kroening. Concolic Testing for Deep Neural Networks. In Proc. 33rd IEEE/ACM International Conference on Automated Software Engineering, ACM. 2018. [pdf] [bib]
[LSM+18b] M. Lahijanian, M. Svorenova, A. Morye, B. Yeomans, D. Rao, I. Posner, P. Newman, H. Kress-Gazit, and M. Kwiatkowska. Resource-Performance Trade-off Analysis for Mobile Robots. In Proc. 2018 IEEE International Conference on Robotics and Automation, IEEE. 2018.
[WHK18] M. Wicker, X. Huang, and M. Kwiatkowska. Feature-Guided Black-Box Safety Testing of Deep Neural Networks. In Proc. 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'18), Springer. 2018. [pdf] [bib]
[PGS+18] Patane, A., Ghiasi, S., Scilingo, E.P., and Kwiatkowska, M. Automated Recognition of Sleep Arousal using Multimodal and Personalized Deep Ensembles of Neural Networks. In Proceedings of Computing in Cardiology 2018, IEEE. 2018. [pdf] [bib]
[KNP+18] M. Kwiatkowska, G. Norman, D. Parker, and G. Santos. Automated Verification of Concurrent Stochastic Games. In Proc. 15th International Conference on Quantitative Evaluation of SysTems (QEST 2018), Springer. 2018. [pdf] [bib]
[ACK+18] A. Abate, L. Cardelli, M. Kwiatkowska, L. Laurenti, and B. Yordanov. Experimental Biological Protocols with Formal Semantics. In Proc. 16th International Conference on Computational Methods in Systems Biology (CMSB 2018), Springer. 2018. [pdf] [bib]
[PK18] A. Patane and M. Kwiatkowska. Calibrating the Classifier: Siamese Neural Network Architecture for End-to-End Arousal Recognition from ECG. In Proc. Fourth International Conference on Machine Learning, Optimization, and Data Science, Springer. 2018. [pdf] [bib]
[RHK18] W. Ruan, X. Huang, and M. Kwiatkowska. Reachability Analysis of Deep Neural Networks with Provable Guarantees. In Proc. 27th International Joint Conference on Artificial Intelligence (IJCAI'18). 2018. [pdf] [bib]
[CCG+17] R. Calinescu, M. Ceska, S. Gerasimou, M. Kwiatkowska, N. Paoletti. RODES: A Robust-Design Synthesis Tool for Probabilistic Systems. In Proc. 14th International Conference on Quantitative Evaluation of SysTems (QEST 2017), Springer. To appear. 2017. [pdf] [bib]
[HKW+17] X. Huang, M. Kwiatkowska, S. Wang and M. Wu. Safety Verification of Deep Neural Networks. In Proc. 29th International Conference on Computer Aided Verification (CAV), Springer. 2017. [pdf] [bib]
[HK17] X. Huang and M. Kwiatkowska. Reasoning about Cognitive Trust in Stochastic Multiagent Systems. In Proc. AAAI Conference on Artificial Intelligence (AAAI'17), pages 3768-3774. 2017. [pdf] [bib]
[CCF+17] L. Cardelli, M. Ceska, M. Fraenzle, M. Kwiatkowska, L. Laurenti, N. Paoletti and M. Whitby. Syntax-Guided Optimal Synthesis for Chemical Reaction Networks. In Proc. 29th International Conference on Computer Aided Verification (CAV), Springer. To appear. 2017. [pdf] [bib]
[Kwi17] M. Kwiatkowska. Cognitive Reasoning and Trust in Human-Robot Interactions. In Proc. 14th Annual Conference on Theory and Applications of Models of Computation (TAMC 2017), pages 3-11, Springer. 2017. [pdf] [bib]
[KNP17b] M. Kwiatkowska, G. Norman and D. Parker. Symbolic Verification and Strategy Synthesis for Linearly-Priced Probabilistic Timed Automata. In KiMfest 2017, Springer. To appear. 2017. [pdf] [bib]
[EPR+17] S. Eberz, N. Paoletti, M. Roeschlin, A. Patane, M. Kwiatkowska and I. Martinovic. Broken Hearted: How to Attack ECG Biometrics. In Proc. Network and Distributed System Security Symposium 2017 (NDSS'17). To appear. 2017. [pdf] [bib]
[CCGKP17] R. Calinescu, M. Ceska, S. Gerasimou, M. Kwiatkowska, N. Paoletti. Designing Robust Software Systems through Parametric Markov Chain Synthesis. In IEEE International Conference on Software Architecture (ICSA 2017). To appear. 2017. [pdf] [bib]
[CKMW17] C. Chilton, M. Kwiatkowska, F. Moller and X. Wang. A Specification Theory of Real-Time Processes. In Concurrency, Security, and Puzzles - Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday, volume 10160 of Lecture Notes in Computer Science, pages 18-38, Springer. 2017. [pdf] [bib]
[KNP17a] M. Kwiatkowska, G. Norman and D. Parker. Probabilistic Model Checking: Advances and Applications. In R. Drechsler (editor), Formal System Verification. 2017. [pdf] [bib]
[ABK+17] A. Abate, L. Bortolussi, M. Kwiatkowska, L. Cardelli, M. Ceska and L. Laurenti. Reachability Computation for Switching Diffusions: Finite Abstractions with Certifiable and Tuneable Precision. In Hybrid Systems: Computation and Control, 20th ACM International Conference, ACM. To appear. 2017. [pdf] [bib]
[KPP17] M. Kwiatkowska, N. Paoletti, A. Patanè. Closed-loop quantitative verification of rate-adaptive pacemakers. In Proc. Oxford Computer Science Conference 2017. 2017. [pdf] [bib]
[IK17] A. Ismail and M. Kwiatkowska. Synthesizing Pareto Optimal Decision for Autonomic Clouds using Stochastic Games Model Checking. In Proc. 24th Asia-Pacific Software Engineering Conference (APSEC 2017), IEEE. To appear. 2017. [pdf] [bib]
[ACK16] A. Abate, M. Ceska, M. Kwiatkowska. Approximate Policy Iteration for Markov Decision Processes via Quantitative Adaptive Aggregations. In Proc. 14th 14th International Symposium on Automated Technology for Verification and Analysis (ATVA'16), pages 13-31, Springer. 2016. [pdf] [bib]
[Kwi16] M. Kwiatkowska. Model Checking and Strategy Synthesis for Stochastic Games: From Theory to Practice. In Proc. 43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016), pages 4:1-4:18, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik. 2016. [pdf] [bib]
[KKK16] P. Kim, D. Kroening and M. Kwiatkowska. Static Program Analysis for Identifying Energy Bugs in Graphics-Intensive Mobile Apps. In Proc. 24th {IEEE} International Conference on Modelling, Analysis and Simulation of Computer and Telecommunication Systems ({MASCOTS} 2016), IEEE CS Press. To appear. 2016. [pdf] [bib]
[CKL16a] L. Cardelli, M. Kwiatkowska, L. Laurenti. Programming Discrete Distributions with Chemical Reaction Networks. In Y. Rondelez and D. Woods (editors), Proc. 22nd International Conference on DNA Computing and Molecular Programming (DNA22), Springer. To appear. 2016. [pdf] [bib]
[CKL16b] L. Cardelli, M. Kwiatkowska and L. Laurenti. A Stochastic Hybrid Approximation for Chemical Kinetics Based on the Linear Noise Approximation. In Proc. 14th International Conference on Computational Methods in Systems Biology ({CMSB} 2016), Springer. To appear. 2016. [pdf] [bib]
[Kwi16b] M. Kwiatkowska. Advances and Challenges of Quantitative Verification and Synthesis for Cyber-Physical Systems. In 2016 Science of Security for Cyber-Physical Systems Workshop (SOSCYPS), pages 1-5, IEEE. 2016. [pdf] [bib]
[LK16] M. Lahijanian and M. Kwiatkowska. Specification Revision for Markov Decision Processes with Optimal Trade-off. In Proc. 55th Conference on Decision and Control (CDC 2016), pages 7411-7418, IEEE. 2016. [pdf] [bib]
[BCKL16] L. Bortolussi, L. Cardelli, M. Kwiatkowska and L. Laurenti. Approximation of Probabilistic Reachability for Chemical Reaction Networks using the Linear Noise Approximation. In Proc. 13th International Conference on Quantitative Evaluation of SysTems (QEST 2016), Springer. To appear. 2016. [pdf] [bib]
[BKM+16] B.Barbot, M. Kwiatkowska, A. Mereacre, and N. Paoletti. Building Power Consumption Models from Executable Timed I/O Automata Specifications. In 19th ACM International Conference on Hybrid Systems: Computation and Control (HSCC 2016). To appear. 2016. [pdf] [bib]
[CKW16] L. Cardelli, M. Kwiatkowska, M. Whitby. Chemical Reaction Network Designs for Asynchronous Logic Circuits. In Y. Rondelez and D. Woods (editors), Proc. 22nd International Conference on DNA Computing and Molecular Programming (DNA22), Springer. To appear. 2016. [pdf] [bib]
[LK16b] M. Lahijanian and M. Kwiatkowska. Social Trust: a Major Challenge for the Future of Autonomous Systems. In AAAI Fall Symposium on Cross-Disciplinary Challenges for Autonomous Systems, pages 189-193, AAAI, AAAI Press. 2016. [pdf] [bib]
[HK16] X. Huang, M. Kwiatkowska. Model Checking Probabilistic Knowledge: A PSPACE Case. In Proc. AAAI Conference on Artificial Intelligence (AAAI'16), pages 2516-2522. 2016. [pdf] [bib]
[BBBK16] B. Barbot, N. Basset, M. Beunardeau and M. Kwiatkowska. Uniform Sampling for Timed Automata with Application to Language Inclusion Measurement. In Proc. 13th International Conference on Quantitative Evaluation of SysTems (QEST 2016), Springer. To appear. 2016. [pdf] [bib]
[CPP+16] M. Ceska, P. Pilar, N. Paoletti, L. Brim and M. Kwiatkowska. PRISM-PSY: Precise GPU-Accelerated Parameter Synthesis for Stochastic Systems. In 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Springer International Publishing. To appear. January 2016. [pdf] [bib]
[KPW16] M. Kwiatkowska and D. Parker and C. Wiltsche. PRISM-games 2.0: A Tool for Multi-Objective Strategy Synthesis for Stochastic Games. In Proc. 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'16), pages 560-566, Springer. 2016. [pdf] [bib]
[BKM+15] C. Barker, M. Kwiatkowska, A. Mereacre, N. Paoletti, A. Patane. Hardware-in-the-loop simulation and energy optimization of cardiac pacemakers. In 37th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC). 2015. [pdf] [bib]
[BK15] B. Barbot, M. Kwiatkowska. On Quantitative Modelling and Verification of DNA Walker Circuits Using Stochastic Petri Nets. In Devillers, Raymond and Valmari, Antti (editors), Proc. 36th International Conference on Application and Theory of Petri Nets and Concurrency, volume 9115 of Lecture Notes in Computer Science, pages 1-32, Springer International Publishing. 2015. [pdf] [bib]
[BKTW15] N. Basset, M. Kwiatkowska, U. Topcu, and C. Wiltsche. Strategy Synthesis for Stochastic Games with Multiple Long-Run Objectives. In C. Baier, and C. Tinelli (editors), Proc. 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), volume 9035 of LNCS, pages 256-271, Springer. 2015. [pdf] [bib]
[Kwi15] M. Kwiatkowska. Parameter synthesis for probabilistic real-time systems. In Proc. SynCoP'15, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik. To appear. 2015. [pdf] [bib]
[JKN15] A. Jovanovic, M. Kwiatkowska and G. Norman. Symbolic Minimum Expected Time Controller Synthesis for Probabilistic Timed Automata. In Sankaranarayanan, Sriram and Vicario, Enrico (editors), Proceedings of the 13th International Conference on Formal Modeling and Analysis of Timed Systems, volume 9268 of LNCS, pages 140-155, Springer. 2015. [pdf] [bib]
[ABCK15] A. Abate, L. Brim, M. Ceska, M. Kwiatkowska. Adaptive Aggregation of Markov Chains: Quantitative Analysis of Chemical Reaction Networks. In Kroening, Daniel and Păsăreanu, Corina S. (editors), Proc. 27th International Conference on Computer Aided Verification (CAV), volume 9206 of LNCS, pages 195-213, Springer. 2015. [pdf] [bib]
[CKL15a] L. Cardelli, M. Kwiatkowska, L. Laurenti. Stochastic Analysis of Chemical Reaction Networks Using Linear Noise Approximation. In Proceedings of 13th Annual Conference on Computational Methods in Systems Biology (CMSB 2015), volume 9308 of LNCS, pages 3-7. 2015. [pdf] [bib]
[BKM+15a] B. Barbot, M. Kwiatkowska, A. Mereacre and N. Paoletti. Estimation and verification of hybrid heart models for personalised medical and wearable devices. In 13th International Conference on Computational Methods in Systems Biology (CMSB 2015), volume 9308 of LNCS, pages 3-7. 2015. [pdf] [bib]
[DHK15] F. Dannenberg, E. M. Hahn and M. Kwiatkowska. Computing Cumulative Rewards using Fast Adaptive Uniformisation. In ACM Transactions on Modeling and Computer Simulation, Special Issue in Computational Methods in Systems Biology, Association for Computing Machinery (ACM). Article 9. April 2015. [pdf]
[KMP+15] M. Kwiatkowska, A. Mereacre, N. Paoletti, A. Patane. Synthesising robust and optimal parameters for cardiac pacemakers using symbolic and evolutionary computation techniques. In Proceedings of the 4th International Workshop on Hybrid Systems and Biology (HSB 2015), pages 119-140, Springer International Publishing. January 2015. [pdf] [bib]
[DKKM14] M. Diciolla, C. H. P. Kim, M. Kwiatkowska and A. Mereacre. Synthesising Optimal Timing Delays for Timed I/O Automata. In Proc. 14th International Conference on Embedded Software (EMSOFT'14), ACM. 2014. [pdf] [bib]
[DFK+14] K. Draeger, V. Forejt, M. Kwiatkowska, D. Parker and M. Ujma. Permissive Controller Synthesis for Probabilistic Systems. In Proc. 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'14), volume 8413 of LNCS, pages 531-546, Springer. 2014. [pdf] [bib]
[Kwi14] M. Kwiatkowska. Challenges in automated verification and synthesis for molecular programming. In Martin Abadi, Philippa Gardner, Andrew D. Gordon and Radu Mardare (editors), Essays for the Luca Cardelli Fest, volume MSR-TR-2014-104 of Technical Report, pages 155-170, Microsoft Research. 2014. [pdf] [bib]
[KM14] M. Kwiatkowska and A. Mereacre. Automated Verification of Quantitative Properties of Cardiac Pacemaker Software. In Proc. 5th Workshop on Medical Cyber-Physical Systems, volume 36 of OpenAccess Series in Informatics, pages 137-140, Schloss Dagstuhl. 2014. [pdf] [bib]
[JK14] A. Jovanovic, and M. Kwiatkowska,. Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Games. In Proc. 8th International Workshop on Reachability Problems (RP'14), volume 8762 of LNCS, pages 176-189, Springer. 2014. [pdf] [bib]
[AKNP14] A. Abate, M. Kwiatkowska, G. Norman and D. Parker. Probabilistic Model Checking of Labelled Markov Processes via Finite Approximate Bisimulations. In F. van Breugel, E. Kashefi, C. Palamidessi and J. Rutten (editors), Horizons of the Mind - P. Panangaden Festschrift, volume 8464 of LNCS, pages 40-58, Springer Verlag. 2014. [pdf] [bib]
[HFMMK14] Z. Huang, C. Fan, A. Mereacre, S. Mitra and M. Kwiatkowska. Invariant Verification of Nonlinear Hybrid Automata Networks of Cardiac Cells. In Proc. 26th International Conference on Computer Aided Verification (CAV), volume 8559 of LNCS, pages 373-390, Springer. 2014. [pdf] [bib]
[KLMP14] M. Kwiatkowska, H. Lea-Banks, A. Mereacre and N. Paoletti. Formal Modelling and Validation of Rate-Adaptive Pacemakers. In Proc. IEEE International Conference on Healthcare Informatics. 2014. [pdf] [bib]
[BCC+14] T. Brázdil, K. Chatterjee, M. Chmelík, V. Forejt, J. Křetínský, M. Kwiatkowska, D. Parker and M. Ujma. Verification of Markov Decision Processes using Learning Algorithms. In Proc. 12th International Symposium on Automated Technology for Verification and Analysis (ATVA'14), volume 8837 of LNCS, pages 98-114, Springer. 2014. [pdf] [bib]
[KMP14] M. Kwiatkowska, A. Mereacre, and N. Paoletti. On Quantitative Software Quality Assurance Methodologies for Cardiac Pacemakers. In Proc. 6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), volume 8803 of LNCS, pages 365-384, Springer. 2014. [pdf] [bib]
[CDKP14] M. Ceska, F. Dannenberg, M. Kwiatkowska and N. Paoletti. Precise Parameter Synthesis for Stochastic Biochemical Systems. In Proc. 12th Conference on Computational Methods in Systems Biology (CMSB'14), volume 8859 of LNCS, pages 86-89, Springer. 2014. [pdf] [bib]
[BKW14] N. Basset, M. Kwiatkowska and C. Wiltsche. Compositional Controller Synthesis for Stochastic Games. In P. Baldan and D. Gorla (editors), Proc. 25th International Conference on Concurrency Theory (CONCUR'14), volume 8704 of LNCS, pages 173-187, Springer. 2014. [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]
[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]
[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]
[HKKG13] T. Han, C. Krause, M. Kwiatkowska and H. Giese. Modal Specifications for Probabilistic Timed Systems. In Proc. 11th International Workshop on Quantitative Aspects of Programming Languages and Systems, pages 66-80, EPTCS. 2013. [pdf] [bib]
[Kwi13b] M. Kwiatkowska. Advances in Quantitative Verification for Ubiquitous Computing. In Proc. 11th International Colloquium on Theoretical Aspects of Computing (ICTAC 2013), volume 8049 of LNCS, pages 42-58, Springer, Heidelberg. 2013. [pdf] [bib]
[DHK13] F. Dannenberg, E. M. Hahn and M. Kwiatkowska. Computing Cumulative Rewards using Fast Adaptive Uniformisation. In Proc. 11th Conference on Computational Methods in Systems Biology (CMSB'13), volume 8130 of LNCS, pages 33-49, Springer. 2013. [pdf] [bib]
[DKTT13] F. Dannenberg, M. Kwiatkowska, C. Thachuk and A. J. Turberfield. DNA Walker Circuits: Computational Potential, Design, and Verification. In Proc. 19th International Conference on DNA Computing and Molecular Programming (DNA 19), volume 8141 of LNCS, pages 31-45, Springer. 2013. [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]
[GMR+13] L. Gallina, A. Marin, S. Rossi, T. Han and M. Kwiatkowska. A Process-Algebraic Framework for Estimating the Energy Consumption in Ad-hoc Wireless Sensor Networks. In Proc. 16th ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems (MSWiM'13), pages 255-262, ACM. November 2013. [pdf] [bib]
[KP13] M. Kwiatkowska and D. Parker. Automated Verification and Strategy Synthesis for Probabilistic Systems. In Proc. 11th International Symposium on Automated Technology for Verification and Analysis (ATVA'13), volume 8172 of LNCS, pages 5-22, Springer. October 2013. [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]
[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]
[CJK13] C. Chilton, B. Jonsson, and M. Kwiatkowska. Assume-Guarantee Reasoning for Safe Component Behaviours. In C. Pasareanu and G. Salaun (editors), Proc. 9th International Symposium on Formal Aspects of Component Software (FACS'12), volume 7684 of LNCS, pages 92-109, Springer. 2013. [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]
[GHK+12] L. Gallina, T. Han, M. Kwiatkowska, A. Marin, S. Rossi and A. Spano. Automatic Energy-aware Performance Analysis of Mobile Ad-hoc Networks. In Proc. 2012 IFIP Wireless Days Conference (WD'12), pages 1-6, IEEE. 2012. [pdf] [bib]
[Kwi12] M. Kwiatkowska. Sensing Everywhere: Towards Safer and More Reliable Sensor-enabled Devices. In Proc. 31st International Conference on Computer Safety, Reliability and Security (SAFECOMP'12), pages XIII-XIV, 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]
[CDKM12b] T. Chen, M. Diciolla, M. Kwiatkowska and A. Mereacre. Quantitative Verification of Implantable Cardiac Pacemakers. In Proc. 33rd IEEE Real-Time Systems Symposium (RTSS), pages 263-272, IEEE. December 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]
[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]
[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]
[CDKM12] T. Chen, M. Diciolla, M. Kwiatkowska and A. Mereacre. Verification of Linear Duration Properties over Continuous-Time Markov Chains. In Proc. 15th International Conference on Hybrid Systems: Computation and Control (HSCC 2012), pages 265-274, ACM. April 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]
[CCJK12] T. Chen, C. Chilton, B. Jonsson, and M. Kwiatkowska. A Compositional Specification Theory for Component Behaviours. In H. Seidl (editor), Programming Languages and Systems, Proc. 21st European Symposium on Programming (ESOP'12), volume 7211 of LNCS, pages 148-168, Springer. March 2012. [pdf] [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]
[HKQ11] H. Hansen, M. Kwiatkowska and H. Qu. Partial order reduction for model checking Markov decision processes under unconditional fairness. In Proc. 8th International Conference on Quantitative Evaluation of SysTems (QEST'11), pages 203-212, IEEE CS Press. September 2011. [pdf] [bib]
[CDKM11] T. Chen, M. Diciolla, M. Kwiatkowska and A. Mereacre. Time-Bounded Verification of CTMCs against Real-Time Specifications. In Proc. 8th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS'11), volume 6919 of LNCS, pages 26-42, Springer. September 2011. [pdf] [bib]
[CKPS11] T. Chen, M. Kwiatkowska, D. Parker and A. Simaitis. Verifying Team Formation Protocols with Probabilistic Model Checking. In Proc. 12th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA XII 2011), volume 6814 of LNCS, pages 190-297, Springer. July 2011. [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]
[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]
[FKN+11] V. Forejt, M. Kwiatkowska, G. Norman, D. Parker and H. Qu. Quantitative Multi-Objective Verification for Probabilistic Systems. In Proc. 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'11), volume 6605 of LNCS, pages 112-127, Springer. March 2011. [pdf] [bib]
[JKNP11] J. Júlvez, M. Kwiatkowska, G. Norman and D. Parker. A Systematic Approach to Evaluate Sustained Stochastic Oscillations. In H. Al-Mubaid (editor), Proc. ISCA 3rd International Conference on Bioinformatics and Computational Biology (BICoB'11), pages 134-139, ISCA. March 2011. [pdf] [bib]
[YNN+11] E. Yuksel, H. R. Nielson, F. Nielson, M. Fruth and M. Kwiatkowska. Optimizing Key Updates in Sensor Networks. In Proc. IEEE Sensors Applications Symposium (SAS'11), pages 82-87. 2011. [bib] http://orbit.dtu.dk/fedora/objects/orbit:71339/datastreams/file_6252060/content
[GKMMQ10] Felicita Di Giandomenico, Marta Kwiatkowska, Marco Martinucci, Paolo Masci, and Hongyang Qu. Dependability Analysis and Verification for Connected Systems. In Tiziana Margaria and Bernhard Steffen (editors), 4th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA'10), volume 6416 of LNCS, pages 263-277, Springer. October 2010. [pdf]
[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]
[ACI+10] Marco Autili, Chris Chilton, Paola Inverardi, Marta Kwiatkowska and Massimo Tivoli. Towards a Connector Algebra. In Tiziana Margaria and Bernhard Steffen (editors), Proc. 4th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2010), volume 6416 of LNCS, pages 278-292, Springer. October 2010. [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]
[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/
[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]
[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]
[KLQ10] Marta Kwiatkowska, Alessio Lomuscio, and Hongyang Qu. Parallel Model Checking for Temporal Epistemic Logic. In Helder Coelho, Rudi Studer, and Michael Wooldridge (editors), 19th European Conference on Artificial Intelligence (ECAI 2010), volume 215 of Frontiers in Artificial Intelligence and Applications, pages 543-548, IOS Press. August 2010. [pdf]
[BK10a] D. Bucur and M. Kwiatkowska. Software Verification for TinyOS. In Proc. Information Processing in Sensor Networks (IPSN'10), pages 400-401, ACM. April 2010. [pdf] [bib]
[KNPQ10] M. Kwiatkowska, G. Norman, D. Parker and H. Qu. Assume-Guarantee Verification for Probabilistic Systems. In Proc. 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'10), volume 6015 of LNCS, pages 23-37, Springer. March 2010. [pdf] [bib]
[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
[BK09c] D. Bucur and M. Kwiatkowska. Bug-Free Sensors: The Automatic Verification of Context-Aware TinyOS Applications. In Proc. 3rd European Conference on Ambient Intelligence (AmI 2009), pages 101-105, Springer. November 2009.
[BK09b] D. Bucur and M. Kwiatkowska. Rely-Guarantee Reasoning for Context-Aware Software. In Proc. Workshop on Formal Approaches to Ubiquitous Systems (FAUSt '09). Extended abstract. September 2009. [pdf]
[KNP09c] M. Kwiatkowska, G. Norman and D. Parker. Stochastic Games for Verification of Probabilistic Timed Automata. In Proc. 7th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS'09), volume 5813 of LNCS, pages 212-227, Springer. September 2009. [pdf] [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
[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]
[BK09a] D. Bucur and M. Kwiatkowska. Towards Software Verification for TinyOS Applications. In Proc. Workshop on Formal Approaches to Ubiquitous Systems (FAUSt '09). Extended abstract. September 2009. [pdf]
[AMMKQ09] F. Arbab, S. Meng, Y.-J. Moon, M. Kwiatkowska and H. Qu. Reo2MC: a Tool Chain for Performance Analysis of Coordination Models. In Hans van Vliet, Valérie Issarny (editor), The 7th joint meeting of the European Software Engineering Conference (ESEC) and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE), pages 287-288, ACM. August 2009. [pdf] [bib]
[CK09a] V. Issarny, B. Steffen, B. Jonsson, G. Blair, P. Grace, M. Kwiatkowska, R. Calinescu, P. Inverardi, M. Tivoli, A. Bertolino and A. Sabetta. CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems. In Proc. 14th IEEE International Conference on Engineering of Complex Computer Systems. Poster. June 2009. [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]
[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]
[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]
[KKNP09] M. Kattenbelt, M. Kwiatkowska, G. Norman and D. Parker. Abstraction Refinement for Probabilistic Software. In Proc. 10th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI'09), volume 5403 of Lecture Notes in Computer Science, pages 182-197, Springer. January 2009. [ps.gz] [pdf] [bib]
[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]
[LKL08] Z.-Y. Liu, M. Kwiatkowska and K. Lei . An adaptive epidemic broadcast mechanism for mobile ad hoc networks. In Proc. International Conference on Machine Learning and Cybernetics, pages 3651-3656, IEEE CS Press. July 2008. [bib]
[TK08] O. Tymchyshyn and M. Kwiatkowska. Combining Intra- and Inter-cellular Dynamics to Investigate Intestinal Homeostasis. In Proc. Formal Methods in Systems Biology (FMSB'08), volume 5054 of Lecture Notes in Computer Science, Springer. June 2008. [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]
[KKNP08a] M. Kattenbelt, M. Kwiatkowska, G. Norman and D. Parker. Game-Based Probabilistic Predicate Abstraction in PRISM. In Proc. 6th Workshop on Quantitative Aspects of Programming Languages (QAPL'08), volume 220 (3) of Electronic Notes in Theoretical Computer Science , pages 5-21 , Elsevier. March 2008. [ps.gz] [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]
[EKVY07] K. Etessami, M. Kwiatkowska, M. Vardi and M. Yannakakis. Multi-Objective Model Checking of Markov Decision Processes. In Proc. 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'07), volume 4424 of LNCS, pages 50-65, Springer. March 2007. [pdf] [bib]
[WK06b] X. Wang and M. Kwiatkowska. On process-algebraic verification of asynchronous circuits. In Proc. 6th International Conference on Application of Concurrency to System Design (ACSD'06). 2006. [ps] [bib]
[WKTZ06] X. Wang, M. Kwiatkowska, G. Theodoropoulos and Q. Zhang. Opportunities and Challenges in Process-algebraic Verification of Asynchronous Circuit Designs. In Proc. 2nd Workshop on Globally Asynchronous, Locally Synchronous Design (FMGALS'05). 2006. [bib] linkinghub.elsevier.com/retrieve/pii/S1571066106000302
[GNB+06] M. Groesser, G. Norman, C. Baier, F. Ciesinski, M. Kwiatkowska, D. Parker. On reduction criteria for probabilistic reward models. In S. Arun-Kumar and N. Garg (editors), Proc. 25th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'06), volume 4337 of Lecture Notes in Computer Science, pages 309-320, Springer Verlag. December 2006. [ps.gz] [pdf] [bib]
[KNP+06] M. Kwiatkowska, G. Norman, D. Parker, O. Tymchyshyn, J. Heath and E. Gaffney. Simulation and Verification for Computational Modelling of Signalling Pathways. In Proc. 2006 Winter Simulation Conference, pages 1666-1674. December 2006. [ps.gz] [pdf] [bib]
[SUH+06] H. Sauro, A. Uhrmacher, D. Harel, M. Hucka, M. Kwiatkowska, P. Mendes, C. Shaffer, L. Stromback and J. Tyson. Challenges for modeling and simulation methods in systems biology. In L. Perrone, F. Wieland, J. Liu, B. Lawson, D. Nicol and R. Fujimoto (editors), Proc. 2006 Winter Simulation Conference, pages 1720-1730, IEEE. December 2006. [pdf] [bib]
[HKN+06] J. Heath, M. Kwiatkowska, G. Norman, D. Parker and O. Tymchyshyn. Probabilistic model checking of complex biological pathways. In C. Priami (editor), Proc. Computational Methods in Systems Biology (CMSB'06), volume 4210 of Lecture Notes in Bioinformatics, pages 32-47, Springer Verlag. October 2006. [ps.gz] [pdf] [bib]
[KNP06b] M. Kwiatkowska, G. Norman and D. Parker. Game-based Abstraction for Markov Decision Processes. In Proc. 3rd International Conference on Quantitative Evaluation of Systems (QEST'06), pages 157-166, IEEE CS Press. Winner of the QEST'06 Best Paper Award. September 2006. [ps.gz] [pdf] [bib]
[WK06] X Wang and M. Kwiatkowska. Compositional state space reduction using untangled actions. In Proc. 13th International Workshop on Expressiveness in Concurrency (EXPRESS'06), volume 175 of Electronic Notes in Theoretical Computer Science. Technical Report 2006/10, Department of Computing, Imperial College London. August 2006. [pdf] [bib]
[KNP06a] M. Kwiatkowska, G. Norman and D. Parker. Symmetry Reduction for Probabilistic Model Checking. In T. Ball and R. Jones (editors), Proc. 18th International Conference on Computer Aided Verification (CAV'06), volume 4144 of Lecture Notes in Computer Science, pages 234-248, Springer-Verlag. August 2006. [ps.gz] [pdf] [bib]
[HKNP06] A. Hinton, M. Kwiatkowska, G. Norman and D. Parker. PRISM: A Tool for Automatic Verification of Probabilistic Systems. In H. Hermanns and J. Palsberg (editors), Proc. 12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'06), volume 3920 of Lecture Notes in Computer Science, pages 441-444, Springer. March 2006. [ps.gz] [pdf] [bib]
[WK05] F. Wang and M. Kwiatkowska. An MTBDD-based implementation of forward reachability for probabilistic timed automata. In Proc. 3rd International Symposium on Automated Technology for Verification and Analysis (ATVA'05), volume 3707 of Lecture Notes in Computer Science, pages 385-399, Springer. October 2005. [ps.gz] [pdf] [bib]
[ZPK05b] Y. Zhang, D. Parker and M. Kwiatkowska. Grid-enabled Probabilistic Model Checking with PRISM. In Proc. 4th All Hands Meeting Workshop (AHM'05). September 2005. [ps.gz] [pdf] [bib]
[KNP05c] M. Kwiatkowska, G. Norman and D. Parker. Probabilistic Model Checking and Power-Aware Computing. In In Proc. 7th International Workshop on Performability Modeling of Computer and Communication Systems (PMCCS), pages 6-9. September 2005. [ps.gz] [pdf] [bib]
[ZPK05a] Y. Zhang, D. Parker and M. Kwiatkowska. A Wavefront Parallelisation of CTMC Solution using MTBDDs. In Proc. International Conference on Dependable Systems and Networks (DSN'05), pages 732-742, IEEE CS Press. June 2005. [ps.gz] [pdf] [bib]
[CSKN05] S. Cattani, R. Segala, M. Kwiatkowska and G. Norman. Stochastic transition systems for continuous state spaces and non-determinism. In V. Sassone (editor), Proc. Foundations of Software Science and Computation Structures (FOSSACS'05), volume 3441 of Lecture Notes in Computer Science, pages 125-139, Springer Verlag. April 2005. [ps.gz] [pdf] [bib]
[LKC05b] Z. Liu, M. Kwiatkowska and C. Constantinou. A Biologically Inspired Congestion Control Routing Algorithm for MANETs. In Proc. IEEE PerCom International Workshop on Pervasive Wireless Networking (IEEE PWN'05), Third IEEE Conference on Pervasive Computing and Communications Workshops, pages 226-231, IEEE CS Press. 2005. [ps] [bib]
[CK05b] S. Chiyangwa and M. Kwiatkowska. A Timing Analysis of AODV. In Proc. 7th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS'05), volume 3535 of Lecture Notes in Computer Science, pages 306-322, Springer. 2005. [pdf] [bib]
[LKC05a] Z. Liu, M. Kwiatkowska and C. Constantinou. A Biologically Inspired QoS Routing Algorithm for Mobile Ad Hoc Networks. In Proc. 19th International Conference on Advanced Information Networking and Applications (AINA 2005), pages 426-431, IEEE CS Press. 2005. [pdf] [bib]
[DKNP04] M. Duflot, M. Kwiatkowska, G. Norman and D. Parker. A Formal Analysis of Bluetooth Device Discovery. In T. Margaria and B. Steffen, A. Philippou and M. Reitenspiess (editors), Proc. 1st International Symposium on Leveraging Applications of Formal Methods (ISOLA'04), volume TR-2004-6 of Technical Report, pages 268-275, Department of Computer Science, University of Cyprus. November 2004. [ps.gz] [pdf] [bib]
[KPZM04] M. Kwiatkowska, D. Parker, Y. Zhang and R. Mehmood. Dual-Processor Parallelisation of Symbolic Probabilistic Model Checking. In Proc. 12th International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS'04), pages 123-130, IEEE CS Press. October 2004. [ps.gz] [pdf] [bib]
[KNP04d] M. Kwiatkowska, G. Norman and D. Parker. PRISM 2.0: A Tool for Probabilistic Model Checking. In Proc. 1st International Conference on Quantitative Evaluation of Systems (QEST'04), pages 322-323, IEEE CS Press. September 2004. [ps.gz] [pdf] [bib]
[KNSW04] M. Kwiatkowska, G. Norman, J. Sproston and F. Wang. Symbolic Model Checking for Probabilistic Timed Automata. In Y. Lakhnech and S. Yovine (editors), Proc. FORMATS/FTRTFT'04, volume 3253 of Lecture Notes in Computer Science, pages 293-308, Springer. September 2004. [ps.gz] [pdf] [bib]
[KNP04c] M. Kwiatkowska, G. Norman and D. Parker. Controller Dependability Analysis By Probabilistic Model Checking. In Proc. 11th IFAC Symposium on Information Control Problems in Manufacturing (INCOM'04), pages 177-182, Elsevier. April 2004. [ps.gz] [pdf] [bib]
[YKNP04] H. Younes, M. Kwiatkowska, G. Norman and D. Parker. Numerical vs. Statistical Probabilistic Model Checking: An Empirical Study. In K. Jensen and A. Podelski (editors), Proc. TACAS'04, volume 2988 of Lecture Notes in Computer Science, pages 46-60, Springer. March 2004. [ps.gz] [pdf] [bib]
[NPKS04] G. Norman, D. Parker, M. Kwiatkowska and S. Shukla. Evaluating the Reliability of Defect-Tolerant Architectures for Nanotechnology with Probabilistic Model Checking. In Proc. International Conference on VLSI Design, pages 907-914, IEEE CS Press. January 2004. [ps.gz] [pdf] [bib]
[WKTZ04] X. Wang, M. Kwiatkowska, G. Theodoropoulos and Q. Zhang. Towards a unifying CSP approach for hierarchical verification of asynchronous hardware. In Proc. 4th Workshop on Automated Verification of Critical Systems (AVoCS'04), volume 128(6) of Electronic Notes in Theoretical Computer Science, pages 231-246, Elsevier Science. 2004. [pdf] [bib]
[LKC04] Z. Liu, M. Kwiatkowska and C. Constantinou. A Swarm Intelligence Routing Algorithm for MANETs. In Proc. 3rd IASTED International Conference on Communications, Internet and Information Technology (CIIT'04), ACTA Press. 2004. [pdf] [bib]
[ZRK03] B. Zoubek, J.-M. Roussel and M. Kwiatkowska. Towards automatic verification of ladder logic programs. In Proc. IMACS Multiconference on Computational Engineering in Systems Applications (CESA). 2003. [pdf] [bib]
[KNPS03] M. Kwiatkowska, G. Norman, D. Parker and J. Sproston. Performance Analysis of Probabilistic Timed Automata using Digital Clocks. In Proc. Formal Modeling and Analysis of Timed Systems (FORMATS'03), volume 2791 of LNCS, pages 105-120, Springer. September 2003. [ps.gz] [pdf] [bib]
[Kwi03] M. Kwiatkowska. Model Checking for Probability and Time: From Theory to Practice. In Proc. 18th IEEE Symposium on Logic in Computer Science (LICS'03), pages 351-360, IEEE CS Press. Invited paper. June 2003. [ps.gz] [pdf] [bib]
[CK03b] S. Chiyangwa and M. Kwiatkowska. Modelling Ad Hoc On-Demand Distance Vector (AODV) protocol with Timed Automata. In M. Leuschel and S. Gruner and S. Lo Presti (editors), Proc. 3rd Workshop on Automated Verification of Critical Systems (AVoCS'03). April 2003. [ps.gz] [bib]
[CK03] S. Cattani and M. Kwiatkowska. CSP + Clocks: a process algebra for timed automata. In M. Leuschel and S. Gruner and S. Lo Presti (editors), Proc. 3rd Workshop on Automated Verification of Critical Systems (AVoCS'03), pages 50-63. April 2003. [ps.gz] [pdf] [bib]
[NPK+03] G. Norman, D. Parker, M. Kwiatkowska, S. Shukla and R. Gupta. Using Probabilistic Model Checking for Dynamic Power Management. In Proc. 3rd Workshop on Automated Verification of Critical Systems (AVoCS'03). Technical Report DSSE-TR-2003-2, University of Southampton. April 2003. [ps.gz] [pdf] [bib]
[KN02] M. Kwiatkowska and G. Norman. Verifying Randomized Byzantine Agreement. In D. Peled and M. Vardi (editors), Proc. Formal Techniques for Networked and Distributed Systems (FORTE'02), volume 2529 of Lecture Notes in Computer Science, pages 194-209, Springer. November 2002. [ps.gz] [pdf] [bib]
[NPK+02] G. Norman, M. Kwiatkowska, D. Parker, S. Shukla and R. Gupta. Formal Analysis and Validation of Continuous Time Markov Chain Based System Level Power Management Strategies. In Proc. 7th Annual IEEE International Workshop on High Level Design Validation and Test (HLDVT'02), pages 45-50, OmniPress. October 2002. [ps.gz] [pdf] [bib]
[KNP02d] M. Kwiatkowska, G. Norman and A. Pacheco. Model Checking Expected Time and Expected Reward Formulae with Random Time Bounds. In Proc. 2nd Euro-Japanese Workshop on Stochastic Risk Modelling for Finance, Insurance, Production and Reliability. September 2002. [ps.gz] [pdf] [bib]
[KMNP02] M. Kwiatkowska, R. Mehmood, G. Norman and D. Parker. A Symbolic Out-of-Core Solution Method for Markov Models. In Proc. Workshop on Parallel and Distributed Model Checking (PDMC'02), volume 68.4 of ENTCS. August 2002. [ps.gz] [pdf] [bib]
[KNS02a] M. Kwiatkowska, G. Norman and J. Sproston. Probabilistic Model Checking of the IEEE 802.11 Wireless Local Area Network Protocol. In H. Hermanns and R. Segala (editors), Proc. PAPM/PROBMIV'02, volume 2399 of Lecture Notes in Computer Science, pages 169-187, Springer. July 2002. [ps.gz] [pdf] [bib]
[KNP02c] M. Kwiatkowska, G. Norman and A. Pacheco. Model Checking CSL Until Formulae with Random Time Bounds. In H. Hermanns and R. Segala (editors), Proc. PAPM/PROBMIV'02, volume 2399 of Lecture Notes in Computer Science, pages 152-168, Springer. July 2002. [ps.gz] [pdf] [bib]
[KM02] M. Kwiatkowska and R. Mehmood. Out-of-Core Solution of Large Linear Systems of Equations arising from Stochastic Modelling. In Proc. PAPM/PROBMIV'02, volume 2399 of LNCS, pages 135-151, Springer-Verlag. July 2002. [ps.gz] [bib]
[DKN02] C. Daws, M. Kwiatkowska and G. Norman. Automatic Verification of the IEEE 1394 Root Contention Protocol with KRONOS and PRISM. In Proc. 7th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'02), volume 66.2 of ENTCS. July 2002. [ps.gz] [pdf] [bib]
[KNP02a] M. Kwiatkowska, G. Norman and D. Parker. PRISM: Probabilistic Symbolic Model Checker. In T. Field, P. Harrison, J. Bradley and U. Harder (editors), Proc. TOOLS 2002, volume 2324 of Lecture Notes in Computer Science, pages 200-204, Springer. April 2002. [ps.gz] [pdf] [bib]
[KNP02b] M. Kwiatkowska, G. Norman and D. Parker. Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach. In J-P. Katoen and P. Stevens (editors), Proc. TACAS'02, volume 2280 of Lecture Notes in Computer Science, pages 52-66, Springer. April 2002. [ps.gz] [pdf] [bib]
[KKNP01] J.-P. Katoen, M. Kwiatkowska, G. Norman and D. Parker. Faster and Symbolic CTMC Model Checking. In L. de Alfaro and S. Gilmore (editors), Proc. PAPM/PROBMIV'01, volume 2165 of Lecture Notes in Computer Science, pages 23-38, Springer. September 2001. [ps.gz] [pdf] [bib]
[KNP01] M. Kwiatkowska, G. Norman and D. Parker. PRISM: Probabilistic Symbolic Model Checker. In Proc. PAPM/PROBMIV'01 Tools Session, pages 7-12. Available as Technical Report 760/2001, University of Dortmund. September 2001. [ps.gz] [pdf] [bib]
[KNS01b] M. Kwiatkowska, G. Norman and J. Sproston. Symbolic computation of maximal probabilistic reachability. In K. Larsen and M. Nielsen (editors), Proc. 13th International Conference on Concurrency Theory (CONCUR'01), volume 2154 of LNCS, pages 169--183, Springer. August 2001. [ps.gz] [pdf] [bib]
[KNS01a] M. Kwiatkowska, G. Norman and R. Segala. Automated Verification of a Randomised Distributed Consensus Protocol Using Cadence SMV and PRISM. In G. Berry, H. Common and A. Finkel (editors), Proc. CAV'01, volume 2102 of Lecture Notes in Computer Science, pages 194-206, Springer. January 2001. [ps.gz] [pdf] [bib]
[KNSS00a] M. Kwiatkowska, G. Norman, R. Segala and J. Sproston. Verifying Quantitative Properties of Continuous Probabilistic Timed Automata. In C. Palamidessi (editor), Proc. CONCUR 2000 - Concurrency Theory, volume 1877 of Lecture Notes in Computer Science, pages 123-137, Springer. August 2000. [ps.gz] [pdf] [bib]
[KNP00] M. Kwiatkowska, G. Norman and D. Parker. Verifying Randomized Distributed Algorithms with PRISM. In Proc. Workshop on Advances in Verification (Wave'2000). July 2000. [ps.gz] [pdf] [bib]
[KNSS00b] M. Kwiatkowska, G. Norman, R. Segala and J. Sproston. Verifying Soft Deadlines with Probabilistic Timed Automata. In Proc. Workshop on Advances in Verification (Wave'2000). July 2000. [ps.gz] [pdf] [bib]
[dAKN+00] L. de Alfaro, M. Kwiatkowska, G. Norman, D. Parker and R. Segala. Symbolic Model Checking of Probabilistic Processes using MTBDDs and the Kronecker Representation. In S. Graf and M. Schwartzbach (editors), Proc. TACAS'00, volume 1785 of Lecture Notes in Computer Science, pages 395-410, Springer. March 2000. [ps.gz] [pdf] [bib]
[EKN99] A. El-Rayes, M. Kwiatkowska and G. Norman. Solving Infinite Stochastic Process Algebra Models Through Matrix-Geometric Methods. In J. Hillston and M. Silva (editors), Proc. 7th Process Algebras and Performance Modelling Workshop (PAPM'99), pages 41-62, University of Zaragoza. September 1999. [ps.gz] [pdf] [bib]
[BKN99] C. Baier, M. Kwiatkowska and G. Norman. Computing Probability Lower and Upper Bounds for LTL Formulae over Sequential and Concurrent Markov Chains. In C. Baier and M. Huth and M. Kwiatkowska and M. Ryan (editors), Proc. 1st Probabilistic Methods in Verification Workshop (PROBMIV'98), volume 22 of Electronic Notes in Theoretical Computer Science, Elsevier Science. June 1999. [ps.gz] [pdf] [bib]
[KNSS99] M. Kwiatkowska, G. Norman, R. Segala and J. Sproston. Automatic Verification of Real-Time Systems with Discrete Probability Distributions. In J.-P. Katoen (editor), Proc. 5th International AMAST Workshop on Real-Time and Probabilistic Systems (ARTS'99), volume 1601 of LNCS, pages 75--95, Springer. March 1999. [ps.gz] [pdf] [bib]
[KN98a] M. Kwiatkowska and G. Norman. A Fully Abstract Metric-Space Denotational Semantics for Reactive Probabilistic Processes. In Proc. 3rd Workshop on Computation and Approximation (Comprox III), volume 13 of Electronic Notes in Theoretical Computer Science, Elsevier Science. September 1998. [ps.gz] [pdf] [bib]
[KN98b] M. Kwiatkowska and G. Norman. A Testing Equivalence for Reactive Probabilistic Processes . In A Testing Equivalence for Reactive Probabilistic Processes , volume 16(2) of Electronic Notes in Theoretical Computer Science, pages 114-132, Elsevier Science. September 1998. [ps.gz] [pdf] [bib]
[HK98] M. Huth and M. Kwiatkowska. Comparing CTL and PCTL on Labeled Markov Chains. In Proc. Programming Concepts and Methods (PROCOMET'98), IFIP, Chapman & Hall. February 1998. [ps.gz] [bib]
[BK97b] C. Baier and M. Kwiatkowska. Domain Equations for Probabilistic Processes (Extended Abstract). In Proc. EXPRESS'97, volume 7 of Electronic Notes in Theoretical Computer Science, Elsevier. 1997. [ps.gz] [bib]
[BK97c] C. Baier and M. Kwiatkowska. On topological hierarchies of temporal properties. In Proc. Partial Order Methods in Verification: Dimacs Workshop, pages 141-170, AMS Press. 1997. [ps.gz] [bib]
[HK97] M. Huth and M. Kwiatkowska. Quantitative Analysis and Model Checking. In Proc. 12th Annual IEEE Symposium on Logic in Computer Science (LICS'97), pages 111-122, IEEE CS Press. March 1997. [ps.gz] [bib]
[BCHG+97] C. Baier, E. Clarke, V. Hartonas-Garmhausen, M. Kwiatkowska and M. Ryan. Symbolic Model Checking for Probabilistic Processes. In P. Degano and R. Gorrieri and A. Marchetti-Spaccamela (editors), Proc. 24th International Colloquium on Automata, Languages and Programming (ICALP'97), volume 1256 of LNCS, pages 430-440, Springer. 1997. [ps.gz] [bib]
[BK97] C. Baier and M. Kwiatkowska. Automatic Verification of Liveness Properties of Randomized Systems (Extended Abstract). In Proc. Symposium on Principles of Distributed Computing (PODC'97), pages 295, ACM Press. 1997. [ps.gz] [bib]
[HK96] M. Huth and M. Kwiatkowska. Finite but Unbounded Delay in Synchronous CCS. In Proc. Advanced methods in theory and formal methods of computing (TFM'96), pages 312-323, Imperial College Press. 1996. [ps.gz] [bib]
[EKM96] A. El-Rayes, M. Kwiatkowska and S. Minton. Analysing Performance of Lift Systems in PEPA. In Proc. UK Performance Engineering Workshop, pages 83-100. Department of Computer Science, The University of Edinburgh. 1996. [ps.gz] [bib]
[KN96a] M. Kwiatkowska and G. Norman. Probabilistic Metric Semantics for a Simple Language with Recursion. In W. Penczek and A. Szalas (editors), Proc. 21st International Symposium on Mathematical Foundations of Computer Science (MFCS'96), volume 1113 of Lecture Notes in Computer Science, pages 419-430, Springer. September 1996. [ps.gz] [pdf] [bib]
[KN96b] M. Kwiatkowska and G. Norman. Metric Denotational Semantics for PEPA. In M. Ribaudo (editor), Proc. 4th Process Algebras and Performance Modelling Workshop (PAPM'96), pages 120-138, CLUT. July 1996. [ps.gz] [pdf] [bib]
[BK95] M. Bonsangue and M. Kwiatkowska. Re-interpreting the modal mu-calculus. In Proc. Modal Logic and Process Algebra, volume 53 of CSLI Lecture Notes, pages 65-83, CSLI Publications. 1995. [ps.gz] [bib]
[HK95] C. Hartonas and M. Kwiatkowska. Synchronization trees and fairness: A case study. In Proc. Advanced methods in theory and formal methods of computing (TFM'94), pages 181-198, Imperial College Press. 1995. [ps.gz] [bib]
[KP95] M. Kwiatkowska and I. Phillips. Possible and Guaranteed Concurrency in CSP. In Proc. Structures in Concurrency Theory, Workshops in Computing, pages 220-235, Springer. 1995. [ps.gz] [bib]
[Kwi94] M. Kwiatkowska. Concurrency, Fairness and Logical Complexity. In Proc. 1st Imperial College Department of Computing Workshop on Theory and Formal Methods, Workshops in Computing, pages 195-208, Springer. 1994. [ps.gz] [bib]
[KP94] M. Kwiatkowska and I. Phillips. Concurrency and Conflict in CSP. In Proc. 1st Imperial College Department of Computing Workshop on Theory and Formal Methods, Workshops in Computing, pages 209-225, Springer. 1994. [ps.gz] [bib]
[KPP94] M. Kwiatkowska, D. Peled and W. Penczek. A hierarchy of partial order temporal properties. In Proc. International Conference on Temporal Logic, volume 827 of LNCS, pages 65-83, Springer. 1994. [ps.gz] [bib]
[AKM94] S. Ambler, M. Kwiatkowska and N. Measor. On duality for the modal mu-calculus. In Proc. Computer Science Logic (CSL'94), volume 832 of LNCS, pages 18-32, Springer. 1994. [ps.gz] [bib]
[Kwi93] M. Kwiatkowska. Infinite Behaviour and Fairness in Concurrent Constraint Programming. In Proc. Semantics: foundations and applications, volume 666 of LNCS, pages 348-383, Springer. 1993. [ps.gz] [bib]
[Kwi92] M. Kwiatkowska. Infinite Behaviour and Fairness in Concurrent Constraint Programming. In REX Workshop, volume 666 of LNCS, pages 348-383, Springer. 1992. [bib] http://www.springerlink.com/content/7784771783011332/
[Kwi91] M. Kwiatkowska. On the Domain of Traces and Sequential Composition. In Proc. International Joint Conference on Theory and Practice of Software Development (TAPSOFT'91), pages 42-56. 1991. [bib] http://www.springerlink.com/content/f434796146433768/
[BK91] B. Bloom and M. Kwiatkowska. Trade-Offs in True Concurrency: Pomsets and Mazurkiewicz Traces. In Proc. 7th International Conference on Mathematical Foundations of Programming Semantics (MFPS'91), pages 350-375, Springer. 1991. [bib] http://www.springerlink.com/content/p127357t6254665n/
[Kwi90b] M. Kwiatkowska. Defining Process Fairness for Non-Interleaving Concurrency. In 10th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'90), volume 472 of LNCS, pages 286-300, Springer. 1990. [bib] http://www.springerlink.com/content/pqm2q43115r10518/

Theses

[Kwi89b] Kwiatkowska, Marta Zofia. Fairness for non-interleaving concurrency. Ph.D. thesis, University of Leicester. 1989. [bib]

Technical reports

[VSLK24] Jon Vadillo, Roberto Santana, Jose A. Lozano, Marta Kwiatkowska. Uncertainty-Aware Explanations Through Probabilistic Self-Explainable Neural Networks. Technical report , arXiv:2403.13740 . Paper under submission. 2024. [pdf] [bib] https://arxiv.org/abs/2403.13740
[ZWKZ24] Xiyue Zhang, Benjie Wang, Marta Kwiatkowska, Huan Zhang. PREMAP: A Unifying PREiMage APproximation Framework for Neural Networks. Technical report , arXiv:2408.09262. Paper under submission. 2024. [pdf] [bib] https://arxiv.org/abs/2408.09262
[SFK24] Daqian Shao, Lukas Fesser, Marta Kwiatkowska. STR-Cert: Robustness Certification for Deep Text Recognition on Deep Learning Pipelines and Vision Transformers. Technical report , arXiv:2401.05338. Paper under submission. 2024. [pdf] [bib] https://arxiv.org/abs/2401.05338
[BCC+24] Tomáš Brázdil, Krishnendu Chatterjee, Martin Chmelik, Vojtěch Forejt, Jan Křetínský, Marta Kwiatkowska, Tobias Meggendorfer, David Parker, Mateusz Ujma. Learning Algorithms for Verification of Markov Decision Processes. Technical report , arXiv:2403.09184. Paper under submission. 2024. [pdf] [bib] https://arxiv.org/abs/2403.09184
[YSN+23] Rui Yan, Gabriel Santos, Gethin Norman, David Parker, Marta Kwiatkowska. Point-based Value Iteration for Neuro-Symbolic POMDPs. Technical report arXiv:2306.17639, arXiv. Paper under submission. 2023. [pdf] [bib] https://arxiv.org/abs/2306.17639
[LWK23] Emanuele La Malfa, Matthew Wicker, Marta Kwiatkowska. Emergent Linguistic Structures in Neural Networks are Fragile. Technical report , arXiv. 2023. [pdf] [bib] https://arxiv.org/abs/2210.17406
[VWM22] Artem Velikzhanin, Benjie Wang and Marta Kwiatkowska. Bayesian Network Models of Causal Interventions in Healthcare Decision Making: Literature Review and Software Evaluation. Technical report , Computer Science, University of Oxford. 2022. [pdf] [bib] https://arxiv.org/abs/2211.15258
[PK22] Aleksandar Petrov, Marta Kwiatkowska. Robustness of Unsupervised Representation Learning without Labels. Technical report arXiv:2210.04076, arXiv. 2022. [pdf] [bib] https://doi.org/10.48550/arXiv.2210.04076
[BCJ+21] Imane Bakkar, Chiranjit Chakraborty, Carsten Jung, Marta Kwiatkowska and Carl Taylor. Staff Working Paper No. 947- Software Validation and Artificial Intelligence in Finance – a Primer. Technical report 947, Bank of England. October 2021. [pdf] [bib]
[LKF21] Tobias Lorenz, Marta Kwiatkowska and Mario Fritz. Uncertify: Attacks Against Neural Network Certification. Technical report , Arxiv:2108.11299. Superseded by [LKF23] http://fun2model.org/bibitem.php?key=LKF23. August 2021. [pdf] [bib]
[DFK+14b] K. Draeger, V. Forejt, M. Kwiatkowska, D. Parker and M. Ujma. Permissive Controller Synthesis for Probabilistic Systems. Technical report RR-14-01, Department of Computer Science, University of Oxford. 2014. [pdf] [bib]
[FKP12b] V. Forejt and M. Kwiatkowska and D. Parker. Pareto Curves for Probabilistic Model Checking. Technical report 1206.6295, arXiv. 2012. [pdf] [bib]
[cdkm11] Taolue Chen, Marco Diciolla, Marta Kwiatkowska, Alexandru Mereacre. Verification of Linear Duration Properties over Continuous Time Markov Chains. Technical report , University of Oxford. October 2011. [pdf]
[MPK03b] R. Mehmood, D. Parker and M. Kwiatkowska. An Efficient BDD-Based Implementation of Gauss-Seidel for CTMC Analysis. Technical report CSR-03-13, School of Computer Science, University of Birmingham. December 2003. [ps.gz] [pdf] [bib]
[KNS03d] M. Kwiatkowska, G. Norman and J. Sproston. Symbolic Model Checking for Probabilistic Timed Automata. Technical report CSR-03-10, School of Computer Science, University of Birmingham. October 2003. [ps.gz] [pdf] [bib]
[MPK03a] R. Mehmood, D. Parker and M. Kwiatkowska. An Efficient Symbolic Out-of-Core Solution Method for Markov Models. Technical report CSR-03-08, School of Computer Science, University of Birmingham. August 2003. [ps.gz] [pdf] [bib]
[KNS03c] M. Kwiatkowska, G. Norman and J. Sproston. PCTL model checking of symbolic probabilistic systems. Technical report CSR-03-2, University of Birmingham, School of Computer Science. April 2003. [ps.gz] [pdf] [bib]
[KNS03a] M. Kwiatkowska, G. Norman and J. Sproston. Symbolic Computation of Minimal Probabilistic Reachability. Technical report CSR-03-01, University of Birmingham, School of Computer Science. January 2003. [ps.gz] [pdf] [bib]
[KNS00] M. Kwiatkowska, G. Norman and J. Sproston. Symbolic Model Checking of Probabilistic Timed Automata Using Backwards Reachability. Technical report CSR-00-01, University of Birmingham, School of Computer Science. January 2000. [ps.gz] [pdf] [bib]

Sort by: date, type, title

Marta Kwiatkowska's Publications

Books and edited volumes

Book chapters

Journal papers

Conference papers

Theses

Technical reports

QAV:

> Home

> People

> Projects

> Publications