| 2019 | CONCUR | Safety Verification for Deep Neural Networks with Provable Guarantees (Invited Paper). | Marta Z. Kwiatkowska |
| 2017 | CAV | Syntax-Guided Optimal Synthesis for Chemical Reaction Networks. | Luca Cardelli, Milan Ceska, Martin Frnzle, Marta Z. Kwiatkowska, Luca Laurenti, Nicola Paoletti, Max Whitby |
| 2016 | ICALP | Model Checking and Strategy Synthesis for Stochastic Games: From Theory to Practice. | Marta Z. Kwiatkowska |
| 2016 | MASCOTS | Static Program Analysis for Identifying Energy Bugs in Graphics-Intensive Mobile Apps. | Chang Hwan Peter Kim, Daniel Kroening, Marta Z. Kwiatkowska |
| 2016 | TACAS | PRISM-PSY: Precise GPU-Accelerated Parameter Synthesis for Stochastic Systems. | Milan Ceska, Petr Pilar, Nicola Paoletti, Lubos Brim, Marta Z. Kwiatkowska |
| 2015 | CAV | Adaptive Aggregation of Markov Chains: Quantitative Analysis of Chemical Reaction Networks. | Alessandro Abate, Lubos Brim, Milan Ceska, Marta Z. Kwiatkowska |
| 2015 | TACAS | Strategy Synthesis for Stochastic Games with Multiple Long-Run Objectives. | Nicolas Basset, Marta Z. Kwiatkowska, Ufuk Topcu, Clemens Wiltsche |
| 2014 | ATVA | Verification of Markov Decision Processes Using Learning Algorithms. | Toms Brzdil, Krishnendu Chatterjee, Martin Chmelik, Vojtech Forejt, Jan Kretnsk, Marta Z. Kwiatkowska, David Parker, Mateusz Ujma |
| 2014 | CAV | Invariant Verification of Nonlinear Hybrid Automata Networks of Cardiac Cells. | Zhenqi Huang, Chuchu Fan, Alexandru Mereacre, Sayan Mitra, Marta Z. Kwiatkowska |
| 2014 | CONCUR | Compositional Controller Synthesis for Stochastic Games. | Nicolas Basset, Marta Z. Kwiatkowska, Clemens Wiltsche |
| 2014 | EMSOFT | Synthesising optimal timing delays for Timed I/O Automata. | Marco Diciolla, Chang Hwan Peter Kim, Marta Z. Kwiatkowska, Alexandru Mereacre |
| 2014 | ISoLA | On Quantitative Software Quality Assurance Methodologies for Cardiac Pacemakers. | Marta Z. Kwiatkowska, Alexandru Mereacre, Nicola Paoletti |
| 2014 | TACAS | Permissive Controller Synthesis for Probabilistic Systems. | Klaus Drger, Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Mateusz Ujma |
| 2013 | ATVA | Automated Verification and Strategy Synthesis for Probabilistic Systems. | Marta Z. Kwiatkowska, David Parker |
| 2013 | DNA | DNA Walker Circuits: Computational Potential, Design, and Verification. | Frits Dannenberg, Marta Z. Kwiatkowska, Chris Thachuk, Andrew J. Turberfield |
| 2013 | ICTAC | Advances in Quantitative Verification for Ubiquitous Computing. | Marta Z. Kwiatkowska |
| 2013 | MFCS | On Stochastic Games with Multiple Objectives. | Taolue Chen, Vojtech Forejt, Marta Z. Kwiatkowska, Aistis Simaitis, Clemens Wiltsche |
| 2013 | MSWIM | A process algebraic framework for estimating the energy consumption in ad-hoc wireless sensor networks. | Lucia Gallina, Andrea Marin, Sabina Rossi, Tingting Han, Marta Z. Kwiatkowska |
| 2013 | TACAS | PRISM-games: A Model Checker for Stochastic Multi-Player Games. | Taolue Chen, Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Aistis Simaitis |
| 2013 | TASE | Model Repair for Markov Decision Processes. | Taolue Chen, Ernst Moritz Hahn, Tingting Han, Marta Z. Kwiatkowska, Hongyang Qu, Lijun Zhang |
| 2012 | ATVA | Pareto Curves for Probabilistic Model Checking. | Vojtech Forejt, Marta Z. Kwiatkowska, David Parker |
| 2012 | CONCUR | Playing Stochastic Games Precisely. | Taolue Chen, Vojtech Forejt, Marta Z. Kwiatkowska, Aistis Simaitis, Ashutosh Trivedi, Michael Ummels |
| 2012 | ESOP | A Compositional Specification Theory for Component Behaviours. | Taolue Chen, Chris Chilton, Bengt Jonsson, Marta Z. Kwiatkowska |
| 2012 | RTSS | Quantitative Verification of Implantable Cardiac Pacemakers. | Taolue Chen, Marco Diciolla, Marta Z. Kwiatkowska, Alexandru Mereacre |
| 2012 | RV | Incremental Runtime Verification of Probabilistic Systems. | Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Hongyang Qu, Mateusz Ujma |
| 2012 | TACAS | Automatic Verification of Competitive Stochastic Systems. | Taolue Chen, Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Aistis Simaitis |
| 2011 | ATVA | Learning-Based Compositional Verification for Synchronous Probabilistic Systems. | Lu Feng, Tingting Han, Marta Z. Kwiatkowska, David Parker |
| 2011 | CAV | PRISM 4.0: Verification of Probabilistic Real-Time Systems. | Marta Z. Kwiatkowska, Gethin Norman, David Parker |
| 2011 | DSN | Incremental quantitative verification for Markov decision processes. | Marta Z. Kwiatkowska, David Parker, Hongyang Qu |
| 2011 | FASE | Automated Learning of Probabilistic Assumptions for Compositional Reasoning. | Lu Feng, Marta Z. Kwiatkowska, David Parker |
| 2011 | TACAS | Quantitative Multi-objective Verification for Probabilistic Systems. | Vojtech Forejt, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Hongyang Qu |
| 2010 | ECAI | Parallel Model Checking for Temporal Epistemic Logic. | Marta Z. Kwiatkowska, Alessio Lomuscio, Hongyang Qu |
| 2010 | ISoLA | Towards a Connector Algebra. | Marco Autili, Chris Chilton, Paola Inverardi, Marta Z. Kwiatkowska, Massimo Tivoli |
| 2010 | ISoLA | Dependability Analysis and Verification for Connected Systems. | Felicita Di Giandomenico, Marta Z. Kwiatkowska, Marco Martinucci, Paolo Masci, Hongyang Qu |
| 2010 | TACAS | Assume-Guarantee Verification for Probabilistic Systems. | Marta Z. Kwiatkowska, Gethin Norman, David Parker, Hongyang Qu |
| 2009 | CONCUR | Concavely-Priced Probabilistic Timed Automata. | Marcin Jurdzinski, Marta Z. Kwiatkowska, Gethin Norman, Ashutosh Trivedi |
| 2009 | FASE | CADS*: Computer-Aided Development of Self-* Systems. | Radu Calinescu, Marta Z. Kwiatkowska |
| 2009 | ICECCS | CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems. | Valrie Issarny, Bernhard Steffen, Bengt Jonsson, Gordon S. Blair, Paul Grace, Marta Z. Kwiatkowska, Radu Calinescu, Paola Inverardi, Massimo Tivoli, Antonia Bertolino, Antonino Sabetta |
| 2009 | ICSE | Using quantitative analysis to implement autonomic IT systems. | Radu Calinescu, Marta Z. Kwiatkowska |
| 2009 | SAFECOMP | Establishing a Framework for Dynamic Risk Management in 'Intelligent' Aero-Engine Control. | Zeshan Kurd, Tim Kelly, John A. McDermid, Radu Calinescu, Marta Z. Kwiatkowska |
| 2009 | VMCAI | Abstraction Refinement for Probabilistic Software. | Mark Kattenbelt, Marta Z. Kwiatkowska, Gethin Norman, David Parker |
| 2008 | CCGRID | WSRF-Based Modeling of Clinical Trial Information for Collaborative Cancer Research. | Tianyi Zang, Radu Calinescu, Steve Harris, Andrew Tsui, Marta Z. Kwiatkowska, Jeremy Gibbons, Jim Davies, Peter Maccallum, Carlos Caldas |
| 2008 | CW | A Biologically Inspired Energy-Aware Routing Algorithm for Communications in Cyberworlds. | Zhenyu Liu, Wen Gao, Marta Z. Kwiatkowska |
| 2007 | TACAS | Multi-objective Model Checking of Markov Decision Processes. | Kousha Etessami, Marta Z. Kwiatkowska, Moshe Y. Vardi, Mihalis Yannakakis |
| 2006 | CAV | Symmetry Reduction for Probabilistic Model Checking. | Marta Z. Kwiatkowska, Gethin Norman, David Parker |
| 2006 | WSC | Simulation and verification for computational modelling of signalling pathways. | Marta Z. Kwiatkowska, Gethin Norman, David Parker, Oksana Tymchyshyn, John Heath, Eamonn A. Gaffney |
| 2006 | WSC | Challenges for modeling and simulation methods in systems biology. | Herbert M. Sauro, David Harel, Marta Z. Kwiatkowska, Clifford A. Shaffer, Adelinde M. Uhrmacher, Michael Hucka, Pedro Mendes, Lena Strmbck, John J. Tyson |
| 2006 | TACAS | PRISM: A Tool for Automatic Verification of Probabilistic Systems. | Andrew Hinton, Marta Z. Kwiatkowska, Gethin Norman, David Parker |
| 2005 | AINA | A Biologically Inspired QoS Routing Algorithm for Mobile Ad Hoc Networks. | Zhenyu Liu, Marta Z. Kwiatkowska, Costas C. Constantinou |
| 2005 | ATVA | An MTBDD-Based Implementation of Forward Reachability for Probabilistic Timed Automata. | Fuzhi Wang, Marta Z. Kwiatkowska |
| 2005 | DSN | A Wavefront Parallelisation of CTMC Solution Using MTBDDs. | Yi Zhang, David Parker, Marta Z. Kwiatkowska |
| 2005 | FOSSACS | Stochastic Transition Systems for Continuous State Spaces and Non-determinism. | Stefano Cattani, Roberto Segala, Marta Z. Kwiatkowska, Gethin Norman |
| 2005 | PERCOM | A Biologically Inspired Congestion Control Routing Algorithm for MANETs. | Zhenyu Liu, Marta Z. Kwiatkowska, Costas C. Constantinou |
| 2004 | ISoLA | A Formal Analysis of Bluetooth Device Discovery. | Marie Duflot, Marta Z. Kwiatkowska, Gethin Norman, David Parker |
| 2004 | MASCOTS | Dual-Processor Parallelisation of Symbolic Probabilistic Model Checking. | Marta Z. Kwiatkowska, David Parker, Yi Zhang, Rashid Mehmood |
| 2004 | VLSID | Evaluating the Reliability of Defect-Tolerant Architectures for Nanotechnology with Probabilistic Model Checking. | Gethin Norman, David Parker, Marta Z. Kwiatkowska, Sandeep K. Shukla |
| 2004 | TACAS | Numerical vs. Statistical Probabilistic Model Checking: An Empirical Study. | Hkan L. S. Younes, Marta Z. Kwiatkowska, Gethin Norman, David Parker |
| 2003 | LICS | Model checking for probability and time: from theory to practice . | Marta Z. Kwiatkowska |
| 2002 | FORTE | Verifying Randomized Byzantine Agreement. | Marta Z. Kwiatkowska, Gethin Norman |
| 2002 | TACAS | Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach. | Marta Z. Kwiatkowska, Gethin Norman, David Parker |
| 2001 | CAV | Automated Verification of a Randomized Distributed Consensus Protocol Using Cadence SMV and PRISM. | Marta Z. Kwiatkowska, Gethin Norman, Roberto Segala |
| 2001 | CONCUR | Symbolic Computation of Maximal Probabilistic Reachability. | Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston |
| 2000 | CONCUR | Verifying Quantitative Properties of Continuous Probabilistic Timed Automata. | Marta Z. Kwiatkowska, Gethin Norman, Roberto Segala, Jeremy Sproston |
| 2000 | TACAS | Symbolic Model Checking of Probabilistic Processes Using MTBDDs and the Kronecker Representation. | Luca de Alfaro, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Roberto Segala |
| 1997 | ICALP | Symbolic Model Checking for Probabilistic Processes. | Christel Baier, Edmund M. Clarke, Vasiliki Hartonas-Garmhausen, Marta Z. Kwiatkowska, Mark Ryan |
| 1997 | LICS | Quantitative Analysis and Model Checking. | Michael Huth, Marta Z. Kwiatkowska |
| 1997 | PODC | Automatic Verification of Liveness Properties of Randomized Systems. | Christel Baier, Marta Z. Kwiatkowska |
| 1996 | MFCS | Probabilistic Metric Semantics for a Simple Language with Recursion. | Marta Z. Kwiatkowska, Gethin Norman |
| 1993 | CSL | On Duality for the Modal µ-Calculus. | Simon Ambler, Marta Z. Kwiatkowska, Nicholas Measor |
| 1991 | MFPS | Trade-Offs in True Concurrency: Pomsets and Mazurkiewicz Traces. | Bard Bloom, Marta Z. Kwiatkowska |