Event Fairness and Non-interleaving Concurrency. - Marta Z. Kwiatkowska (Formal Aspects Comput., 1989)

Defining Process Fairness for Non-Interleaving Concurrency. - Marta Z. Kwiatkowska (FSTTCS, 1990)

A Metric for Traces. - Marta Z. Kwiatkowska (Inf. Process. Lett., 1990)

Trade-Offs in True Concurrency: Pomsets and Mazurkiewicz Traces. - Bard Bloom; Marta Z. Kwiatkowska (MFPS, 1991)

On the Domain of Traces and Sequential Composition. - Marta Z. Kwiatkowska (TAPSOFT, Vol.1, 1991)

Infinite Behaviour and Fairness in Concurrent Constraint Programming. - Marta Z. Kwiatkowska (REX Workshop, 1992)

On Duality for the Modal µ-Calculus. - Simon Ambler; Marta Z. Kwiatkowska; Nicholas Measor (CSL, 1993)

Concurrency, Fairness and Logical Complexity. - Marta Z. Kwiatkowska (Theory and Formal Methods, 1993)

Concurrency and Conflict in CSP. - Marta Z. Kwiatkowska; Iain Phillips 001 (Theory and Formal Methods, 1993)

A Hierarchy of Partial Order Temporal Properties. - Marta Z. Kwiatkowska; Doron A. Peled; Wojciech Penczek (ICTL, 1994)

Synchronisation Trees and Fairness: A Case Study. - Chrysafis Hartonas; Marta Z. Kwiatkowska (Theory and Formal Methods, 1994)

Possible and Guaranteed Concurrency in CSP. - Marta Kwiatkowska; Iain C. C. Phillips (STRICT, 1995)

Duality and the Completeness of the Modal mu-Calculus. - Simon Ambler; Marta Z. Kwiatkowska; Nicholas Measor (Theor. Comput. Sci., 1995)

Probabilistic Metric Semantics for a Simple Language with Recursion. - Marta Z. Kwiatkowska; Gethin Norman (MFCS, 1996)

Symbolic Model Checking for Probabilistic Processes. - Christel Baier; Edmund M. Clarke; Vasiliki Hartonas-Garmhausen; Marta Z. Kwiatkowska; Mark Ryan 001 (ICALP, 1997)

Quantitative Analysis and Model Checking. - Michael Huth 001; Marta Z. Kwiatkowska (LICS, 1997)

Automatic Verification of Liveness Properties of Randomized Systems. - Christel Baier; Marta Z. Kwiatkowska (PODC, 1997)

Domain equations for probabilistic processes. - Christel Baier; Marta Z. Kwiatkowska (EXPRESS, 1997)

Preface. - Abbas Edalat; Achim Jung; Klaus Keimel; Marta Z. Kwiatkowska (COMPROX, 1997)

A Fully Abstract Metric-Space Denotational Semantics for Reactive Probabilistic Processes - Marta Z. Kwiatkowska; Gethin Norman (COMPROX, 1997)

Comparing CTL and PCTL on labeled Markov chains. - Michael Huth 001; Marta Z. Kwiatkowska (PROCOMET, 1998)

Model Checking for a Probabilistic Branching Time Logic with Fairness. - Christel Baier; Marta Z. Kwiatkowska (Distributed Comput., 1998)

Preface. - Christel Baier; Michael Huth 001; Marta Z. Kwiatkowska; Mark Ryan 001 (PROBMIV, 1998)

Computing Probability Bounds for Linear Time Formulas over Concurrent Probabilistic Systems. - Christel Baier; Marta Z. Kwiatkowska; Gethin Norman (PROBMIV, 1998)

A Testing Equivalence for Reactive Probabilistic Processes. - Marta Z. Kwiatkowska; Gethin Norman (EXPRESS, 1998)

On the Verification of Qualitative Properties of Probabilistic Processes under Fairness Constraints. - Christel Baier; Marta Z. Kwiatkowska (Inf. Process. Lett., 1998)

Verifying Quantitative Properties of Continuous Probabilistic Timed Automata. - Marta Z. Kwiatkowska; Gethin Norman; Roberto Segala; Jeremy Sproston (CONCUR, 2000)

Symbolic Model Checking of Probabilistic Processes Using MTBDDs and the Kronecker Representation. - Luca de Alfaro; Marta Z. Kwiatkowska; Gethin Norman; David Parker 001; Roberto Segala (TACAS, 2000)

On Topological Hierarchies of Temporal Properties. - Christel Baier; Marta Z. Kwiatkowska (Fundam. Informaticae, 2000)

Automated Verification of a Randomized Distributed Consensus Protocol Using Cadence SMV and PRISM. - Marta Z. Kwiatkowska; Gethin Norman; Roberto Segala (CAV, 2001)

Symbolic Computation of Maximal Probabilistic Reachability. - Marta Z. Kwiatkowska; Gethin Norman; Jeremy Sproston (CONCUR, 2001)

Faster and Symbolic CTMC Model Checking. - Joost-Pieter Katoen; Marta Z. Kwiatkowska; Gethin Norman; David Parker 001 (PAPM-PROBMIV, 2001)

PRISM: Probabilistic Symbolic Model Checker. - Marta Z. Kwiatkowska; Gethin Norman; David Parker 001 (Computer Performance Evaluation / TOOLS, 2002)

Verifying Randomized Byzantine Agreement. - Marta Z. Kwiatkowska; Gethin Norman (FORTE, 2002)

Formal analysis and validation of continuous-time Markov chain based system level power management strategies. - Gethin Norman; David Parker 001; Marta Z. Kwiatkowska; Sandeep K. Shukla; Rajesh K. Gupta 001 (HLDVT, 2002)

Out-of-Core Solution of Large Linear Systems of Equations Arising from Stochastic Modelling. - Marta Z. Kwiatkowska; Rashid Mehmood (PAPM-PROBMIV, 2002)

Model Checking CSL until Formulae with Random Time Bounds. - Marta Z. Kwiatkowska; Gethin Norman; António Pacheco 001 (PAPM-PROBMIV, 2002)

Probabilistic Model Checking of the IEEE 802.11 Wireless Local Area Network Protocol. - Marta Z. Kwiatkowska; Gethin Norman; Jeremy Sproston (PAPM-PROBMIV, 2002)

A Symbolic Out-of-Core Solution Method for Markov Models. - Marta Z. Kwiatkowska; Rashid Mehmood; Gethin Norman; David Parker 001 (PDMC@CONCUR, 2002)

Automatic verification of real-time systems with discrete probability distributions. - Marta Z. Kwiatkowska; Gethin Norman; Roberto Segala; Jeremy Sproston (Theor. Comput. Sci., 2002)

Model checking for probability and time: from theory to practice . - Marta Z. Kwiatkowska (LICS, 2003)

Probabilistic Model Checking of Deadline Properties in the IEEE 1394 FireWire Root Contention Protocol. - Marta Z. Kwiatkowska; Gethin Norman; Jeremy Sproston (Formal Aspects Comput., 2003)

On the use of MTBDDs for performability analysis and verification of stochastic systems. - Holger Hermanns; Marta Z. Kwiatkowska; Gethin Norman; David Parker 001; Markus Siegle (J. Log. Algebraic Methods Program., 2003)

Mathematical techniques for analyzing concurrent and probabilistic systems. - Jan J. M. M. Rutten; Marta Z. Kwiatkowska; Gethin Norman; David Parker 001; Prakash Panangaden (American Mathematical Society, 2004)

A swarm intelligence routing algorithm for MANETs. - Zhenyu Liu; Marta Z. Kwiatkowska; Costas C. Constantinou (Communications, Internet, and Information Technology, 2004)

Dual-Processor Parallelisation of Symbolic Probabilistic Model Checking. - Marta Z. Kwiatkowska; David Parker 001; Yi Zhang; Rashid Mehmood (MASCOTS, 2004)

PRISM 2.0: A Tool for Probabilistic Model Checking. - Marta Z. Kwiatkowska; Gethin Norman; David Parker 001 (QEST, 2004)

Numerical vs. Statistical Probabilistic Model Checking: An Empirical Study. - Håkan L. S. Younes; Marta Z. Kwiatkowska; Gethin Norman; David Parker 001 (TACAS, 2004)

Evaluating the Reliability of Defect-Tolerant Architectures for Nanotechnology with Probabilistic Model Checking. - Gethin Norman; David Parker 001; Marta Z. Kwiatkowska; Sandeep K. Shukla (VLSI Design, 2004)

