Filtros de búsqueda

Lista de obras de Marta 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

artículo científico publicado en 2013

Advances in Quantitative Verification for Ubiquitous Computing

artículo científico publicado en 2013

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

Assume-Guarantee Reasoning for Safe Component Behaviours

artículo científico publicado en 2013

Automatic verification of concurrent stochastic systems

artículo científico publicado en 2021

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

artículo científico publicado en 2009

Certifiers Make Neural Networks Vulnerable to Availability Attacks

artículo científico publicado en 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.

artículo científico publicado en 2017

Correlated Equilibria and Fairness in Concurrent Stochastic Games

artículo científico publicado en 2022

DNA walker circuits: computational potential, design, and verification

Dependability Analysis and Verification for Connected Systems

artículo científico publicado en 2010

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

artículo científico publicado en 2012

Efficient synthesis of robust models for stochastic systems

artículo científico publicado en 2018

Equilibria-Based Probabilistic Model Checking for Concurrent Stochastic Games

artículo científico publicado en 2019

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

artículo científico publicado en 2009

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

artículo científico publicado en 2017

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

artículo científico publicado en 2021

From computers to ubiquitous computing, by 2020. Introduction

artículo científico publicado en 2008

Guiding the folding pathway of DNA origami

artículo científico publicado en 2015

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

artículo científico publicado en 2015

Modal Specifications for Probabilistic Timed Systems

artículo científico publicado en 2013

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

artículo científico publicado en 2015

Molecular Filters for Noise Reduction

artículo científico publicado en 2018

Multi-player Equilibria Verification for Concurrent Stochastic Games

artículo científico publicado en 2020

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

artículo científico publicado en 2015

On the Hardness of Robust Classification ⬇️

Optimizing key updates in sensor networks

PID Control of Biochemical Reaction Networks

artículo científico publicado en 2022

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

artículo científico publicado en 2017

Parameter synthesis for probabilistic timed automata using stochastic game abstractions

artículo científico publicado en 2018

Practical Applications of Probabilistic Model Checking to Communication Protocols

artículo científico publicado en 2012

Probabilistic Model Checking of Labelled Markov Processes via Finite Approximate Bisimulations

artículo científico publicado en 2014

Programming Discrete Distributions with Chemical Reaction Networks

Programming discrete distributions with chemical reaction networks.

artículo científico publicado en 2017

Simulation-Based Verification of Cardiac Pacemakers With Guaranteed Coverage

artículo científico publicado en 2015

Software Engineering Techniques for the Development of Systems of Systems

artículo científico publicado en 2010

Stochastic Analysis of Chemical Reaction Networks Using Linear Noise Approximation

artículo científico publicado en 2016

Stochastic Analysis of Chemical Reaction Networks Using Linear Noise Approximation

article

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

artículo científico publicado en 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

artículo científico publicado en 2002

Using probabilistic model checking for dynamic power management

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

artículo científico publicado en 2019

Verification of linear duration properties over continuous-time markov chains

artículo científico publicado en 2013

Dominio Público Uruguay está sostenido por:

Acerca de Dominio Público Uruguay

Ayuda