List of works - Marta Zofia Kwiatkowska

40th international colloquium on automata, languages and programming

A Specification Theory of Real-Time Processes

A Stochastic Hybrid Approximation for Chemical Kinetics Based on the Linear Noise Approximation

A process algebraic framework for estimating the energy consumption in ad-hoc wireless sensor networks

scientific article published on 3 November 2013

Advances in Quantitative Verification for Ubiquitous Computing

scientific article published in 2013

Approximation of Probabilistic Reachability for Chemical Reaction Networks Using the Linear Noise Approximation

Assume-Guarantee Reasoning for Safe Component Behaviours

scientific article published in 2013

Automatic verification of concurrent stochastic systems

scientific article published on 22 January 2021

Bug-Free Sensors: The Automatic Verification of Context-Aware TinyOS Applications

scientific article published in 2009

Certifiers Make Neural Networks Vulnerable to Availability Attacks

scientific article published on 21 November 2023

Challenges for Modeling and Simulation Methods in Systems Biology

Chemical Reaction Network Designs for Asynchronous Logic Circuits

article published in 2016

Chemical reaction network designs for asynchronous logic circuits.

scientific article

Correlated Equilibria and Fairness in Concurrent Stochastic Games

scientific article published in 2022

DNA walker circuits: computational potential, design, and verification

Dependability Analysis and Verification for Connected Systems

scientific article published in 2010

Design and analysis of DNA strand displacement devices using probabilistic model checking

scientific article published on 4 January 2012

Efficient synthesis of robust models for stochastic systems

scientific article published in September 2018

Equilibria-Based Probabilistic Model Checking for Concurrent Stochastic Games

scientific article published in 2019

Establishing a Framework for Dynamic Risk Management in ‘Intelligent’ Aero-Engine Control

scientific article published in 2009

Factors affecting one-year survival after radical cystectomy: A prospective study.

scientific article

Formal and Efficient Synthesis for Continuous-Time Linear Stochastic Hybrid Processes

scientific article published in January 2021

From computers to ubiquitous computing, by 2020. Introduction.

scientific article published in October 2008

Guiding the folding pathway of DNA origami

scientific article published in Nature

Hardware-in-the-loop simulation and energy optimization of cardiac pacemakers

scientific article published in August 2015

Modal Specifications for Probabilistic Timed Systems

scientific article published on 11 June 2013

Modelling DNA origami self-assembly at the domain level ⬇️

scientific article published in October 2015

Molecular Filters for Noise Reduction

scientific article published on 01 June 2018

Multi-player Equilibria Verification for Concurrent Stochastic Games

scientific article published in 2020

On Quantitative Modelling and Verification of DNA Walker Circuits Using Stochastic Petri Nets

scientific article published in 2015

On the Hardness of Robust Classification ⬇️

Optimizing key updates in sensor networks

PID Control of Biochemical Reaction Networks

scientific article published in February 2022

PRISM-games: verification and strategy synthesis for stochastic multi-player games with multiple objectives.

scientific article published on 29 November 2017

Parameter synthesis for probabilistic timed automata using stochastic game abstractions

scientific article published in July 2018

Practical Applications of Probabilistic Model Checking to Communication Protocols

scientific article published on 29 November 2012

Probabilistic Model Checking of Labelled Markov Processes via Finite Approximate Bisimulations

scientific article published in 2014

Programming Discrete Distributions with Chemical Reaction Networks

Programming discrete distributions with chemical reaction networks.

scientific article published on 8 December 2017

Simulation-Based Verification of Cardiac Pacemakers With Guaranteed Coverage

scientific article published in October 2015

Software Engineering Techniques for the Development of Systems of Systems

scientific article published in 2010

Stochastic Analysis of Chemical Reaction Networks Using Linear Noise Approximation

scientific article

Stochastic Analysis of Chemical Reaction Networks Using Linear Noise Approximation

article