Towards a Unifying CSP approach to Hierarchical Verification of Asynchronous Hardware. - Xu Wang 001; Marta Z. Kwiatkowska; Georgios Theodoropoulos 001; Qianyi Zhang (AVoCS, 2004)

Automatic verification of the IEEE 1394 root contention protocol with KRONOS and PRISM. - Conrado Daws; Marta Z. Kwiatkowska; Gethin Norman (Int. J. Softw. Tools Technol. Transf., 2004)

Probabilistic symbolic model checking with PRISM: a hybrid approach. - Marta Z. Kwiatkowska; Gethin Norman; David Parker 001 (Int. J. Softw. Tools Technol. Transf., 2004)

An MTBDD-Based Implementation of Forward Reachability for Probabilistic Timed Automata. - Fuzhi Wang; Marta Z. Kwiatkowska (ATVA, 2005)

A Wavefront Parallelisation of CTMC Solution Using MTBDDs. - Yi Zhang; David Parker 001; Marta Z. Kwiatkowska (DSN, 2005)

A Timing Analysis of AODV. - Sibusisiwe Chiyangwa; Marta Z. Kwiatkowska (FMOODS, 2005)

Stochastic Transition Systems for Continuous State Spaces and Non-determinism. - Stefano Cattani; Roberto Segala; Marta Z. Kwiatkowska; Gethin Norman (FoSSaCS, 2005)

A Biologically Inspired Congestion Control Routing Algorithm for MANETs. - Zhenyu Liu; Marta Z. Kwiatkowska; Costas C. Constantinou (PerCom Workshops, 2005)

Quantitative Analysis With the Probabilistic Model Checker PRISM. - Marta Z. Kwiatkowska; Gethin Norman; David Parker 001 (QAPL, 2005)

Opportunities and Challenges in Process-algebraic Verification of Asynchronous Circuit Designs. - Xu Wang 001; Marta Z. Kwiatkowska; Georgios Theodoropoulos 001; Qianyi Zhang (FMGALS@MEMOCODE, 2005)

A self-organised emergent routing mechanism for mobile ad hoc networks. - Zhenyu Liu; Marta Z. Kwiatkowska; Costas C. Constantinou (Eur. Trans. Telecommun., 2005)

A refinement-based process algebra for timed automata. - Stefano Cattani; Marta Z. Kwiatkowska (Formal Aspects Comput., 2005)

Using probabilistic model checking for dynamic power management. - Gethin Norman; David Parker 001; Marta Z. Kwiatkowska; Sandeep K. Shukla; Rajesh Gupta 001 (Formal Aspects Comput., 2005)

Probabilistic model checking in practice: case studies with PRISM. - Marta Z. Kwiatkowska; Gethin Norman; David Parker 001 (SIGMETRICS Perform. Evaluation Rev., 2005)

Evaluating the reliability of NAND multiplexing with PRISM. - Gethin Norman; David Parker 001; Marta Z. Kwiatkowska; Sandeep K. Shukla (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2005)

Symmetry Reduction for Probabilistic Model Checking. - Marta Z. Kwiatkowska; Gethin Norman; David Parker 001 (CAV, 2006)

On Reduction Criteria for Probabilistic Reward Models. - Marcus Größer; Gethin Norman; Christel Baier; Frank Ciesinski; Marta Z. Kwiatkowska; David Parker 001 (FSTTCS, 2006)

Game-based Abstraction for Markov Decision Processes. - Marta Z. Kwiatkowska; Gethin Norman; David Parker 001 (QEST, 2006)

PRISM: A Tool for Automatic Verification of Probabilistic Systems. - Andrew Hinton; Marta Z. Kwiatkowska; Gethin Norman; David Parker 001 (TACAS, 2006)

Simulation and verification for computational modelling of signalling pathways. - Marta Z. Kwiatkowska; Gethin Norman; David Parker 001; Oksana Tymchyshyn; John Heath; Eamonn A. Gaffney (WSC, 2006)

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 001; Lena Strömbäck; John J. Tyson (WSC, 2006)

Model checking expected time and expected reward formulae with random time bounds. - Marta Z. Kwiatkowska; Gethin Norman; António Pacheco 001 (Comput. Math. Appl., 2006)

Compositional State Space Reduction Using Untangled Actions. - Xu Wang 001; Marta Z. Kwiatkowska (EXPRESS, 2006)

Performance analysis of probabilistic timed automata using digital clocks. - Marta Z. Kwiatkowska; Gethin Norman; David Parker 001; Jeremy Sproston (Formal Methods Syst. Des., 2006)

A formal analysis of bluetooth device discovery. - Marie Duflot; Marta Z. Kwiatkowska; Gethin Norman; David Parker 001 (Int. J. Softw. Tools Technol. Transf., 2006)

Numerical vs. statistical probabilistic model checking. - Håkan L. S. Younes; Marta Z. Kwiatkowska; Gethin Norman; David Parker 001 (Int. J. Softw. Tools Technol. Transf., 2006)

Stochastic Model Checking. - Marta Z. Kwiatkowska; Gethin Norman; David Parker 001 (SFM, 2007)

Quantitative verification: models techniques and tools. - Marta Z. Kwiatkowska (ESEC/SIGSOFT FSE, 2007)

On Process-algebraic Verification of Asynchronous Circuits. - Xu Wang 001; Marta Z. Kwiatkowska (Fundam. Informaticae, 2007)

Symbolic model checking for probabilistic timed automata. - Marta Z. Kwiatkowska; Gethin Norman; Jeremy Sproston; Fuzhi Wang (Inf. Comput., 2007)

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 (CCGRID, 2008)

A Biologically Inspired Energy-Aware Routing Algorithm for Communications in Cyberworlds. - Zhenyu Liu; Wen Gao 001; Marta Z. Kwiatkowska (CW, 2008)

Metamodel-Based Generation of WSRF-Compliant SOA for Collaborative Cancer Research. - Tianyi Zang; Radu Calinescu; Steve Harris; Andrew Tsui; Charles Crichton; Marta Z. Kwiatkowska; Jeremy Gibbons; Jim Davies; James D. Brenton; Carlos Caldas (eScience, 2008)

Combining Intra- and Inter-cellular Dynamics to Investigate Intestinal Homeostasis. - Oksana Tymchyshyn; Marta Z. Kwiatkowska (FMSB, 2008)

Software Engineering Techniques for the Development of Systems of Systems. - Radu Calinescu; Marta Z. Kwiatkowska (Monterey Workshop, 2008)

Game-Based Probabilistic Predicate Abstraction in PRISM. - Mark Kattenbelt; Marta Z. Kwiatkowska; Gethin Norman; David Parker 001 (QAPL, 2008)

Multi-Objective Model Checking of Markov Decision Processes. - Kousha Etessami; Marta Z. Kwiatkowska; Moshe Y. Vardi; Mihalis Yannakakis (Log. Methods Comput. Sci., 2008)

Using probabilistic model checking in systems biology. - Marta Z. Kwiatkowska; Gethin Norman; David Parker 001 (SIGMETRICS Perform. Evaluation Rev., 2008)

Analysis of a gossip protocol in PRISM. - Marta Z. Kwiatkowska; Gethin Norman; David Parker 001 (SIGMETRICS Perform. Evaluation Rev., 2008)

Probabilistic model checking of complex biological pathways. - John Heath; Marta Z. Kwiatkowska; Gethin Norman; David Parker 001; Oksana Tymchyshyn (Theor. Comput. Sci., 2008)

Bug-Free Sensors: The Automatic Verification of Context-Aware TinyOS Applications. - Doina Bucur; Marta Z. Kwiatkowska (AmI, 2009)

Quantitative Verification Techniques for Biological Processes. - Marta Kwiatkowska; Gethin Norman; David Parker 001 (Algorithmic Bioprocesses, 2009)

Concavely-Priced Probabilistic Timed Automata. - Marcin Jurdzinski; Marta Z. Kwiatkowska; Gethin Norman; Ashutosh Trivedi 001 (CONCUR, 2009)

CADS*: Computer-Aided Development of Self-* Systems. - Radu Calinescu; Marta Z. Kwiatkowska (FASE, 2009)

Stochastic Games for Verification of Probabilistic Timed Automata. - Marta Z. Kwiatkowska; Gethin Norman; David Parker 001 (FORMATS, 2009)

CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems. - Valérie Issarny; Bernhard Steffen; Bengt Jonsson 001; Gordon S. Blair; Paul Grace; Marta Z. Kwiatkowska; Radu Calinescu; Paola Inverardi; Massimo Tivoli; Antonia Bertolino; Antonino Sabetta (ICECCS, 2009)

