default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMarta Z. Kwiatkowska
Marta Zofia Kwiatkowska – Marta Kwiatkowska
Person information
- affiliation: University of Oxford, UK
SPARQL queries 
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j91]Matthew Wicker, Luca Laurenti, Andrea Patane, Nicola Paoletti, Alessandro Abate, Marta Kwiatkowska:
Probabilistic reach-avoid for Bayesian neural networks. Artif. Intell. 334: 104132 (2024)- [j90]Rui Yan
, Gabriel Santos, Gethin Norman, David Parker, Marta Kwiatkowska:
Strategy synthesis for zero-sum neuro-symbolic concurrent stochastic games. Inf. Comput. 300: 105193 (2024) - [j89]Shili Sheng, Pian Yu, David Parker, Marta Kwiatkowska, Lu Feng:
Safe POMDP Online Planning Among Dynamic Agents via Adaptive Conformal Prediction. IEEE Robotics Autom. Lett. 9(11): 9946-9953 (2024) - [c235]Marta Kwiatkowska:
Strategy Synthesis for Partially Observable Stochastic Games with Neural Perception Mechanisms (Invited Talk). CSL 2024: 5:1-5:2 - [c234]Matthew Wicker, Andrea Patane, Luca Laurenti, Marta Kwiatkowska:
Adversarial Robustness Certification for Bayesian Neural Networks. FM (1) 2024: 3-28 - [c233]Rui Yan, Gabriel Santos, Gethin Norman, David Parker, Marta Kwiatkowska:
Partially Observable Stochastic Games with Neural Perception Mechanisms. FM (1) 2024: 363-380 - [c232]Daqian Shao, Ashkan Soleymani, Francesco Quinzan, Marta Kwiatkowska:
Learning Decision Policies with Instrumental Variables through Double Machine Learning. ICML 2024 - [c231]Pian Yu, Shuyang Dong, Shili Sheng, Lu Feng, Marta Kwiatkowska:
Trust-Aware Motion Planning for Human-Robot Collaboration under Distribution Temporal Logic Specifications. ICRA 2024: 12949-12955 - [c230]Pian Yu, Shufang Zhu, Giuseppe De Giacomo, Marta Kwiatkowska, Moshe Y. Vardi:
The Trembling-Hand Problem for LTLf Planning. IJCAI 2024: 3631-3641 - [c229]Rui Yan, Gabriel Santos, Gethin Norman, David Parker, Marta Kwiatkowska:
HSVI-based online minimax strategies for partially observable stochastic games with neural perception mechanisms. L4DC 2024: 80-91 - [c228]Matthias König, Xiyue Zhang, Holger H. Hoos, Marta Kwiatkowska, Jan N. van Rijn:
Automated Design of Linear Bounding Functions for Sigmoidal Nonlinearities in Neural Networks. ECML/PKDD (7) 2024: 383-398 - [c227]Xiyue Zhang, Benjie Wang, Marta Kwiatkowska:
Provable Preimage Under-Approximation for Neural Networks. TACAS (3) 2024: 3-23 - [i87]Daqian Shao, Lukas Fesser, Marta Kwiatkowska:
STR-Cert: Robustness Certification for Deep Text Recognition on Deep Learning Pipelines and Vision Transformers. CoRR abs/2401.05338 (2024) - [i86]Tomás Brázdil, Krishnendu Chatterjee, Martin Chmelik, Vojtech Forejt, Jan Kretínský, Marta Kwiatkowska, Tobias Meggendorfer, David Parker, Mateusz Ujma:
Learning Algorithms for Verification of Markov Decision Processes. CoRR abs/2403.09184 (2024) - [i85]Jon Vadillo, Roberto Santana, José Antonio Lozano, Marta Kwiatkowska:
Uncertainty-Aware Explanations Through Probabilistic Self-Explainable Neural Networks. CoRR abs/2403.13740 (2024) - [i84]Rui Yan, Gabriel Santos, Gethin Norman, David Parker, Marta Kwiatkowska:
HSVI-based Online Minimax Strategies for Partially Observable Stochastic Games with Neural Perception Mechanisms. CoRR abs/2404.10679 (2024) - [i83]Shili Sheng, Pian Yu, David Parker, Marta Kwiatkowska, Lu Feng:
Safe POMDP Online Planning among Dynamic Agents via Adaptive Conformal Prediction. CoRR abs/2404.15557 (2024) - [i82]Pian Yu, Shufang Zhu, Giuseppe De Giacomo, Marta Kwiatkowska, Moshe Y. Vardi:
The Trembling-Hand Problem for LTLf Planning. CoRR abs/2404.16163 (2024) - [i81]Daqian Shao, Ashkan Soleymani, Francesco Quinzan, Marta Kwiatkowska:
Learning Decision Policies with Instrumental Variables through Double Machine Learning. CoRR abs/2405.08498 (2024) - [i80]Matthias König, Xiyue Zhang, Holger H. Hoos, Marta Kwiatkowska, Jan N. van Rijn:
Automated Design of Linear Bounding Functions for Sigmoidal Nonlinearities in Neural Networks. CoRR abs/2406.10154 (2024) - [i79]Tobias Lorenz, Marta Kwiatkowska, Mario Fritz:
FullCert: Deterministic End-to-End Certification for Training and Inference of Neural Networks. CoRR abs/2406.11522 (2024) - [i78]Xiyue Zhang, Benjie Wang, Marta Kwiatkowska, Huan Zhang:
PREMAP: A Unifying PREiMage APproximation Framework for Neural Networks. CoRR abs/2408.09262 (2024) - [i77]Jialuo Chen, Jingyi Wang, Xiyue Zhang, Youcheng Sun, Marta Kwiatkowska, Jiming Chen, Peng Cheng:
FAST: Boosting Uncertainty-based Test Prioritization Methods for Neural Networks via Feature Selection. CoRR abs/2409.09130 (2024) - 2023
- [j88]Shadi Ghiasi, Andrea Patane, Luca Laurenti, Claudio Gentili, Enzo Pasquale Scilingo, Alberto Greco, Marta Kwiatkowska:
Physiologically-Informed Gaussian Processes for Interpretable Modelling of Psycho-Physiological States. IEEE J. Biomed. Health Informatics 27(8): 3721-3730 (2023) - [c226]Benjie Wang, Marta Kwiatkowska:
Compositional Probabilistic and Causal Inference using Tractable Circuit Models. AISTATS 2023: 9488-9498 - [c225]Tobias Lorenz, Marta Kwiatkowska, Mario Fritz:
Certifiers Make Neural Networks Vulnerable to Availability Attacks. AISec@CCS 2023: 67-78 - [c224]Bengt Jonsson, Marta Kwiatkowska, Igor Walukiewicz:
CONCUR Test-Of-Time Award 2023 (Invited Paper). CONCUR 2023: 1:1-1:2 - [c223]Marta Kwiatkowska, Xiyue Zhang:
When to Trust AI: Advances and Challenges for Certification of Neural Networks. FedCSIS 2023: 25-37 - [c222]Daqian Shao, Marta Kwiatkowska:
Sample Efficient Model-free Reinforcement Learning from LTL Specifications with Optimality Guarantees. IJCAI 2023: 4180-4189 - [i76]Benjie Wang, Marta Kwiatkowska:
Compositional Probabilistic and Causal Inference using Tractable Circuit Models. CoRR abs/2304.08278 (2023) - [i75]Daqian Shao, Marta Kwiatkowska:
Sample Efficient Model-free Reinforcement Learning from LTL Specifications with Optimality Guarantees. CoRR abs/2305.01381 (2023) - [i74]Xiyue Zhang, Benjie Wang, Marta Kwiatkowska:
On Preimage Approximation for Neural Networks. CoRR abs/2305.03686 (2023) - [i73]Matthew Wicker, Andrea Patane, Luca Laurenti, Marta Kwiatkowska:
Adversarial Robustness Certification for Bayesian Neural Networks. CoRR abs/2306.13614 (2023) - [i72]Rui Yan, Gabriel Santos, Gethin Norman, David Parker, Marta Kwiatkowska:
Point-based Value Iteration for Neuro-Symbolic POMDPs. CoRR abs/2306.17639 (2023) - [i71]Marta Kwiatkowska, Xiyue Zhang:
When to Trust AI: Advances and Challenges for Certification of Neural Networks. CoRR abs/2309.11196 (2023) - [i70]Pian Yu, Shuyang Dong, Shili Sheng, Lu Feng, Marta Kwiatkowska:
Trust-Aware Motion Planning for Human-Robot Collaboration under Distribution Temporal Logic Specifications. CoRR abs/2310.01163 (2023) - [i69]Matthew Wicker, Luca Laurenti, Andrea Patane, Nicola Paoletti, Alessandro Abate, Marta Kwiatkowska:
Probabilistic Reach-Avoid for Bayesian Neural Networks. CoRR abs/2310.01951 (2023) - [i68]Rui Yan, Gabriel Santos, Gethin Norman, David Parker, Marta Kwiatkowska:
Partially Observable Stochastic Games with Neural Perception Mechanisms. CoRR abs/2310.11566 (2023) - 2022
- [j87]Marta Kwiatkowska, Gethin Norman, David Parker:
Probabilistic Model Checking and Autonomy. Annu. Rev. Control. Robotics Auton. Syst. 5: 385-410 (2022) - [j86]Andrea Patane, Arno Blaas, Luca Laurenti, Luca Cardelli, Stephen Roberts, Marta Kwiatkowska:
Adversarial Robustness Guarantees for Gaussian Processes. J. Mach. Learn. Res. 23: 146:1-146:55 (2022) - [j85]Max Whitby, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Mirco Tribastone, Max Tschaikowski:
PID Control of Biochemical Reaction Networks. IEEE Trans. Autom. Control. 67(2): 1023-1030 (2022) - [c221]Emanuele La Malfa, Marta Kwiatkowska:
The King Is Naked: On the Notion of Robustness for Natural Language Processing. AAAI 2022: 11047-11057 - [c220]Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos:
Symbolic Verification and Strategy Synthesis for Turn-Based Stochastic Games. Principles of Systems Design 2022: 388-406 - [c219]Clare Lyle, Mark Rowland, Will Dabney, Marta Kwiatkowska, Yarin Gal:
Learning Dynamics and Generalization in Deep Reinforcement Learning. ICML 2022: 14560-14581 - [c218]Benjie Wang, Matthew Wicker, Marta Kwiatkowska:
Tractable Uncertainty for Structure Learning. ICML 2022: 23131-23150 - [c217]Elias Benussi, Andrea Patanè, Matthew Wicker, Luca Laurenti, Marta Kwiatkowska:
Individual Fairness Guarantees for Neural Networks. IJCAI 2022: 651-658 - [c216]Pascale Gourdeau, Varun Kanade, Marta Kwiatkowska, James Worrell:
Sample Complexity Bounds for Robustly Learning Decision Lists against Evasion Attacks. IJCAI 2022: 3022-3028 - [c215]Hjalmar Wijk, Benjie Wang, Marta Kwiatkowska:
Robustness Guarantees for Credal Bayesian Networks via Constraint Relaxation over Probabilistic Circuits. IJCAI 2022: 4885-4892 - [c214]Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos, Rui Yan:
Probabilistic Model Checking for Strategic Equilibria-Based Decision Making: Advances and Challenges (Invited Talk). MFCS 2022: 4:1-4:22 - [c213]Pascale Gourdeau, Varun Kanade, Marta Kwiatkowska, James Worrell:
When are Local Queries Useful for Robust Learning? NeurIPS 2022 - [c212]Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos:
Correlated Equilibria and Fairness in Concurrent Stochastic Games. TACAS (2) 2022: 60-78 - [c211]Rui Yan, Gabriel Santos, Xiaoming Duan, David Parker, Marta Kwiatkowska:
Finite-horizon equilibria for neuro-symbolic concurrent stochastic games. UAI 2022: 2170-2180 - [i67]Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos:
Correlated Equilibria and Fairness in Concurrent Stochastic Games. CoRR abs/2201.09702 (2022) - [i66]Rui Yan, Gabriel Santos, Gethin Norman, David Parker, Marta Kwiatkowska:
Strategy Synthesis for Zero-sum Neuro-symbolic Concurrent Stochastic Games. CoRR abs/2202.06255 (2022) - [i65]Benjie Wang, Matthew Wicker, Marta Kwiatkowska:
Tractable Uncertainty for Structure Learning. CoRR abs/2204.14170 (2022) - [i64]Elias Benussi, Andrea Patane, Matthew Wicker, Luca Laurenti, Marta Kwiatkowska:
Individual Fairness Guarantees for Neural Networks. CoRR abs/2205.05763 (2022) - [i63]Hjalmar Wijk, Benjie Wang, Marta Kwiatkowska:
Robustness Guarantees for Credal Bayesian Networks via Constraint Relaxation over Probabilistic Circuits. CoRR abs/2205.05793 (2022) - [i62]Pascale Gourdeau, Varun Kanade, Marta Kwiatkowska, James Worrell:
Sample Complexity Bounds for Robustly Learning Decision Lists against Evasion Attacks. CoRR abs/2205.06127 (2022) - [i61]Rui Yan, Gabriel Santos, Xiaoming Duan, David Parker, Marta Kwiatkowska:
Finite-horizon Equilibria for Neuro-symbolic Concurrent Stochastic Games. CoRR abs/2205.07546 (2022) - [i60]Clare Lyle, Mark Rowland, Will Dabney, Marta Kwiatkowska, Yarin Gal:
Learning Dynamics and Generalization in Reinforcement Learning. CoRR abs/2206.02126 (2022) - [i59]Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos, Rui Yan:
Probabilistic Model Checking for Strategic Equilibria-based Decision Making: Advances and Challenges. CoRR abs/2206.15148 (2022) - [i58]Aleksandar Petrov, Marta Kwiatkowska:
Robustness of Unsupervised Representation Learning without Labels. CoRR abs/2210.04076 (2022) - [i57]Pascale Gourdeau, Varun Kanade, Marta Kwiatkowska, James Worrell:
When are Local Queries Useful for Robust Learning? CoRR abs/2210.06089 (2022) - [i56]Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos:
Symbolic Verification and Strategy Synthesis for Turn-based Stochastic Games. CoRR abs/2211.06141 (2022) - [i55]Artem Velikzhanin, Benjie Wang, Marta Kwiatkowska:
Bayesian Network Models of Causal Interventions in Healthcare Decision Making: Literature Review and Software Evaluation. CoRR abs/2211.15258 (2022) - 2021
- [j84]Alessandro Abate, Julian Gutierrez, Lewis Hammond, Paul Harrenstein, Marta Kwiatkowska, Muhammad Najib, Giuseppe Perelli, Thomas Steeples, Michael J. Wooldridge:
Rational verification: game-theoretic verification of multi-agent systems. Appl. Intell. 51(9): 6569-6584 (2021) - [j83]Luca Cardelli, Marta Kwiatkowska, Luca Laurenti:
A Language for Modeling and Optimizing Experimental Biological Protocols. Comput. 9(10): 107 (2021) - [j82]Marta Kwiatkowska:
The EATCS Award 2021 - Laudatio for Toniann (Toni) Pitassi. Bull. EATCS 134 (2021) - [j81]Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos:
Automatic verification of concurrent stochastic systems. Formal Methods Syst. Des. 58(1-2): 188-250 (2021) - [j80]Pascale Gourdeau, Varun Kanade, Marta Kwiatkowska, James Worrell:
On the Hardness of Robust Classification. J. Mach. Learn. Res. 22: 273:1-273:29 (2021) - [j79]Alessandro Abate, Roman Andriushchenko, Milan Ceska, Marta Kwiatkowska:
Adaptive formal approximations of Markov chains. Perform. Evaluation 148: 102207 (2021) - [j78]Luca Laurenti, Morteza Lahijanian, Alessandro Abate, Luca Cardelli, Marta Kwiatkowska:
Formal and Efficient Synthesis for Continuous-Time Linear Stochastic Hybrid Processes. IEEE Trans. Autom. Control. 66(1): 17-32 (2021) - [c210]Matthew Wicker, Luca Laurenti, Andrea Patane, Zhuotong Chen, Zheng Zhang, Marta Kwiatkowska:
Bayesian Inference with Certifiable Adversarial Robustness. AISTATS 2021: 2431-2439 - [c209]Emanuele La Malfa, Rhiannon Michelmore, Agnieszka M. Zbrzezny, Nicola Paoletti, Marta Kwiatkowska:
On Guaranteed Optimal Robust Explanations for NLP Models. IJCAI 2021: 2658-2665 - [c208]Benjie Wang, Clare Lyle, Marta Kwiatkowska:
Provable Guarantees on the Robustness of Decision Rules to Causal Interventions. IJCAI 2021: 4258-4265 - [c207]Matthew Wicker, Luca Laurenti, Andrea Patane, Nicola Paoletti, Alessandro Abate, Marta Kwiatkowska:
Certification of iterative predictions in Bayesian neural networks. UAI 2021: 1713-1723 - [i54]Matthew Wicker, Luca Laurenti, Andrea Patane, Zhoutong Chen, Zheng Zhang, Marta Kwiatkowska:
Bayesian Inference with Certifiable Adversarial Robustness. CoRR abs/2102.05289 (2021) - [i53]Andrea Patane, Arno Blaas, Luca Laurenti, Luca Cardelli, Stephen J. Roberts, Marta Kwiatkowska:
Adversarial Robustness Guarantees for Gaussian Processes. CoRR abs/2104.03180 (2021) - [i52]Emanuele La Malfa, Agnieszka Zbrzezny, Rhiannon Michelmore, Nicola Paoletti, Marta Kwiatkowska:
On Guaranteed Optimal Robust Explanations for NLP Models. CoRR abs/2105.03640 (2021) - [i51]Benjie Wang, Clare Lyle, Marta Kwiatkowska:
Provable Guarantees on the Robustness of Decision Rules to Causal Interventions. CoRR abs/2105.09108 (2021) - [i50]Matthew Wicker, Luca Laurenti, Andrea Patane, Nicola Paoletti, Alessandro Abate, Marta Kwiatkowska:
Certification of Iterative Predictions in Bayesian Neural Networks. CoRR abs/2105.10134 (2021) - [i49]Tobias Lorenz, Marta Kwiatkowska, Mario Fritz:
Backdoor Attacks on Network Certification via Data Poisoning. CoRR abs/2108.11299 (2021) - [i48]Marta Kwiatkowska, Gethin Norman, David Parker:
Probabilistic Model Checking and Autonomy. CoRR abs/2111.10630 (2021) - [i47]Emanuele La Malfa, Marta Kwiatkowska:
The King is Naked: on the Notion of Robustness for Natural Language Processing. CoRR abs/2112.07605 (2021) - 2020
- [j77]Marta Kwiatkowska, Éva Tardos, Johan Håstad:
The EATCS Award 2021 - Call for Nominations. Bull. EATCS 132 (2020) - [j76]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) - [c206]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 - [c205]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 - [c204]Kyriakos Polymenakos, Luca Laurenti, Andrea Patane, Jan-Peter Calliess, Luca Cardelli, Marta Kwiatkowska, Alessandro Abate, Stephen J. Roberts:
Safety Guarantees for Iterative Predictions with Gaussian Processes. CDC 2020: 3187-3193 - [c203]Min Wu, Marta Kwiatkowska:
Robustness Guarantees for Deep Neural Networks on Videos. CVPR 2020: 308-317 - [c202]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 - [c201]Emanuele La Malfa, Min Wu, Luca Laurenti, Benjie Wang, Anthony Hartshorn, Marta Kwiatkowska:
Assessing Robustness of Text Classification through Maximal Safe Radius Computation. EMNLP (Findings) 2020: 2949-2968 - [c200]Amy Zhang, Clare Lyle, Shagun Sodhani, Angelos Filos, Marta Kwiatkowska, Joelle Pineau, Yarin Gal, Doina Precup:
Invariant Causal Prediction for Block MDPs. ICML 2020: 11214-11224 - [c199]Rhiannon Michelmore, Matthew Wicker, Luca Laurenti, Luca Cardelli, Yarin Gal, Marta Kwiatkowska:
Uncertainty Quantification with Statistical Guarantees in End-to-End Autonomous Driving Control. ICRA 2020: 7344-7350 - [c198]Marta Kwiatkowska:
Safety and Robustness for Deep Learning with Provable Guarantees. ASE 2020: 1-3 - [c197]Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos:
Multi-player Equilibria Verification for Concurrent Stochastic Games. QEST 2020: 74-95 - [c196]Matthew Wicker, Luca Laurenti, Andrea Patane, Marta Kwiatkowska:
Probabilistic Safety for Bayesian Neural Networks. UAI 2020: 1198-1207 - [i46]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) - [i45]Matthew Wicker, Luca Laurenti, Andrea Patane, Marta Kwiatkowska:
Probabilistic Safety for Bayesian Neural Networks. CoRR abs/2004.10281 (2020) - [i44]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) - [i43]Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos:
Multi-player Equilibria Verification for Concurrent Stochastic Games. CoRR abs/2007.03365 (2020) - [i42]Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos:
Automatic Verification of Concurrent Stochastic Systems. CoRR abs/2008.04613 (2020) - [i41]Emanuele La Malfa, Min Wu, Luca Laurenti, Benjie Wang, Anthony Hartshorn, Marta Kwiatkowska:
Assessing Robustness of Text Classification through Maximal Safe Radius Computation. CoRR abs/2010.02004 (2020)
2010 – 2019
- 2019
- [j75]Artur Czumaj, Marta Kwiatkowska, Éva Tardos:
The EATCS Award 2020 - Call for Nominations. Bull. EATCS 129 (2019) - [j74]Luca Bortolussi, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti:
Central Limit Model Checking. ACM Trans. Comput. Log. 20(4): 19:1-19:35 (2019) - [j73]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) - [c195]Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Andrea Patane:
Robustness Guarantees for Bayesian Inference with Gaussian Processes. AAAI 2019: 7759-7768 - [c194]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 - [c193]Francisco Eiras, Morteza Lahijanian, Marta Kwiatkowska:
Correct-by-Construction Advanced Driver Assistance Systems Based on a Cognitive Architecture. CAVS 2019: 1-7 - [c192]Max Whitby, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Mirco Tribastone, Max Tschaikowski:
PID Control of Biochemical Reaction Networks. CDC 2019: 8372-8379 - [c191]Marta Z. Kwiatkowska:
Safety Verification for Deep Neural Networks with Provable Guarantees (Invited Paper). CONCUR 2019: 1:1-1:5 - [c190]Matthew Wicker, Marta Kwiatkowska:
Robustness of 3D Deep Learning in an Adversarial Setting. CVPR 2019: 11767-11775 - [c189]Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos:
Equilibria-Based Probabilistic Model Checking for Concurrent Stochastic Games. FM 2019: 298-315 - [c188]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 - [c187]Benjamin Aminof, Marta Kwiatkowska, Bastien Maubert, Aniello Murano, Sasha Rubin:
Probabilistic Strategy Logic. IJCAI 2019: 32-38 - [c186]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 - [c185]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 - [c184]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 - [c183]Pascale Gourdeau, Varun Kanade, Marta Kwiatkowska, James Worrell:
On the Hardness of Robust Classification. NeurIPS 2019: 7444-7453 - [c182]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. TR19 (2019) - 2018
- [j72]Nicolas Basset, Marta Z. Kwiatkowska, Clemens Wiltsche:
Compositional strategy synthesis for stochastic games with multiple objectives. Inf. Comput. 261: 536-587 (2018) - [j71]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) - [j70]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) - [j69]Luca Cardelli, Marta Kwiatkowska, Max Whitby:
Chemical reaction network designs for asynchronous logic circuits. Nat. Comput. 17(1): 109-130 (2018) - [j68]Luca Cardelli, Marta Kwiatkowska, Luca Laurenti:
Programming discrete distributions with chemical reaction networks. Nat. Comput. 17(1): 131-145 (2018) - [j67]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) - [j66]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) - [j65]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) - [j64]Aleksandra Jovanovic, Marta Kwiatkowska:
Parameter synthesis for probabilistic timed automata using stochastic game abstractions. Theor. Comput. Sci. 735: 64-81 (2018) - [c181]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 - [c180]Alessandro Abate, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Boyan Yordanov:
Experimental Biological Protocols with Formal Semantics. CMSB 2018: 165-182 - [c179]Wenjie Ruan, Xiaowei Huang, Marta Kwiatkowska:
Reachability Analysis of Deep Neural Networks with Provable Guarantees. IJCAI 2018: 2651-2659 - [c178]Youcheng Sun, Min Wu, Wenjie Ruan, Xiaowei Huang, Marta Kwiatkowska, Daniel Kroening:
Concolic testing for deep neural networks. ASE 2018: 109-119 - [c177]Andrea Patanè, Marta Kwiatkowska:
Calibrating the Classifier: Siamese Neural Network Architecture for End-to-End Arousal Recognition from ECG. LOD 2018: 1-13 - [c176]Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos:
Automated Verification of Concurrent Stochastic Games. QEST 2018: 223-239 - [c175]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 - [c174]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
- [j63]Milan Ceska, Frits Dannenberg, Nicola Paoletti, Marta Kwiatkowska, Lubos Brim:
Precise parameter synthesis for stochastic biochemical systems. Acta Informatica 54(6): 589-623 (2017) - [j62]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) - [c173]Xiaowei Huang, Marta Zofia Kwiatkowska:
Reasoning about Cognitive Trust in Stochastic Multiagent Systems. AAAI 2017: 3768-3774 - [c172]Azlan B. Ismail, Marta Kwiatkowska:
Synthesizing Pareto Optimal Decision for Autonomic Clouds Using Stochastic Games Model Checking. APSEC 2017: 436-445 - [c171]Chris Chilton, Marta Z. Kwiatkowska, Faron Moller, Xu Wang:
A Specification Theory of Real-Time Processes. Concurrency, Security, and Puzzles 2017: 18-38 - [c170]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 - [c169]Xiaowei Huang, Marta Kwiatkowska, Sen Wang, Min Wu:
Safety Verification of Deep Neural Networks. CAV (1) 2017: 3-29 - [c168]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 - [c167]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 - [c166]Radu Calinescu, Milan Ceska, Simos Gerasimou, Marta Kwiatkowska, Nicola Paoletti:
Designing Robust Software Systems through Parametric Markov Chain Synthesis. ICSA 2017: 131-140 - [c165]Simon Eberz, Nicola Paoletti, Marc Roeschlin, Andrea Patané, Marta Kwiatkowska, Ivan Martinovic:
Broken Hearted: How To Attack ECG Biometrics. NDSS 2017 - [c164]Radu Calinescu, Milan Ceska, Simos Gerasimou, Marta Kwiatkowska, Nicola Paoletti:
RODES: A Robust-Design Synthesis Tool for Probabilistic Systems. QEST 2017: 304-308 - [c163]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
- [j61]Luca Cardelli, Marta Kwiatkowska, Luca Laurenti:
Stochastic analysis of Chemical Reaction Networks using Linear Noise Approximation. Biosyst. 149: 26-33 (2016) - [j60]Marta Kwiatkowska:
The Presburger Award for Young Scientists 2017 - Call for Nominations. Bull. EATCS 120 (2016) - [j59]María Svorenová, Marta Kwiatkowska:
Quantitative verification and strategy synthesis for stochastic games. Eur. J. Control 30: 15-30 (2016) - [j58]Marta Kwiatkowska, Moshe Y. Vardi, Ahmed Bouajjani, Thomas Ball:
2014 CAV award announcement. Formal Methods Syst. Des. 48(3): 149-151 (2016) - [j57]Vojtech Forejt, Marta Kwiatkowska, Gethin Norman, Ashutosh Trivedi:
Expected reachability-time games. Theor. Comput. Sci. 631: 139-160 (2016) - [j56]Marta Kwiatkowska, Andrew Phillips, Chris Thachuk:
Preface. Theor. Comput. Sci. 632: 2-3 (2016) - [c162]Xiaowei Huang, Marta Kwiatkowska:
Model Checking Probabilistic Knowledge: A PSPACE Case. AAAI 2016: 2516-2522 - [c161]Morteza Lahijanian, Marta Kwiatkowska:
Social Trust: A Major Challenge for the Future of Autonomous Systems. AAAI Fall Symposia 2016 - [c160]Alessandro Abate, Milan Ceska, Marta Kwiatkowska:
Approximate Policy Iteration for Markov Decision Processes via Quantitative Adaptive Aggregations. ATVA 2016: 13-31 - [c159]Morteza Lahijanian, Marta Z. Kwiatkowska:
Specification revision for Markov decision processes with optimal trade-off. CDC 2016: 7411-7418 - [c158]Luca Cardelli, Marta Kwiatkowska, Luca Laurenti:
A Stochastic Hybrid Approximation for Chemical Kinetics Based on the Linear Noise Approximation. CMSB 2016: 147-167 - [c157]Marta Kwiatkowska:
Advances and challenges of quantitative verification and synthesis for cyber-physical systems. SOSCYPS@CPSWeek 2016: 1-5 - [c156]Luca Cardelli, Marta Kwiatkowska, Luca Laurenti:
Programming Discrete Distributions with Chemical Reaction Networks. DNA 2016: 35-51 - [c155]Luca Cardelli, Marta Kwiatkowska, Max Whitby:
Chemical Reaction Network Designs for Asynchronous Logic Circuits. DNA 2016: 67-81 - [c154]Benoît Barbot, Marta Kwiatkowska, Alexandru Mereacre, Nicola Paoletti:
Building Power Consumption Models from Executable Timed I/O Automata Specifications. HSCC 2016: 195-204 - [c153]Marta Z. Kwiatkowska:
Model Checking and Strategy Synthesis for Stochastic Games: From Theory to Practice. ICALP 2016: 4:1-4:18 - [c152]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 - [c151]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 - [c150]Benoît Barbot, Nicolas Basset, Marc Beunardeau, Marta Kwiatkowska:
Uniform Sampling for Timed Automata with Application to Language Inclusion Measurement. QEST 2016: 175-190 - [c149]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 - [c148]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
- [j55]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) - [j54]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) - [j53]Fedor V. Fomin, Marta Z. Kwiatkowska, David Peleg:
40th international colloquium on automata, languages and programming. Inf. Comput. 243: 1 (2015) - [j52]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) - [j51]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) - [c147]Benoît Barbot, Marta Z. Kwiatkowska:
On Quantitative Modelling and Verification of DNA Walker Circuits Using Stochastic Petri Nets. Petri Nets 2015: 1-32 - [c146]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 - [c145]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 - [c144]Luca Cardelli, Marta Z. Kwiatkowska, Luca Laurenti:
Stochastic Analysis of Chemical Reaction Networks Using Linear Noise Approximation. CMSB 2015: 64-76 - [c143]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 - [c142]Aleksandra Jovanovic, Marta Z. Kwiatkowska, Gethin Norman:
Symbolic Minimum Expected Time Controller Synthesis for Probabilistic Timed Automata. FORMATS 2015: 140-155 - [c141]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 - [c140]Marta Kwiatkowska:
Parameter synthesis for probabilistic real-time systems (Invited Paper). SynCoP 2015: 16-16 - [c139]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]Antonio Filieri, Marta Kwiatkowska, Sasa Misailovic, Todd Mytkowicz:
Approximate and Probabilistic Computing: Design, Coding, Verification (Dagstuhl Seminar 15491). Dagstuhl Reports 5(11): 151-179 (2015) - 2014
- [j50]Taolue Chen, Marco Diciolla, Marta Z. Kwiatkowska, Alexandru Mereacre:
Quantitative verification of implantable cardiac pacemakers over hybrid heart models. Inf. Comput. 236: 87-101 (2014) - [j49]Chris Chilton, Bengt Jonsson, Marta Z. Kwiatkowska:
Compositional assume-guarantee reasoning for input/output component theories. Sci. Comput. Program. 91: 115-137 (2014) - [j48]Klaus Dräger, Marta Z. Kwiatkowska, David Parker, Hongyang Qu:
Local abstraction refinement for probabilistic timed programs. Theor. Comput. Sci. 538: 37-53 (2014) - [j47]Chris Chilton, Bengt Jonsson, Marta Z. Kwiatkowska:
An algebraic theory of interface automata. Theor. Comput. Sci. 549: 146-174 (2014) - [c138]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: 98-114 - [c137]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: 40-58 - [c136]Zhenqi Huang, Chuchu Fan, Alexandru Mereacre, Sayan Mitra, Marta Z. Kwiatkowska:
Invariant Verification of Nonlinear Hybrid Automata Networks of Cardiac Cells. CAV 2014: 373-390 - [c135]Milan Ceska, Frits Dannenberg, Marta Z. Kwiatkowska, Nicola Paoletti:
Precise Parameter Synthesis for Stochastic Biochemical Systems. CMSB 2014: 86-98 - [c134]Nicolas Basset, Marta Z. Kwiatkowska, Clemens Wiltsche:
Compositional Controller Synthesis for Stochastic Games. CONCUR 2014: 173-187 - [c133]Marco Diciolla, Chang Hwan Peter Kim, Marta Z. Kwiatkowska, Alexandru Mereacre:
Synthesising optimal timing delays for Timed I/O Automata. EMSOFT 2014: 16:1-16:10 - [c132]Marta Z. Kwiatkowska, Harriet Lea-Banks, Alexandru Mereacre, Nicola Paoletti:
Formal Modelling and Validation of Rate-Adaptive Pacemakers. ICHI 2014: 23-32 - [c131]Marta Z. Kwiatkowska, Alexandru Mereacre, Nicola Paoletti:
On Quantitative Software Quality Assurance Methodologies for Cardiac Pacemakers. ISoLA (2) 2014: 365-384 - [c130]Marta Z. Kwiatkowska, Alexandru Mereacre:
Automated Verification of Quantitative Properties of Cardiac Pacemaker Software. MCPS 2014: 137-140 - [c129]Aleksandra Jovanovic, Marta Z. Kwiatkowska:
Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions. RP 2014: 176-189 - [c128]Klaus Dräger, Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Mateusz Ujma:
Permissive Controller Synthesis for Probabilistic Systems. TACAS 2014: 531-546 - [p4]Marta Z. Kwiatkowska, David Parker, Hongyang Qu, Mateusz Ujma:
On Incremental Quantitative Verification for Probabilistic Systems. HOWARD-60 2014: 245-257 - [p3]Marta Z. Kwiatkowska, Chris Thachuk:
Probabilistic Model Checking for Biology. Software Systems Safety 2014: 165-189 - [e7]Volker Turau, Marta Z. Kwiatkowska, Rahul Mangharam, Christoph Weyer:
5th Workshop on Medical Cyber-Physical Systems, MCPS 2014, Berlin, Germany, April 14, 2014. OASIcs 36, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2014, ISBN 978-3-939897-66-8 [contents] - [i10]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 abs/1402.2967 (2014) - 2013
- [j46]Taolue Chen, Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Aistis Simaitis:
Automatic verification of competitive stochastic systems. Formal Methods Syst. Des. 43(1): 61-92 (2013) - [j45]Christel Baier, Marta Z. Kwiatkowska:
Preface to the special issue on Probabilistic Model Checking. Formal Methods Syst. Des. 43(2): 121-123 (2013) - [j44]Marta Z. Kwiatkowska, Gethin Norman, David Parker, Hongyang Qu:
Compositional probabilistic verification through multi-objective model checking. Inf. Comput. 232: 38-65 (2013) - [j43]Marta Z. Kwiatkowska:
From software verification to 'everyware' verification. Comput. Sci. Res. Dev. 28(4): 295-310 (2013) - [j42]Taolue Chen, Tingting Han, Marta Z. Kwiatkowska:
On the complexity of model checking interval-valued discrete time Markov chains. Inf. Process. Lett. 113(7): 210-216 (2013) - [j41]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): 33:1-33:35 (2013) - [c127]Marta Z. Kwiatkowska, David Parker:
Automated Verification and Strategy Synthesis for Probabilistic Systems. ATVA 2013: 5-22 - [c126]Frits Dannenberg, Ernst Moritz Hahn, Marta Z. Kwiatkowska:
Computing Cumulative Rewards Using Fast Adaptive Uniformisation. CMSB 2013: 33-49 - [c125]Frits Dannenberg, Marta Z. Kwiatkowska, Chris Thachuk, Andrew J. Turberfield:
DNA Walker Circuits: Computational Potential, Design, and Verification. DNA 2013: 31-45 - [c124]Taolue Chen, Marco Diciolla, Marta Z. Kwiatkowska, Alexandru Mereacre:
A simulink hybrid heart model for quantitative verification of cardiac pacemakers. HSCC 2013: 131-136 - [c123]Marta Z. Kwiatkowska:
Advances in Quantitative Verification for Ubiquitous Computing. ICTAC 2013: 42-58 - [c122]Taolue Chen, Vojtech Forejt, Marta Z. Kwiatkowska, Aistis Simaitis, Clemens Wiltsche:
On Stochastic Games with Multiple Objectives. MFCS 2013: 266-277 - [c121]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: 255-262 - [c120]Taolue Chen, Marta Z. Kwiatkowska, Aistis Simaitis, Clemens Wiltsche:
Synthesis for Multi-objective Stochastic Games: An Application to Autonomous Urban Driving. QEST 2013: 322-337 - [c119]Taolue Chen, Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Aistis Simaitis:
PRISM-games: A Model Checker for Stochastic Multi-Player Games. TACAS 2013: 185-191 - [c118]Taolue Chen, Ernst Moritz Hahn, Tingting Han, Marta Z. Kwiatkowska, Hongyang Qu, Lijun Zhang:
Model Repair for Markov Decision Processes. TASE 2013: 85-92 - [c117]Marta Z. Kwiatkowska, David Parker, Aistis Simaitis:
Strategic Analysis of Trust Models for User-Centric Networks. SR 2013: 53-59 - [c116]Tingting Han, Christian Krause, Marta Z. Kwiatkowska, Holger Giese:
Modal Specifications for Probabilistic Timed Systems. QAPL 2013: 66-80 - [e6]Fedor V. Fomin, Rusins Freivalds, Marta Z. Kwiatkowska, David Peleg:
Automata, Languages, and Programming - 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part I. Lecture Notes in Computer Science 7965, Springer 2013, ISBN 978-3-642-39205-4 [contents] - [e5]Fedor V. Fomin, Rusins Freivalds, Marta Z. Kwiatkowska, David Peleg:
Automata, Languages, and Programming - 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II. Lecture Notes in Computer Science 7966, Springer 2013, ISBN 978-3-642-39211-5 [contents] - [i9]Chris Chilton, Marta Z. Kwiatkowska, Xu Wang:
Revisiting Timed Specification Theory II : Realisability. CoRR abs/1304.7590 (2013) - 2012
- [j40]Ian Sommerville, Dave Cliff, Radu Calinescu, Justin Keen, Tim Kelly, Marta Z. Kwiatkowska, John A. McDermid, Richard F. Paige:
Large-scale complex IT systems. Commun. ACM 55(7): 71-77 (2012) - [j39]Radu Calinescu, Carlo Ghezzi, Marta Z. Kwiatkowska, Raffaela Mirandola:
Self-adaptive software needs quantitative verification at runtime. Commun. ACM 55(9): 69-77 (2012) - [j38]Marta Z. Kwiatkowska, Gethin Norman, David Parker:
Probabilistic verification of Herman's self-stabilisation algorithm. Formal Aspects Comput. 24(4-6): 661-670 (2012) - [j37]Moshe Y. Vardi, Thomas A. Henzinger, Rajeev Alur, Marta Z. Kwiatkowska:
2011 CAV award announcement. Formal Methods Syst. Des. 41(1): 1-2 (2012) - [j36]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): 101-111 (2012) - [c115]Vojtech Forejt, Marta Z. Kwiatkowska, David Parker:
Pareto Curves for Probabilistic Model Checking. ATVA 2012: 317-332 - [c114]Taolue Chen, Vojtech Forejt, Marta Z. Kwiatkowska, Aistis Simaitis, Ashutosh Trivedi, Michael Ummels:
Playing Stochastic Games Precisely. CONCUR 2012: 348-363 - [c113]Taolue Chen, Chris Chilton, Bengt Jonsson, Marta Z. Kwiatkowska:
A Compositional Specification Theory for Component Behaviours. ESOP 2012: 148-168 - [c112]Chris Chilton, Bengt Jonsson, Marta Z. Kwiatkowska:
Assume-Guarantee Reasoning for Safe Component Behaviours. FACS 2012: 92-109 - [c111]Chris Chilton, Marta Z. Kwiatkowska, Xu Wang:
Revisiting Timed Specification Theories: A Linear-Time Perspective. FORMATS 2012: 75-90 - [c110]Taolue Chen, Marco Diciolla, Marta Z. Kwiatkowska, Alexandru Mereacre:
Verification of linear duration properties over continuous-time markov chains. HSCC 2012: 265-274 - [c109]Klaus Dräger, Marta Z. Kwiatkowska:
Towards Communication-Based Steering of Complex Distributed Systems. Monterey Workshop 2012: 353-368 - [c108]Marta Z. Kwiatkowska, Gethin Norman, David Parker:
The PRISM Benchmark Suite. QEST 2012: 203-204 - [c107]Taolue Chen, Marco Diciolla, Marta Z. Kwiatkowska, Alexandru Mereacre:
Quantitative Verification of Implantable Cardiac Pacemakers. RTSS 2012: 263-272 - [c106]Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Hongyang Qu, Mateusz Ujma:
Incremental Runtime Verification of Probabilistic Systems. RV 2012: 314-319 - [c105]Taolue Chen, Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Aistis Simaitis:
Automatic Verification of Competitive Stochastic Systems. TACAS 2012: 315-330 - [c104]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: 1-6 - [p2]Marta Z. Kwiatkowska, David Parker:
Advances in Probabilistic Model Checking. Software Safety and Security 2012: 126-151 - [i8]Ender Yüksel, Hanne Riis Nielson, Flemming Nielson, Matthias Fruth, Marta Z. Kwiatkowska:
Optimizing ZigBee Security using Stochastic Model Checking. CoRR abs/1205.6675 (2012) - [i7]Chris Chilton, Marta Z. Kwiatkowska, Xu Wang:
Revisiting Timed Specification Theories: A Linear-Time Perspective. CoRR abs/1206.4504 (2012) - [i6]Vojtech Forejt, Marta Z. Kwiatkowska, David Parker:
Pareto Curves for Probabilistic Model Checking. CoRR abs/1206.6295 (2012) - 2011
- [j35]Tianyi Zang, Radu Calinescu, Marta Z. Kwiatkowska:
Metamodel-driven SOA for collaborative e-science application. Comput. Syst. Sci. Eng. 26(3) (2011) - [j34]Doina Bucur, Marta Z. Kwiatkowska:
On software verification for sensor nodes. J. Syst. Softw. 84(10): 1693-1707 (2011) - [j33]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): 387-409 (2011) - [c103]Lu Feng, Tingting Han, Marta Z. Kwiatkowska, David Parker:
Learning-Based Compositional Verification for Synchronous Probabilistic Systems. ATVA 2011: 511-521 - [c102]Jorge Júlvez, Marta Z. Kwiatkowska, Gethin Norman, David Parker:
A Systematic Approach to Evaluate Sustained Stochastic Oscillations. BICoB 2011: 134-139 - [c101]Marta Z. Kwiatkowska, Gethin Norman, David Parker:
PRISM 4.0: Verification of Probabilistic Real-Time Systems. CAV 2011: 585-591 - [c100]Taolue Chen, Marta Z. Kwiatkowska, David Parker, Aistis Simaitis:
Verifying Team Formation Protocols with Probabilistic Model Checking. CLIMA 2011: 190-207 - [c99]Marta Z. Kwiatkowska, David Parker, Hongyang Qu:
Incremental quantitative verification for Markov decision processes. DSN 2011: 359-370 - [c98]Lu Feng, Marta Z. Kwiatkowska, David Parker:
Automated Learning of Probabilistic Assumptions for Compositional Reasoning. FASE 2011: 2-17 - [c97]Taolue Chen, Marco Diciolla, Marta Z. Kwiatkowska, Alexandru Mereacre:
Time-Bounded Verification of CTMCs against Real-Time Specifications. FORMATS 2011: 26-42 - [c96]Henri Hansen, Marta Z. Kwiatkowska, Hongyang Qu:
Partial Order Reduction for Model Checking Markov Decision Processes under Unconditional Fairness. QEST 2011: 203-212 - [c95]Vojtech Forejt, Marta Z. Kwiatkowska, Gethin Norman, David Parker:
Automated Verification Techniques for Probabilistic Systems. SFM 2011: 53-113 - [c94]Vojtech Forejt, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Hongyang Qu:
Quantitative Multi-objective Verification for Probabilistic Systems. TACAS 2011: 112-127 - [p1]Tianyi Zang, Radu Calinescu, Marta Kwiatkowska:
OGSA-Based SOA for Collaborative Cancer Research: System Modeling and Generation. Guide to e-Science 2011: 479-505 - [i5]Ian Sommerville, Dave Cliff, Radu Calinescu, Justin Keen, Tim Kelly, Marta Z. Kwiatkowska, John A. McDermid, Richard F. Paige:
Large-scale Complex IT Systems. CoRR abs/1109.3444 (2011) - 2010
- [j32]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): 246-280 (2010) - [j31]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): 64-75 (2010) - [c93]Marta Kwiatkowska, Gethin Norman, David Parker:
Advances and challenges of probabilistic model checking. Allerton 2010: 1691-1698 - [c92]Marta Z. Kwiatkowska, Alessio Lomuscio, Hongyang Qu:
Parallel Model Checking for Temporal Epistemic Logic. ECAI 2010: 543-548 - [c91]Marta Z. Kwiatkowska, Gethin Norman, David Parker:
A Framework for Verification of Software with Time and Probabilities. FORMATS 2010: 25-45 - [c90]Vojtech Forejt, Marta Z. Kwiatkowska, Gethin Norman, Ashutosh Trivedi:
Expected Reachability-Time Games. FORMATS 2010: 122-136 - [c89]Doina Bucur, Marta Z. Kwiatkowska:
Software verification for TinyOS. IPSN 2010: 400-401 - [c88]Felicita Di Giandomenico, Marta Z. Kwiatkowska, Marco Martinucci, Paolo Masci, Hongyang Qu:
Dependability Analysis and Verification for Connected Systems. ISoLA (2) 2010: 263-277 - [c87]Marco Autili, Chris Chilton, Paola Inverardi, Marta Z. Kwiatkowska, Massimo Tivoli:
Towards a Connector Algebra. ISoLA (2) 2010: 278-292 - [c86]Lu Feng, Marta Z. Kwiatkowska, David Parker:
Compositional Verification of Probabilistic Systems Using Learning. QEST 2010: 133-142 - [c85]Marta Z. Kwiatkowska, Gethin Norman, David Parker, Hongyang Qu:
Assume-Guarantee Verification for Probabilistic Systems. TACAS 2010: 23-37 - [e4]Bengt Jonsson, Jörg Kreiker, Marta Z. Kwiatkowska:
Quantitative and Qualitative Analysis of Network Protocols, 31.01. - 05.02.2010. Dagstuhl Seminar Proceedings 10051, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents] - [e3]Radu Calinescu, Richard F. Paige, Marta Z. Kwiatkowska:
15th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2010, Oxford, United Kingdom, 22-26 March 2010. IEEE Computer Society 2010, ISBN 978-0-7695-4015-3 [contents] - [i4]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 - [i3]Bengt Jonsson, Jörg Kreiker, Marta Z. Kwiatkowska:
10051 Executive Summary - Quantitative and Qualitative Analysis of Network Protocols. Quantitative and Qualitative Analysis of Network Protocols 2010 - [i2]Marta Z. Kwiatkowska, Gethin Norman, Ashutosh Trivedi:
Quantitative Games on Probabilistic Timed Automata. CoRR abs/1001.1933 (2010)
2000 – 2009
- 2009
- [j30]Marta Z. Kwiatkowska, Gethin Norman, David Parker:
PRISM: probabilistic model checking for performance and reliability analysis. SIGMETRICS Perform. Evaluation Rev. 36(4): 40-45 (2009) - [j29]Marta Z. Kwiatkowska, Gethin Norman, David Parker, Maria Grazia Vigliotti:
Probabilistic Mobile Ambients. Theor. Comput. Sci. 410(12-13): 1272-1303 (2009) - [j28]Jane Hillston, Marta Z. Kwiatkowska, Miklós Telek:
Guest Editors' Introduction to the Special Issue on Quantitative Evaluation of Computer Systems. IEEE Trans. Software Eng. 35(2): 145-147 (2009) - [c84]Doina Bucur, Marta Z. Kwiatkowska:
Bug-Free Sensors: The Automatic Verification of Context-Aware TinyOS Applications. AmI 2009: 101-105 - [c83]Marta Kwiatkowska, Gethin Norman, David Parker:
Quantitative Verification Techniques for Biological Processes. Algorithmic Bioprocesses 2009: 391-409 - [c82]Marcin Jurdzinski, Marta Z. Kwiatkowska, Gethin Norman, Ashutosh Trivedi:
Concavely-Priced Probabilistic Timed Automata. CONCUR 2009: 415-430 - [c81]Radu Calinescu, Marta Z. Kwiatkowska:
CADS*: Computer-Aided Development of Self-* Systems. FASE 2009: 421-424 - [c80]Marta Z. Kwiatkowska, Gethin Norman, David Parker:
Stochastic Games for Verification of Probabilistic Timed Automata. FORMATS 2009: 212-227 - [c79]Valérie Issarny, Bernhard Steffen, Bengt Jonsson, Gordon S. Blair, Paul Grace, Marta Z. Kwiatkowska, Radu Calinescu, Paola Inverardi, Massimo Tivoli, Antonia Bertolino, Antonino Sabetta:
CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems. ICECCS 2009: 154-161 - [c78]Radu Calinescu, Marta Z. Kwiatkowska:
Using quantitative analysis to implement autonomic IT systems. ICSE 2009: 100-110 - [c77]Zeshan Kurd, Tim Kelly, John A. McDermid, Radu Calinescu, Marta Z. Kwiatkowska:
Establishing a Framework for Dynamic Risk Management in 'Intelligent' Aero-Engine Control. SAFECOMP 2009: 326-341 - [c76]Farhad Arbab, Sun Meng, Young-Joo Moon, Marta Z. Kwiatkowska, Hongyang Qu:
Reo2MC: a tool chain for performance analysis of coordination models. ESEC/SIGSOFT FSE 2009: 287-288 - [c75]Marta Z. Kwiatkowska:
On Quantitative Software Verification. SPIN 2009: 2-3 - [c74]Mark Kattenbelt, Marta Z. Kwiatkowska, Gethin Norman, David Parker:
Abstraction Refinement for Probabilistic Software. VMCAI 2009: 182-197 - 2008
- [j27]Kousha Etessami, Marta Z. Kwiatkowska, Moshe Y. Vardi, Mihalis Yannakakis:
Multi-Objective Model Checking of Markov Decision Processes. Log. Methods Comput. Sci. 4(4) (2008) - [j26]Marta Z. Kwiatkowska, Gethin Norman, David Parker:
Using probabilistic model checking in systems biology. SIGMETRICS Perform. Evaluation Rev. 35(4): 14-21 (2008) - [j25]Marta Z. Kwiatkowska, Gethin Norman, David Parker:
Analysis of a gossip protocol in PRISM. SIGMETRICS Perform. Evaluation Rev. 36(3): 17-22 (2008) - [j24]John Heath, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Oksana Tymchyshyn:
Probabilistic model checking of complex biological pathways. Theor. Comput. Sci. 391(3): 239-257 (2008) - [c73]Tianyi Zang, Radu Calinescu, Steve Harris, Andrew Tsui, Marta Z. Kwiatkowska, Jeremy Gibbons, Jim Davies, Peter Maccallum, Carlos Caldas:
WSRF-Based Modeling of Clinical Trial Information for Collaborative Cancer Research. CCGRID 2008: 73-81 - [c72]Zhenyu Liu, Wen Gao, Marta Z. Kwiatkowska:
A Biologically Inspired Energy-Aware Routing Algorithm for Communications in Cyberworlds. CW 2008: 772-777 - [c71]Tianyi Zang, Radu Calinescu, Steve Harris, Andrew Tsui, Charles Crichton, Marta Z. Kwiatkowska, Jeremy Gibbons, Jim Davies, James D. Brenton, Carlos Caldas:
Metamodel-Based Generation of WSRF-Compliant SOA for Collaborative Cancer Research. eScience 2008: 406-407 - [c70]Oksana Tymchyshyn, Marta Z. Kwiatkowska:
Combining Intra- and Inter-cellular Dynamics to Investigate Intestinal Homeostasis. FMSB 2008: 63-76 - [c69]Radu Calinescu, Marta Z. Kwiatkowska:
Software Engineering Techniques for the Development of Systems of Systems. Monterey Workshop 2008: 59-82 - [c68]Mark Kattenbelt, Marta Z. Kwiatkowska, Gethin Norman, David Parker:
Game-Based Probabilistic Predicate Abstraction in PRISM. QAPL 2008: 5-21 - [i1]Kousha Etessami, Marta Z. Kwiatkowska, Moshe Y. Vardi, Mihalis Yannakakis:
Multi-Objective Model Checking of Markov Decision Processes. CoRR abs/0810.5728 (2008) - 2007
- [j23]Xu Wang, Marta Z. Kwiatkowska:
On Process-algebraic Verification of Asynchronous Circuits. Fundam. Informaticae 80(1-3): 283-310 (2007) - [j22]Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston, Fuzhi Wang:
Symbolic model checking for probabilistic timed automata. Inf. Comput. 205(7): 1027-1077 (2007) - [c67]Marta Z. Kwiatkowska, Gethin Norman, David Parker:
Stochastic Model Checking. SFM 2007: 220-270 - [c66]Marta Z. Kwiatkowska:
Quantitative verification: models techniques and tools. ESEC/SIGSOFT FSE 2007: 449-458 - [c65]Kousha Etessami, Marta Z. Kwiatkowska, Moshe Y. Vardi, Mihalis Yannakakis:
Multi-objective Model Checking of Markov Decision Processes. TACAS 2007: 50-65 - 2006
- [j21]Marta Z. Kwiatkowska, Gethin Norman, António Pacheco:
Model checking expected time and expected reward formulae with random time bounds. Comput. Math. Appl. 51(2): 305-316 (2006) - [j20]Marta Z. Kwiatkowska, Gethin Norman, David Parker, Jeremy Sproston:
Performance analysis of probabilistic timed automata using digital clocks. Formal Methods Syst. Des. 29(1): 33-78 (2006) - [j19]Håkan L. S. Younes, Marta Z. Kwiatkowska, Gethin Norman, David Parker:
Numerical vs. statistical probabilistic model checking. Int. J. Softw. Tools Technol. Transf. 8(3): 216-228 (2006) - [j18]Marie Duflot, Marta Z. Kwiatkowska, Gethin Norman, David Parker:
A formal analysis of bluetooth device discovery. Int. J. Softw. Tools Technol. Transf. 8(6): 621-632 (2006) - [c64]Xu Wang, Marta Z. Kwiatkowska:
On process-algebraic verification of asynchronous circuits. ACSD 2006: 37-46 - [c63]Marta Z. Kwiatkowska, Gethin Norman, David Parker:
Symmetry Reduction for Probabilistic Model Checking. CAV 2006: 234-248 - [c62]John Heath, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Oksana Tymchyshyn:
Probabilistic Model Checking of Complex Biological Pathways. CMSB 2006: 32-47 - [c61]Marcus Größer, Gethin Norman, Christel Baier, Frank Ciesinski, Marta Z. Kwiatkowska, David Parker:
On Reduction Criteria for Probabilistic Reward Models. FSTTCS 2006: 309-320 - [c60]Marta Z. Kwiatkowska, Gethin Norman, David Parker:
Game-based Abstraction for Markov Decision Processes. QEST 2006: 157-166 - [c59]Andrew Hinton, Marta Z. Kwiatkowska, Gethin Norman, David Parker:
PRISM: A Tool for Automatic Verification of Probabilistic Systems. TACAS 2006: 441-444 - [c58]Marta Z. Kwiatkowska, Gethin Norman, David Parker, Oksana Tymchyshyn, John Heath, Eamonn A. Gaffney:
Simulation and verification for computational modelling of signalling pathways. WSC 2006: 1666-1674 - [c57]Herbert M. Sauro, David Harel, Marta Z. Kwiatkowska, Clifford A. Shaffer, Adelinde M. Uhrmacher, Michael Hucka, Pedro Mendes, Lena Strömbäck, John J. Tyson:
Challenges for modeling and simulation methods in systems biology. WSC 2006: 1720-1730 - [c56]Xu Wang, Marta Z. Kwiatkowska:
Compositional State Space Reduction Using Untangled Actions. EXPRESS 2006: 27-46 - 2005
- [j17]Zhenyu Liu, Marta Z. Kwiatkowska, Costas C. Constantinou:
A self-organised emergent routing mechanism for mobile ad hoc networks. Eur. Trans. Telecommun. 16(5): 457-470 (2005) - [j16]Stefano Cattani, Marta Z. Kwiatkowska:
A refinement-based process algebra for timed automata. Formal Aspects Comput. 17(2): 138-159 (2005) - [j15]Gethin Norman, David Parker, Marta Z. Kwiatkowska, Sandeep K. Shukla, Rajesh Gupta:
Using probabilistic model checking for dynamic power management. Formal Aspects Comput. 17(2): 160-176 (2005) - [j14]Marta Z. Kwiatkowska, Gethin Norman, David Parker:
Probabilistic model checking in practice: case studies with PRISM. SIGMETRICS Perform. Evaluation Rev. 32(4): 16-21 (2005) - [j13]Gethin Norman, David Parker, Marta Z. Kwiatkowska, Sandeep K. Shukla:
Evaluating the reliability of NAND multiplexing with PRISM. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 24(10): 1629-1637 (2005) - [c55]Zhenyu Liu, Marta Z. Kwiatkowska, Costas C. Constantinou:
A Biologically Inspired QoS Routing Algorithm for Mobile Ad Hoc Networks. AINA 2005: 426-431 - [c54]Fuzhi Wang, Marta Z. Kwiatkowska:
An MTBDD-Based Implementation of Forward Reachability for Probabilistic Timed Automata. ATVA 2005: 385-399 - [c53]Yi Zhang, David Parker, Marta Z. Kwiatkowska:
A Wavefront Parallelisation of CTMC Solution Using MTBDDs. DSN 2005: 732-741 - [c52]Sibusisiwe Chiyangwa, Marta Z. Kwiatkowska:
A Timing Analysis of AODV. FMOODS 2005: 306-321 - [c51]Stefano Cattani, Roberto Segala, Marta Z. Kwiatkowska, Gethin Norman:
Stochastic Transition Systems for Continuous State Spaces and Non-determinism. FoSSaCS 2005: 125-139 - [c50]Zhenyu Liu, Marta Z. Kwiatkowska, Costas C. Constantinou:
A Biologically Inspired Congestion Control Routing Algorithm for MANETs. PerCom Workshops 2005: 226-231 - [c49]Marta Z. Kwiatkowska, Gethin Norman, David Parker:
Quantitative Analysis With the Probabilistic Model Checker PRISM. QAPL 2005: 5-31 - [c48]Xu Wang, Marta Z. Kwiatkowska, Georgios Theodoropoulos, Qianyi Zhang:
Opportunities and Challenges in Process-algebraic Verification of Asynchronous Circuit Designs. FMGALS@MEMOCODE 2005: 189-206 - 2004
- [b1]Jan J. M. M. Rutten, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Prakash Panangaden:
Mathematical techniques for analyzing concurrent and probabilistic systems. CRM monograph series 23, American Mathematical Society 2004, ISBN 978-0-8218-3571-5, pp. I-VIII, 1-215 - [j12]Conrado Daws, Marta Z. Kwiatkowska, Gethin Norman:
Automatic verification of the IEEE 1394 root contention protocol with KRONOS and PRISM. Int. J. Softw. Tools Technol. Transf. 5(2-3): 221-236 (2004) - [j11]Marta Z. Kwiatkowska, Gethin Norman, David Parker:
Probabilistic symbolic model checking with PRISM: a hybrid approach. Int. J. Softw. Tools Technol. Transf. 6(2): 128-142 (2004) - [c47]Zhenyu Liu, Marta Z. Kwiatkowska, Costas C. Constantinou:
A swarm intelligence routing algorithm for MANETs. Communications, Internet, and Information Technology 2004: 484-489 - [c46]Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston, Fuzhi Wang:
Symbolic Model Checking for Probabilistic Timed Automata. FORMATS/FTRTFT 2004: 293-308 - [c45]Marie Duflot, Marta Z. Kwiatkowska, Gethin Norman, David Parker:
A Formal Analysis of Bluetooth Device Discovery. ISoLA (Preliminary proceedings) 2004: 268-275 - [c44]Marta Z. Kwiatkowska, David Parker, Yi Zhang, Rashid Mehmood:
Dual-Processor Parallelisation of Symbolic Probabilistic Model Checking. MASCOTS 2004: 123-130 - [c43]Marta Z. Kwiatkowska, Gethin Norman, David Parker:
PRISM 2.0: A Tool for Probabilistic Model Checking. QEST 2004: 322-323 - [c42]Håkan L. S. Younes, Marta Z. Kwiatkowska, Gethin Norman, David Parker:
Numerical vs. Statistical Probabilistic Model Checking: An Empirical Study. TACAS 2004: 46-60 - [c41]Gethin Norman, David Parker, Marta Z. Kwiatkowska, Sandeep K. Shukla:
Evaluating the Reliability of Defect-Tolerant Architectures for Nanotechnology with Probabilistic Model Checking. VLSI Design 2004: 907- - [c40]Xu Wang, Marta Z. Kwiatkowska, Georgios Theodoropoulos, Qianyi Zhang:
Towards a Unifying CSP approach to Hierarchical Verification of Asynchronous Hardware. AVoCS 2004: 231-246 - 2003
- [j10]Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston:
Probabilistic Model Checking of Deadline Properties in the IEEE 1394 FireWire Root Contention Protocol. Formal Aspects Comput. 14(3): 295-318 (2003) - [j9]Holger Hermanns, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Markus Siegle:
On the use of MTBDDs for performability analysis and verification of stochastic systems. J. Log. Algebraic Methods Program. 56(1-2): 23-67 (2003) - [c39]Marta Z. Kwiatkowska, Gethin Norman, David Parker, Jeremy Sproston:
Performance Analysis of Probabilistic Timed Automata Using Digital Clocks. FORMATS 2003: 105-120 - [c38]Marta Z. Kwiatkowska:
Model checking for probability and time: from theory to practice . LICS 2003: 351- - 2002
- [j8]Marta Z. Kwiatkowska, Gethin Norman, Roberto Segala, Jeremy Sproston:
Automatic verification of real-time systems with discrete probability distributions. Theor. Comput. Sci. 282(1): 101-150 (2002) - [c37]Marta Z. Kwiatkowska, Gethin Norman, David Parker:
PRISM: Probabilistic Symbolic Model Checker. Computer Performance Evaluation / TOOLS 2002: 200-204 - [c36]Marta Z. Kwiatkowska, Gethin Norman:
Verifying Randomized Byzantine Agreement. FORTE 2002: 194-209 - [c35]Gethin Norman, David Parker, Marta Z. Kwiatkowska, Sandeep K. Shukla, Rajesh K. Gupta:
Formal analysis and validation of continuous-time Markov chain based system level power management strategies. HLDVT 2002: 45-50 - [c34]Marta Z. Kwiatkowska, Rashid Mehmood:
Out-of-Core Solution of Large Linear Systems of Equations Arising from Stochastic Modelling. PAPM-PROBMIV 2002: 135-151 - [c33]Marta Z. Kwiatkowska, Gethin Norman, António Pacheco:
Model Checking CSL until Formulae with Random Time Bounds. PAPM-PROBMIV 2002: 152-168 - [c32]Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston:
Probabilistic Model Checking of the IEEE 802.11 Wireless Local Area Network Protocol. PAPM-PROBMIV 2002: 169-187 - [c31]Marta Z. Kwiatkowska, Gethin Norman, David Parker:
Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach. TACAS 2002: 52-66 - [c30]Conrado Daws, Marta Z. Kwiatkowska, Gethin Norman:
Automatic Verification of the IEEE-1394 Root Contention Protocol with KRONOS and PRISM. FMICS 2002: 104-119 - [c29]Marta Z. Kwiatkowska, Rashid Mehmood, Gethin Norman, David Parker:
A Symbolic Out-of-Core Solution Method for Markov Models. PDMC@CONCUR 2002: 589-604 - 2001
- [c28]Marta Z. Kwiatkowska, Gethin Norman, Roberto Segala:
Automated Verification of a Randomized Distributed Consensus Protocol Using Cadence SMV and PRISM. CAV 2001: 194-206 - [c27]Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston:
Symbolic Computation of Maximal Probabilistic Reachability. CONCUR 2001: 169-183 - [c26]Joost-Pieter Katoen, Marta Z. Kwiatkowska, Gethin Norman, David Parker:
Faster and Symbolic CTMC Model Checking. PAPM-PROBMIV 2001: 23-38 - 2000
- [j7]Christel Baier, Marta Z. Kwiatkowska:
On Topological Hierarchies of Temporal Properties. Fundam. Informaticae 41(3): 259-294 (2000) - [j6]Christel Baier, Marta Z. Kwiatkowska:
Domain equations for probabilistic processes. Math. Struct. Comput. Sci. 10(6): 665-717 (2000) - [c25]Marta Z. Kwiatkowska, Gethin Norman, Roberto Segala, Jeremy Sproston:
Verifying Quantitative Properties of Continuous Probabilistic Timed Automata. CONCUR 2000: 123-137 - [c24]Luca de Alfaro, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Roberto Segala:
Symbolic Model Checking of Probabilistic Processes Using MTBDDs and the Kronecker Representation. TACAS 2000: 395-410
1990 – 1999
- 1999
- [c23]Marta Z. Kwiatkowska, Gethin Norman, Roberto Segala, Jeremy Sproston:
Automatic Verification of Real-Time Systems with Discrete Probability Distributions. ARTS 1999: 75-95 - [e2]Christel Baier, Michael Huth, Marta Z. Kwiatkowska, Mark Ryan:
First International Workshop on Probabilistic Methods in Verification, PROBMIV 1998, Indianapolis, Indiana, USA, June 19-20, 1998. Electronic Notes in Theoretical Computer Science 22, Elsevier 1999 [contents] - 1998
- [j5]Christel Baier, Marta Z. Kwiatkowska:
Model Checking for a Probabilistic Branching Time Logic with Fairness. Distributed Comput. 11(3): 125-155 (1998) - [j4]Christel Baier, Marta Z. Kwiatkowska:
On the Verification of Qualitative Properties of Probabilistic Processes under Fairness Constraints. Inf. Process. Lett. 66(2): 71-79 (1998) - [c22]Michael Huth, Marta Z. Kwiatkowska:
Comparing CTL and PCTL on labeled Markov chains. PROCOMET 1998: 244-262 - [c21]Christel Baier, Michael Huth, Marta Z. Kwiatkowska, Mark Ryan:
Preface. PROBMIV 1998: 1-2 - [c20]Christel Baier, Marta Z. Kwiatkowska, Gethin Norman:
Computing Probability Bounds for Linear Time Formulas over Concurrent Probabilistic Systems. PROBMIV 1998: 29 - [c19]Marta Z. Kwiatkowska, Gethin Norman:
A Testing Equivalence for Reactive Probabilistic Processes. EXPRESS 1998: 114-132 - 1997
- [c18]Christel Baier, Edmund M. Clarke, Vasiliki Hartonas-Garmhausen, Marta Z. Kwiatkowska, Mark Ryan:
Symbolic Model Checking for Probabilistic Processes. ICALP 1997: 430-440 - [c17]Michael Huth, Marta Z. Kwiatkowska:
Quantitative Analysis and Model Checking. LICS 1997: 111-122 - [c16]Christel Baier, Marta Z. Kwiatkowska:
Automatic Verification of Liveness Properties of Randomized Systems. PODC 1997: 295 - [c15]Abbas Edalat, Achim Jung, Klaus Keimel, Marta Z. Kwiatkowska:
Preface. COMPROX 1997: 1 - [c14]Christel Baier, Marta Z. Kwiatkowska:
Domain equations for probabilistic processes. EXPRESS 1997: 34-54 - [c13]Marta Z. Kwiatkowska, Gethin Norman:
A Fully Abstract Metric-Space Denotational Semantics for Reactive Probabilistic Processes. COMPROX 1997: 182 - [e1]Abbas Edalat, Achim Jung, Klaus Keimel, Marta Z. Kwiatkowska:
Third Workshop on Computation and Approximation, COMPROX 1997, Birmingham, UK, September 11-13, 1997. Electronic Notes in Theoretical Computer Science 13, Elsevier 1997 [contents] - 1996
- [c12]Christel Baier, Marta Z. Kwiatkowska:
On topological hierarchies of temporal properties. Partial Order Methods in Verification 1996: 141-170 - [c11]Marta Z. Kwiatkowska, Gethin Norman:
Probabilistic Metric Semantics for a Simple Language with Recursion. MFCS 1996: 419-430 - 1995
- [j3]Simon Ambler, Marta Z. Kwiatkowska, Nicholas Measor:
Duality and the Completeness of the Modal mu-Calculus. Theor. Comput. Sci. 151(1): 3-27 (1995) - [c10]Marta Kwiatkowska, Iain C. C. Phillips:
Possible and Guaranteed Concurrency in CSP. STRICT 1995: 220-235 - 1994
- [c9]Marta Z. Kwiatkowska, Doron A. Peled, Wojciech Penczek:
A Hierarchy of Partial Order Temporal Properties. ICTL 1994: 398-414 - [c8]Chrysafis Hartonas, Marta Z. Kwiatkowska:
Synchronisation Trees and Fairness: A Case Study. Theory and Formal Methods 1994: 181-198 - 1993
- [c7]Simon Ambler, Marta Z. Kwiatkowska, Nicholas Measor:
On Duality for the Modal µ-Calculus. CSL 1993: 18-32 - [c6]Marta Z. Kwiatkowska:
Concurrency, Fairness and Logical Complexity. Theory and Formal Methods 1993: 195-208 - [c5]Marta Z. Kwiatkowska, Iain Phillips:
Concurrency and Conflict in CSP. Theory and Formal Methods 1993: 209-225 - 1992
- [c4]Marta Z. Kwiatkowska:
Infinite Behaviour and Fairness in Concurrent Constraint Programming. REX Workshop 1992: 348-383 - 1991
- [c3]Bard Bloom, Marta Z. Kwiatkowska:
Trade-Offs in True Concurrency: Pomsets and Mazurkiewicz Traces. MFPS 1991: 350-375 - [c2]Marta Z. Kwiatkowska:
On the Domain of Traces and Sequential Composition. TAPSOFT, Vol.1 1991: 42-56 - 1990
- [j2]Marta Z. Kwiatkowska:
A Metric for Traces. Inf. Process. Lett. 35(3): 129-135 (1990) - [c1]Marta Z. Kwiatkowska:
Defining Process Fairness for Non-Interleaving Concurrency. FSTTCS 1990: 286-300
1980 – 1989
- 1989
- [j1]Marta Z. Kwiatkowska:
Event Fairness and Non-interleaving Concurrency. Formal Aspects Comput. 1(3): 213-228 (1989)
Coauthor Index
[j91] [c234] [j88] [i73] [i69] [j86] [j85] [c217] [i64] [j83] [j78] [c210] [c207] [i54] [i53] [i50] [c206] [c204] [c202] [c201] [c199] [c196] [i45] [i41] [j74] [c195] [c192] [c188] [c186] [i40] [i39] [i38] [i35] [i30] [i29] [j68] [c180] [i26] [i22] [c168] [c167] [i18] [j61] [c158] [c156] [c151] [i17] [c144] [i13]
[j90] [c233] [c229] [i84] [i72] [i68] [j87] [c220] [c214] [c212] [i67] [i66] [i59] [i56] [j81] [i48] [c205] [c197] [i43] [i42] [c194] [c189] [i34] [c176] [i20] [j62] [c170] [j57] [i16] [c142] [c137] [j44] [j38] [j36] [c108] [c102] [c101] [c95] [c94] [j32] [c93] [c91] [c90] [c85] [i2] [j30] [j29] [c83] [c82] [c80] [c74] [j26] [j25] [j24] [c68] [j22] [c67] [j21] [j20] [j19] [j18] [c63] [c62] [c61] [c60] [c59] [c58] [j15] [j14] [j13] [c51] [c49] [b1] [j12] [j11] [c46] [c45] [c43] [c42] [c41] [j10] [j9] [c39] [j8] [c37] [c36] [c35] [c33] [c32] [c31] [c30] [c29] [c28] [c27] [c26] [c25] [c24] [c23] [c20] [c19] [c13] [c11]
[j90] [j89] [c233] [c229] [i86] [i84] [i83] [i72] [i68] [j87] [c220] [c214] [c212] [c211] [i67] [i66] [i61] [i59] [i56] [j81] [i48] [c205] [c197] [i43] [i42] [c194] [c189] [i34] [j66] [c176] [i20] [c170] [c148] [j55] [j48] [c138] [c137] [c128] [p4] [i10] [j46] [j44] [c127] [c119] [c117] [j38] [j36] [c115] [c108] [c106] [c105] [p2] [i6] [c103] [c102] [c101] [c100] [c99] [c98] [c95] [c94] [j32] [c93] [c91] [c86] [c85] [j30] [j29] [c83] [c80] [c74] [j26] [j25] [j24] [c68] [c67] [j20] [j19] [j18] [c63] [c62] [c61] [c60] [c59] [c58] [j15] [j14] [j13] [c53] [c49] [b1] [j11] [c45] [c44] [c43] [c42] [c41] [j9] [c39] [c37] [c35] [c31] [c29] [c26] [c24]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-02 22:32 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
