2009
- Jane Hillston, Marta Z. Kwiatkowska, Miklós Telek. Guest Editors Introduction to the Special Issue on Quantitative Evaluation of Computer Systems. TSE, 35(2):145-147, 2009. [doi]
- Radu Calinescu, Marta Z. Kwiatkowska. CADS*: Computer-Aided Development of Self-* Systems. FASE 2009: 421-424 [doi]
- Radu Calinescu, Marta Z. Kwiatkowska. Using quantitative analysis to implement autonomic IT systems. ICSE 2009: 100-110 [doi]
- Mark Kattenbelt, Marta Z. Kwiatkowska, Gethin Norman, David Parker. Abstraction Refinement for Probabilistic Software. vmcai 2009: 182-197 [doi]
- Marta Z. Kwiatkowska. On Quantitative Software Verification. spin 2009: 2-3 [doi]
- Marta Z. Kwiatkowska, Gethin Norman, David Parker, Maria Grazia Vigliotti. Probabilistic Mobile Ambients. TCS, 410(12-13):1272-1303, 2009. [doi]
2008
- Tianyi Zang, Radu Calinescu, Steve Harris, Andrew Tsui, Marta Z. Kwiatkowska, Jeremy Gibbons, Jim Davies, Peter Maccallum, Carlos H. Caldas. WSRF-Based Modeling of Clinical Trial Information for Collaborative Cancer Research. ccgrid 2008: 73-81 [doi]
- John Heath, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Oksana Tymchyshyn. Probabilistic model checking of complex biological pathways. TCS, 391(3):239-257, 2008. [doi]
- Oksana Tymchyshyn, Marta Z. Kwiatkowska. Combining Intra- and Inter-cellular Dynamics to Investigate Intestinal Homeostasis. fmsb 2008: 63-76 [doi]
- Marta Z. Kwiatkowska, Gethin Norman, David Parker. Using probabilistic model checking in systems biology. sigmetrics, 35(4):14-21, 2008. [doi]
- Mark Kattenbelt, Marta Z. Kwiatkowska, Gethin Norman, David Parker. Game-Based Probabilistic Predicate Abstraction in PRISM. ENTCS, 220(3):5-21, 2008. [doi]
2007
- Xu Wang, Marta Z. Kwiatkowska. On Process-algebraic Verification of Asynchronous Circuits. FUIN, 80(1-3):283-310, 2007. [doi]
- Marta Z. Kwiatkowska. Quantitative verification: models, techniques and tools. ESEC/FSE 2007: 449-458 [doi]
- Marta Z. Kwiatkowska. Quantitative verification: models techniques and tools. ESEC/FSE 2007: 449-458 [doi]
- Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston, Fuzhi Wang. Symbolic model checking for probabilistic timed automata. iandc, 205(7):1027-1077, 2007. [doi]
- Marta Z. Kwiatkowska, Gethin Norman, David Parker. Stochastic Model Checking. sfm 2007: 220-270 [doi]
- Kousha Etessami, Marta Z. Kwiatkowska, Moshe Y. Vardi, Mihalis Yannakakis. Multi-objective Model Checking of Markov Decision Processes. TACAS 2007: 50-65 [doi]
- Xu Wang, Marta Z. Kwiatkowska. Compositional State Space Reduction Using Untangled Actions. ENTCS, 175(3):27-46, 2007. [doi]
2006
- Herbert M. Sauro, David Harel, Marta Z. Kwiatkowska, Clifford A. Shaffer, Adelinde M. Uhrmacher, Michael Hucka, Pedro Mendes, Lena Strömbäck, John J. Tyson. Challenges for modeling and simulation methods in systems biology. wsc 2006: 1720-1730 [doi]
- Andrew Hinton, Marta Z. Kwiatkowska, Gethin Norman, David Parker. PRISM: A Tool for Automatic Verification of Probabilistic Systems. TACAS 2006: 441-444 [doi]
- Håkan L. S. Younes, Marta Z. Kwiatkowska, Gethin Norman, David Parker. Numerical vs. statistical probabilistic model checking. STTT, 8(3):216-228, 2006. [doi]
- Marta Z. Kwiatkowska, Gethin Norman, David Parker. Symmetry Reduction for Probabilistic Model Checking. cav 2006: 234-248 [doi]
- Marcus Größer, Gethin Norman, Christel Baier, Frank Ciesinski, Marta Z. Kwiatkowska, David Parker. On Reduction Criteria for Probabilistic Reward Models. fsttcs 2006: 309-320 [doi]
- Marta Z. Kwiatkowska, Gethin Norman, David Parker, Jeremy Sproston. Performance analysis of probabilistic timed automata using digital clocks. fmsd, 29(1):33-78, 2006. [doi]
- Marie Duflot, Marta Z. Kwiatkowska, Gethin Norman, David Parker. A formal analysis of bluetooth device discovery. STTT, 8(6):621-632, 2006. [doi]
- Xu Wang, Marta Z. Kwiatkowska, Georgios K. Theodoropoulos, Qianyi Zhang. Opportunities and Challenges in Process-algebraic Verification of Asynchronous Circuit Designs. ENTCS, 146(2):189-206, 2006. [doi]
- Marta Z. Kwiatkowska, Gethin Norman, David Parker. Quantitative Analysis With the Probabilistic Model Checker PRISM. ENTCS, 153(2):5-31, 2006. [doi]
- Marta Z. Kwiatkowska, Gethin Norman, David Parker, Oksana Tymchyshyn, John Heath, Eamonn Gaffney. Simulation and verification for computational modelling of signalling pathways. wsc 2006: 1666-1674 [doi]
- Marta Z. Kwiatkowska, Gethin Norman, David Parker. Game-based Abstraction for Markov Decision Processes. qest 2006: 157-166 [doi]
- John Heath, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Oksana Tymchyshyn. Probabilistic Model Checking of Complex Biological Pathways. cmsb 2006: 32-47 [doi]
- Xu Wang, Marta Z. Kwiatkowska. On process-algebraic verification of asynchronous circuits. acsd 2006: 37-46 [doi]
2005
- Zhenyu Liu, Marta Z. Kwiatkowska, Costas C. Constantinou. A Biologically Inspired QoS Routing Algorithm for Mobile Ad Hoc Networks. aina 2005: 426-431 [doi]
- Stefano Cattani, Marta Z. Kwiatkowska. A refinement-based process algebra for timed automata. fac, 17(2):138-159, 2005. [doi]
- Gethin Norman, David Parker, Marta Z. Kwiatkowska, Sandeep K. Shukla. Evaluating the reliability of NAND multiplexing with PRISM. tcad, 24(10):1629-1637, 2005. [doi]
- Gethin Norman, David Parker, Marta Z. Kwiatkowska, Sandeep K. Shukla, Rajesh Gupta. Using probabilistic model checking for dynamic power management. fac, 17(2):160-176, 2005. [doi]
- Sibusisiwe Chiyangwa, Marta Z. Kwiatkowska. A Timing Analysis of AODV. fmoods 2005: 306-321 [doi]
- Zhenyu Liu, Marta Z. Kwiatkowska, Costas C. Constantinou. A Biologically Inspired Congestion Control Routing Algorithm for MANETs. percom 2005: 226-231 [doi]
- Fuzhi Wang, Marta Z. Kwiatkowska. An MTBDD-Based Implementation of Forward Reachability for Probabilistic Timed Automata. atva 2005: 385-399 [doi]
- Marta Z. Kwiatkowska, Gethin Norman, David Parker. Probabilistic model checking in practice: case studies with PRISM. sigmetrics, 32(4):16-21, 2005. [doi]
- Yi Zhang, David Parker, Marta Z. Kwiatkowska. A Wavefront Parallelisation of CTMC Solution Using MTBDDs. dsn 2005: 732-741 [doi]
- Xu Wang, Marta Z. Kwiatkowska, Georgios K. Theodoropoulos, Qianyi Zhang. Towards a Unifying CSP approach to Hierarchical Verification of Asynchronous Hardware. ENTCS, 128(6):231-246, 2005. [doi]
- Stefano Cattani, Roberto Segala, Marta Z. Kwiatkowska, Gethin Norman. Stochastic Transition Systems for Continuous State Spaces and Non-determinism. fossacs 2005: 125-139 [doi]
2004
- Marta Z. Kwiatkowska, Gethin Norman, David Parker. Probabilistic symbolic model checking with PRISM: a hybrid approach. STTT, 6(2):128-142, 2004. [doi]
- Gethin Norman, David Parker, Marta Z. Kwiatkowska, Sandeep K. Shukla. Evaluating the Reliability of Defect-Tolerant Architectures for Nanotechnology with Probabilistic Model Checking. vlsid 2004: 907 [doi]
- Conrado Daws, Marta Z. Kwiatkowska, Gethin Norman. Automatic verification of the IEEE 1394 root contention protocol with KRONOS and PRISM. STTT, 5(2-3):221-236, 2004. [doi]
- Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston, Fuzhi Wang. Symbolic Model Checking for Probabilistic Timed Automata. formats 2004: 293-308 [doi]
- Håkan L. S. Younes, Marta Z. Kwiatkowska, Gethin Norman, David Parker. Numerical vs. Statistical Probabilistic Model Checking: An Empirical Study. TACAS 2004: 46-60 [doi]
- Zhenyu Liu, Marta Z. Kwiatkowska, Costas C. Constantinou. A swarm intelligence routing algorithm for MANETs. ciit 2004: 484-489
- Marta Z. Kwiatkowska, Gethin Norman, David Parker. PRISM 2.0: A Tool for Probabilistic Model Checking. qest 2004: 322-323 [doi]
- Marta Z. Kwiatkowska, David Parker, Yi Zhang, Rashid Mehmood. Dual-Processor Parallelisation of Symbolic Probabilistic Model Checking. mascots 2004: 123-130 [doi]
- Marie Duflot, Marta Z. Kwiatkowska, Gethin Norman, David Parker. A Formal Analysis of Bluetooth Device Discovery. isola 2004: 268-275
2003
- Marta Z. Kwiatkowska. Model checking for probability and time: from theory to practice . lics 2003: 351 [doi]
- Marta Z. Kwiatkowska, Gethin Norman, David Parker, Jeremy Sproston. Performance Analysis of Probabilistic Timed Automata Using Digital Clocks. formats 2003: 105-120 [doi]
- Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston. Probabilistic Model Checking of Deadline Properties in the IEEE 1394 FireWire Root Contention Protocol. fac, 14(3):295-318, 2003. [doi]
- Holger Hermanns, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Markus Siegle. On the use of MTBDDs for performability analysis and verification of stochastic systems. jlp, 56(1-2):23-67, 2003. [doi]
2002
- Marta Z. Kwiatkowska, Gethin Norman, David Parker. PRISM: Probabilistic Symbolic Model Checker. cpe 2002: 200-204 [doi]
- Marta Z. Kwiatkowska, Gethin Norman, António Pacheco. Model Checking CSL until Formulae with Random Time Bounds. papm 2002: 152-168 [doi]
- Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston. Probabilistic Model Checking of the IEEE 802.11 Wireless Local Area Network Protocol. papm 2002: 169-187 [doi]
- Marta Z. Kwiatkowska, Gethin Norman. Verifying Randomized Byzantine Agreement. forte 2002: 194-209 [doi]
- Conrado Daws, Marta Z. Kwiatkowska, Gethin Norman. Automatic Verification of the IEEE-1394 Root Contention Protocol with KRONOS and PRISM. ENTCS, 66(2), 2002. [doi]
- Marta Z. Kwiatkowska, Rashid Mehmood, Gethin Norman, David Parker. A Symbolic Out-of-Core Solution Method for Markov Models. ENTCS, 68(4), 2002. [doi]
- Marta Z. Kwiatkowska, Gethin Norman, Roberto Segala, Jeremy Sproston. Automatic verification of real-time systems with discrete probability distributions. TCS, 282(1):101-150, 2002. [doi]
- Marta Z. Kwiatkowska, Gethin Norman, David Parker. Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach. TACAS 2002: 52-66 [doi]
- Marta Z. Kwiatkowska, Rashid Mehmood. Out-of-Core Solution of Large Linear Systems of Equations Arising from Stochastic Modelling. papm 2002: 135-151 [doi]
2001
2000
- Marta Z. Kwiatkowska, Gethin Norman, Roberto Segala, Jeremy Sproston. Verifying Quantitative Properties of Continuous Probabilistic Timed Automata. concur 2000: 123-137 [doi]
- Luca de Alfaro, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Roberto Segala. Symbolic Model Checking of Probabilistic Processes Using MTBDDs and the Kronecker Representation. TACAS 2000: 395-410 [doi]
- Christel Baier, Marta Z. Kwiatkowska. Domain equations for probabilistic processes. mscs, 10(6):665-717, 2000.
- Christel Baier, Marta Z. Kwiatkowska. On Topological Hierarchies of Temporal Properties. FUIN, 41(3):259-294, 2000.
1999
- Marta Z. Kwiatkowska, Gethin Norman, Roberto Segala, Jeremy Sproston. Automatic Verification of Real-Time Systems with Discrete Probability Distributions. arts 1999: 75-95 [doi]
- Christel Baier, Marta Z. Kwiatkowska, Gethin Norman. Computing Probability Bounds for Linear Time Formulas over Concurrent Probabilistic Systems. ENTCS, 22, 1999. [doi]
- Christel Baier, Michael Huth, Marta Z. Kwiatkowska, Mark Ryan. Preface. ENTCS, 22, 1999. [doi]
1998
- Christel Baier, Marta Z. Kwiatkowska. On the Verification of Qualitative Properties of Probabilistic Processes under Fairness Constraints. ipl, 66(2):71-79, 1998. [doi]
- Marta Z. Kwiatkowska, Gethin Norman. A Fully Abstract Metric-Space Denotational Semantics for Reactive Probabilistic Processes. ENTCS, 13, 1998. [doi]
- Christel Baier, Marta Z. Kwiatkowska. Model Checking for a Probabilistic Branching Time Logic with Fairness. dc, 11(3):125-155, 1998. [doi]
- Marta Z. Kwiatkowska, Gethin Norman. A Testing Equivalence for Reactive Probabilistic Processes. ENTCS, 16(2), 1998. [doi]
- Michael Huth, Marta Z. Kwiatkowska. Comparing CTL and PCTL on labeled Markov chains. procomet 1998: 244-262
- Abbas Edalat, Achim Jung, Klaus Keimel, Marta Z. Kwiatkowska. Preface. ENTCS, 13, 1998. [doi]
1997
1996
1995
1994
1993
1992
1991
1990
1989