Using quantitative analysis to implement autonomic IT systems. - Radu Calinescu; Marta Z. Kwiatkowska (ICSE, 2009)

Establishing a Framework for Dynamic Risk Management in 'Intelligent' Aero-Engine Control. - Zeshan Kurd; Tim Kelly; John A. McDermid; Radu Calinescu; Marta Z. Kwiatkowska (SAFECOMP, 2009)

Reo2MC: a tool chain for performance analysis of coordination models. - Farhad Arbab; Sun Meng; Young-Joo Moon 001; Marta Z. Kwiatkowska; Hongyang Qu 001 (ESEC/SIGSOFT FSE, 2009)

On Quantitative Software Verification. - Marta Z. Kwiatkowska (SPIN, 2009)

Abstraction Refinement for Probabilistic Software. - Mark Kattenbelt; Marta Z. Kwiatkowska; Gethin Norman; David Parker 001 (VMCAI, 2009)

PRISM: probabilistic model checking for performance and reliability analysis. - Marta Z. Kwiatkowska; Gethin Norman; David Parker 001 (SIGMETRICS Perform. Evaluation Rev., 2009)

Probabilistic Mobile Ambients. - Marta Z. Kwiatkowska; Gethin Norman; David Parker 001; Maria Grazia Vigliotti (Theor. Comput. Sci., 2009)

Guest Editors' Introduction to the Special Issue on Quantitative Evaluation of Computer Systems. - Jane Hillston; Marta Z. Kwiatkowska; Miklós Telek (IEEE Trans. Software Eng., 2009)

Advances and challenges of probabilistic model checking. - Marta Kwiatkowska; Gethin Norman; David Parker 001 (Allerton, 2010)

10051 Abstracts Collection - Quantitative and Qualitative Analysis of Network Protocols. - Bengt Jonsson 001; Jörg Kreiker; Marta Z. Kwiatkowska (Quantitative and Qualitative Analysis of Network Protocols, 2010)

10051 Executive Summary - Quantitative and Qualitative Analysis of Network Protocols. - Bengt Jonsson 001; Jörg Kreiker; Marta Z. Kwiatkowska (Quantitative and Qualitative Analysis of Network Protocols, 2010)

Parallel Model Checking for Temporal Epistemic Logic. - Marta Z. Kwiatkowska; Alessio Lomuscio; Hongyang Qu 001 (ECAI, 2010)

A Framework for Verification of Software with Time and Probabilities. - Marta Z. Kwiatkowska; Gethin Norman; David Parker 001 (FORMATS, 2010)

Software verification for TinyOS. - Doina Bucur; Marta Z. Kwiatkowska (IPSN, 2010)

Towards a Connector Algebra. - Marco Autili; Chris Chilton; Paola Inverardi; Marta Z. Kwiatkowska; Massimo Tivoli (ISoLA (2), 2010)

Dependability Analysis and Verification for Connected Systems. - Felicita Di Giandomenico; Marta Z. Kwiatkowska; Marco Martinucci; Paolo Masci 001; Hongyang Qu 001 (ISoLA (2), 2010)

Compositional Verification of Probabilistic Systems Using Learning. - Lu Feng 001; Marta Z. Kwiatkowska; David Parker 001 (QEST, 2010)

Assume-Guarantee Verification for Probabilistic Systems. - Marta Z. Kwiatkowska; Gethin Norman; David Parker 001; Hongyang Qu 001 (TACAS, 2010)

Quantitative Games on Probabilistic Timed Automata - Marta Z. Kwiatkowska; Gethin Norman; Ashutosh Trivedi 001 (CoRR, 2010)

A game-based abstraction-refinement framework for Markov decision processes. - Mark Kattenbelt; Marta Z. Kwiatkowska; Gethin Norman; David Parker 001 (Formal Methods Syst. Des., 2010)

A biologically inspired QoS routing algorithm for mobile ad hoc networks. - Zhenyu Liu; Marta Z. Kwiatkowska; Costas C. Constantinou (Int. J. Wirel. Mob. Comput., 2010)

Learning-Based Compositional Verification for Synchronous Probabilistic Systems. - Lu Feng 001; Tingting Han 001; Marta Z. Kwiatkowska; David Parker 001 (ATVA, 2011)

A Systematic Approach to Evaluate Sustained Stochastic Oscillations. - Jorge Júlvez; Marta Z. Kwiatkowska; Gethin Norman; David Parker 001 (BICoB, 2011)

PRISM 4.0: Verification of Probabilistic Real-Time Systems. - Marta Z. Kwiatkowska; Gethin Norman; David Parker 001 (CAV, 2011)

Verifying Team Formation Protocols with Probabilistic Model Checking. - Taolue Chen 001; Marta Z. Kwiatkowska; David Parker 001; Aistis Simaitis (CLIMA, 2011)

Incremental quantitative verification for Markov decision processes. - Marta Z. Kwiatkowska; David Parker 001; Hongyang Qu 001 (DSN, 2011)

Automated Learning of Probabilistic Assumptions for Compositional Reasoning. - Lu Feng 001; Marta Z. Kwiatkowska; David Parker 001 (FASE, 2011)

Time-Bounded Verification of CTMCs against Real-Time Specifications. - Taolue Chen 001; Marco Diciolla; Marta Z. Kwiatkowska; Alexandru Mereacre (FORMATS, 2011)

Partial Order Reduction for Model Checking Markov Decision Processes under Unconditional Fairness. - Henri Hansen; Marta Z. Kwiatkowska; Hongyang Qu 001 (QEST, 2011)

Automated Verification Techniques for Probabilistic Systems. - Vojtech Forejt; Marta Z. Kwiatkowska; Gethin Norman; David Parker 001 (SFM, 2011)

Quantitative Multi-objective Verification for Probabilistic Systems. - Vojtech Forejt; Marta Z. Kwiatkowska; Gethin Norman; David Parker 001; Hongyang Qu 001 (TACAS, 2011)

Metamodel-driven SOA for collaborative e-science application. - Tianyi Zang; Radu Calinescu; Marta Z. Kwiatkowska (Comput. Syst. Sci. Eng., 2011)

On software verification for sensor nodes. - Doina Bucur; Marta Z. Kwiatkowska (J. Syst. Softw., 2011)

Dynamic QoS Management and Optimization in Service-Based Systems. - Radu Calinescu; Lars Grunske; Marta Z. Kwiatkowska; Raffaela Mirandola; Giordano Tamburrelli (IEEE Trans. Software Eng., 2011)

OGSA-Based SOA for Collaborative Cancer Research: System Modeling and Generation. - Tianyi Zang; Radu Calinescu; Marta Kwiatkowska (Guide to e-Science, 2011)

Pareto Curves for Probabilistic Model Checking. - Vojtech Forejt; Marta Z. Kwiatkowska; David Parker 001 (ATVA, 2012)

Playing Stochastic Games Precisely. - Taolue Chen 001; Vojtech Forejt; Marta Z. Kwiatkowska; Aistis Simaitis; Ashutosh Trivedi 001; Michael Ummels (CONCUR, 2012)

A Compositional Specification Theory for Component Behaviours. - Taolue Chen 001; Chris Chilton; Bengt Jonsson 001; Marta Z. Kwiatkowska (ESOP, 2012)

Assume-Guarantee Reasoning for Safe Component Behaviours. - Chris Chilton; Bengt Jonsson 001; Marta Z. Kwiatkowska (FACS, 2012)

Revisiting Timed Specification Theories: A Linear-Time Perspective. - Chris Chilton; Marta Z. Kwiatkowska; Xu Wang 001 (FORMATS, 2012)

Towards Communication-Based Steering of Complex Distributed Systems. - Klaus Dräger; Marta Z. Kwiatkowska (Monterey Workshop, 2012)

The PRISM Benchmark Suite. - Marta Z. Kwiatkowska; Gethin Norman; David Parker 001 (QEST, 2012)

Quantitative Verification of Implantable Cardiac Pacemakers. - Taolue Chen 001; Marco Diciolla; Marta Z. Kwiatkowska; Alexandru Mereacre (RTSS, 2012)

Incremental Runtime Verification of Probabilistic Systems. - Vojtech Forejt; Marta Z. Kwiatkowska; David Parker 001; Hongyang Qu 001; Mateusz Ujma (RV, 2012)

Automatic energy-aware performance analysis of Mobile Ad-Hoc Networks. - Lucia Gallina; Tingting Han 001; Marta Z. Kwiatkowska; Andrea Marin; Sabina Rossi; Alvise Spanò (Wireless Days, 2012)

Self-adaptive software needs quantitative verification at runtime. - Radu Calinescu; Carlo Ghezzi; Marta Z. Kwiatkowska; Raffaela Mirandola (Commun. ACM, 2012)

Large-scale complex IT systems. - Ian Sommerville; Dave Cliff; Radu Calinescu; Justin Keen; Tim Kelly; Marta Z. Kwiatkowska; John A. McDermid; Richard F. Paige (Commun. ACM, 2012)

Optimizing ZigBee Security using Stochastic Model Checking - Ender Yüksel; Hanne Riis Nielson; Flemming Nielson; Matthias Fruth; Marta Z. Kwiatkowska (CoRR, 2012)

Probabilistic verification of Herman's self-stabilisation algorithm. - Marta Z. Kwiatkowska; Gethin Norman; David Parker 001 (Formal Aspects Comput., 2012)

2011 CAV award announcement. - Moshe Y. Vardi; Thomas A. Henzinger; Rajeev Alur; Marta Z. Kwiatkowska (Formal Methods Syst. Des., 2012)

Evaluation of Sustained Stochastic Oscillations by Means of a System of Differential Equations. - Jorge Júlvez; Marta Z. Kwiatkowska; Gethin Norman; David Parker 001 (Int. J. Comput. Their Appl., 2012)

Advances in Probabilistic Model Checking. - Marta Z. Kwiatkowska; David Parker 001 (Software Safety and Security, 2012)

Automated Verification and Strategy Synthesis for Probabilistic Systems. - Marta Z. Kwiatkowska; David Parker 001 (ATVA, 2013)

Computing Cumulative Rewards Using Fast Adaptive Uniformisation. - Frits Dannenberg; Ernst Moritz Hahn; Marta Z. Kwiatkowska (CMSB, 2013)

A simulink hybrid heart model for quantitative verification of cardiac pacemakers. - Taolue Chen 001; Marco Diciolla; Marta Z. Kwiatkowska; Alexandru Mereacre (HSCC, 2013)

Advances in Quantitative Verification for Ubiquitous Computing. - Marta Z. Kwiatkowska (ICTAC, 2013)

On Stochastic Games with Multiple Objectives. - Taolue Chen 001; Vojtech Forejt; Marta Z. Kwiatkowska; Aistis Simaitis; Clemens Wiltsche (MFCS, 2013)

A process algebraic framework for estimating the energy consumption in ad-hoc wireless sensor networks. - Lucia Gallina; Andrea Marin; Sabina Rossi; Tingting Han 001; Marta Z. Kwiatkowska (MSWiM, 2013)

Synthesis for Multi-objective Stochastic Games: An Application to Autonomous Urban Driving. - Taolue Chen 001; Marta Z. Kwiatkowska; Aistis Simaitis; Clemens Wiltsche (QEST, 2013)

PRISM-games: A Model Checker for Stochastic Multi-Player Games. - Taolue Chen 001; Vojtech Forejt; Marta Z. Kwiatkowska; David Parker 001; Aistis Simaitis (TACAS, 2013)

Model Repair for Markov Decision Processes. - Taolue Chen 001; Ernst Moritz Hahn; Tingting Han 001; Marta Z. Kwiatkowska; Hongyang Qu 001; Lijun Zhang 001 (TASE, 2013)

Modal Specifications for Probabilistic Timed Systems. - Tingting Han 001; Christian Krause 001; Marta Z. Kwiatkowska; Holger Giese (QAPL, 2013)

Strategic Analysis of Trust Models for User-Centric Networks - Marta Z. Kwiatkowska; David Parker 001; Aistis Simaitis (SR, 2013)

Revisiting Timed Specification Theory II : Realisability - Chris Chilton; Marta Z. Kwiatkowska; Xu Wang 001 (CoRR, 2013)

Preface to the special issue on Probabilistic Model Checking. - Christel Baier; Marta Z. Kwiatkowska (Formal Methods Syst. Des., 2013)

Automatic verification of competitive stochastic systems. - Taolue Chen 001; Vojtech Forejt; Marta Z. Kwiatkowska; David Parker 001; Aistis Simaitis (Formal Methods Syst. Des., 2013)

Compositional probabilistic verification through multi-objective model checking. - Marta Z. Kwiatkowska; Gethin Norman; David Parker 001; Hongyang Qu 001 (Inf. Comput., 2013)

From software verification to 'everyware' verification. - Marta Z. Kwiatkowska (Comput. Sci. Res. Dev., 2013)

On the complexity of model checking interval-valued discrete time Markov chains. - Taolue Chen 001; Tingting Han 001; Marta Z. Kwiatkowska (Inf. Process. Lett., 2013)

Verification of linear duration properties over continuous-time markov chains. - Taolue Chen 001; Marco Diciolla; Marta Z. Kwiatkowska; Alexandru Mereacre (ACM Trans. Comput. Log., 2013)

Verification of Markov Decision Processes Using Learning Algorithms. - Tomás Brázdil; Krishnendu Chatterjee; Martin Chmelik; Vojtech Forejt; Jan Kretínský; Marta Z. Kwiatkowska; David Parker 001; Mateusz Ujma (ATVA, 2014)

Probabilistic Model Checking of Labelled Markov Processes via Finite Approximate Bisimulations. - Alessandro Abate; Marta Z. Kwiatkowska; Gethin Norman; David Parker 001 (Horizons of the Mind, 2014)

On Incremental Quantitative Verification for Probabilistic Systems. - Marta Z. Kwiatkowska; David Parker 001; Hongyang Qu 001; Mateusz Ujma (HOWARD-60, 2014)

Invariant Verification of Nonlinear Hybrid Automata Networks of Cardiac Cells. - Zhenqi Huang; Chuchu Fan; Alexandru Mereacre; Sayan Mitra; Marta Z. Kwiatkowska (CAV, 2014)

Precise Parameter Synthesis for Stochastic Biochemical Systems. - Milan Ceska 002; Frits Dannenberg; Marta Z. Kwiatkowska; Nicola Paoletti (CMSB, 2014)

Compositional Controller Synthesis for Stochastic Games. - Nicolas Basset; Marta Z. Kwiatkowska; Clemens Wiltsche (CONCUR, 2014)

Synthesising optimal timing delays for Timed I/O Automata. - Marco Diciolla; Chang Hwan Peter Kim; Marta Z. Kwiatkowska; Alexandru Mereacre (EMSOFT, 2014)

Formal Modelling and Validation of Rate-Adaptive Pacemakers. - Marta Z. Kwiatkowska; Harriet Lea-Banks; Alexandru Mereacre; Nicola Paoletti (ICHI, 2014)

On Quantitative Software Quality Assurance Methodologies for Cardiac Pacemakers. - Marta Z. Kwiatkowska; Alexandru Mereacre; Nicola Paoletti (ISoLA (2), 2014)

Automated Verification of Quantitative Properties of Cardiac Pacemaker Software. - Marta Z. Kwiatkowska; Alexandru Mereacre (MCPS, 2014)

Quantitative verification of implantable cardiac pacemakers over hybrid heart models. - Taolue Chen 001; Marco Diciolla; Marta Z. Kwiatkowska; Alexandru Mereacre (Inf. Comput., 2014)

Compositional assume-guarantee reasoning for input/output component theories. - Chris Chilton; Bengt Jonsson 001; Marta Z. Kwiatkowska (Sci. Comput. Program., 2014)

An algebraic theory of interface automata. - Chris Chilton; Bengt Jonsson 001; Marta Z. Kwiatkowska (Theor. Comput. Sci., 2014)

Local abstraction refinement for probabilistic timed programs. - Klaus Dräger; Marta Z. Kwiatkowska; David Parker 001; Hongyang Qu 001 (Theor. Comput. Sci., 2014)

Probabilistic Model Checking for Biology. - Marta Z. Kwiatkowska; Chris Thachuk (Software Systems Safety, 2014)

On Quantitative Modelling and Verification of DNA Walker Circuits Using Stochastic Petri Nets. - Benoît Barbot; Marta Z. Kwiatkowska (Petri Nets, 2015)

Adaptive Aggregation of Markov Chains: Quantitative Analysis of Chemical Reaction Networks. - Alessandro Abate; Lubos Brim; Milan Ceska 002; Marta Z. Kwiatkowska (CAV (1), 2015)

Estimation and Verification of Hybrid Heart Models for Personalised Medical and Wearable Devices. - Benoît Barbot; Marta Z. Kwiatkowska; Alexandru Mereacre; Nicola Paoletti (CMSB, 2015)

Hardware-in-the-loop simulation and energy optimization of cardiac pacemakers. - Chris Barker; Marta Z. Kwiatkowska; Alexandru Mereacre; Nicola Paoletti; Andrea Patane (EMBC, 2015)

