Marta Kwiatkowska | Academic Influence

Marta Kwiatkowska's AcademicInfluence.com Rankings

Marta Kwiatkowska

Computer Science

#1843

World Rank

#1914

Historical Rank

Information Technology

#27

World Rank

#28

Historical Rank

Software Engineering

#109

World Rank

#109

Historical Rank

Database

#2070

World Rank

#2176

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Marta Kwiatkowska's Degrees

PhD Computer Science University of Warsaw
Masters Computer Science University of Warsaw

Similar Degrees You Can Earn

Why Is Marta Kwiatkowska Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Marta Zofia Kwiatkowska is a Polish theoretical computer scientist based in the United Kingdom. Kwiatkowska is Professor of Computing Systems in the Department of Computer Science at the University of Oxford, England, and a Fellow of Trinity College, Oxford. Her research focuses on developing modelling and automated verification techniques for computing systems in order to guarantee safe, secure, reliable, timely and resource-efficient operation.

(See a Problem?)

Marta Kwiatkowska's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

PRISM 4.0: Verification of Probabilistic Real-Time Systems (2011) (2274)
Safety Verification of Deep Neural Networks (2016) (787)
PRISM: A Tool for Automatic Verification of Probabilistic Systems (2006) (762)
PRISM: Probabilistic Symbolic Model Checker (2002) (732)
Stochastic Model Checking (2007) (586)
Probabilistic symbolic model checking with PRISM: a hybrid approach (2004) (520)
Dynamic QoS Management and Optimization in Service-Based Systems (2011) (388)
Automatic verification of real-time systems with discrete probability distributions (1999) (386)
Automated Verification Techniques for Probabilistic Systems (2011) (323)
Probabilistic model checking of complex biological pathways (2008) (287)
Self-adaptive software needs quantitative verification at runtime (2012) (278)
Performance analysis of probabilistic timed automata using digital clocks (2003) (263)
Concolic Testing for Deep Neural Networks (2018) (257)
PRISM: probabilistic model checking for performance and reliability analysis (2009) (257)
Mathematical techniques for analyzing concurrent and probabilistic systems (2004) (251)
Model checking for a probabilistic branching time logic with fairness (1998) (240)
Large-scale complex IT systems (2011) (237)
Numerical vs. statistical probabilistic model checking (2006) (222)
Symbolic model checking for probabilistic timed automata (2007) (216)
Reachability Analysis of Deep Neural Networks with Provable Guarantees (2018) (200)
Symbolic Model Checking for Probabilistic Processes (1997) (199)
Multi-Objective Model Checking of Markov Decision Processes (2007) (194)
Feature-Guided Black-Box Safety Testing of Deep Neural Networks (2017) (174)
PRISM 2.0: a tool for probabilistic model checking (2004) (174)
Verification of Markov Decision Processes Using Learning Algorithms (2014) (170)
Symmetry Reduction for Probabilistic Model Checking (2006) (164)
Automatic verification of competitive stochastic systems (2012) (158)
Probabilistic Model Checking of the IEEE 802.11 Wireless Local Area Network Protocol (2002) (154)
Quantitative analysis and model checking (1997) (153)
Model checking for probability and time: from theory to practice (2003) (151)
PRISM-games: A Model Checker for Stochastic Multi-Player Games (2013) (141)
Symbolic Model Checking of Probabilistic Processes Using MTBDDs and the Kronecker Representation (2000) (138)
Assume-Guarantee Verification for Probabilistic Systems (2010) (132)
A formal analysis of bluetooth device discovery (2006) (132)
Guiding the folding pathway of DNA origami (2015) (128)
Probabilistic Model Checking of Deadline Properties in the IEEE 1394 FireWire Root Contention Protocol (2003) (116)
The PRISM Benchmark Suite (2012) (113)
Verifying Quantitative Properties of Continuous Probabilistic Timed Automata (2000) (106)
Quantitative Multi-objective Verification for Probabilistic Systems (2011) (105)
Using quantitative analysis to implement autonomic IT systems (2009) (104)
Using probabilistic model checking in systems biology (2008) (103)
Quantitative Analysis With the Probabilistic Model Checker PRISM (2006) (102)
Game-based Abstraction for Markov Decision Processes (2006) (97)
A game-based abstraction-refinement framework for Markov decision processes (2010) (95)
Design and analysis of DNA strand displacement devices using probabilistic model checking (2012) (92)
Precise parameter synthesis for stochastic biochemical systems (2014) (90)
Faster and Symbolic CTMC Model Checking (2001) (89)
Using probabilistic model checking for dynamic power management (2005) (88)
A biologically inspired QoS routing algorithm for mobile ad hoc networks (2005) (87)
A Game-Based Approximate Verification of Deep Neural Networks with Provable Guarantees (2018) (86)
Automated Verification of a Randomized Distributed Consensus Protocol Using Cadence SMV and PRISM (2001) (85)
On the use of MTBDDs for performability analysis and verification of stochastic systems (2003) (84)
Stochastic Games for Verification of Probabilistic Timed Automata (2009) (83)
Evaluating the reliability of NAND multiplexing with PRISM (2005) (83)
Pareto Curves for Probabilistic Model Checking (2012) (83)
The effect of metabolites and impurities of glyphosate on human erythrocytes (in vitro). (2014) (83)
Advances and challenges of probabilistic model checking (2010) (82)
DNA damage and methylation induced by glyphosate in human peripheral blood mononuclear cells (in vitro study). (2017) (79)
Probabilistic model checking in practice: case studies with PRISM (2005) (77)
Incremental quantitative verification for Markov decision processes (2011) (74)
Evaluating Uncertainty Quantification in End-to-End Autonomous Driving Control (2018) (73)
Model Repair for Markov Decision Processes (2013) (73)
Quantitative verification: models, techniques and tools (2007) (71)
Invariant Causal Prediction for Block MDPs (2020) (70)
Abstraction Refinement for Probabilistic Software (2008) (65)
Controller Dependability Analysis by Probabilistic Model Checking (2004) (64)
Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for the Hamming Distance (2019) (62)
Survey of fairness notions (1989) (62)
Robustness of 3D Deep Learning in an Adversarial Setting (2019) (62)
The FAAH inhibitor URB-597 interferes with cisplatin- and nicotine-induced vomiting in the Suncus murinus (house musk shrew) (2009) (61)
Analysis of a gossip protocol in PRISM (2008) (61)
DNA walker circuits: computational potential, design, and verification (2013) (61)
Broken Hearted: How To Attack ECG Biometrics (2017) (61)
A Timing Analysis of AODV (2005) (61)
Automated Verification and Strategy Synthesis for Probabilistic Systems (2013) (60)
Quantitative verification: models techniques and tools (2007) (58)
On Stochastic Games with Multiple Objectives (2013) (56)
Automatic verification of the IEEE 1394 root contention protocol with KRONOS and PRISM (2002) (55)
Model Checking Probabilistic Systems (2018) (55)
On the Benefits of Invariance in Neural Networks (2020) (55)
Numerical vs. Statistical Probabilistic Model Checking: An Empirical Study (2004) (54)
Domain equations for probabilistic processes (2000) (52)
On the Verification of Qualitative Properties of Probabilistic Processes under Fairness Constraints (1998) (51)
Evaluating the reliability of defect-tolerant architectures for nanotechnology with probabilistic model checking (2004) (50)
Permissive Controller Synthesis for Probabilistic Systems (2014) (49)
Automated Learning of Probabilistic Assumptions for Compositional Reasoning (2011) (49)
Quantitative verification of implantable cardiac pacemakers over hybrid heart models (2014) (49)
Synthesis for Multi-objective Stochastic Games: An Application to Autonomous Urban Driving (2013) (48)
Uncertainty Quantification with Statistical Guarantees in End-to-End Autonomous Driving Control (2019) (48)
Probabilistic verification of Herman’s self-stabilisation algorithm (2012) (48)
A Compositional Specification Theory for Component Behaviours (2012) (48)
Simulation and Verification for Computational Modelling of Signalling Pathways (2006) (47)
Compositional Verification of Probabilistic Systems Using Learning (2010) (47)
Advances in Probabilistic Model Checking (2012) (46)
Probabilistic model checking for systems biology (2011) (45)
Stochastic analysis of Chemical Reaction Networks using Linear Noise Approximation (2015) (44)
Stochastic Transition Systems for Continuous State Spaces and Non-determinism (2005) (43)
Quantitative verification and strategy synthesis for stochastic games (2016) (42)
Fairness for non-interleaving concurrency (1989) (42)
Safety and Trustworthiness of Deep Neural Networks: A Survey (2018) (42)
A Testing Equivalence for Reactive Probabilistic Processes (1998) (42)
On the complexity of model checking interval-valued discrete time Markov chains (2013) (41)
Probabilistic model checking: advances and applications (2018) (41)
Statistical Guarantees for the Robustness of Bayesian Neural Networks (2019) (41)
Matrix effects on the magnetic properties of γ-Fe2O3 nanoparticles dispersed in a multiblock copolymer (2006) (41)
Efficient synthesis of robust models for stochastic systems (2018) (41)
Software verification for TinyOS (2010) (41)
Probabilistic Mobile Ambients (2009) (41)
On Probabilistic Model Checking (1996) (41)
Compositional probabilistic verification through multi-objective model checking (2013) (41)
Incremental Runtime Verification of Probabilistic Systems (2012) (40)
PRISM-games: verification and strategy synthesis for stochastic multi-player games with multiple objectives (2017) (39)
CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems (2009) (39)
Efficiency through uncertainty: scalable formal synthesis for stochastic hybrid systems (2019) (38)
Robustness Guarantees for Bayesian Inference with Gaussian Processes (2018) (38)
Ubiquitous Computing: Experience, Design and Science (2006) (38)
Challenges for Modeling and Simulation Methods in Systems Biology (2006) (37)
On software verification for sensor nodes (2011) (37)
A Metric for Traces (1990) (37)
Formal analysis and validation of continuous-time Markov chain based system level power management strategies (2002) (37)
Verifying Randomized Byzantine Agreement (2002) (37)
PRISM-Games 2.0: A Tool for Multi-objective Strategy Synthesis for Stochastic Games (2016) (36)
Specification revision for Markov decision processes with optimal trade-off (2016) (35)
Game-Based Probabilistic Predicate Abstraction in PRISM (2008) (35)
Model checking expected time and expected reward formulae with random time bounds (2006) (35)
Probabilistic Metric Semantics for a Simple Language with Recursion (1996) (35)
Synthesis and Verification of Self-aware Computing Systems (2017) (35)
Software Engineering Techniques for the Development of Systems of Systems (2008) (34)
Learning-Based Compositional Verification for Synchronous Probabilistic Systems (2011) (34)
CADS*: Computer-Aided Development of Self-* Systems (2009) (33)
A Symbolic Out-of-Core Solution Method for Markov Models (2002) (33)
Chemical reaction network designs for asynchronous logic circuits (2016) (33)
Solving Infinite Stochastic Process Algebra Models Through Matrix-Geometric Methods (1999) (33)
Time-Bounded Verification of CTMCs against Real-Time Specifications (2011) (32)
PRISM-PSY: Precise GPU-Accelerated Parameter Synthesis for Stochastic Systems (2016) (32)
Out-of-Core Solution of Large Linear Systems of Equations Arising from Stochastic Modelling (2002) (32)
On Topological Hierarchies of Temporal Properties (1997) (31)
On the Hardness of Robust Classification (2019) (31)
Model-driven Algorithms and Architectures for Self-Aware Computing Systems (Dagstuhl Seminar 15041) (2015) (31)
Concavely-Priced Probabilistic Timed Automata (2009) (31)
A swarm intelligence routing algorithm for MANETs (2004) (31)
Quantitative Verification of Implantable Cardiac Pacemakers (2012) (31)
PRISM-games 3.0: Stochastic Game Verification with Concurrency, Equilibria and Time (2020) (31)
Symbolic Computation of Maximal Probabilistic Reachability (2001) (31)
Dual-processor parallelisation of symbolic probabilistic model checking (2004) (30)
Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for L0 Norm (2018) (28)
Probabilistic Safety for Bayesian Neural Networks (2020) (28)
Programming discrete distributions with chemical reaction networks (2016) (27)
Model Checking CSL until Formulae with Random Time Bounds (2002) (27)
Syntax-Guided Optimal Synthesis for Chemical Reaction Networks (2017) (27)
Practical Applications of Probabilistic Model Checking to Communication Protocols (2012) (27)
A biologically inspired congestion control routing algorithm for MANETs (2005) (27)
Verifying Team Formation Protocols with Probabilistic Model Checking (2011) (26)
An algebraic theory of interface automata (2014) (26)
Invariant Verification of Nonlinear Hybrid Automata Networks of Cardiac Cells (2014) (26)
Symbolic Model Checking of Concurrent Probabilistic Systems Using MTBDDs and Simplex (1999) (26)
A simulink hybrid heart model for quantitative verification of cardiac pacemakers (2013) (25)
Reasoning about Cognitive Trust in Stochastic Multiagent Systems (2017) (25)
Modelling DNA origami self-assembly at the domain level. (2015) (25)
Strategy Synthesis for Stochastic Games with Multiple Long-Run Objectives (2015) (25)
The Impact of Glyphosate, Its Metabolites and Impurities on Viability, ATP Level and Morphological changes in Human Peripheral Blood Mononuclear Cells (2016) (24)
Parallel Model Checking for Temporal Epistemic Logic (2010) (24)
Compositional assume-guarantee reasoning for input/output component theories (2014) (24)
Duality and the Completeness of the Modal mu-Calculus (1995) (24)
Designing Robust Software Systems through Parametric Markov Chain Synthesis (2017) (24)
Verification of Real‐Time Probabilistic Systems (2010) (23)
Compositional Controller Synthesis for Stochastic Games (2014) (23)
Science for Global Ubiquitous Computing (2004) (23)
Probabilistic Model Checking for Biology (2014) (22)
Probabilistic Model Checking of Labelled Markov Processes via Finite Approximate Bisimulations (2014) (22)
Biological pathways as communicating computer systems (2009) (22)
Modelling and verification of probabilistic systems (2005) (22)
On Guaranteed Optimal Robust Explanations for NLP Models (2021) (21)
Resource-Performance Tradeoff Analysis for Mobile Robots (2016) (21)
A Framework for Verification of Software with Time and Probabilities (2010) (21)
On topological characterization of behavioural properties (1991) (21)
Formal and Efficient Synthesis for Continuous-Time Linear Stochastic Hybrid Processes (2020) (21)
Reo2MC: a tool chain for performance analysis of coordination models (2009) (20)
Adaptive Aggregation of Markov Chains: Quantitative Analysis of Chemical Reaction Networks (2015) (20)
Bayesian Inference with Certifiable Adversarial Robustness (2021) (19)
Social Trust: A Major Challenge for the Future of Autonomous Systems (2016) (19)
Automated Verification of Concurrent Stochastic Games (2018) (19)
A Stochastic Hybrid Approximation for Chemical Kinetics Based on the Linear Noise Approximation (2016) (19)
Assume-Guarantee Reasoning for Safe Component Behaviours (2012) (19)
Playing Stochastic Games Precisely (2012) (19)
When Your Fitness Tracker Betrays You: Quantifying the Predictability of Biometric Features Across Contexts (2018) (18)
Equilibria-based Probabilistic Model Checking for Concurrent Stochastic Games (2018) (18)
Verifying Randomized Distributed Algorithms with PRISM (2000) (18)
Adversarial Robustness Guarantees for Classification with Gaussian Processes (2019) (18)
Robustness Guarantees for Deep Neural Networks on Videos (2019) (18)
Probabilistic Strategy Logic (2019) (17)
On the Domain of Traces and Sequential Composition (1991) (17)
On process-algebraic verification of asynchronous circuits (2006) (17)
A refinement-based process algebra for timed automata (2005) (17)
PID Control of Biochemical Reaction Networks (2019) (16)
Compositional strategy synthesis for stochastic games with multiple objectives (2017) (16)
Safety Verification for Deep Neural Networks with Provable Guarantees (Invited Paper) (2019) (16)
Magnetic properties of gamma-Fe2O3/poly(ether-ester) nanocomposites. (2008) (16)
Formal Modelling and Validation of Rate-Adaptive Pacemakers (2014) (16)
Formal methods for the development and verification of autonomic IT systems (2011) (16)
Evaluating reliability of defect tolerant architecture for nanotechnology using probabilistic model (2004) (15)
Synthesising Robust and Optimal Parameters for Cardiac Pacemakers Using Symbolic and Evolutionary Computation Techniques (2015) (15)
Molecular Filters for Noise Reduction (2018) (15)
Expected Reachability-Time Games (2010) (15)
Current state and future directions of technology-based ecological momentary assessments and interventions for major depressive disorder: protocol for a systematic review (2018) (15)
An Efficient BDD-Based Implementation of Gauss-Seidel for CTMC Analysis (2003) (14)
Calibrating the Classifier: Siamese Neural Network Architecture for End-to-End Arousal Recognition from ECG (2018) (14)
Strategic Analysis of Trust Models for User-Centric Networks (2013) (14)
Event fairness and non-interleaving concurrency (1989) (14)
Revisiting Timed Specification Theories: A Linear-Time Perspective (2012) (14)
Estimation and Verification of Hybrid Heart Models for Personalised Medical and Wearable Devices (2015) (14)
On Quantitative Modelling and Verification of DNA Walker Circuits Using Stochastic Petri Nets (2015) (14)
Gaze-based Intention Anticipation over Driving Manoeuvres in Semi-Autonomous Vehicles (2019) (14)
Symbolic Model Checking of Probabilistic Timed Automata Using Backwards Reachability (2000) (14)
Dependability Analysis and Verification for Connected Systems (2010) (13)
Approximation of Probabilistic Reachability for Chemical Reaction Networks Using the Linear Noise Approximation (2016) (13)
Combining Intra- and Inter-cellular Dynamics to Investigate Intestinal Homeostasis (2008) (13)
Automated Recognition of Sleep Arousal Using Multimodal and Personalized Deep Ensembles of Neural Networks (2018) (13)
Partial Order Reduction for Model Checking Markov Decision Processes under Unconditional Fairness (2011) (13)
Automatic verification of concurrent stochastic systems (2020) (13)
Automatic energy-aware performance analysis of Mobile Ad-Hoc Networks (2012) (12)
Stochastic analysis of Chemical Reaction Networks using Linear Noise Approximation. (2016) (12)
Quantitative Verification Techniques for Biological Processes (2009) (12)
On Reduction Criteria for Probabilistic Reward Models (2006) (12)
A Fully Abstract Metric-Space Denotational Semantics for Reactive Probabilistic Processes (1997) (12)
Trade-Offs in True Concurrency: Pomsets and Mazurkiewicz Traces (1991) (12)
Reachability Computation for Switching Diffusions: Finite Abstractions with Certifiable and Tuneable Precision (2017) (12)
Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions (2014) (12)
Compositional State Space Reduction Using Untangled Actions (2007) (11)
Towards a Unifying CSP approach to Hierarchical Verification of Asynchronous Hardware (2005) (11)
Computing Cumulative Rewards Using Fast Adaptive Uniformisation (2013) (11)
Model Checking and Strategy Synthesis for Stochastic Games: From Theory to Practice (2016) (11)
Infinite Behaviour and Fairness in Concurrent Constraint Programming (1992) (11)
Computing Cumulative Rewards Using Fast Adaptive Uniformization (2015) (11)
Computing Probability Bounds for Linear Time Formulas over Concurrent Probabilistic Systems (1998) (11)
Comparing CTL and PCTL on labeled Markov chains (1998) (11)
A self-organised emergent routing mechanism for mobile ad hoc networks (2005) (10)
A Mass Action Model of a Fibroblast Growth Factor Signaling Pathway and Its Simplification (2008) (10)
Evaluation of apoptotic potential of glyphosate metabolites and impurities in human peripheral blood mononuclear cells (in vitro study). (2019) (10)
Robustness Quantification for Classification with Gaussian Processes (2019) (10)
Re-interpreting the Modal -calculus (1995) (10)
Verification and Control of Turn-Based Probabilistic Real-Time Games (2019) (10)
Towards a Connector Algebra (2010) (10)
A wavefront parallelisation of CTMC solution using MTBDDs (2005) (10)
Defining Process Fairness for Non-Interleaving Concurrency (1990) (10)
Advances in Quantitative Verification for Ubiquitous Computing (2013) (10)
Safety Guarantees for Planning Based on Iterative Gaussian Processes (2019) (10)
Assessing Robustness of Text Classification through Maximal Safe Radius Computation (2020) (9)
RODES: A Robust-Design Synthesis Tool for Probabilistic Systems (2017) (9)
Probabilistic Model Checking and Power-Aware Computing (2005) (9)
Bug-Free Sensors: The Automatic Verification of Context-Aware TinyOS Applications (2009) (9)
Automatic verification of liveness properties of randomized systems (1997) (9)
Establishing a Framework for Dynamic Risk Management in 'Intelligent' Aero-Engine Control (2009) (9)
Analysing Performance of Lift Systems in PEPA (1996) (9)
Hardware-in-the-loop simulation and energy optimization of cardiac pacemakers (2015) (9)
An MTBDD-Based Implementation of Forward Reachability for Probabilistic Timed Automata (2005) (9)
Semantics for Concurrency (1990) (8)
Synthesising optimal timing delays for Timed I/O Automata (2014) (8)
Evaluation of the effect of 2,4-dichlorophenol on oxidative parameters and viability of human blood mononuclear cells (in vitro) (2016) (8)
Central Limit Model Checking (2018) (8)
Uniform Sampling for Timed Automata with Application to Language Inclusion Measurement (2016) (8)
Polypyrrole microcapsules loaded with gold nanoparticles: Perspectives for biomedical imaging (2019) (8)
Design of Approaches for Dependability and Initial Prototypes (2011) (8)
Verifying Quantitative Properties of Continuous Probabilistic Real-Time Graphs (2000) (8)
Multi-player Equilibria Verification for Concurrent Stochastic Games (2020) (8)
Symbolic optimal expected time reachability computation and controller synthesis for probabilistic timed automata (2017) (8)
Verification of linear duration properties over continuous-time markov chains (2013) (8)
From software verification to ‘everyware’ verification (2013) (7)
Probabilistic Model Checking and Autonomy (2021) (7)
On Incremental Quantitative Verification for Probabilistic Systems (2011) (7)
Verifying Soft Deadlines with Probabilistic Timed Automata (2000) (7)
Finite But Unbounded Delay In Synchronous CCS (1996) (7)
Metric Denotational Semantics for PEPA (2002) (7)
Experimental Biological Protocols with Formal Semantics (2017) (7)
Impact of chlorfenvinphos, an organophosphate insecticide on human blood mononuclear cells (in vitro) (2012) (7)
PCTL model checking of symbolic probabilistic systems (2003) (7)
Conceptual Models for Assessment & Assurance of Dependability, Security and Privacy in the Eternal CONNECTed World (2010) (6)
Cognitive Reasoning and Trust in Human-Robot Interactions (2017) (6)
Static Program Analysis for Identifying Energy Bugs in Graphics-Intensive Mobile Apps (2016) (6)
Building Power Consumption Models from Executable Timed I/O Automata Specifications (2016) (6)
Clinical characteristics of odontogenic sinusitis with periapical lesions. (2021) (6)
Optimizing ZigBee Security using Stochastic Model Checking (2012) (6)
WSRF-Based Modeling of Clinical Trial Information for Collaborative Cancer Research (2008) (6)
Advances and challenges of quantitative verification and synthesis for cyber-physical systems (2016) (6)
The King is Naked: on the Notion of Robustness for Natural Language Processing (2021) (6)
Optimizing key updates in sensor networks (2011) (6)
Closed-Loop Quantitative Verification of Rate-Adaptive Pacemakers (2018) (6)
Computing Probability Lower and Upper Bounds for LTL Formulae over Sequential and Concurrent Markov Chains (1999) (5)
Local abstraction refinement for probabilistic timed programs (2014) (5)
On Quantitative Software Quality Assurance Methodologies for Cardiac Pacemakers (2014) (5)
Opportunities and Challenges in Process-algebraic Verification of Asynchronous Circuit Designs (2005) (5)
A Hierarchy of Partial Order Temporal Properties (1994) (5)
Symbolic Minimum Expected Time Controller Synthesis for Probabilistic Timed Automata (2015) (5)
The Semantics of Fair Recursion with Divergence (1996) (5)
Approximate Policy Iteration for Markov Decision Processes via Quantitative Adaptive Aggregations (2016) (5)
CSP + Clocks : a Process Algebra for Timed Automata ? (2003) (5)
PID Control of Biochemical Reaction Networks (2021) (5)
Learning Dynamics and Generalization in Reinforcement Learning (2022) (4)
Model Checking Probabilistic Knowledge: A PSPACE Case (2016) (4)
Synthesizing Pareto Optimal Decision for Autonomic Clouds Using Stochastic Games Model Checking (2017) (4)
Challenges in automated verification and synthesis for molecular programming (2014) (4)
Synchronisation Trees and Fairness: A Case Study (1994) (4)
FMR study of gamma-Fe2O3 magnetic nanoparticles in a multiblock poly(ether-ester) copolymer matrix (2005) (4)
40th International Colloquium on Automata, Languages and Programming (2015) (4)
Rational verification: game-theoretic verification of multi-agent systems (2021) (4)
Symbolic Verification and Strategy Synthesis for Linearly-Priced Probabilistic Timed Automata (2017) (4)
A process algebraic framework for estimating the energy consumption in ad-hoc wireless sensor networks (2013) (4)
Tractable Uncertainty for Structure Learning (2022) (3)
Resource-Performance Trade-off Analysis for Mobile Robot Design (2016) (3)
Design and Analysis of DNA Circuits using Probabilistic Model Checking (3)
On Duality for the Modal µ-Calculus (1993) (3)
Simulation-Based Verification of Cardiac Pacemakers With Guaranteed Coverage (2015) (3)
Adversarial Robustness Guarantees for Gaussian Processes (2021) (3)
Evaluation of Sustained Stochastic Oscillations by Means of a System of Differential Equations (2012) (3)
Provable Guarantees on the Robustness of Decision Rules to Causal Interventions (2021) (3)
Certification of Iterative Predictions in Bayesian Neural Networks (2021) (3)
A Systematic Approach to Evaluate Sustained Stochastic Oscillations (2011) (3)
Modal Specifications for Probabilistic Timed Systems (2013) (3)
Finalised dependability framework and evaluation results (2012) (2)
Adaptive formal approximations of Markov chains (2021) (2)
Quantitative Games on Probabilistic Timed Automata (2010) (2)
On Quantitative Software Verification (2009) (2)
Gaussian Processes with Physiologically-Inspired Priors for Physical Arousal Recognition (2020) (2)
Correlated Equilibria and Fairness in Concurrent Stochastic Games (2022) (2)
An EÆcient Symbolic Out-of-Core Solution Method for Markov Models ? (2003) (2)
Organic polymer particles for biomedical applications (2019) (2)
Automati Veri ation of theIEEE-1394 Root Contention Proto olwith KRONOS and PRISM ? (2002) (2)
Temperature dependence of the FMR spectra of Fe3O4 and Fe3C nanoparticle magnetic systems in copolymer matrices (2005) (2)
Concurrency and Conflict in CSP (1993) (2)
From computers to ubiquitous computing, by 2020. Introduction. (2008) (2)
Preface to the special issue on Probabilistic Model Checking (2013) (2)
Finite-horizon Equilibria for Neuro-symbolic Concurrent Stochastic Games (2022) (2)
Automated Veri ation of a RandomizedDistributed Consensus Proto ol Using Caden eSMV and PRISM ? (2001) (2)
Metamodel-driven SOA for collaborative e-science application (2011) (2)
Strategy Synthesis for Zero-sum Neuro-symbolic Concurrent Stochastic Games (2022) (2)
Physiologically-Informed Gaussian Processes for Interpretable Modelling of Psycho-Physiological States. (2022) (2)
Automatic verification of competitive stochastic systems (2013) (2)
Safety and Robustness for Deep Learning with Provable Guarantees (2019) (2)
Possible and Guaranteed Concurrency in CSP (1995) (2)
Verification of linear duration properties over continuous-time markov chains (2012) (2)
Comparative study of the effect of chloro-, dichloro-, bromo-, and dibromoacetic acid on necrotic, apoptotic and morphological changes in human peripheral blood mononuclear cells (in vitro study). (2015) (2)
An algebraic theory of componentised interaction (2013) (2)
Safety Guarantees for Iterative Predictions with Gaussian Processes (2020) (2)
Grid-enabled Probabilistic Model Checking with PRISM (2005) (2)
Towards Communication-Based Steering of Complex Distributed Systems (2012) (1)
Precise parameter synthesis for stochastic biochemical systems (2016) (1)
Learning Dynamics and Generalization in Deep Reinforcement Learning (2022) (1)
Chemical reaction network designs for asynchronous logic circuits (2017) (1)
A Biologically Inspired Energy-Aware Routing Algorithm for Communications in Cyberworlds (2008) (1)
The Rate-Adaptive Pacemaker: Developing Simulations and Applying Patient ECG Data (2013) (1)
Incremental Runtime Verification of Probabilistic Systems ( Extended Version ) (2012) (1)
Symbolic Causal Inference via Operations on Probabilistic Circuits (2022) (1)
Automated Verification of Quantitative Properties of Cardiac Pacemaker Software (2014) (1)
Probabilistic Model Checking for Strategic Equilibria-based Decision Making: Advances and Challenges (2022) (1)
A Specification Theory of Real-Time Processes (2017) (1)
Programming discrete distributions with chemical reaction networks (2017) (1)
DNA damage and methylation induced by glyphosate in peripheral blood mononuclear cells ( in vitro study ) (2017) (1)
Backdoor Attacks on Network Certification via Data Poisoning (2021) (1)
Discrete-time Markov chains (2004) (1)
Revisiting Timed Specification Theory II : Realisability (2013) (1)
Staff Working Paper No. 947 Software validation and artificial intelligence in finance – a primer (2021) (1)
Towards establishing a self-management architecture for dynamic risk management in ‘intelligent’ Aero-Engine control (2009) (1)
Compositional Algebra of CONNECTors (2011) (1)
Correct-by-Construction Advanced Driver Assistance Systems Based on a Cognitive Architecture (2019) (1)
On learning assumptions for compositional verification of probabilistic systems (2014) (1)
Capturing functional and non-functional connector (2010) (1)
PERMISSIVE CONTROLLER SYNTHESIS FOR PROBABILISTIC SYSTEMS Klaus Dräger (2014) (1)
Sample Complexity Bounds for Robustly Learning Decision Lists against Evasion Attacks (2022) (1)
Global Adversarial Robustness Guarantees for Neural Networks (2019) (1)
On the Hardness of Robust Classification (Extended Version)∗ (2021) (1)
Semantics for concurrency : proceedings of the International BCS-FACS Workshop : sponsored by Logic for IT (S.E.R.C.), 23-25 July 1990, University of Leicester, UK (1990) (0)
2011 CAV award announcement (2012) (0)
Automated Veri ation of a Randomized Byzantine AgreementProto ol (2002) (0)
R OBUSTNESS OF U NSUPERVISED R EPRESENTATION L EARNING WITHOUT L ABELS (2022) (0)
From software verification to ‘everyware’ verification (2013) (0)
Approximate and Probabilistic Computing: Design, Coding, Verification (Dagstuhl Seminar 15491) (2015) (0)
Uncertify: Attacks Against Neural Network Certification (2022) (0)
2011 CAV award announcement (2012) (0)
2014 CAV award announcement (2016) (0)
Robustness of Unsupervised Representation Learning without Labels (2022) (0)
Probabilisti Model Che king of Deadline Properties in theIEEE 1394 FireWire Root Contention Proto ol ? (2007) (0)
University of Birmingham Automated Verification of Concurrent Stochastic Games (2018) (0)
Concurrency, Fairness and Logical Complexity (1994) (0)
Stochastic Modelling of the Interface between RegulatoryEnzymes and Transcription Initiation at Inducible Genes (2014) (0)
Robustness Guarantees for Bayesian Neural Networks (2022) (0)
PRISM-games: verification and strategy synthesis for stochastic multi-player games with multiple objectives (2017) (0)
Theory in Dependable Ubiquitous Computing Achievements and Challenges (2003) (0)
On the Hardness of Robust Classi cation (2019) (0)
Model Checking of Probabilistic Systems against Temporal Logic Speciications (1999) (0)
Probabilistic symbolicmodel checkingwithPRISM : a hybrid approach (0)
Cytotoxicity and Genotoxicity of Glyphosate and Its Two Impurities in Human Peripheral Blood Mononuclear Cells (2015) (0)
30th International Conference on Concurrency Theory, CONCUR 2019, August 27-30, 2019, Amsterdam, the Netherlands (2019) (0)
Markov decision processes (2004) (0)
Symbolic Verification and Strategy Synthesis for Turn-based Stochastic Games (2022) (0)
SPECIAL S ECTION O N T OOLS A ND A LGORITHMS F OR THE C ONSTRUCTION A ND A NALYSIS O F S YSTEMS (2006) (0)
Compositional Probabilistic and Causal Inference using Tractable Circuit Models (2023) (0)
Explorer Multi-Objective Model Checking of Markov Decision Processes (2007) (0)
Åóð Òò Ëä Íòøøð Óöñùððð Ûûøø Êêòòóñ Ììññ Óùòò× (2007) (0)
Guest Editors' Introduction to the Special Issue on Quantitative Evaluation of Computer Systems (2009) (0)
on quantitative verification for ubiquitous computing (2012) (0)
Automated quantitative software verification (2010) (0)
Èöóóóóóðð×øø Åóð Òò Óó Øøø Áááá ¼¾º½½ Ïïööðð×× Äó Blockin Blockinð Ööö Aeaeøûóöö Èöóøó Blockinóð (2007) (0)
Session details: Stochastic hybrid systems (2013) (0)
Preface (2015) (0)
PCTL model he king of symboli probabilisti systems (2003) (0)
Probabilistic Methods in Verification (Dagstuhl Seminar 00181) (2021) (0)
The EATCS Award 2021 - Call for Nominations (2020) (0)
Rephrasing interoperability in terms of connector behaviours (2012) (0)
Measure theory and probability (2004) (0)
Preface (1998) (0)
Towards Safer and More Reliable Sensor-enabled Devices (2012) (0)
A hierarchy of partial order properties (1994) (0)
Quantitative and Qualitative Analysis of Network Protocols Dagstuhl Seminar (2010) (0)
Preface: Volume 22 (1999) (0)
Project Final Report Use and Dissemination of Foreground (2012) (0)
Design and Manufacture of Polymeric Scaffolds (2014) (0)
The Presburger Award for Young Scientists 2017 - Call for Nominations (2016) (0)
10051 Executive Summary - Quantitative and Qualitative Analysis of Network Protocols (2010) (0)
10051 Abstracts Collection - Quantitative and Qualitative Analysis of Network Protocols (2010) (0)
Continuous-Time Markov Chains (2004) (0)
Metamodel-Based Generation of WSRF-Compliant SOA for Collaborative Cancer Research (2008) (0)
Proceedings of the 40th international conference on Automata, Languages, and Programming - Volume Part II (2013) (0)
Technical Report CSR-03-2: PCTL Model Checking of Symbolic Probabilistic Systems (2003) (0)
The EATCS Award 2020 - Call for Nominations (2019) (0)
Ëýñóðð Åóð Òò Óö Èöóóóóóðð×øø Ììñññ Ùøóññøø (2000) (0)
Contents and abstracts of the electronic notes in Theoretical Computer Science Vol. 13 (2000) (0)
D RA FT Quantitative Verification Techniques for Biological Processes (2010) (0)
Ëýñóðð Óñôùøøøøóò Óó Ååòòññð Èöóóóóóðð×øø Êêê Blockinððøý (2007) (0)
DR AF T Probabilistic Model Checking : Advances and Applications (2017) (0)
Iterative solution methods (2004) (0)
A Language for Modeling and Optimizing Experimental Biological Protocols (2021) (0)
Metric Denotational Semantics for PEPAMarta Kwiatkowska and (1996) (0)
Probabilistic Methods in Verification and Planning (Dagstuhl Seminar 03201) (2021) (0)
Probabilistic timed automata (2004) (0)
Project Final Report Final Publishable Summary Report (2012) (0)
Safety and robustness for deep learning with provable guarantees (2020) (0)
University of Birmingham Permissive Controller Synthesis for Probabilistic Systems (2015) (0)
×øøö Òò Ëýñóðð Ìåå Åóð Òò (2007) (0)
Symbolic Computation of Minimal Probabilistic Reachability (2003) (0)
The EATCS Award 2021 - Laudatio for Toniann (Toni) Pitassi (2021) (0)
A Biologically Inspired Routing Algorithm for Mobile Ad Networks (2005) (0)
152 15491 – Approximate and Probabilistic Computing : Design , Coding , Verification 1 Executive Summary (2016) (0)
Erratum to "Efficient synthesis of robust models for stochastic systems" [The Journal of Systems & Software 143 (2018) 140-158] (2018) (0)
Parameter synthesis for probabilistic real-time systems (Invited Paper) (2015) (0)
Ååøöö Òóøøøóòòð Ëëññòøø Blockin× Óö Èèè ½ Ååöøø Ãûûûøøóû×× Òò Øøøò Aeóöññò (0)
Analytical differential equations (2004) (0)
Èööóöññò Òòðý××× Óó Èöóóóóóðð×øø Ììñññ Ùøóññøø Ù××òò Øøð Ðó Blockin× (2003) (0)
Concurrency and Connict in Csp (1993) (0)
Consolidated dependability framework (2012) (0)
Probabilistic verification of Herman’s self-stabilisation algorithm (2012) (0)
QD An Algebraic Theory of Interface Automata (2013) (0)
Preface (2016) (0)
OGSA-Based SOA for Collaborative Cancer Research: System Modeling and Generation (2011) (0)
Key differential equations (2004) (0)
2014 CAV award announcement (2016) (0)
Computing Laboratory EXPECTED REACHABILITY-TIME GAMES (2010) (0)
Symboli Computation of Maximal Probabilisti Rea hability ? (2001) (0)
System Architecture for Development and Supervision of Robotic Astronomical Telescope (2022) (0)
Preface to the special issue on Probabilistic Model Checking (2013) (0)
Availability Attacks Against Neural Network Certifiers Based on Backdoors (2021) (0)
Robustness Guarantees for Credal Bayesian Networks via Constraint Relaxation over Probabilistic Circuits (2022) (0)
Synthesis and verification of self-aware systems (2016) (0)
Ëýñóðð Åóð Òò Óó Èöóóóóóðð×øø Èöó Blockin Blockin×××× Ù××òò Åìììì× Òò Øøø Ãöóòò Blockinö Êêôöö××òøøøøóò (2000) (0)
Ëýñóðð Åóð Òò Óó Óò Blockinùöööòø Èöóóóóóðð×øø Ëý×øøñ× Í××òò Åìììì× Òò Ëëñôððü (2007) (0)
Bayesian Network Models of Causal Interventions in Healthcare Decision Making: Literature Review and Software Evaluation (2022) (0)
Precise Parameter Synthesis for Stochastic Biochemical Systems ( Technical Report ) (2014) (0)
When are Local Queries Useful for Robust Learning? (2022) (0)
Continually verify self-adaptation decisions taken by critical software in response to changes in the operating environment. (2012) (0)
Sample Efficient Model-free Reinforcement Learning from LTL Specifications with Optimality Guarantees (2023) (0)

This paper list is powered by the following services:

Other Resources About Marta Kwiatkowska

en.wikipedia.org

What Schools Are Affiliated With Marta Kwiatkowska?

Marta Kwiatkowska is affiliated with the following schools: