Marta Z. Kwiatkowska

ORCID

Publication Activity (10 Years)

Years Active: 1989-2020
Publications (10 Years): 12

Top Venues

Publications

Shadi Ghiasi, Andrea Patanè, Alberto Greco, Luca Laurenti, Enzo Pasquale Scilingo, Marta Z. Kwiatkowska
Gaussian Processes with Physiologically-Inspired Priors for Physical Arousal Recognition. EMBC (2020)
Marta Z. Kwiatkowska
Safety Verification for Deep Neural Networks with Provable Guarantees (Invited Paper). CONCUR (2019)
Nicolas Basset, Marta Z. Kwiatkowska, Clemens Wiltsche
Compositional strategy synthesis for stochastic games with multiple objectives. Inf. Comput. 261 (2018)
Luca Laurenti, Alessandro Abate, Luca Bortolussi, Luca Cardelli, Milan Ceska, Marta Z. Kwiatkowska
Reachability Computation for Switching Diffusions: Finite Abstractions with Certifiable and Tuneable Precision. HSCC (2017)
Luca Cardelli, Milan Ceska, Martin Fränzle, Marta Z. Kwiatkowska, Luca Laurenti, Nicola Paoletti, Max Whitby
Syntax-Guided Optimal Synthesis for Chemical Reaction Networks. CAV (2) (2017)
Chris Chilton, Marta Z. Kwiatkowska, Faron Moller, Xu Wang
A Specification Theory of Real-Time Processes. Concurrency, Security, and Puzzles (2017)
Morteza Lahijanian, Marta Z. Kwiatkowska
Specification revision for Markov decision processes with optimal trade-off. CDC (2016)
Luca Cardelli, Marta Z. Kwiatkowska, Luca Laurenti
Programming Discrete Distributions with Chemical Reaction Networks. CoRR (2016)
Chang Hwan Peter Kim, Daniel Kroening, Marta Z. Kwiatkowska
Static Program Analysis for Identifying Energy Bugs in Graphics-Intensive Mobile Apps. MASCOTS (2016)
Vojtech Forejt, Marta Z. Kwiatkowska, Gethin Norman, Ashutosh Trivedi
Expected Reachability-Time Games. CoRR (2016)
Marta Z. Kwiatkowska
Model Checking and Strategy Synthesis for Stochastic Games: From Theory to Practice. ICALP (2016)
Milan Ceska, Petr Pilar, Nicola Paoletti, Lubos Brim, Marta Z. Kwiatkowska
PRISM-PSY: Precise GPU-Accelerated Parameter Synthesis for Stochastic Systems. TACAS (2016)
Klaus Dräger, Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Mateusz Ujma
Permissive Controller Synthesis for Probabilistic Systems. Log. Methods Comput. Sci. 11 (2) (2015)
Chris Barker, Marta Z. Kwiatkowska, Alexandru Mereacre, Nicola Paoletti, Andrea Patane
Hardware-in-the-loop simulation and energy optimization of cardiac pacemakers. EMBC (2015)
Benoît Barbot, Marta Z. Kwiatkowska, Alexandru Mereacre, Nicola Paoletti
Estimation and Verification of Hybrid Heart Models for Personalised Medical and Wearable Devices. CMSB (2015)
Frits Dannenberg, Marta Z. Kwiatkowska, Chris Thachuk, Andrew J. Turberfield
DNA walker circuits: computational potential, design, and verification. Nat. Comput. 14 (2) (2015)
Marta Z. Kwiatkowska, Alexandru Mereacre, Nicola Paoletti, Andrea Patane
Synthesising Robust and Optimal Parameters for Cardiac Pacemakers Using Symbolic and Evolutionary Computation Techniques. HSB (2015)
Luca Laurenti, Luca Cardelli, Marta Z. Kwiatkowska
Stochastic Analysis of Chemical Reaction Networks Using Linear Noise Approximation. CoRR (2015)
Alessandro Abate, Lubos Brim, Milan Ceska, Marta Z. Kwiatkowska
Adaptive Aggregation of Markov Chains: Quantitative Analysis of Chemical Reaction Networks. CAV (1) (2015)
Luca Cardelli, Marta Z. Kwiatkowska, Luca Laurenti
Stochastic Analysis of Chemical Reaction Networks Using Linear Noise Approximation. CMSB (2015)
Zhenqi Huang, Chuchu Fan, Alexandru Mereacre, Sayan Mitra, Marta Z. Kwiatkowska
Simulation-Based Verification of Cardiac Pacemakers With Guaranteed Coverage. IEEE Des. Test 32 (5) (2015)
Benoît Barbot, Marta Z. Kwiatkowska
On Quantitative Modelling and Verification of DNA Walker Circuits Using Stochastic Petri Nets. Petri Nets (2015)
Fedor V. Fomin, Marta Z. Kwiatkowska, David Peleg
40th international colloquium on automata, languages and programming. Inf. Comput. 243 (2015)
Aleksandra Jovanovic, Marta Z. Kwiatkowska, Gethin Norman
Symbolic Minimum Expected Time Controller Synthesis for Probabilistic Timed Automata. FORMATS (2015)
Nicolas Basset, Marta Z. Kwiatkowska, Ufuk Topcu, Clemens Wiltsche
Strategy Synthesis for Stochastic Games with Multiple Long-Run Objectives. TACAS (2015)
Frits Dannenberg, Ernst Moritz Hahn, Marta Z. Kwiatkowska
Computing Cumulative Rewards Using Fast Adaptive Uniformization. ACM Trans. Model. Comput. Simul. 25 (2) (2015)
Aleksandra Jovanovic, Marta Z. Kwiatkowska
Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions. RP (2014)
Chris Chilton, Bengt Jonsson, Marta Z. Kwiatkowska
Compositional assume-guarantee reasoning for input/output component theories. Sci. Comput. Program. 91 (2014)
Klaus Dräger, Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Mateusz Ujma
Permissive Controller Synthesis for Probabilistic Systems. TACAS (2014)
Milan Ceska, Frits Dannenberg, Marta Z. Kwiatkowska, Nicola Paoletti
Precise Parameter Synthesis for Stochastic Biochemical Systems. CMSB (2014)
Alessandro Abate, Marta Z. Kwiatkowska, Gethin Norman, David Parker
Probabilistic Model Checking of Labelled Markov Processes via Finite Approximate Bisimulations. Horizons of the Mind (2014)
Marco Diciolla, Chang Hwan Peter Kim, Marta Z. Kwiatkowska, Alexandru Mereacre
Synthesising optimal timing delays for Timed I/O Automata. EMSOFT (2014)
Chris Chilton, Bengt Jonsson, Marta Z. Kwiatkowska
An algebraic theory of interface automata. Theor. Comput. Sci. 549 (2014)
Tomás Brázdil, Krishnendu Chatterjee, Martin Chmelik, Vojtech Forejt, Jan Kretínský, Marta Z. Kwiatkowska, David Parker, Mateusz Ujma
Verification of Markov Decision Processes Using Learning Algorithms. ATVA (2014)
Marta Z. Kwiatkowska, Harriet Lea-Banks, Alexandru Mereacre, Nicola Paoletti
Formal Modelling and Validation of Rate-Adaptive Pacemakers. ICHI (2014)
Tomás Brázdil, Krishnendu Chatterjee, Martin Chmelik, Vojtech Forejt, Jan Kretínský, Marta Z. Kwiatkowska, David Parker, Mateusz Ujma
Verification of Markov Decision Processes using Learning Algorithms. CoRR (2014)
Taolue Chen, Marco Diciolla, Marta Z. Kwiatkowska, Alexandru Mereacre
Quantitative verification of implantable cardiac pacemakers over hybrid heart models. Inf. Comput. 236 (2014)
Klaus Dräger, Marta Z. Kwiatkowska, David Parker, Hongyang Qu
Local abstraction refinement for probabilistic timed programs. Theor. Comput. Sci. 538 (2014)
Zhenqi Huang, Chuchu Fan, Alexandru Mereacre, Sayan Mitra, Marta Z. Kwiatkowska
Invariant Verification of Nonlinear Hybrid Automata Networks of Cardiac Cells. CAV (2014)
Marta Z. Kwiatkowska, Alexandru Mereacre
Automated Verification of Quantitative Properties of Cardiac Pacemaker Software. MCPS (2014)
Marta Z. Kwiatkowska, Alexandru Mereacre, Nicola Paoletti
On Quantitative Software Quality Assurance Methodologies for Cardiac Pacemakers. ISoLA (2) (2014)
Nicolas Basset, Marta Z. Kwiatkowska, Clemens Wiltsche
Compositional Controller Synthesis for Stochastic Games. CONCUR (2014)
Taolue Chen, Marta Z. Kwiatkowska, Aistis Simaitis, Clemens Wiltsche
Synthesis for Multi-objective Stochastic Games: An Application to Autonomous Urban Driving. QEST (2013)
Tingting Han, Christian Krause, Marta Z. Kwiatkowska, Holger Giese
Modal Specifications for Probabilistic Timed Systems. QAPL (2013)
Taolue Chen, Tingting Han, Marta Z. Kwiatkowska
On the complexity of model checking interval-valued discrete time Markov chains. Inf. Process. Lett. 113 (7) (2013)
Marta Z. Kwiatkowska
Advances in Quantitative Verification for Ubiquitous Computing. ICTAC (2013)
Frits Dannenberg, Ernst Moritz Hahn, Marta Z. Kwiatkowska
Computing Cumulative Rewards Using Fast Adaptive Uniformisation. CMSB (2013)
Marta Z. Kwiatkowska, Gethin Norman, David Parker, Hongyang Qu
Compositional probabilistic verification through multi-objective model checking. Inf. Comput. 232 (2013)
Marta Z. Kwiatkowska, David Parker, Aistis Simaitis
Strategic Analysis of Trust Models for User-Centric Networks SR (2013)
Lucia Gallina, Andrea Marin, Sabina Rossi, Tingting Han, Marta Z. Kwiatkowska
A process algebraic framework for estimating the energy consumption in ad-hoc wireless sensor networks. MSWiM (2013)
Chris Chilton, Marta Z. Kwiatkowska, Xu Wang
Revisiting Timed Specification Theory II : Realisability CoRR (2013)
Taolue Chen, Marco Diciolla, Marta Z. Kwiatkowska, Alexandru Mereacre
Verification of linear duration properties over continuous-time markov chains. ACM Trans. Comput. Log. 14 (4) (2013)
Taolue Chen, Marco Diciolla, Marta Z. Kwiatkowska, Alexandru Mereacre
A simulink hybrid heart model for quantitative verification of cardiac pacemakers. HSCC (2013)
Taolue Chen, Vojtech Forejt, Marta Z. Kwiatkowska, Aistis Simaitis, Clemens Wiltsche
On Stochastic Games with Multiple Objectives. MFCS (2013)
Taolue Chen, Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Aistis Simaitis
PRISM-games: A Model Checker for Stochastic Multi-Player Games. TACAS (2013)
Taolue Chen, Ernst Moritz Hahn, Tingting Han, Marta Z. Kwiatkowska, Hongyang Qu, Lijun Zhang
Model Repair for Markov Decision Processes. TASE (2013)
Frits Dannenberg, Marta Z. Kwiatkowska, Chris Thachuk, Andrew J. Turberfield
DNA Walker Circuits: Computational Potential, Design, and Verification. DNA (2013)
Marta Z. Kwiatkowska
From software verification to 'everyware' verification. Comput. Sci. Res. Dev. 28 (4) (2013)
Christel Baier, Marta Z. Kwiatkowska
Preface to the special issue on Probabilistic Model Checking. Formal Methods Syst. Des. 43 (2) (2013)
Taolue Chen, Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Aistis Simaitis
Automatic verification of competitive stochastic systems. Formal Methods Syst. Des. 43 (1) (2013)
Marta Z. Kwiatkowska, David Parker
Automated Verification and Strategy Synthesis for Probabilistic Systems. ATVA (2013)
Chris Chilton, Bengt Jonsson, Marta Z. Kwiatkowska
Assume-Guarantee Reasoning for Safe Component Behaviours. FACS (2012)
Marta Z. Kwiatkowska, Gethin Norman, David Parker
Probabilistic verification of Herman's self-stabilisation algorithm. Formal Aspects Comput. 24 (4-6) (2012)
Vojtech Forejt, Marta Z. Kwiatkowska, David Parker
Pareto Curves for Probabilistic Model Checking CoRR (2012)
Chris Chilton, Marta Z. Kwiatkowska, Xu Wang
Revisiting Timed Specification Theories: A Linear-Time Perspective CoRR (2012)
Taolue Chen, Marco Diciolla, Marta Z. Kwiatkowska, Alexandru Mereacre
Verification of linear duration properties over continuous-time markov chains. HSCC (2012)
Chris Chilton, Marta Z. Kwiatkowska, Xu Wang
Revisiting Timed Specification Theories: A Linear-Time Perspective. FORMATS (2012)
Taolue Chen, Chris Chilton, Bengt Jonsson, Marta Z. Kwiatkowska
A Compositional Specification Theory for Component Behaviours. ESOP (2012)
Jorge Júlvez, Marta Z. Kwiatkowska, Gethin Norman, David Parker
Evaluation of Sustained Stochastic Oscillations by Means of a System of Differential Equations. Int. J. Comput. Their Appl. 19 (2) (2012)
Taolue Chen, Vojtech Forejt, Marta Z. Kwiatkowska, Aistis Simaitis, Ashutosh Trivedi, Michael Ummels
Playing Stochastic Games Precisely. CONCUR (2012)
Marta Z. Kwiatkowska, Gethin Norman, David Parker
The PRISM Benchmark Suite. QEST (2012)
Ian Sommerville, Dave Cliff, Radu Calinescu, Justin Keen, Tim Kelly, Marta Z. Kwiatkowska, John Alexander McDermid, Richard F. Paige
Large-scale complex IT systems. Commun. ACM 55 (7) (2012)
Ender Yüksel, Hanne Riis Nielson, Flemming Nielson, Matthias Fruth, Marta Z. Kwiatkowska
Optimizing ZigBee Security using Stochastic Model Checking CoRR (2012)
Taolue Chen, Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Aistis Simaitis
Automatic Verification of Competitive Stochastic Systems. TACAS (2012)
Moshe Y. Vardi, Thomas A. Henzinger, Rajeev Alur, Marta Z. Kwiatkowska
2011 CAV award announcement. Formal Methods Syst. Des. 41 (1) (2012)
Radu Calinescu, Carlo Ghezzi, Marta Z. Kwiatkowska, Raffaela Mirandola
Self-adaptive software needs quantitative verification at runtime. Commun. ACM 55 (9) (2012)
Vojtech Forejt, Marta Z. Kwiatkowska, David Parker
Pareto Curves for Probabilistic Model Checking. ATVA (2012)
Klaus Dräger, Marta Z. Kwiatkowska
Towards Communication-Based Steering of Complex Distributed Systems. Monterey Workshop (2012)
Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Hongyang Qu, Mateusz Ujma
Incremental Runtime Verification of Probabilistic Systems. RV (2012)
Lucia Gallina, Tingting Han, Marta Z. Kwiatkowska, Andrea Marin, Sabina Rossi, Alvise Spanò
Automatic energy-aware performance analysis of Mobile Ad-Hoc Networks. Wireless Days (2012)
Taolue Chen, Marco Diciolla, Marta Z. Kwiatkowska, Alexandru Mereacre
Quantitative Verification of Implantable Cardiac Pacemakers. RTSS (2012)
Ian Sommerville, Dave Cliff, Radu Calinescu, Justin Keen, Tim Kelly, Marta Z. Kwiatkowska, John Alexander McDermid, Richard F. Paige
Large-scale Complex IT Systems CoRR (2011)
Marta Z. Kwiatkowska, Gethin Norman, David Parker
PRISM 4.0: Verification of Probabilistic Real-Time Systems. CAV (2011)
Vojtech Forejt, Marta Z. Kwiatkowska, Gethin Norman, David Parker
Automated Verification Techniques for Probabilistic Systems. SFM (2011)
Tianyi Zang, Radu Calinescu, Marta Z. Kwiatkowska
Metamodel-driven SOA for collaborative e-science application. Comput. Syst. Sci. Eng. 26 (3) (2011)
Taolue Chen, Marta Z. Kwiatkowska, David Parker, Aistis Simaitis
Verifying Team Formation Protocols with Probabilistic Model Checking. CLIMA (2011)
Jorge Júlvez, Marta Z. Kwiatkowska, Gethin Norman, David Parker
A Systematic Approach to Evaluate Sustained Stochastic Oscillations. BICoB (2011)
Lu Feng, Tingting Han, Marta Z. Kwiatkowska, David Parker
Learning-Based Compositional Verification for Synchronous Probabilistic Systems. ATVA (2011)
Lu Feng, Marta Z. Kwiatkowska, David Parker
Automated Learning of Probabilistic Assumptions for Compositional Reasoning. FASE (2011)
Doina Bucur, Marta Z. Kwiatkowska
On software verification for sensor nodes. J. Syst. Softw. 84 (10) (2011)
Marta Z. Kwiatkowska, David Parker, Hongyang Qu
Incremental quantitative verification for Markov decision processes. DSN (2011)
Radu Calinescu, Lars Grunske, Marta Z. Kwiatkowska, Raffaela Mirandola, Giordano Tamburrelli
Dynamic QoS Management and Optimization in Service-Based Systems. IEEE Trans. Software Eng. 37 (3) (2011)
Henri Hansen, Marta Z. Kwiatkowska, Hongyang Qu
Partial Order Reduction for Model Checking Markov Decision Processes under Unconditional Fairness. QEST (2011)
Vojtech Forejt, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Hongyang Qu
Quantitative Multi-objective Verification for Probabilistic Systems. TACAS (2011)
Taolue Chen, Marco Diciolla, Marta Z. Kwiatkowska, Alexandru Mereacre
Time-Bounded Verification of CTMCs against Real-Time Specifications. FORMATS (2011)
Marta Z. Kwiatkowska, Gethin Norman, David Parker, Hongyang Qu
Assume-Guarantee Verification for Probabilistic Systems. TACAS (2010)
Zhenyu Liu, Marta Z. Kwiatkowska, Costas C. Constantinou
A biologically inspired QoS routing algorithm for mobile ad hoc networks. Int. J. Wirel. Mob. Comput. 4 (2) (2010)
Mark Kattenbelt, Marta Z. Kwiatkowska, Gethin Norman, David Parker
A game-based abstraction-refinement framework for Markov decision processes. Formal Methods Syst. Des. 36 (3) (2010)
Bengt Jonsson, Jörg Kreiker, Marta Z. Kwiatkowska
10051 Abstracts Collection - Quantitative and Qualitative Analysis of Network Protocols. Quantitative and Qualitative Analysis of Network Protocols (2010)
Doina Bucur, Marta Z. Kwiatkowska
Software verification for TinyOS. IPSN (2010)

Marta Z. Kwiatkowska.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Marta Z. Kwiatkowska