Symbolic Minimum Expected Time Controller Synthesis for Probabilistic Timed Automata. - Aleksandra Jovanovic 002; Marta Z. Kwiatkowska; Gethin Norman (FORMATS, 2015)

Synthesising Robust and Optimal Parameters for Cardiac Pacemakers Using Symbolic and Evolutionary Computation Techniques. - Marta Z. Kwiatkowska; Alexandru Mereacre; Nicola Paoletti; Andrea Patane (HSB, 2015)

Parameter synthesis for probabilistic real-time systems (Invited Paper). - Marta Kwiatkowska (SynCoP, 2015)

Strategy Synthesis for Stochastic Games with Multiple Long-Run Objectives. - Nicolas Basset; Marta Z. Kwiatkowska; Ufuk Topcu; Clemens Wiltsche (TACAS, 2015)

Permissive Controller Synthesis for Probabilistic Systems. - Klaus Dräger; Vojtech Forejt; Marta Z. Kwiatkowska; David Parker 001; Mateusz Ujma (Log. Methods Comput. Sci., 2015)

Approximate and Probabilistic Computing: Design, Coding, Verification (Dagstuhl Seminar 15491). - Antonio Filieri; Marta Kwiatkowska; Sasa Misailovic; Todd Mytkowicz (Dagstuhl Reports, 2015)

Model-driven Algorithms and Architectures for Self-Aware Computing Systems (Dagstuhl Seminar 15041). - Samuel Kounev; Xiaoyun Zhu; Jeffrey O. Kephart; Marta Kwiatkowska (Dagstuhl Reports, 2015)

Simulation-Based Verification of Cardiac Pacemakers With Guaranteed Coverage. - Zhenqi Huang; Chuchu Fan; Alexandru Mereacre; Sayan Mitra; Marta Z. Kwiatkowska (IEEE Des. Test, 2015)

40th international colloquium on automata, languages and programming. - Fedor V. Fomin; Marta Z. Kwiatkowska; David Peleg (Inf. Comput., 2015)

DNA walker circuits: computational potential, design, and verification. - Frits Dannenberg; Marta Z. Kwiatkowska; Chris Thachuk; Andrew J. Turberfield (Nat. Comput., 2015)

Computing Cumulative Rewards Using Fast Adaptive Uniformization. - Frits Dannenberg; Ernst Moritz Hahn; Marta Z. Kwiatkowska (ACM Trans. Model. Comput. Simul., 2015)

Model Checking Probabilistic Knowledge: A PSPACE Case. - Xiaowei Huang 001; Marta Kwiatkowska (AAAI, 2016)

Social Trust: A Major Challenge for the Future of Autonomous Systems. - Morteza Lahijanian; Marta Kwiatkowska (AAAI Fall Symposia, 2016)

Approximate Policy Iteration for Markov Decision Processes via Quantitative Adaptive Aggregations. - Alessandro Abate; Milan Ceska 002; Marta Kwiatkowska (ATVA, 2016)

Specification revision for Markov decision processes with optimal trade-off. - Morteza Lahijanian; Marta Z. Kwiatkowska (CDC, 2016)

A Stochastic Hybrid Approximation for Chemical Kinetics Based on the Linear Noise Approximation. - Luca Cardelli; Marta Kwiatkowska; Luca Laurenti (CMSB, 2016)

Advances and challenges of quantitative verification and synthesis for cyber-physical systems. - Marta Kwiatkowska (SOSCYPS@CPSWeek, 2016)

Building Power Consumption Models from Executable Timed I/O Automata Specifications. - Benoît Barbot; Marta Kwiatkowska; Alexandru Mereacre; Nicola Paoletti (HSCC, 2016)

Model Checking and Strategy Synthesis for Stochastic Games: From Theory to Practice. - Marta Z. Kwiatkowska (ICALP, 2016)

Static Program Analysis for Identifying Energy Bugs in Graphics-Intensive Mobile Apps. - Chang Hwan Peter Kim; Daniel Kroening; Marta Z. Kwiatkowska (MASCOTS, 2016)

Uniform Sampling for Timed Automata with Application to Language Inclusion Measurement. - Benoît Barbot; Nicolas Basset; Marc Beunardeau; Marta Kwiatkowska (QEST, 2016)

Approximation of Probabilistic Reachability for Chemical Reaction Networks Using the Linear Noise Approximation. - Luca Bortolussi; Luca Cardelli; Marta Kwiatkowska; Luca Laurenti (QEST, 2016)

PRISM-PSY: Precise GPU-Accelerated Parameter Synthesis for Stochastic Systems. - Milan Ceska 002; Petr Pilar; Nicola Paoletti; Lubos Brim; Marta Z. Kwiatkowska (TACAS, 2016)

PRISM-Games 2.0: A Tool for Multi-objective Strategy Synthesis for Stochastic Games. - Marta Kwiatkowska; David Parker 001; Clemens Wiltsche (TACAS, 2016)

Stochastic analysis of Chemical Reaction Networks using Linear Noise Approximation. - Luca Cardelli; Marta Kwiatkowska; Luca Laurenti (Biosyst., 2016)

Resource-Performance Trade-off Analysis for Mobile Robots. - María Svorenová; Morteza Lahijanian; Akshay A. Morye; Dushyant Rao; Ingmar Posner; Paul Newman 001; Hadas Kress-Gazit; Marta Kwiatkowska (CoRR, 2016)

The Presburger Award for Young Scientists 2017 - Call for Nominations. - Marta Kwiatkowska (Bull. EATCS, 2016)

Quantitative verification and strategy synthesis for stochastic games. - María Svorenová; Marta Kwiatkowska (Eur. J. Control, 2016)

2014 CAV award announcement. - Marta Kwiatkowska; Moshe Y. Vardi; Ahmed Bouajjani; Thomas Ball 001 (Formal Methods Syst. Des., 2016)

Expected reachability-time games. - Vojtech Forejt; Marta Kwiatkowska; Gethin Norman; Ashutosh Trivedi 001 (Theor. Comput. Sci., 2016)

Preface. - Marta Kwiatkowska; Andrew Phillips; Chris Thachuk (Theor. Comput. Sci., 2016)

Synthesis and Verification of Self-aware Computing Systems. - Radu Calinescu; Marco Autili; Javier Cámara 001; Antinisca Di Marco; Simos Gerasimou; Paola Inverardi; Alexander Perucci; Nils Jansen 001; Joost-Pieter Katoen; Marta Z. Kwiatkowska; Ole J. Mengshoel; Romina Spalazzese; et al. (Self-Aware Computing Systems, 2017)

Reasoning about Cognitive Trust in Stochastic Multiagent Systems. - Xiaowei Huang 001; Marta Zofia Kwiatkowska (AAAI, 2017)

Synthesizing Pareto Optimal Decision for Autonomic Clouds Using Stochastic Games Model Checking. - Azlan B. Ismail; Marta Kwiatkowska (APSEC, 2017)

A Specification Theory of Real-Time Processes. - Chris Chilton; Marta Z. Kwiatkowska; Faron Moller; Xu Wang 001 (Concurrency, Security, and Puzzles, 2017)

Symbolic Verification and Strategy Synthesis for Linearly-Priced Probabilistic Timed Automata. - Marta Kwiatkowska; Gethin Norman; David Parker 001 (Models, Algorithms, Logics and Tools, 2017)

Syntax-Guided Optimal Synthesis for Chemical Reaction Networks. - Luca Cardelli; Milan Ceska 002; Martin Fränzle; Marta Z. Kwiatkowska; Luca Laurenti; Nicola Paoletti; Max Whitby (CAV (2), 2017)

Safety Verification of Deep Neural Networks. - Xiaowei Huang 001; Marta Kwiatkowska; Sen Wang 002; Min Wu 011 (CAV (1), 2017)

Reachability Computation for Switching Diffusions: Finite Abstractions with Certifiable and Tuneable Precision. - Luca Laurenti; Alessandro Abate; Luca Bortolussi; Luca Cardelli; Milan Ceska 002; Marta Z. Kwiatkowska (HSCC, 2017)

Designing Robust Software Systems through Parametric Markov Chain Synthesis. - Radu Calinescu; Milan Ceska 002; Simos Gerasimou; Marta Kwiatkowska; Nicola Paoletti (ICSA, 2017)

Broken Hearted: How To Attack ECG Biometrics. - Simon Eberz; Nicola Paoletti; Marc Roeschlin; Andrea Patané; Marta Kwiatkowska; Ivan Martinovic (NDSS, 2017)

