Marta Kwiatkowska's Publications

Sort by: date, type, title

318 publications:

[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]
[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]
[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]
[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]
[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]
[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]
[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]
[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]
[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]
[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]
[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]
[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]
[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]
[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]
[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]
[WWRHK+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. To appear. 2019. [pdf] [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]
[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]
[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]
[Kwi90a] M. Kwiatkowska. A Metric for Traces. Information Processing Letters, 35(3), pages 129-135. 1990. [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]
[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]
[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]
[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]
[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]
[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]
[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]
[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]
[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]
[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]
[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]
[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]
[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]
[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]
[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]
[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]
[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]
[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]
[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]
[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]
[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]
[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]
[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]
[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. To appear. 2018. [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]
[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]
[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. To appear. 2018. [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]
[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]
[CFK+13b] T. Chen, V. Forejt, M. Kwiatkowska, D. Parker and A. Simaitis. Automatic Verification of Competitive Stochastic Systems. Formal Methods in System Design, pages 43(1), pages 61-92, Springer. February 2013. [pdf] [bib]
[CFK+12] T. Chen, V. Forejt, M. Kwiatkowska, D. Parker and A. Simaitis. Automatic Verification of Competitive Stochastic Systems. In Proc. 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'12), volume 7214 of LNCS, pages 315-330, Springer. March 2012. [pdf] [bib]
[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]
[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]
[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]
[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]
[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]
[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]
[KH09b] M. Kwiatkowska and J. Heath. Biological pathways as communicating computer systems. Journal of Cell Science, 122(16), pages 2793-2800. August 2009. [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]
[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.
[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]
[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]
[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. To appear. 2018. [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]
[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]
[CKW17] L. Cardelli, M. Kwiatkowska and M. Whitby. Chemical Reaction Network Designs for Asynchronous Logic Circuits. Natural Computing. To appear. 2017. [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]
[PPK18] N. Paoletti, A. Patane and M. Kwiatkowska. Closed-loop quantitative verification of rate-adaptive pacemakers. ACM Transactions on Cyber-Physical Systems. To appear. 2018. [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]
[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]
[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]
[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]
[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]
[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]
[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]
[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]
[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]
[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]
[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]
[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]
[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]
[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]
[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]
[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. To appear. 2018. [pdf] [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]
[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]
[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]
[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]
[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]
[ELK+19] 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]
[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]
[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]
[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]
[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]
[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]
[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]
[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]
[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]
[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]
[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]
[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]
[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]
[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]
[CLL+19] N. Cauchi, L. Laurenti, M. Lahijanian, A. Abate, M. Kwiatkowska and L. 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. To appear. 2019. [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. To appear. 2018. [pdf] [bib]
[KNPS+19] M. Kwiatkowska and G. Norman and D. Parker and G. Santos. Equilibria-based Probabilistic Model Checking for Concurrent Stochastic Games. In Proc. 23rd International Symposium on Formal Methods (FM'19), Springer. To appear. October 2019. [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]
[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]
[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]
[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]
[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]
[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]
[Kwi89] M. Kwiatkowska. Event Fairness and Non-interleaving Concurrency. Formal Aspects of Computing, 1(3), pages 213-228. 1989. [bib]
[FKNT16] V. Forejt, M. Kwiatkowska, G. Norman, A. Trivedi. Expected Reachability-Time Games. Theoretical Computer Science, Elsevier. To appear. 2016. [pdf] [bib]
[FKNT10a] V. Forejt, M. Kwiatkowska, G. Norman and A. Trivedi. Expected Reachability-Time Games. In K. Chatterjee and T. Henzinger (editors), Proeedings of 8th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'10), volume 6246 of LNCS, pages 122--136, Springer. September 2010. [pdf] [bib]
[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. To appear. 2018. [pdf] [bib]
[Kwi89b] Kwiatkowska, Marta Zofia. Fairness for non-interleaving concurrency. Ph.D. thesis, University of Leicester. 1989. [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]
[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. To appear. 2018. [pdf] [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]
[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]
[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]
[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]
[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]
[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]
[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]
[Kwi13] M. Kwiatkowska. From Software Verification to 'Everyware' Verification. Computer Science - Research and Development, 28(4), pages 295-310, Springer. November 2013. [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]
[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]
[WLLRHMK+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. To appear. 2019. [pdf] [bib]
[RWSHKK+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). To appear. 2019. [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]
[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]
[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]
[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]
[KPQ11] M. Kwiatkowska, D. Parker and H. Qu. Incremental Quantitative Verification for Markov Decision Processes. In Proc. IEEE/IFIP International Conference on Dependable Systems and Networks (DSN-PDS'11), pages 359-370, IEEE CS Press. June 2011. [pdf] [bib]
[FKP+12] V. Forejt, M. Kwiatkowska, D. Parker, H. Qu and M. Ujma. Incremental Runtime Verification of Probabilistic Systems. In S. Qadeer and S. Tasiran (editors), Proc. 3rd International Conference on Runtime Verification (RV'12), volume 7687 of LNCS, pages 314-319, Springer. September 2012. [pdf] [bib]
[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]
[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]
[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]
[SCCKKKMP12] I. Sommerville, D. Cliff, R. Calinescu, J. Keen, T. Kelly, M. Kwiatkowska, J. McDermid and R. Paige. Large-Scale Complex IT Systems. Communications of the ACM, 55(7), pages 71-77. July 2012. [bib]
[FHKP11] L. Feng, T. Han, M. Kwiatkowska and D. Parker. Learning-based Compositional Verification for Synchronous Probabilistic Systems. In Proc. 9th International Symposium on Automated Technology for Verification and Analysis (ATVA'11), volume 6996 of LNCS, pages 511-521, Springer. October 2011. [pdf] [bib]
[DKPQ14] K. Draeger, M. Kwiatkowska, D. Parker, and H. Qu. Local Abstraction Refinement for Probabilistic Timed Programs. Theoretical Computer Science, 538, pages 37–53, Elsevier. 2014. [pdf] [bib]
[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]
[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]
[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]
[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]
[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]
[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]
[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]
[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]
[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]
[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]
[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]
[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]
[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]
[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]
[LKC+18] L. Laurenti, M. Kwiatkowska, A. Czikasz-Nagy, L. Cardelli. Molecular Filters for Noise Reduction. Biophysical Journal, Elsevier. To appear. 2018. [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]
[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]
[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]
[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]
[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]
[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]
[WK07] X. Wang and M. Kwiatkowska. On process-algebraic verification of asynchronous circuits. Fundamenta Informaticae, 80(1-3), pages 283-310. 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]
[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]
[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]
[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]
[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]
[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]
[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]
[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]
[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]
[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. To appear. 2019. [pdf]
[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]
[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]
[BK00b] C. Baier and M. Kwiatkowska. On topological hierarchies of temporal properties. Fundamenta Informaticae, 41(3), pages 259-294. 2000. [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]
[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]
[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]
[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]
[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]
[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]
[JK17] A. Jovanovic and M. Kwiatkowska. Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions. Theoretical Computer Science. To appear. 2017. [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]
[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]
[FKP12b] V. Forejt and M. Kwiatkowska and D. Parker. Pareto Curves for Probabilistic Model Checking. Technical report 1206.6295, arXiv. 2012. [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]
[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]
[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]
[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]
[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]
[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]
[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]
[wckltt19] Max Whitby, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Mirco Tribastone, Max Tschaikowski. PID Control of Biochemical Reaction Networks. In Proc. 58th Conference on Decision and Control - Nice, France - December 11th-13th 2019. To appear. 2019. [pdf]
[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]
[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]
[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]
[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]
[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]
[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]
[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]
[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]
[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]
[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]
[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]
[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]
[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]
[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]
[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]
[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]
[KNP17a] M. Kwiatkowska, G. Norman and D. Parker. Probabilistic Model Checking: Advances and Applications. In R. Drechsler (editor), Formal System Verification. 2017. [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]
[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]
[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]
[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]
[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]
[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]
[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]
[AKMMR+19] B. Aminof, M. Kwiatkowska, B. Maubert, A. Murano and S. Rubin. Probabilistic Strategy Logic. In Proc. International Joint Conference on Artificial Intelligence (IJCAI-19). To appear. 2019. [pdf] [bib]
[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]
[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]
[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]
[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]
[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]
[CKL17] L. Cardelli, M. Kwiatkowska and L. Laurenti. Programming discrete distributions with chemical reaction networks. Natural Computing. To appear. 2017. [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]
[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]
[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]
[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]
[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]
[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]
[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]
[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]
[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). To appear. 2018. [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]
[HKO+19] Xiaowei Huang, Marta Kwiatkowska, Maciej Olejnik. Reasoning about Cognitive Trust in Stochastic Multiagent Systems. To appear in ACM Transactions on Computational Logic. 2019. [pdf]
[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]
[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]
[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]
[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]
[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. To appear. 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. To appear. 2018.
[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]
[CKL+19] L. Cardelli, M. Kwiatkowska, L. Laurenti, A. Patane. Robustness Guarantees for Bayesian Inference with Gaussian Processes. In Proc. Thirty-Third AAAI Conference on Artificial Intelligence (AAAI-19). To appear. 2019. [pdf] [bib]
[WK+19] M. Wicker and M. Kwiatkowska. Robustness of 3D Deep Learning in an Adversarial Setting. In Proceedings, Computer Vision and Pattern Recognition (CVPR) 2019. To appear. 2019. [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]
[Kwi+19a] 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]
[Kwi+19] Marta Kwiatkowska. Safety Verification for Deep Neural Networks with Provable Guarantees (Invited Paper). In 30th International Conference on Concurrency Theory, CONCUR 2019, August 27-30, 2019, Amsterdam, the Netherlands., pages 1:1--1:5. 2019. [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. To appear. 2017. [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]
[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]
[KST90] M. Kwiatkowska and M. Shields and R. Thomas (editors), Semantics for Concurrency. Springer-Verlag. 1990. [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]
[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]
[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]
[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]
[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]
[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]
[KT14] M. Kwiatkowska and C. Thachuk. Probabilistic Model Checking for Biology. In Software Safety and Security, volume 36 of NATO Science for Peace and Security Series - D: Information and Communication Security, pages 165-189, IOS Press. 2014. [pdf] [bib]
[KP12] M. Kwiatkowska and D. Parker. Advances in Probabilistic Model Checking. In Software Safety and Security - Tools for Analysis and Verification, volume 33 of NATO Science for Peace and Security Series - D: Information and Communication Security, pages 126-151, IOS Press. June 2012. [pdf] [bib]
[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]
[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]
[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]
[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]
[CKLPPW+19] 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-19). To appear. 2019. [pdf] [bib]
[CKL16c] L. Cardelli, M. Kwiatkowska, L. Laurenti. Stochastic Analysis of Chemical Reaction Networks Using Linear Noise Approximation. BioSystems, Elsevier. 2016. [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]
[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]
[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]
[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]
[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]
[Kwi89a] M.Z. Kwiatkowska. Survey of fairness notions. Information and Software Technology , 31(7), pages 371 - 386. 1989. [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]
[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]
[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]
[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]
[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]
[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]
[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]
[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]
[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]
[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]
[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]
[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]
[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]
[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]
[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]
[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]
[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]
[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]
[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]
[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]
[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]
[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]
[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]
[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]
[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]
[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]
[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]
[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]
[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]
[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]
[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]
[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]
[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]
[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]
[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]
[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]
[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]
[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]
[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]
[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]
[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. To appear. 2018. [pdf] [bib]
[ZCH+08] T. Zang, R. Calinescu, S. Harris, A. Tsui, M. Kwiatkowska, J. Gibbons, J. Davies, P. Maccallum and C. Caldas. WSRF-Based Modeling of Clinical Trial Information for Collaborative Cancer Research. In Proc. 8th IEEE International Symposium on Cluster Computing and the Grid (CCGRID'08), IEEE. May 2008. [pdf] [bib]

Sort by: date, type, title

Marta Kwiatkowska's Publications

QAV:

> Home

> People

> Projects

> Publications