Symbolic optimal expected time reachability computation and controller synthesis for probabilistic timed automata

scientific article published in March 2017

Syntax-Guided Optimal Synthesis for Chemical Reaction Networks

The cell surface protein Ag43 facilitates phage infection of Escherichia coli in the presence of bile salts and carbohydrates

scientific article

Using probabilistic model checking for dynamic power management

Verification and Control of Turn-Based Probabilistic Real-Time Games

scientific article published in 2019

Verification of linear duration properties over continuous-time markov chains

scientific article published in November 2013

List of works by Marta Zofia Kwiatkowska

40th international colloquium on automata, languages and programming

A Specification Theory of Real-Time Processes

A Stochastic Hybrid Approximation for Chemical Kinetics Based on the Linear Noise Approximation

A process algebraic framework for estimating the energy consumption in ad-hoc wireless sensor networks

Advances in Quantitative Verification for Ubiquitous Computing

Approximation of Probabilistic Reachability for Chemical Reaction Networks Using the Linear Noise Approximation

Assume-Guarantee Reasoning for Safe Component Behaviours

Automatic verification of concurrent stochastic systems

Bug-Free Sensors: The Automatic Verification of Context-Aware TinyOS Applications

Certifiers Make Neural Networks Vulnerable to Availability Attacks

Challenges for Modeling and Simulation Methods in Systems Biology

Chemical Reaction Network Designs for Asynchronous Logic Circuits

Chemical reaction network designs for asynchronous logic circuits.

Correlated Equilibria and Fairness in Concurrent Stochastic Games

DNA walker circuits: computational potential, design, and verification

Dependability Analysis and Verification for Connected Systems

Design and analysis of DNA strand displacement devices using probabilistic model checking

Efficient synthesis of robust models for stochastic systems

Equilibria-Based Probabilistic Model Checking for Concurrent Stochastic Games

Establishing a Framework for Dynamic Risk Management in ‘Intelligent’ Aero-Engine Control

Factors affecting one-year survival after radical cystectomy: A prospective study.

Formal and Efficient Synthesis for Continuous-Time Linear Stochastic Hybrid Processes

From computers to ubiquitous computing, by 2020. Introduction.

Guiding the folding pathway of DNA origami

Hardware-in-the-loop simulation and energy optimization of cardiac pacemakers

Modal Specifications for Probabilistic Timed Systems

Modelling DNA origami self-assembly at the domain level ⬇️

Molecular Filters for Noise Reduction

Multi-player Equilibria Verification for Concurrent Stochastic Games

On Quantitative Modelling and Verification of DNA Walker Circuits Using Stochastic Petri Nets

On the Hardness of Robust Classification ⬇️

Optimizing key updates in sensor networks

PID Control of Biochemical Reaction Networks

PRISM-games: verification and strategy synthesis for stochastic multi-player games with multiple objectives.

Parameter synthesis for probabilistic timed automata using stochastic game abstractions

Practical Applications of Probabilistic Model Checking to Communication Protocols

Probabilistic Model Checking of Labelled Markov Processes via Finite Approximate Bisimulations

Programming Discrete Distributions with Chemical Reaction Networks

Programming discrete distributions with chemical reaction networks.

Simulation-Based Verification of Cardiac Pacemakers With Guaranteed Coverage

Software Engineering Techniques for the Development of Systems of Systems

Stochastic Analysis of Chemical Reaction Networks Using Linear Noise Approximation

Stochastic Analysis of Chemical Reaction Networks Using Linear Noise Approximation

Symbolic optimal expected time reachability computation and controller synthesis for probabilistic timed automata

Syntax-Guided Optimal Synthesis for Chemical Reaction Networks

The cell surface protein Ag43 facilitates phage infection of Escherichia coli in the presence of bile salts and carbohydrates

Using probabilistic model checking for dynamic power management

Verification and Control of Turn-Based Probabilistic Real-Time Games

Verification of linear duration properties over continuous-time markov chains