RODES: A Robust-Design Synthesis Tool for Probabilistic Systems. - Radu Calinescu; Milan Ceska 002; Simos Gerasimou; Marta Kwiatkowska; Nicola Paoletti (QEST, 2017)

Cognitive Reasoning and Trust in Human-Robot Interactions. - Marta Kwiatkowska (TAMC, 2017)

Precise parameter synthesis for stochastic biochemical systems. - Milan Ceska 002; Frits Dannenberg; Nicola Paoletti; Marta Kwiatkowska; Lubos Brim (Acta Informatica, 2017)

Symbolic optimal expected time reachability computation and controller synthesis for probabilistic timed automata. - Aleksandra Jovanovic 002; Marta Kwiatkowska; Gethin Norman; Quentin Peyras (Theor. Comput. Sci., 2017)

Automated Recognition of Sleep Arousal Using Multimodal and Personalized Deep Ensembles of Neural Networks. - Andrea Patane; Shadi Ghiasi; Enzo Pasquale Scilingo; Marta Kwiatkowska (CinC, 2018)

Experimental Biological Protocols with Formal Semantics. - Alessandro Abate; Luca Cardelli; Marta Kwiatkowska; Luca Laurenti; Boyan Yordanov (CMSB, 2018)

Reachability Analysis of Deep Neural Networks with Provable Guarantees. - Wenjie Ruan; Xiaowei Huang 001; Marta Kwiatkowska (IJCAI, 2018)

Concolic testing for deep neural networks. - Youcheng Sun; Min Wu 011; Wenjie Ruan; Xiaowei Huang 001; Marta Kwiatkowska; Daniel Kroening (ASE, 2018)

Calibrating the Classifier: Siamese Neural Network Architecture for End-to-End Arousal Recognition from ECG. - Andrea Patanè; Marta Kwiatkowska (LOD, 2018)

Automated Verification of Concurrent Stochastic Games. - Marta Kwiatkowska; Gethin Norman; David Parker 001; Gabriel Santos (QEST, 2018)

When Your Fitness Tracker Betrays You: Quantifying the Predictability of Biometric Features Across Contexts. - Simon Eberz; Giulio Lovisotto; Andrea Patane; Marta Kwiatkowska; Vincent Lenders; Ivan Martinovic (IEEE Symposium on Security and Privacy, 2018)

Feature-Guided Black-Box Safety Testing of Deep Neural Networks. - Matthew Wicker; Xiaowei Huang 001; Marta Kwiatkowska (TACAS (1), 2018)

Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for L0 Norm. - Wenjie Ruan; Min Wu 011; Youcheng Sun; Xiaowei Huang 001; Daniel Kroening; Marta Kwiatkowska (CoRR, 2018)

Evaluating Uncertainty Quantification in End-to-End Autonomous Driving Control. - Rhiannon Michelmore; Marta Kwiatkowska; Yarin Gal (CoRR, 2018)

Compositional strategy synthesis for stochastic games with multiple objectives. - Nicolas Basset; Marta Z. Kwiatkowska; Clemens Wiltsche (Inf. Comput., 2018)

Efficient synthesis of robust models for stochastic systems. - Radu Calinescu; Milan Ceska 002; Simos Gerasimou; Marta Kwiatkowska; Nicola Paoletti (J. Syst. Softw., 2018)

Erratum to "Efficient synthesis of robust models for stochastic systems" [The Journal of Systems & Software 143 (2018) 140-158]. - Radu Calinescu; Milan Ceska 002; Simos Gerasimou; Marta Kwiatkowska; Nicola Paoletti (J. Syst. Softw., 2018)

Programming discrete distributions with chemical reaction networks. - Luca Cardelli; Marta Kwiatkowska; Luca Laurenti (Nat. Comput., 2018)

Chemical reaction network designs for asynchronous logic circuits. - Luca Cardelli; Marta Kwiatkowska; Max Whitby (Nat. Comput., 2018)

Resource-Performance Tradeoff Analysis for Mobile Robots. - Morteza Lahijanian; María Svorenová; Akshay A. Morye; Brian Yeomans; Dushyant Rao; Ingmar Posner; Paul Newman 001; Hadas Kress-Gazit; Marta Kwiatkowska (IEEE Robotics Autom. Lett., 2018)

PRISM-games: verification and strategy synthesis for stochastic multi-player games with multiple objectives. - Marta Kwiatkowska; David Parker 001; Clemens Wiltsche (Int. J. Softw. Tools Technol. Transf., 2018)

Closed-Loop Quantitative Verification of Rate-Adaptive Pacemakers. - Nicola Paoletti; Andrea Patanè; Marta Kwiatkowska (ACM Trans. Cyber Phys. Syst., 2018)

Parameter synthesis for probabilistic timed automata using stochastic game abstractions. - Aleksandra Jovanovic 002; Marta Kwiatkowska (Theor. Comput. Sci., 2018)

Model Checking Probabilistic Systems. - Christel Baier; Luca de Alfaro; Vojtech Forejt; Marta Kwiatkowska (Handbook of Model Checking, 2018)

Robustness Guarantees for Bayesian Inference with Gaussian Processes. - Luca Cardelli; Marta Kwiatkowska; Luca Laurenti; Andrea Patane (AAAI, 2019)

Verification and Control of Turn-Based Probabilistic Real-Time Games. - Marta Kwiatkowska; Gethin Norman; David Parker 001 (The Art of Modelling Computational Systems, 2019)

Correct-by-Construction Advanced Driver Assistance Systems Based on a Cognitive Architecture. - Francisco Eiras; Morteza Lahijanian; Marta Kwiatkowska (CAVS, 2019)

Safety Verification for Deep Neural Networks with Provable Guarantees (Invited Paper). - Marta Z. Kwiatkowska (CONCUR, 2019)

Robustness of 3D Deep Learning in an Adversarial Setting. - Matthew Wicker; Marta Kwiatkowska (CVPR, 2019)

Equilibria-Based Probabilistic Model Checking for Concurrent Stochastic Games. - Marta Kwiatkowska; Gethin Norman; David Parker 001; Gabriel Santos (FM, 2019)

Efficiency through uncertainty: scalable formal synthesis for stochastic hybrid systems. - Nathalie Cauchi; Luca Laurenti; Morteza Lahijanian; Alessandro Abate; Marta Kwiatkowska; Luca Cardelli (HSCC, 2019)

Probabilistic Strategy Logic. - Benjamin Aminof; Marta Kwiatkowska; Bastien Maubert; Aniello Murano; Sasha Rubin (IJCAI, 2019)

Statistical Guarantees for the Robustness of Bayesian Neural Networks. - Luca Cardelli; Marta Kwiatkowska; Luca Laurenti; Nicola Paoletti; Andrea Patane; Matthew Wicker (IJCAI, 2019)

Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for the Hamming Distance. - Wenjie Ruan; Min Wu 011; Youcheng Sun; Xiaowei Huang 001; Daniel Kroening; Marta Kwiatkowska (IJCAI, 2019)

Gaze-based Intention Anticipation over Driving Manoeuvres in Semi-Autonomous Vehicles. - Min Wu 011; Tyron Louw; Morteza Lahijanian; Wenjie Ruan; Xiaowei Huang 001; Natasha Merat; Marta Kwiatkowska (IROS, 2019)

Safety and robustness for deep learning with provable guarantees (keynote). - Marta Kwiatkowska (ESEC/SIGSOFT FSE, 2019)

Robustness Quantification for Classification with Gaussian Processes. - Arno Blaas; Luca Laurenti; Andrea Patane; Luca Cardelli; Marta Kwiatkowska; Stephen J. Roberts (CoRR, 2019)

Safety Guarantees for Planning Based on Iterative Gaussian Processes. - Kyriakos Polymenakos; Luca Laurenti; Andrea Patane; Jan-Peter Calliess; Luca Cardelli; Marta Kwiatkowska; Alessandro Abate; Stephen J. Roberts (CoRR, 2019)

The EATCS Award 2020 - Call for Nominations. - Artur Czumaj; Marta Kwiatkowska; Éva Tardos (Bull. EATCS, 2019)

On the Hardness of Robust Classification. - Pascale Gourdeau; Varun Kanade; Marta Kwiatkowska; James Worrell 001 (Electron. Colloquium Comput. Complex., 2019)

Central Limit Model Checking. - Luca Bortolussi; Luca Cardelli; Marta Kwiatkowska; Luca Laurenti (ACM Trans. Comput. Log., 2019)

Reasoning about Cognitive Trust in Stochastic Multiagent Systems. - Xiaowei Huang 001; Marta Kwiatkowska; Maciej Olejnik (ACM Trans. Comput. Log., 2019)

