Google
Google Scholar
Semantic Scholar
MS Academic
CiteSeerX
ORCIDMarta Z. Kwiatkowska
Marta Zofia Kwiatkowska – Marta Kwiatkowska
Person information
- affiliation: University of Oxford, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2020
[j86]Min Wu, Matthew Wicker, Wenjie Ruan
, Xiaowei Huang, Marta Kwiatkowska:
A game-based approximate verification of deep neural networks with provable guarantees. Theor. Comput. Sci. 807: 298-329 (2020)- [c190]Arno Blaas, Andrea Patane, Luca Laurenti, Luca Cardelli, Marta Kwiatkowska, Stephen J. Roberts:
Adversarial Robustness Guarantees for Classification with Gaussian Processes. AISTATS 2020: 3372-3382 - [c189]Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos:
PRISM-games 3.0: Stochastic Game Verification with Concurrency, Equilibria and Time. CAV (2) 2020: 475-487 - [c188]Min Wu, Marta Kwiatkowska:
Robustness Guarantees for Deep Neural Networks on Videos. CVPR 2020: 308-317 - [c187]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: 54-57 - [c186]Matthew Wicker, Luca Laurenti, Andrea Patane, Marta Kwiatkowska:
Probabilistic Safety for Bayesian Neural Networks. UAI 2020: 490 - [i45]Amy Zhang, Clare Lyle, Shagun Sodhani, Angelos Filos, Marta Kwiatkowska, Joelle Pineau, Yarin Gal, Doina Precup:
Invariant Causal Prediction for Block MDPs. CoRR abs/2003.06016 (2020) - [i44]Matthew Wicker, Luca Laurenti, Andrea Patane, Marta Kwiatkowska:
Probabilistic Safety for Bayesian Neural Networks. CoRR abs/2004.10281 (2020) - [i43]Clare Lyle, Mark van der Wilk, Marta Kwiatkowska, Yarin Gal, Benjamin Bloem-Reddy:
On the Benefits of Invariance in Neural Networks. CoRR abs/2005.00178 (2020) - [i42]Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos:
Multi-player Equilibria Verification for Concurrent Stochastic Games. CoRR abs/2007.03365 (2020) - [i41]Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos:
Automatic Verification of Concurrent Stochastic Systems. CoRR abs/2008.04613 (2020)
2010 – 2019
- 2019
- [j85]Artur Czumaj, Marta Kwiatkowska, Éva Tardos:
The EATCS Award 2020 - Call for Nominations. Bull. EATCS 129 (2019) - [j84]Luca Bortolussi, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti:
Central Limit Model Checking. ACM Trans. Comput. Log. 20(4): 19:1-19:35 (2019) - [j83]Xiaowei Huang, Marta Kwiatkowska, Maciej Olejnik:
Reasoning about Cognitive Trust in Stochastic Multiagent Systems. ACM Trans. Comput. Log. 20(4): 21:1-21:64 (2019) - [c185]Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Andrea Patane:
Robustness Guarantees for Bayesian Inference with Gaussian Processes. AAAI 2019: 7759-7768 - [c184]Marta Kwiatkowska, Gethin Norman, David Parker:
Verification and Control of Turn-Based Probabilistic Real-Time Games. The Art of Modelling Computational Systems 2019: 379-396 - [c183]Francisco Eiras, Morteza Lahijanian, Marta Kwiatkowska:
Correct-by-Construction Advanced Driver Assistance Systems Based on a Cognitive Architecture. CAVS 2019: 1-7 - [c182]Max Whitby, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Mirco Tribastone, Max Tschaikowski:
PID Control of Biochemical Reaction Networks. CDC 2019: 8372-8379 - [c181]Marta Z. Kwiatkowska:
Safety Verification for Deep Neural Networks with Provable Guarantees (Invited Paper). CONCUR 2019: 1:1-1:5 - [c180]Matthew Wicker, Marta Kwiatkowska:
Robustness of 3D Deep Learning in an Adversarial Setting. CVPR 2019: 11767-11775 - [c179]Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos:
Equilibria-Based Probabilistic Model Checking for Concurrent Stochastic Games. FM 2019: 298-315 - [c178]Nathalie Cauchi, Luca Laurenti, Morteza Lahijanian, Alessandro Abate, Marta Kwiatkowska, Luca Cardelli:
Efficiency through uncertainty: scalable formal synthesis for stochastic hybrid systems. HSCC 2019: 240-251 - [c177]Benjamin Aminof, Marta Kwiatkowska, Bastien Maubert, Aniello Murano, Sasha Rubin:
Probabilistic Strategy Logic. IJCAI 2019: 32-38 - [c176]Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Nicola Paoletti, Andrea Patane, Matthew Wicker:
Statistical Guarantees for the Robustness of Bayesian Neural Networks. IJCAI 2019: 5693-5700 - [c175]Wenjie Ruan, Min Wu, Youcheng Sun, Xiaowei Huang, Daniel Kroening, Marta Kwiatkowska:
Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for the Hamming Distance. IJCAI 2019: 5944-5952 - [c174]Min Wu, Tyron Louw, Morteza Lahijanian, Wenjie Ruan, Xiaowei Huang, Natasha Merat, Marta Kwiatkowska:
Gaze-based Intention Anticipation over Driving Manoeuvres in Semi-Autonomous Vehicles. IROS 2019: 6210-6216 - [c173]Pascale Gourdeau, Varun Kanade, Marta Kwiatkowska, James Worrell:
On the Hardness of Robust Classification. NeurIPS 2019: 7444-7453 - [c172]Marta Kwiatkowska:
Safety and robustness for deep learning with provable guarantees (keynote). ESEC/SIGSOFT FSE 2019: 2 - [i40]Nathalie Cauchi, Luca Laurenti, Morteza Lahijanian, Alessandro Abate, Marta Kwiatkowska, Luca Cardelli:
Efficiency through Uncertainty: Scalable Formal Synthesis for Stochastic Hybrid Systems. CoRR abs/1901.01576 (2019) - [i39]Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Nicola Paoletti, Andrea Patane, Matthew Wicker:
Statistical Guarantees for the Robustness of Bayesian Neural Networks. CoRR abs/1903.01980 (2019) - [i38]Max Whitby, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Mirco Tribastone, Max Tschaikowski:
PID Control of Biochemical Reaction Networks. CoRR abs/1903.10390 (2019) - [i37]Matthew Wicker, Marta Kwiatkowska:
Robustness of 3D Deep Learning in an Adversarial Setting. CoRR abs/1904.00923 (2019) - [i36]Xiaowei Huang, Marta Kwiatkowska, Maciej Olejnik:
Reasoning about Cognitive Trust in Stochastic Multiagent Systems. CoRR abs/1905.06627 (2019) - [i35]Arno Blaas, Luca Laurenti, Andrea Patane, Luca Cardelli, Marta Kwiatkowska, Stephen J. Roberts:
Robustness Quantification for Classification with Gaussian Processes. CoRR abs/1905.11876 (2019) - [i34]Marta Kwiatkowska, Gethin Norman, David Parker:
Verification and Control of Turn-Based Probabilistic Real-Time Games. CoRR abs/1906.09142 (2019) - [i33]Min Wu, Marta Kwiatkowska:
Robustness Guarantees for Deep Neural Networks on Videos. CoRR abs/1907.00098 (2019) - [i32]Francisco Eiras, Morteza Lahijanian, Marta Kwiatkowska:
Correct-by-Construction Advanced Driver Assistance Systems based on a Cognitive Architecture. CoRR abs/1907.09603 (2019) - [i31]Pascale Gourdeau, Varun Kanade, Marta Kwiatkowska, James Worrell:
On the Hardness of Robust Classification. CoRR abs/1909.05822 (2019) - [i30]Rhiannon Michelmore, Matthew Wicker, Luca Laurenti, Luca Cardelli, Yarin Gal, Marta Kwiatkowska:
Uncertainty Quantification with Statistical Guarantees in End-to-End Autonomous Driving Control. CoRR abs/1909.09884 (2019) - [i29]Kyriakos Polymenakos, Luca Laurenti, Andrea Patane, Jan-Peter Calliess, Luca Cardelli, Marta Kwiatkowska, Alessandro Abate, Stephen J. Roberts:
Safety Guarantees for Planning Based on Iterative Gaussian Processes. CoRR abs/1912.00071 (2019) - [i28]Pascale Gourdeau, Varun Kanade, Marta Kwiatkowska, James Worrell:
On the Hardness of Robust Classification. Electron. Colloquium Comput. Complex. 26: 123 (2019) - 2018
- [j82]Nicolas Basset, Marta Z. Kwiatkowska, Clemens Wiltsche:
Compositional strategy synthesis for stochastic games with multiple objectives. Inf. Comput. 261(Part): 536-587 (2018) - [j81]Radu Calinescu, Milan Ceska, Simos Gerasimou, Marta Kwiatkowska, Nicola Paoletti:
Efficient synthesis of robust models for stochastic systems. J. Syst. Softw. 143: 140-158 (2018) - [j80]Radu Calinescu, Milan Ceska, Simos Gerasimou, Marta Kwiatkowska, Nicola Paoletti:
Erratum to "Efficient synthesis of robust models for stochastic systems" [The Journal of Systems & Software 143 (2018) 140-158]. J. Syst. Softw. 145: 195 (2018) - [j79]Luca Cardelli, Marta Kwiatkowska, Max Whitby:
Chemical reaction network designs for asynchronous logic circuits. Nat. Comput. 17(1): 109-130 (2018) - [j78]Luca Cardelli, Marta Kwiatkowska, Luca Laurenti:
Programming discrete distributions with chemical reaction networks. Nat. Comput. 17(1): 131-145 (2018) - [j77]Morteza Lahijanian, María Svorenová, Akshay A. Morye, Brian Yeomans, Dushyant Rao, Ingmar Posner, Paul Newman, Hadas Kress-Gazit, Marta Kwiatkowska:
Resource-Performance Tradeoff Analysis for Mobile Robots. IEEE Robotics Autom. Lett. 3(3): 1840-1847 (2018) - [j76]Marta Kwiatkowska, David Parker, Clemens Wiltsche:
PRISM-games: verification and strategy synthesis for stochastic multi-player games with multiple objectives. Int. J. Softw. Tools Technol. Transf. 20(2): 195-210 (2018) - [j75]Nicola Paoletti, Andrea Patanè, Marta Kwiatkowska:
Closed-Loop Quantitative Verification of Rate-Adaptive Pacemakers. ACM Trans. Cyber Phys. Syst. 2(4): 33:1-33:31 (2018) - [j74]Aleksandra Jovanovic, Marta Kwiatkowska:
Parameter synthesis for probabilistic timed automata using stochastic game abstractions. Theor. Comput. Sci. 735: 64-81 (2018) - [c171]Andrea Patane, Shadi Ghiasi, Enzo Pasquale Scilingo, Marta Kwiatkowska:
Automated Recognition of Sleep Arousal Using Multimodal and Personalized Deep Ensembles of Neural Networks. CinC 2018: 1-4 - [c170]Alessandro Abate, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Boyan Yordanov:
Experimental Biological Protocols with Formal Semantics. CMSB 2018: 165-182 - [c169]Wenjie Ruan, Xiaowei Huang, Marta Kwiatkowska:
Reachability Analysis of Deep Neural Networks with Provable Guarantees. IJCAI 2018: 2651-2659 - [c168]Youcheng Sun, Min Wu, Wenjie Ruan, Xiaowei Huang, Marta Kwiatkowska, Daniel Kroening:
Concolic testing for deep neural networks. ASE 2018: 109-119 - [c167]Andrea Patanè, Marta Kwiatkowska:
Calibrating the Classifier: Siamese Neural Network Architecture for End-to-End Arousal Recognition from ECG. LOD 2018: 1-13 - [c166]Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos:
Automated Verification of Concurrent Stochastic Games. QEST 2018: 223-239 - [c165]Simon Eberz, Giulio Lovisotto, Andrea Patane, Marta Kwiatkowska, Vincent Lenders, Ivan Martinovic:
When Your Fitness Tracker Betrays You: Quantifying the Predictability of Biometric Features Across Contexts. IEEE Symposium on Security and Privacy 2018: 889-905 - [c164]Matthew Wicker, Xiaowei Huang, Marta Kwiatkowska:
Feature-Guided Black-Box Safety Testing of Deep Neural Networks. TACAS (1) 2018: 408-426 - [p6]Christel Baier, Luca de Alfaro, Vojtech Forejt, Marta Kwiatkowska:
Model Checking Probabilistic Systems. Handbook of Model Checking 2018: 963-999 - [i27]Wenjie Ruan, Min Wu, Youcheng Sun, Xiaowei Huang, Daniel Kroening, Marta Kwiatkowska:
Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for L0 Norm. CoRR abs/1804.05805 (2018) - [i26]Luca Bortolussi, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti:
Central Limit Model Checking. CoRR abs/1804.08744 (2018) - [i25]Youcheng Sun, Min Wu, Wenjie Ruan, Xiaowei Huang, Marta Kwiatkowska, Daniel Kroening:
Concolic Testing for Deep Neural Networks. CoRR abs/1805.00089 (2018) - [i24]Wenjie Ruan, Xiaowei Huang, Marta Kwiatkowska:
Reachability Analysis of Deep Neural Networks with Provable Guarantees. CoRR abs/1805.02242 (2018) - [i23]Min Wu, Matthew Wicker, Wenjie Ruan, Xiaowei Huang, Marta Kwiatkowska:
A Game-Based Approximate Verification of Deep Neural Networks with Provable Guarantees. CoRR abs/1807.03571 (2018) - [i22]Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Andrea Patane:
Robustness Guarantees for Bayesian Inference with Gaussian Processes. CoRR abs/1809.06452 (2018) - [i21]Rhiannon Michelmore, Marta Kwiatkowska, Yarin Gal:
Evaluating Uncertainty Quantification in End-to-End Autonomous Driving Control. CoRR abs/1811.06817 (2018) - [i20]Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos:
Equilibria-based Probabilistic Model Checking for Concurrent Stochastic Games. CoRR abs/1811.07145 (2018) - 2017
- [j73]Milan Ceska, Frits Dannenberg, Nicola Paoletti, Marta Kwiatkowska, Lubos Brim:
Precise parameter synthesis for stochastic biochemical systems. Acta Informatica 54(6): 589-623 (2017) - [j72]Aleksandra Jovanovic, Marta Kwiatkowska, Gethin Norman, Quentin Peyras:
Symbolic optimal expected time reachability computation and controller synthesis for probabilistic timed automata. Theor. Comput. Sci. 669: 1-21 (2017) - [c163]Xiaowei Huang, Marta Zofia Kwiatkowska:
Reasoning about Cognitive Trust in Stochastic Multiagent Systems. AAAI 2017: 3768-3774 - [c162]Azlan Ismail, Marta Kwiatkowska:
Synthesizing Pareto Optimal Decision for Autonomic Clouds Using Stochastic Games Model Checking. APSEC 2017: 436-445 - [c161]Chris Chilton, Marta Z. Kwiatkowska, Faron Moller, Xu Wang:
A Specification Theory of Real-Time Processes. Concurrency, Security, and Puzzles 2017: 18-38 - [c160]Marta Kwiatkowska, Gethin Norman, David Parker:
Symbolic Verification and Strategy Synthesis for Linearly-Priced Probabilistic Timed Automata. Models, Algorithms, Logics and Tools 2017: 289-309 - [c159]Xiaowei Huang, Marta Kwiatkowska, Sen Wang, Min Wu:
Safety Verification of Deep Neural Networks. CAV (1) 2017: 3-29 - [c158]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: 375-395 - [c157]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: 55-64 - [c156]Radu Calinescu, Milan Ceska, Simos Gerasimou, Marta Kwiatkowska, Nicola Paoletti:
Designing Robust Software Systems through Parametric Markov Chain Synthesis. ICSA 2017: 131-140 - [c155]Simon Eberz, Nicola Paoletti, Marc Roeschlin, Andrea Patané, Marta Kwiatkowska, Ivan Martinovic:
Broken Hearted: How To Attack ECG Biometrics. NDSS 2017 - [c154]Radu Calinescu, Milan Ceska, Simos Gerasimou, Marta Kwiatkowska, Nicola Paoletti:
RODES: A Robust-Design Synthesis Tool for Probabilistic Systems. QEST 2017: 304-308 - [c153]Marta Kwiatkowska:
Cognitive Reasoning and Trust in Human-Robot Interactions. TAMC 2017: 3-11 - [p5]Radu Calinescu, Marco Autili, Javier Cámara, Antinisca Di Marco, Simos Gerasimou, Paola Inverardi, Alexander Perucci, Nils Jansen, Joost-Pieter Katoen, Marta Z. Kwiatkowska, Ole J. Mengshoel, Romina Spalazzese, Massimo Tivoli:
Synthesis and Verification of Self-aware Computing Systems. Self-Aware Computing Systems 2017: 337-373 - [i19]Matthew Wicker, Xiaowei Huang, Marta Kwiatkowska:
Feature-Guided Black-Box Safety Testing of Deep Neural Networks. CoRR abs/1710.07859 (2017) - [i18]Alessandro Abate, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Boyan Yordanov:
Experimental Biological Protocols with Formal Semantics. CoRR abs/1710.08016 (2017) - 2016
- [j71]Luca Cardelli, Marta Kwiatkowska, Luca Laurenti:
Stochastic analysis of Chemical Reaction Networks using Linear Noise Approximation. Biosyst. 149: 26-33 (2016) - [j70]Marta Kwiatkowska:
The Presburger Award for Young Scientists 2017 - Call for Nominations. Bull. EATCS 120 (2016) - [j69]María Svorenová, Marta Kwiatkowska:
Quantitative verification and strategy synthesis for stochastic games. Eur. J. Control 30: 15-30 (2016) - [j68]Marta Kwiatkowska, Moshe Y. Vardi, Ahmed Bouajjani, Thomas Ball:
2014 CAV award announcement. Formal Methods Syst. Des. 48(3): 149-151 (2016) - [j67]Vojtech Forejt, Marta Kwiatkowska, Gethin Norman, Ashutosh Trivedi:
Expected reachability-time games. Theor. Comput. Sci. 631: 139-160 (2016) - [j66]Marta Kwiatkowska, Andrew Phillips, Chris Thachuk:
Preface. Theor. Comput. Sci. 632: 2-3 (2016) - [c152]Xiaowei Huang, Marta Kwiatkowska:
Model Checking Probabilistic Knowledge: A PSPACE Case. AAAI 2016: 2516-2522 - [c151]Morteza Lahijanian, Marta Kwiatkowska:
Social Trust: A Major Challenge for the Future of Autonomous Systems. AAAI Fall Symposia 2016 - [c150]Alessandro Abate, Milan Ceska, Marta Kwiatkowska:
Approximate Policy Iteration for Markov Decision Processes via Quantitative Adaptive Aggregations. ATVA 2016: 13-31 - [c149]Morteza Lahijanian, Marta Z. Kwiatkowska:
Specification revision for Markov decision processes with optimal trade-off. CDC 2016: 7411-7418 - [c148]Luca Cardelli, Marta Kwiatkowska, Luca Laurenti:
A Stochastic Hybrid Approximation for Chemical Kinetics Based on the Linear Noise Approximation. CMSB 2016: 147-167 - [c147]Marta Kwiatkowska:
Advances and challenges of quantitative verification and synthesis for cyber-physical systems. SOSCYPS@CPSWeek 2016: 1-5 - [c146]Luca Cardelli, Marta Kwiatkowska, Luca Laurenti:
Programming Discrete Distributions with Chemical Reaction Networks. DNA 2016: 35-51 - [c145]Luca Cardelli, Marta Kwiatkowska, Max Whitby:
Chemical Reaction Network Designs for Asynchronous Logic Circuits. DNA 2016: 67-81 - [c144]Benoît Barbot, Marta Kwiatkowska, Alexandru Mereacre, Nicola Paoletti:
Building Power Consumption Models from Executable Timed I/O Automata Specifications. HSCC 2016: 195-204 - [c143]Marta Z. Kwiatkowska:
Model Checking and Strategy Synthesis for Stochastic Games: From Theory to Practice. ICALP 2016: 4:1-4:18 - [c142]Chang Hwan Peter Kim, Daniel Kroening, Marta Z. Kwiatkowska:
Static Program Analysis for Identifying Energy Bugs in Graphics-Intensive Mobile Apps. MASCOTS 2016: 115-124 - [c141]Luca Bortolussi, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti:
Approximation of Probabilistic Reachability for Chemical Reaction Networks Using the Linear Noise Approximation. QEST 2016: 72-88 - [c140]Benoît Barbot, Nicolas Basset, Marc Beunardeau, Marta Kwiatkowska:
Uniform Sampling for Timed Automata with Application to Language Inclusion Measurement. QEST 2016: 175-190 - [c139]Milan Ceska, Petr Pilar, Nicola Paoletti, Lubos Brim, Marta Z. Kwiatkowska:
PRISM-PSY: Precise GPU-Accelerated Parameter Synthesis for Stochastic Systems. TACAS 2016: 367-384 - [c138]Marta Kwiatkowska, David Parker, Clemens Wiltsche:
PRISM-Games 2.0: A Tool for Multi-objective Strategy Synthesis for Stochastic Games. TACAS 2016: 560-566 - [i17]Luca Cardelli, Marta Z. Kwiatkowska, Luca Laurenti:
Programming Discrete Distributions with Chemical Reaction Networks. CoRR abs/1601.02578 (2016) - [i16]Vojtech Forejt, Marta Z. Kwiatkowska, Gethin Norman, Ashutosh Trivedi:
Expected Reachability-Time Games. CoRR abs/1604.04435 (2016) - [i15]María Svorenová, Morteza Lahijanian, Akshay A. Morye, Dushyant Rao, Ingmar Posner, Paul Newman, Hadas Kress-Gazit, Marta Kwiatkowska:
Resource-Performance Trade-off Analysis for Mobile Robots. CoRR abs/1609.04888 (2016) - [i14]Xiaowei Huang, Marta Kwiatkowska, Sen Wang, Min Wu:
Safety Verification of Deep Neural Networks. CoRR abs/1610.06940 (2016) - 2015
- [j65]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) - [j64]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): 27-34 (2015) - [j63]Fedor V. Fomin, Marta Z. Kwiatkowska, David Peleg:
40th international colloquium on automata, languages and programming. Inf. Comput. 243: 1 (2015) - [j62]Frits Dannenberg, Marta Z. Kwiatkowska, Chris Thachuk, Andrew J. Turberfield:
DNA walker circuits: computational potential, design, and verification. Nat. Comput. 14(2): 195-211 (2015) - [j61]Frits Dannenberg, Ernst Moritz Hahn, Marta Z. Kwiatkowska:
Computing Cumulative Rewards Using Fast Adaptive Uniformization. ACM Trans. Model. Comput. Simul. 25(2): 9:1-9:23 (2015) - [c137]Benoît Barbot, Marta Z. Kwiatkowska:
On Quantitative Modelling and Verification of DNA Walker Circuits Using Stochastic Petri Nets. Petri Nets 2015: 1-32 - [c136]Alessandro Abate, Lubos Brim, Milan Ceska, Marta Z. Kwiatkowska:
Adaptive Aggregation of Markov Chains: Quantitative Analysis of Chemical Reaction Networks. CAV (1) 2015: 195-213 - [c135]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: 3-7 - [c134]Luca Cardelli, Marta Z. Kwiatkowska, Luca Laurenti:
Stochastic Analysis of Chemical Reaction Networks Using Linear Noise Approximation. CMSB 2015: 64-76 - [c133]Chris Barker, Marta Z. Kwiatkowska, Alexandru Mereacre, Nicola Paoletti, Andrea Patane:
Hardware-in-the-loop simulation and energy optimization of cardiac pacemakers. EMBC 2015: 7188-7191 - [c132]Aleksandra Jovanovic, Marta Z. Kwiatkowska, Gethin Norman:
Symbolic Minimum Expected Time Controller Synthesis for Probabilistic Timed Automata. FORMATS 2015: 140-155 - [c131]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: 119-140 - [c130]Marta Kwiatkowska:
Parameter synthesis for probabilistic real-time systems (Invited Paper). SynCoP 2015: 16-16 - [c129]Nicolas Basset, Marta Z. Kwiatkowska, Ufuk Topcu, Clemens Wiltsche:
Strategy Synthesis for Stochastic Games with Multiple Long-Run Objectives. TACAS 2015: 256-271 - [i13]Luca Laurenti, Luca Cardelli, Marta Z. Kwiatkowska:
Stochastic Analysis of Chemical Reaction Networks Using Linear Noise Approximation. CoRR abs/1506.07861 (2015) - [i12]Samuel Kounev, Xiaoyun Zhu, Jeffrey O. Kephart, Marta Kwiatkowska:
Model-driven Algorithms and Architectures for Self-Aware Computing Systems (Dagstuhl Seminar 15041). Dagstuhl Reports 5(1): 164-196 (2015) - [i11]