Adversarial Robustness Guarantees for Classification with Gaussian Processes. - Arno Blaas; Andrea Patane; Luca Laurenti; Luca Cardelli; Marta Kwiatkowska; Stephen J. Roberts (AISTATS, 2020)

PRISM-games 3.0: Stochastic Game Verification with Concurrency, Equilibria and Time. - Marta Kwiatkowska; Gethin Norman; David Parker 001; Gabriel Santos (CAV (2), 2020)

Safety Guarantees for Iterative Predictions with Gaussian Processes. - Kyriakos Polymenakos; Luca Laurenti; Andrea Patane; Jan-Peter Calliess; Luca Cardelli; Marta Kwiatkowska; Alessandro Abate; Stephen J. Roberts (CDC, 2020)

Robustness Guarantees for Deep Neural Networks on Videos. - Min Wu 011; Marta Kwiatkowska (CVPR, 2020)

Gaussian Processes with Physiologically-Inspired Priors for Physical Arousal Recognition. - Shadi Ghiasi; Andrea Patanè; Alberto Greco 001; Luca Laurenti; Enzo Pasquale Scilingo; Marta Z. Kwiatkowska (EMBC, 2020)

Assessing Robustness of Text Classification through Maximal Safe Radius Computation. - Emanuele La Malfa; Min Wu 011; Luca Laurenti; Benjie Wang 001; Anthony Hartshorn; Marta Kwiatkowska (EMNLP (Findings), 2020)

Invariant Causal Prediction for Block MDPs. - Amy Zhang 001; Clare Lyle; Shagun Sodhani; Angelos Filos; Marta Kwiatkowska; Joelle Pineau; Yarin Gal; Doina Precup (ICML, 2020)

Uncertainty Quantification with Statistical Guarantees in End-to-End Autonomous Driving Control. - Rhiannon Michelmore; Matthew Wicker; Luca Laurenti; Luca Cardelli; Yarin Gal; Marta Kwiatkowska (ICRA, 2020)

Safety and Robustness for Deep Learning with Provable Guarantees. - Marta Kwiatkowska (ASE, 2020)

Multi-player Equilibria Verification for Concurrent Stochastic Games. - Marta Kwiatkowska; Gethin Norman; David Parker 001; Gabriel Santos (QEST, 2020)

Probabilistic Safety for Bayesian Neural Networks. - Matthew Wicker; Luca Laurenti; Andrea Patane; Marta Kwiatkowska (UAI, 2020)

On the Benefits of Invariance in Neural Networks. - Clare Lyle; Mark van der Wilk; Marta Kwiatkowska; Yarin Gal; Benjamin Bloem-Reddy (CoRR, 2020)

The EATCS Award 2021 - Call for Nominations. - Marta Kwiatkowska; Éva Tardos; Johan Håstad (Bull. EATCS, 2020)

A game-based approximate verification of deep neural networks with provable guarantees. - Min Wu 011; Matthew Wicker; Wenjie Ruan; Xiaowei Huang 001; Marta Kwiatkowska (Theor. Comput. Sci., 2020)

Bayesian Inference with Certifiable Adversarial Robustness. - Matthew Wicker; Luca Laurenti; Andrea Patane; Zhuotong Chen; Zheng Zhang; Marta Kwiatkowska (AISTATS, 2021)

On Guaranteed Optimal Robust Explanations for NLP Models. - Emanuele La Malfa; Rhiannon Michelmore; Agnieszka M. Zbrzezny; Nicola Paoletti; Marta Kwiatkowska (IJCAI, 2021)

Provable Guarantees on the Robustness of Decision Rules to Causal Interventions. - Benjie Wang 001; Clare Lyle; Marta Kwiatkowska (IJCAI, 2021)

Certification of iterative predictions in Bayesian neural networks. - Matthew Wicker; Luca Laurenti; Andrea Patane; Nicola Paoletti; Alessandro Abate; Marta Kwiatkowska (UAI, 2021)

Rational verification: game-theoretic verification of multi-agent systems. - Alessandro Abate; Julian Gutierrez 001; Lewis Hammond; Paul Harrenstein; Marta Kwiatkowska; Muhammad Najib; Giuseppe Perelli; Thomas Steeples; Michael J. Wooldridge (Appl. Intell., 2021)

A Language for Modeling and Optimizing Experimental Biological Protocols. - Luca Cardelli; Marta Kwiatkowska; Luca Laurenti (Comput., 2021)

Backdoor Attacks on Network Certification via Data Poisoning. - Tobias Lorenz 002; Marta Kwiatkowska; Mario Fritz (CoRR, 2021)

The EATCS Award 2021 - Laudatio for Toniann (Toni) Pitassi. - Marta Kwiatkowska (Bull. EATCS, 2021)

Automatic verification of concurrent stochastic systems. - Marta Kwiatkowska; Gethin Norman; David Parker 001; Gabriel Santos (Formal Methods Syst. Des., 2021)

Adaptive formal approximations of Markov chains. - Alessandro Abate; Roman Andriushchenko; Milan Ceska 002; Marta Kwiatkowska (Perform. Evaluation, 2021)

Formal and Efficient Synthesis for Continuous-Time Linear Stochastic Hybrid Processes. - Luca Laurenti; Morteza Lahijanian; Alessandro Abate; Luca Cardelli; Marta Kwiatkowska (IEEE Trans. Autom. Control., 2021)

The King Is Naked: On the Notion of Robustness for Natural Language Processing. - Emanuele La Malfa; Marta Kwiatkowska (AAAI, 2022)

Symbolic Verification and Strategy Synthesis for Turn-Based Stochastic Games. - Marta Kwiatkowska; Gethin Norman; David Parker 001; Gabriel Santos (Principles of Systems Design, 2022)

Learning Dynamics and Generalization in Deep Reinforcement Learning. - Clare Lyle; Mark Rowland 001; Will Dabney; Marta Kwiatkowska; Yarin Gal (ICML, 2022)

Tractable Uncertainty for Structure Learning. - Benjie Wang 001; Matthew Wicker; Marta Kwiatkowska (ICML, 2022)

Individual Fairness Guarantees for Neural Networks. - Elias Benussi; Andrea Patanè; Matthew Wicker; Luca Laurenti; Marta Kwiatkowska (IJCAI, 2022)

Sample Complexity Bounds for Robustly Learning Decision Lists against Evasion Attacks. - Pascale Gourdeau; Varun Kanade; Marta Kwiatkowska; James Worrell 001 (IJCAI, 2022)

Robustness Guarantees for Credal Bayesian Networks via Constraint Relaxation over Probabilistic Circuits. - Hjalmar Wijk; Benjie Wang 001; Marta Kwiatkowska (IJCAI, 2022)

Probabilistic Model Checking for Strategic Equilibria-Based Decision Making: Advances and Challenges (Invited Talk). - Marta Kwiatkowska; Gethin Norman; David Parker 001; Gabriel Santos; Rui Yan 002 (MFCS, 2022)

When are Local Queries Useful for Robust Learning? - Pascale Gourdeau; Varun Kanade; Marta Kwiatkowska; James Worrell 001 (NeurIPS, 2022)

Correlated Equilibria and Fairness in Concurrent Stochastic Games. - Marta Kwiatkowska; Gethin Norman; David Parker 001; Gabriel Santos (TACAS (2), 2022)

Finite-horizon equilibria for neuro-symbolic concurrent stochastic games. - Rui Yan 002; Gabriel Santos; Xiaoming Duan; David Parker 001; Marta Kwiatkowska (UAI, 2022)

Probabilistic Model Checking and Autonomy. - Marta Kwiatkowska; Gethin Norman; David Parker 001 (Annu. Rev. Control. Robotics Auton. Syst., 2022)

Learning Dynamics and Generalization in Reinforcement Learning. - Clare Lyle; Mark Rowland 001; Will Dabney; Marta Kwiatkowska; Yarin Gal (CoRR, 2022)

Probabilistic Model Checking for Strategic Equilibria-based Decision Making: Advances and Challenges. - Marta Kwiatkowska; Gethin Norman; David Parker 001; Gabriel Santos; Rui Yan 002 (CoRR, 2022)

Robustness of Unsupervised Representation Learning without Labels. - Aleksandar Petrov; Marta Kwiatkowska (CoRR, 2022)

Bayesian Network Models of Causal Interventions in Healthcare Decision Making: Literature Review and Software Evaluation. - Artem Velikzhanin; Benjie Wang 001; Marta Kwiatkowska (CoRR, 2022)

Adversarial Robustness Guarantees for Gaussian Processes. - Andrea Patane; Arno Blaas; Luca Laurenti; Luca Cardelli; Stephen Roberts 001; Marta Kwiatkowska (J. Mach. Learn. Res., 2022)

PID Control of Biochemical Reaction Networks. - Max Whitby; Luca Cardelli; Marta Kwiatkowska; Luca Laurenti; Mirco Tribastone; Max Tschaikowski (IEEE Trans. Autom. Control., 2022)

Compositional Probabilistic and Causal Inference using Tractable Circuit Models. - Benjie Wang 001; Marta Kwiatkowska (AISTATS, 2023)

Certifiers Make Neural Networks Vulnerable to Availability Attacks. - Tobias Lorenz 002; Marta Kwiatkowska; Mario Fritz (AISec@CCS, 2023)

CONCUR Test-Of-Time Award 2023 (Invited Paper). - Bengt Jonsson 001; Marta Kwiatkowska; Igor Walukiewicz (CONCUR, 2023)

When to Trust AI: Advances and Challenges for Certification of Neural Networks. - Marta Kwiatkowska; Xiyue Zhang 001 (FedCSIS, 2023)

Sample Efficient Model-free Reinforcement Learning from LTL Specifications with Optimality Guarantees. - Daqian Shao; Marta Kwiatkowska (IJCAI, 2023)

On Preimage Approximation for Neural Networks. - Xiyue Zhang 001; Benjie Wang 001; Marta Kwiatkowska (CoRR, 2023)

Point-based Value Iteration for Neuro-Symbolic POMDPs. - Rui Yan 002; Gabriel Santos; Gethin Norman; David Parker 001; Marta Kwiatkowska (CoRR, 2023)

Physiologically-Informed Gaussian Processes for Interpretable Modelling of Psycho-Physiological States. - Shadi Ghiasi; Andrea Patane; Luca Laurenti; Claudio Gentili; Enzo Pasquale Scilingo; Alberto Greco 001; Marta Kwiatkowska (IEEE J. Biomed. Health Informatics, 2023)

Expectation vs. Reality: Towards Verification of Psychological Games. - Marta Kwiatkowska; Gethin Norman; David Parker 001; Gabriel Santos (Principles of Verification (2), 2024)

Strategy Synthesis for Partially Observable Stochastic Games with Neural Perception Mechanisms (Invited Talk). - Marta Kwiatkowska (CSL, 2024)

FullCert: Deterministic End-to-End Certification for Training and Inference of Neural Networks. - Tobias Lorenz 002; Marta Kwiatkowska; Mario Fritz (GCPR (1), 2024)

Adversarial Robustness Certification for Bayesian Neural Networks. - Matthew Wicker; Andrea Patane; Luca Laurenti; Marta Kwiatkowska (FM (1), 2024)

Partially Observable Stochastic Games with Neural Perception Mechanisms. - Rui Yan 002; Gabriel Santos; Gethin Norman; David Parker 001; Marta Kwiatkowska (FM (1), 2024)

Learning Decision Policies with Instrumental Variables through Double Machine Learning. - Daqian Shao; Ashkan Soleymani; Francesco Quinzan; Marta Kwiatkowska (ICML, 2024)

Trust-Aware Motion Planning for Human-Robot Collaboration under Distribution Temporal Logic Specifications. - Pian Yu; Shuyang Dong; Shili Sheng; Lu Feng 001; Marta Kwiatkowska (ICRA, 2024)

The Trembling-Hand Problem for LTLf Planning. - Pian Yu; Shufang Zhu 001; Giuseppe De Giacomo; Marta Kwiatkowska; Moshe Y. Vardi (IJCAI, 2024)

FAST: Boosting Uncertainty-based Test Prioritization Methods for Neural Networks via Feature Selection. - Jialuo Chen; Jingyi Wang 004; Xiyue Zhang 001; Youcheng Sun; Marta Kwiatkowska; Jiming Chen 001; Peng Cheng 001 (ASE, 2024)

HSVI-based online minimax strategies for partially observable stochastic games with neural perception mechanisms. - Rui Yan 002; Gabriel Santos; Gethin Norman; David Parker 001; Marta Kwiatkowska (L4DC, 2024)

Automated Design of Linear Bounding Functions for Sigmoidal Nonlinearities in Neural Networks. - Matthias König 005; Xiyue Zhang 001; Holger H. Hoos; Marta Kwiatkowska; Jan N. van Rijn (ECML/PKDD (7), 2024)

Provable Preimage Under-Approximation for Neural Networks. - Xiyue Zhang 001; Benjie Wang 001; Marta Kwiatkowska (TACAS (3), 2024)

Probabilistic reach-avoid for Bayesian neural networks. - Matthew Wicker; Luca Laurenti; Andrea Patane; Nicola Paoletti; Alessandro Abate; Marta Kwiatkowska (Artif. Intell., 2024)

STR-Cert: Robustness Certification for Deep Text Recognition on Deep Learning Pipelines and Vision Transformers. - Daqian Shao; Lukas Fesser; Marta Kwiatkowska (CoRR, 2024)

Uncertainty-Aware Explanations Through Probabilistic Self-Explainable Neural Networks. - Jon Vadillo; Roberto Santana 001; José Antonio Lozano 001; Marta Kwiatkowska (CoRR, 2024)

PREMAP: A Unifying PREiMage APproximation Framework for Neural Networks. - Xiyue Zhang 001; Benjie Wang 001; Marta Kwiatkowska; Huan Zhang (CoRR, 2024)

Risk-Averse Certification of Bayesian Neural Networks. - Xiyue Zhang 001; Zifan Wang; Yulong Gao; Licio Romao; Alessandro Abate; Marta Kwiatkowska (CoRR, 2024)

BiCert: A Bilinear Mixed Integer Programming Formulation for Precise Certified Bounds Against Data Poisoning Attacks. - Tobias Lorenz 002; Marta Kwiatkowska; Mario Fritz (CoRR, 2024)

Strategy synthesis for zero-sum neuro-symbolic concurrent stochastic games. - Rui Yan 002; Gabriel Santos; Gethin Norman; David Parker 001; Marta Kwiatkowska (Inf. Comput., 2024)

Safe POMDP Online Planning Among Dynamic Agents via Adaptive Conformal Prediction. - Shili Sheng; Pian Yu; David Parker 001; Marta Kwiatkowska; Lu Feng 001 (IEEE Robotics Autom. Lett., 2024)

Probabilistic Timed ATL. - Wojciech Jamroga; Marta Kwiatkowska; Wojciech Penczek; Laure Petrucci; Teofil Sidoruk (AAMAS, 2025)

Learning Algorithms for Verification of Markov Decision Processes. - Tomás Brázdil; Krishnendu Chatterjee; Martin Chmelik; Vojtech Forejt; Jan Kretínský; Marta Kwiatkowska; Tobias Meggendorfer; David Parker 001; Mateusz Ujma (TheoretiCS, 2025)

A Unifying Framework for Causal Imitation Learning with Hidden Confounders. - Daqian Shao; Thomas Kleine Buening; Marta Kwiatkowska (CoRR, 2025)

Planning with Linear Temporal Logic Specifications: Handling Quantifiable and Unquantifiable Uncertainty. - Pian Yu; Yong Li 031; David Parker 001; Marta Kwiatkowska (CoRR, 2025)

Strategyproof Reinforcement Learning from Human Feedback. - Thomas Kleine Buening; Jiarui Gan; Debmalya Mandal; Marta Kwiatkowska (CoRR, 2025)

Are Large Language Models Robust in Understanding Code Against Semantics-Preserving Mutations? - Pedro Orvalho; Marta Kwiatkowska (CoRR, 2025)

Learning Probabilistic Temporal Logic Specifications for Stochastic Systems. - Rajarshi Roy 002; Yash Pote; David Parker 001; Marta Kwiatkowska (CoRR, 2025)

Efficient Preimage Approximation for Neural Network Certification. - Anton Björklund; Mykola Zaitsev; Marta Kwiatkowska (CoRR, 2025)

Double Machine Learning for Conditional Moment Restrictions: IV Regression, Proximal Causal Learning and Beyond. - Daqian Shao; Ashkan Soleymani; Francesco Quinzan; Marta Kwiatkowska (CoRR, 2025)

PyVeritas: On Verifying Python via LLM-Based Transpilation and Bounded Model Checking for C. - Pedro Orvalho; Marta Kwiatkowska (CoRR, 2025)

Exact Verification of Graph Neural Networks with Incremental Constraint Solving. - Minghao Liu; Chia-Hsuan Lu; Marta Kwiatkowska (CoRR, 2025)