Marta Z. Kwiatkowska

233 papers A* 10A 18B 29C 4Misc 5Journal 67Unranked 89

Year	Rank	Type	Title / Venue / Authors
2020	—	`conf`	Gaussian Processes with Physiologically-Inspired Priors for Physical Arousal Recognition. EMBC Shadi Ghiasi, Andrea Patanè, Alberto Greco, Luca Laurenti, Enzo Pasquale Scilingo, Marta Z. Kwiatkowska
2019	B	`conf`	Safety Verification for Deep Neural Networks with Provable Guarantees (Invited Paper). CONCUR Marta Z. Kwiatkowska
2018	J	`jnl`	Compositional strategy synthesis for stochastic games with multiple objectives. Inf. Comput. Nicolas Basset, Marta Z. Kwiatkowska, Clemens Wiltsche
2017	—	`conf`	A Specification Theory of Real-Time Processes. Concurrency, Security, and Puzzles Chris Chilton, Marta Z. Kwiatkowska, Faron Moller, Xu Wang
2017	—	`conf`	Reachability Computation for Switching Diffusions: Finite Abstractions with Certifiable and Tuneable Precision. HSCC Luca Laurenti, Alessandro Abate, Luca Bortolussi, Luca Cardelli, Milan Ceska, Marta Z. Kwiatkowska
2017	—	`conf`	Syntax-Guided Optimal Synthesis for Chemical Reaction Networks. CAV (2) Luca Cardelli, Milan Ceska, Martin Fränzle, Marta Z. Kwiatkowska, Luca Laurenti, Nicola Paoletti, Max Whitby
2017	—	`ch.`	Synthesis and Verification of Self-aware Computing Systems. Self-Aware Computing Systems 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
2016	J	`jnl`	Expected Reachability-Time Games. CoRR Vojtech Forejt, Marta Z. Kwiatkowska, Gethin Norman, Ashutosh Trivedi
2016	A*	`conf`	Model Checking and Strategy Synthesis for Stochastic Games: From Theory to Practice. ICALP Marta Z. Kwiatkowska
2016	A	`conf`	PRISM-PSY: Precise GPU-Accelerated Parameter Synthesis for Stochastic Systems. TACAS Milan Ceska, Petr Pilar, Nicola Paoletti, Lubos Brim, Marta Z. Kwiatkowska
2016	J	`jnl`	Programming Discrete Distributions with Chemical Reaction Networks. CoRR Luca Cardelli, Marta Z. Kwiatkowska, Luca Laurenti
2016	—	`conf`	Specification revision for Markov decision processes with optimal trade-off. CDC Morteza Lahijanian, Marta Z. Kwiatkowska
2016	B	`conf`	Static Program Analysis for Identifying Energy Bugs in Graphics-Intensive Mobile Apps. MASCOTS Chang Hwan Peter Kim, Daniel Kroening, Marta Z. Kwiatkowska
2015	J	`jnl`	40th international colloquium on automata, languages and programming. Inf. Comput. Fedor V. Fomin, Marta Z. Kwiatkowska, David Peleg
2015	—	`conf`	Adaptive Aggregation of Markov Chains: Quantitative Analysis of Chemical Reaction Networks. CAV (1) Alessandro Abate, Lubos Brim, Milan Ceska, Marta Z. Kwiatkowska
2015	J	`jnl`	Computing Cumulative Rewards Using Fast Adaptive Uniformization. ACM Trans. Model. Comput. Simul. Frits Dannenberg, Ernst Moritz Hahn, Marta Z. Kwiatkowska
2015	J	`jnl`	DNA walker circuits: computational potential, design, and verification. Nat. Comput. Frits Dannenberg, Marta Z. Kwiatkowska, Chris Thachuk, Andrew J. Turberfield
2015	—	`conf`	Estimation and Verification of Hybrid Heart Models for Personalised Medical and Wearable Devices. CMSB Benoît Barbot, Marta Z. Kwiatkowska, Alexandru Mereacre, Nicola Paoletti
2015	—	`conf`	Hardware-in-the-loop simulation and energy optimization of cardiac pacemakers. EMBC Chris Barker, Marta Z. Kwiatkowska, Alexandru Mereacre, Nicola Paoletti, Andrea Patane
2015	B	`conf`	On Quantitative Modelling and Verification of DNA Walker Circuits Using Stochastic Petri Nets. Petri Nets Benoît Barbot, Marta Z. Kwiatkowska
2015	J	`jnl`	Permissive Controller Synthesis for Probabilistic Systems. Log. Methods Comput. Sci. Klaus Dräger, Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Mateusz Ujma
2015	J	`jnl`	Simulation-Based Verification of Cardiac Pacemakers With Guaranteed Coverage. IEEE Des. Test Zhenqi Huang, Chuchu Fan, Alexandru Mereacre, Sayan Mitra, Marta Z. Kwiatkowska
2015	—	`conf`	Stochastic Analysis of Chemical Reaction Networks Using Linear Noise Approximation. CMSB Luca Cardelli, Marta Z. Kwiatkowska, Luca Laurenti
2015	J	`jnl`	Stochastic Analysis of Chemical Reaction Networks Using Linear Noise Approximation. CoRR Luca Laurenti, Luca Cardelli, Marta Z. Kwiatkowska
2015	A	`conf`	Strategy Synthesis for Stochastic Games with Multiple Long-Run Objectives. TACAS Nicolas Basset, Marta Z. Kwiatkowska, Ufuk Topcu, Clemens Wiltsche
2015	—	`conf`	Symbolic Minimum Expected Time Controller Synthesis for Probabilistic Timed Automata. FORMATS Aleksandra Jovanovic, Marta Z. Kwiatkowska, Gethin Norman
2015	—	`conf`	Synthesising Robust and Optimal Parameters for Cardiac Pacemakers Using Symbolic and Evolutionary Computation Techniques. HSB Marta Z. Kwiatkowska, Alexandru Mereacre, Nicola Paoletti, Andrea Patane
2014	—	`ed.`	5th Workshop on Medical Cyber-Physical Systems, MCPS 2014, Berlin, Germany, April 14, 2014 MCPS Volker Turau, Marta Z. Kwiatkowska, Rahul Mangharam, Christoph Weyer
2014	J	`jnl`	An algebraic theory of interface automata. Theor. Comput. Sci. Chris Chilton, Bengt Jonsson, Marta Z. Kwiatkowska
2014	—	`conf`	Automated Verification of Quantitative Properties of Cardiac Pacemaker Software. MCPS Marta Z. Kwiatkowska, Alexandru Mereacre
2014	B	`conf`	Compositional Controller Synthesis for Stochastic Games. CONCUR Nicolas Basset, Marta Z. Kwiatkowska, Clemens Wiltsche
2014	J	`jnl`	Compositional assume-guarantee reasoning for input/output component theories. Sci. Comput. Program. Chris Chilton, Bengt Jonsson, Marta Z. Kwiatkowska
2014	—	`conf`	Formal Modelling and Validation of Rate-Adaptive Pacemakers. ICHI Marta Z. Kwiatkowska, Harriet Lea-Banks, Alexandru Mereacre, Nicola Paoletti
2014	A*	`conf`	Invariant Verification of Nonlinear Hybrid Automata Networks of Cardiac Cells. CAV Zhenqi Huang, Chuchu Fan, Alexandru Mereacre, Sayan Mitra, Marta Z. Kwiatkowska
2014	J	`jnl`	Local abstraction refinement for probabilistic timed programs. Theor. Comput. Sci. Klaus Dräger, Marta Z. Kwiatkowska, David Parker, Hongyang Qu
2014	—	`ch.`	On Incremental Quantitative Verification for Probabilistic Systems. HOWARD-60 Marta Z. Kwiatkowska, David Parker, Hongyang Qu, Mateusz Ujma
2014	—	`conf`	On Quantitative Software Quality Assurance Methodologies for Cardiac Pacemakers. ISoLA (2) Marta Z. Kwiatkowska, Alexandru Mereacre, Nicola Paoletti
2014	—	`conf`	Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions. RP Aleksandra Jovanovic, Marta Z. Kwiatkowska
2014	A	`conf`	Permissive Controller Synthesis for Probabilistic Systems. TACAS Klaus Dräger, Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Mateusz Ujma
2014	—	`conf`	Precise Parameter Synthesis for Stochastic Biochemical Systems. CMSB Milan Ceska, Frits Dannenberg, Marta Z. Kwiatkowska, Nicola Paoletti
2014	—	`ch.`	Probabilistic Model Checking for Biology. Software Systems Safety Marta Z. Kwiatkowska, Chris Thachuk
2014	—	`conf`	Probabilistic Model Checking of Labelled Markov Processes via Finite Approximate Bisimulations. Horizons of the Mind Alessandro Abate, Marta Z. Kwiatkowska, Gethin Norman, David Parker
2014	J	`jnl`	Quantitative verification of implantable cardiac pacemakers over hybrid heart models. Inf. Comput. Taolue Chen, Marco Diciolla, Marta Z. Kwiatkowska, Alexandru Mereacre
2014	Misc	`conf`	Synthesising optimal timing delays for Timed I/O Automata. EMSOFT Marco Diciolla, Chang Hwan Peter Kim, Marta Z. Kwiatkowska, Alexandru Mereacre
2014	B	`conf`	Verification of Markov Decision Processes Using Learning Algorithms. ATVA Tomás Brázdil, Krishnendu Chatterjee, Martin Chmelik, Vojtech Forejt, Jan Kretínský, Marta Z. Kwiatkowska, David Parker, Mateusz Ujma
2014	J	`jnl`	Verification of Markov Decision Processes using Learning Algorithms. CoRR Tomás Brázdil, Krishnendu Chatterjee, Martin Chmelik, Vojtech Forejt, Jan Kretínský, Marta Z. Kwiatkowska, David Parker, Mateusz Ujma
2013	A	`conf`	A process algebraic framework for estimating the energy consumption in ad-hoc wireless sensor networks. MSWiM Lucia Gallina, Andrea Marin, Sabina Rossi, Tingting Han, Marta Z. Kwiatkowska
2013	—	`conf`	A simulink hybrid heart model for quantitative verification of cardiac pacemakers. HSCC Taolue Chen, Marco Diciolla, Marta Z. Kwiatkowska, Alexandru Mereacre
2013	C	`conf`	Advances in Quantitative Verification for Ubiquitous Computing. ICTAC Marta Z. Kwiatkowska
2013	—	`ed.`	Automata, Languages, and Programming - 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part I ICALP (1) Fedor V. Fomin, Rusins Freivalds, Marta Z. Kwiatkowska, David Peleg
2013	—	`ed.`	Automata, Languages, and Programming - 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II ICALP (2) Fedor V. Fomin, Rusins Freivalds, Marta Z. Kwiatkowska, David Peleg
2013	B	`conf`	Automated Verification and Strategy Synthesis for Probabilistic Systems. ATVA Marta Z. Kwiatkowska, David Parker
2013	J	`jnl`	Automatic verification of competitive stochastic systems. Formal Methods Syst. Des. Taolue Chen, Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Aistis Simaitis
2013	J	`jnl`	Compositional probabilistic verification through multi-objective model checking. Inf. Comput. Marta Z. Kwiatkowska, Gethin Norman, David Parker, Hongyang Qu
2013	—	`conf`	Computing Cumulative Rewards Using Fast Adaptive Uniformisation. CMSB Frits Dannenberg, Ernst Moritz Hahn, Marta Z. Kwiatkowska
2013	B	`conf`	DNA Walker Circuits: Computational Potential, Design, and Verification. DNA Frits Dannenberg, Marta Z. Kwiatkowska, Chris Thachuk, Andrew J. Turberfield
2013	J	`jnl`	From software verification to 'everyware' verification. Comput. Sci. Res. Dev. Marta Z. Kwiatkowska
2013	—	`conf`	Modal Specifications for Probabilistic Timed Systems. QAPL Tingting Han, Christian Krause, Marta Z. Kwiatkowska, Holger Giese
2013	Misc	`conf`	Model Repair for Markov Decision Processes. TASE Taolue Chen, Ernst Moritz Hahn, Tingting Han, Marta Z. Kwiatkowska, Hongyang Qu, Lijun Zhang
2013	B	`conf`	On Stochastic Games with Multiple Objectives. MFCS Taolue Chen, Vojtech Forejt, Marta Z. Kwiatkowska, Aistis Simaitis, Clemens Wiltsche
2013	J	`jnl`	On the complexity of model checking interval-valued discrete time Markov chains. Inf. Process. Lett. Taolue Chen, Tingting Han, Marta Z. Kwiatkowska
2013	A	`conf`	PRISM-games: A Model Checker for Stochastic Multi-Player Games. TACAS Taolue Chen, Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Aistis Simaitis
2013	J	`jnl`	Preface to the special issue on Probabilistic Model Checking. Formal Methods Syst. Des. Christel Baier, Marta Z. Kwiatkowska
2013	J	`jnl`	Revisiting Timed Specification Theory II : Realisability CoRR Chris Chilton, Marta Z. Kwiatkowska, Xu Wang
2013	—	`conf`	Strategic Analysis of Trust Models for User-Centric Networks SR Marta Z. Kwiatkowska, David Parker, Aistis Simaitis
2013	—	`conf`	Synthesis for Multi-objective Stochastic Games: An Application to Autonomous Urban Driving. QEST Taolue Chen, Marta Z. Kwiatkowska, Aistis Simaitis, Clemens Wiltsche
2013	J	`jnl`	Verification of linear duration properties over continuous-time markov chains. ACM Trans. Comput. Log. Taolue Chen, Marco Diciolla, Marta Z. Kwiatkowska, Alexandru Mereacre
2012	J	`jnl`	2011 CAV award announcement. Formal Methods Syst. Des. Moshe Y. Vardi, Thomas A. Henzinger, Rajeev Alur, Marta Z. Kwiatkowska
2012	A	`conf`	A Compositional Specification Theory for Component Behaviours. ESOP Taolue Chen, Chris Chilton, Bengt Jonsson, Marta Z. Kwiatkowska
2012	—	`ch.`	Advances in Probabilistic Model Checking. Software Safety and Security Marta Z. Kwiatkowska, David Parker
2012	—	`conf`	Assume-Guarantee Reasoning for Safe Component Behaviours. FACS Chris Chilton, Bengt Jonsson, Marta Z. Kwiatkowska
2012	A	`conf`	Automatic Verification of Competitive Stochastic Systems. TACAS Taolue Chen, Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Aistis Simaitis
2012	—	`conf`	Automatic energy-aware performance analysis of Mobile Ad-Hoc Networks. Wireless Days Lucia Gallina, Tingting Han, Marta Z. Kwiatkowska, Andrea Marin, Sabina Rossi, Alvise Spanò
2012	J	`jnl`	Evaluation of Sustained Stochastic Oscillations by Means of a System of Differential Equations. Int. J. Comput. Their Appl. Jorge Júlvez, Marta Z. Kwiatkowska, Gethin Norman, David Parker
2012	B	`conf`	Incremental Runtime Verification of Probabilistic Systems. RV Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Hongyang Qu, Mateusz Ujma
2012	J	`jnl`	Large-scale complex IT systems. Commun. ACM Ian Sommerville, Dave Cliff, Radu Calinescu, Justin Keen, Tim Kelly, Marta Z. Kwiatkowska, John A. McDermid, Richard F. Paige
2012	J	`jnl`	Optimizing ZigBee Security using Stochastic Model Checking CoRR Ender Yüksel, Hanne Riis Nielson, Flemming Nielson, Matthias Fruth, Marta Z. Kwiatkowska
2012	J	`jnl`	Pareto Curves for Probabilistic Model Checking CoRR Vojtech Forejt, Marta Z. Kwiatkowska, David Parker
2012	B	`conf`	Pareto Curves for Probabilistic Model Checking. ATVA Vojtech Forejt, Marta Z. Kwiatkowska, David Parker
2012	B	`conf`	Playing Stochastic Games Precisely. CONCUR Taolue Chen, Vojtech Forejt, Marta Z. Kwiatkowska, Aistis Simaitis, Ashutosh Trivedi, Michael Ummels
2012	J	`jnl`	Probabilistic verification of Herman's self-stabilisation algorithm. Formal Aspects Comput. Marta Z. Kwiatkowska, Gethin Norman, David Parker
2012	A	`conf`	Quantitative Verification of Implantable Cardiac Pacemakers. RTSS Taolue Chen, Marco Diciolla, Marta Z. Kwiatkowska, Alexandru Mereacre
2012	J	`jnl`	Revisiting Timed Specification Theories: A Linear-Time Perspective CoRR Chris Chilton, Marta Z. Kwiatkowska, Xu Wang
2012	—	`conf`	Revisiting Timed Specification Theories: A Linear-Time Perspective. FORMATS Chris Chilton, Marta Z. Kwiatkowska, Xu Wang
2012	J	`jnl`	Self-adaptive software needs quantitative verification at runtime. Commun. ACM Radu Calinescu, Carlo Ghezzi, Marta Z. Kwiatkowska, Raffaela Mirandola
2012	—	`conf`	The PRISM Benchmark Suite. QEST Marta Z. Kwiatkowska, Gethin Norman, David Parker
2012	—	`conf`	Towards Communication-Based Steering of Complex Distributed Systems. Monterey Workshop Klaus Dräger, Marta Z. Kwiatkowska
2012	—	`conf`	Verification of linear duration properties over continuous-time markov chains. HSCC Taolue Chen, Marco Diciolla, Marta Z. Kwiatkowska, Alexandru Mereacre
2011	—	`conf`	A Systematic Approach to Evaluate Sustained Stochastic Oscillations. BICoB Jorge Júlvez, Marta Z. Kwiatkowska, Gethin Norman, David Parker
2011	B	`conf`	Automated Learning of Probabilistic Assumptions for Compositional Reasoning. FASE Lu Feng, Marta Z. Kwiatkowska, David Parker
2011	—	`conf`	Automated Verification Techniques for Probabilistic Systems. SFM Vojtech Forejt, Marta Z. Kwiatkowska, Gethin Norman, David Parker
2011	J	`jnl`	Dynamic QoS Management and Optimization in Service-Based Systems. IEEE Trans. Software Eng. Radu Calinescu, Lars Grunske, Marta Z. Kwiatkowska, Raffaela Mirandola, Giordano Tamburrelli
2011	A	`conf`	Incremental quantitative verification for Markov decision processes. DSN Marta Z. Kwiatkowska, David Parker, Hongyang Qu
2011	J	`jnl`	Large-scale Complex IT Systems CoRR Ian Sommerville, Dave Cliff, Radu Calinescu, Justin Keen, Tim Kelly, Marta Z. Kwiatkowska, John A. McDermid, Richard F. Paige
2011	B	`conf`	Learning-Based Compositional Verification for Synchronous Probabilistic Systems. ATVA Lu Feng, Tingting Han, Marta Z. Kwiatkowska, David Parker
2011	J	`jnl`	Metamodel-driven SOA for collaborative e-science application. Comput. Syst. Sci. Eng. Tianyi Zang, Radu Calinescu, Marta Z. Kwiatkowska
2011	J	`jnl`	On software verification for sensor nodes. J. Syst. Softw. Doina Bucur, Marta Z. Kwiatkowska
2011	A*	`conf`	PRISM 4.0: Verification of Probabilistic Real-Time Systems. CAV Marta Z. Kwiatkowska, Gethin Norman, David Parker
2011	—	`conf`	Partial Order Reduction for Model Checking Markov Decision Processes under Unconditional Fairness. QEST Henri Hansen, Marta Z. Kwiatkowska, Hongyang Qu
2011	A	`conf`	Quantitative Multi-objective Verification for Probabilistic Systems. TACAS Vojtech Forejt, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Hongyang Qu
2011	—	`conf`	Time-Bounded Verification of CTMCs against Real-Time Specifications. FORMATS Taolue Chen, Marco Diciolla, Marta Z. Kwiatkowska, Alexandru Mereacre
2011	—	`conf`	Verifying Team Formation Protocols with Probabilistic Model Checking. CLIMA Taolue Chen, Marta Z. Kwiatkowska, David Parker, Aistis Simaitis
2010	—	`conf`	10051 Abstracts Collection - Quantitative and Qualitative Analysis of Network Protocols. Quantitative and Qualitative Analysis of Network Protocols Bengt Jonsson, Jörg Kreiker, Marta Z. Kwiatkowska
2010	—	`conf`	10051 Executive Summary - Quantitative and Qualitative Analysis of Network Protocols. Quantitative and Qualitative Analysis of Network Protocols Bengt Jonsson, Jörg Kreiker, Marta Z. Kwiatkowska
2010	B	`ed.`	15th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2010, Oxford, United Kingdom, 22-26 March 2010 ICECCS Radu Calinescu, Richard F. Paige, Marta Z. Kwiatkowska
2010	—	`conf`	A Framework for Verification of Software with Time and Probabilities. FORMATS Marta Z. Kwiatkowska, Gethin Norman, David Parker
2010	J	`jnl`	A biologically inspired QoS routing algorithm for mobile ad hoc networks. Int. J. Wirel. Mob. Comput. Zhenyu Liu, Marta Z. Kwiatkowska, Costas C. Constantinou
2010	J	`jnl`	A game-based abstraction-refinement framework for Markov decision processes. Formal Methods Syst. Des. Mark Kattenbelt, Marta Z. Kwiatkowska, Gethin Norman, David Parker
2010	A	`conf`	Assume-Guarantee Verification for Probabilistic Systems. TACAS Marta Z. Kwiatkowska, Gethin Norman, David Parker, Hongyang Qu
2010	—	`conf`	Compositional Verification of Probabilistic Systems Using Learning. QEST Lu Feng, Marta Z. Kwiatkowska, David Parker
2010	—	`conf`	Dependability Analysis and Verification for Connected Systems. ISoLA (2) Felicita Di Giandomenico, Marta Z. Kwiatkowska, Marco Martinucci, Paolo Masci, Hongyang Qu
2010	—	`conf`	Expected Reachability-Time Games. FORMATS Vojtech Forejt, Marta Z. Kwiatkowska, Gethin Norman, Ashutosh Trivedi
2010	A	`conf`	Parallel Model Checking for Temporal Epistemic Logic. ECAI Marta Z. Kwiatkowska, Alessio Lomuscio, Hongyang Qu
2010	J	`jnl`	Quantitative Games on Probabilistic Timed Automata CoRR Marta Z. Kwiatkowska, Gethin Norman, Ashutosh Trivedi
2010	—	`ed.`	Quantitative and Qualitative Analysis of Network Protocols, 31.01. - 05.02.2010 Quantitative and Qualitative Analysis of Network Protocols Bengt Jonsson, Jörg Kreiker, Marta Z. Kwiatkowska
2010	—	`conf`	Software verification for TinyOS. IPSN Doina Bucur, Marta Z. Kwiatkowska
2010	—	`conf`	Towards a Connector Algebra. ISoLA (2) Marco Autili, Chris Chilton, Paola Inverardi, Marta Z. Kwiatkowska, Massimo Tivoli
2009	B	`conf`	Abstraction Refinement for Probabilistic Software. VMCAI Mark Kattenbelt, Marta Z. Kwiatkowska, Gethin Norman, David Parker
2009	—	`conf`	Bug-Free Sensors: The Automatic Verification of Context-Aware TinyOS Applications. AmI Doina Bucur, Marta Z. Kwiatkowska
2009	B	`conf`	CADS: Computer-Aided Development of Self- Systems. FASE Radu Calinescu, Marta Z. Kwiatkowska
2009	B	`conf`	CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems. ICECCS 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
2009	B	`conf`	Concavely-Priced Probabilistic Timed Automata. CONCUR Marcin Jurdzinski, Marta Z. Kwiatkowska, Gethin Norman, Ashutosh Trivedi
2009	B	`conf`	Establishing a Framework for Dynamic Risk Management in 'Intelligent' Aero-Engine Control. SAFECOMP Zeshan Kurd, Tim Kelly, John A. McDermid, Radu Calinescu, Marta Z. Kwiatkowska
2009	J	`jnl`	Guest Editors' Introduction to the Special Issue on Quantitative Evaluation of Computer Systems. IEEE Trans. Software Eng. Jane Hillston, Marta Z. Kwiatkowska, Miklós Telek
2009	—	`conf`	On Quantitative Software Verification. SPIN Marta Z. Kwiatkowska
2009	J	`jnl`	PRISM: probabilistic model checking for performance and reliability analysis. SIGMETRICS Perform. Evaluation Rev. Marta Z. Kwiatkowska, Gethin Norman, David Parker
2009	J	`jnl`	Probabilistic Mobile Ambients. Theor. Comput. Sci. Marta Z. Kwiatkowska, Gethin Norman, David Parker, Maria Grazia Vigliotti
2009	—	`conf`	Reo2MC: a tool chain for performance analysis of coordination models. ESEC/SIGSOFT FSE Farhad Arbab, Sun Meng, Young-Joo Moon, Marta Z. Kwiatkowska, Hongyang Qu
2009	—	`conf`	Stochastic Games for Verification of Probabilistic Timed Automata. FORMATS Marta Z. Kwiatkowska, Gethin Norman, David Parker
2009	A*	`conf`	Using quantitative analysis to implement autonomic IT systems. ICSE Radu Calinescu, Marta Z. Kwiatkowska
2008	C	`conf`	A Biologically Inspired Energy-Aware Routing Algorithm for Communications in Cyberworlds. CW Zhenyu Liu, Wen Gao, Marta Z. Kwiatkowska
2008	J	`jnl`	Analysis of a gossip protocol in PRISM. SIGMETRICS Perform. Evaluation Rev. Marta Z. Kwiatkowska, Gethin Norman, David Parker
2008	—	`conf`	Combining Intra- and Inter-cellular Dynamics to Investigate Intestinal Homeostasis. FMSB Oksana Tymchyshyn, Marta Z. Kwiatkowska
2008	—	`conf`	Game-Based Probabilistic Predicate Abstraction in PRISM. QAPL Mark Kattenbelt, Marta Z. Kwiatkowska, Gethin Norman, David Parker
2008	—	`conf`	Metamodel-Based Generation of WSRF-Compliant SOA for Collaborative Cancer Research. eScience Tianyi Zang, Radu Calinescu, Steve Harris, Andrew Tsui, Charles Crichton, Marta Z. Kwiatkowska, Jeremy Gibbons, Jim Davies, James D. Brenton, Carlos Caldas
2008	J	`jnl`	Multi-Objective Model Checking of Markov Decision Processes CoRR Kousha Etessami, Marta Z. Kwiatkowska, Moshe Y. Vardi, Mihalis Yannakakis
2008	J	`jnl`	Multi-Objective Model Checking of Markov Decision Processes. Log. Methods Comput. Sci. Kousha Etessami, Marta Z. Kwiatkowska, Moshe Y. Vardi, Mihalis Yannakakis
2008	J	`jnl`	Probabilistic model checking of complex biological pathways. Theor. Comput. Sci. John Heath, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Oksana Tymchyshyn
2008	—	`conf`	Software Engineering Techniques for the Development of Systems of Systems. Monterey Workshop Radu Calinescu, Marta Z. Kwiatkowska
2008	J	`jnl`	Using probabilistic model checking in systems biology. SIGMETRICS Perform. Evaluation Rev. Marta Z. Kwiatkowska, Gethin Norman, David Parker
2008	B	`conf`	WSRF-Based Modeling of Clinical Trial Information for Collaborative Cancer Research. CCGRID Tianyi Zang, Radu Calinescu, Steve Harris, Andrew Tsui, Marta Z. Kwiatkowska, Jeremy Gibbons, Jim Davies, Peter Maccallum, Carlos Caldas
2007	A	`conf`	Multi-objective Model Checking of Markov Decision Processes. TACAS Kousha Etessami, Marta Z. Kwiatkowska, Moshe Y. Vardi, Mihalis Yannakakis
2007	J	`jnl`	On Process-algebraic Verification of Asynchronous Circuits. Fundam. Informaticae Xu Wang, Marta Z. Kwiatkowska
2007	—	`conf`	Quantitative verification: models techniques and tools. ESEC/SIGSOFT FSE Marta Z. Kwiatkowska
2007	—	`conf`	Stochastic Model Checking. SFM Marta Z. Kwiatkowska, Gethin Norman, David Parker
2007	J	`jnl`	Symbolic model checking for probabilistic timed automata. Inf. Comput. Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston, Fuzhi Wang
2006	J	`jnl`	A formal analysis of bluetooth device discovery. Int. J. Softw. Tools Technol. Transf. Marie Duflot, Marta Z. Kwiatkowska, Gethin Norman, David Parker
2006	Misc	`conf`	Challenges for modeling and simulation methods in systems biology. WSC 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
2006	—	`conf`	Compositional State Space Reduction Using Untangled Actions. EXPRESS Xu Wang, Marta Z. Kwiatkowska
2006	—	`conf`	Game-based Abstraction for Markov Decision Processes. QEST Marta Z. Kwiatkowska, Gethin Norman, David Parker
2006	J	`jnl`	Model checking expected time and expected reward formulae with random time bounds. Comput. Math. Appl. Marta Z. Kwiatkowska, Gethin Norman, António Pacheco
2006	J	`jnl`	Numerical vs. statistical probabilistic model checking. Int. J. Softw. Tools Technol. Transf. Håkan L. S. Younes, Marta Z. Kwiatkowska, Gethin Norman, David Parker
2006	—	`conf`	On Reduction Criteria for Probabilistic Reward Models. FSTTCS Marcus Größer, Gethin Norman, Christel Baier, Frank Ciesinski, Marta Z. Kwiatkowska, David Parker
2006	—	`conf`	On process-algebraic verification of asynchronous circuits. ACSD Xu Wang, Marta Z. Kwiatkowska
2006	A	`conf`	PRISM: A Tool for Automatic Verification of Probabilistic Systems. TACAS Andrew Hinton, Marta Z. Kwiatkowska, Gethin Norman, David Parker
2006	J	`jnl`	Performance analysis of probabilistic timed automata using digital clocks. Formal Methods Syst. Des. Marta Z. Kwiatkowska, Gethin Norman, David Parker, Jeremy Sproston
2006	—	`conf`	Probabilistic Model Checking of Complex Biological Pathways. CMSB John Heath, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Oksana Tymchyshyn
2006	Misc	`conf`	Simulation and verification for computational modelling of signalling pathways. WSC Marta Z. Kwiatkowska, Gethin Norman, David Parker, Oksana Tymchyshyn, John Heath, Eamonn A. Gaffney
2006	A*	`conf`	Symmetry Reduction for Probabilistic Model Checking. CAV Marta Z. Kwiatkowska, Gethin Norman, David Parker
2005	—	`conf`	A Biologically Inspired Congestion Control Routing Algorithm for MANETs. PerCom Workshops Zhenyu Liu, Marta Z. Kwiatkowska, Costas C. Constantinou
2005	B	`conf`	A Biologically Inspired QoS Routing Algorithm for Mobile Ad Hoc Networks. AINA Zhenyu Liu, Marta Z. Kwiatkowska, Costas C. Constantinou
2005	—	`conf`	A Timing Analysis of AODV. FMOODS Sibusisiwe Chiyangwa, Marta Z. Kwiatkowska
2005	A	`conf`	A Wavefront Parallelisation of CTMC Solution Using MTBDDs. DSN Yi Zhang, David Parker, Marta Z. Kwiatkowska
2005	J	`jnl`	A refinement-based process algebra for timed automata. Formal Aspects Comput. Stefano Cattani, Marta Z. Kwiatkowska
2005	J	`jnl`	A self-organised emergent routing mechanism for mobile ad hoc networks. Eur. Trans. Telecommun. Zhenyu Liu, Marta Z. Kwiatkowska, Costas C. Constantinou
2005	B	`conf`	An MTBDD-Based Implementation of Forward Reachability for Probabilistic Timed Automata. ATVA Fuzhi Wang, Marta Z. Kwiatkowska
2005	J	`jnl`	Evaluating the reliability of NAND multiplexing with PRISM. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Gethin Norman, David Parker, Marta Z. Kwiatkowska, Sandeep K. Shukla
2005	—	`conf`	Opportunities and Challenges in Process-algebraic Verification of Asynchronous Circuit Designs. FMGALS@MEMOCODE Xu Wang, Marta Z. Kwiatkowska, Georgios Theodoropoulos, Qianyi Zhang
2005	J	`jnl`	Probabilistic model checking in practice: case studies with PRISM. SIGMETRICS Perform. Evaluation Rev. Marta Z. Kwiatkowska, Gethin Norman, David Parker
2005	—	`conf`	Quantitative Analysis With the Probabilistic Model Checker PRISM. QAPL Marta Z. Kwiatkowska, Gethin Norman, David Parker
2005	B	`conf`	Stochastic Transition Systems for Continuous State Spaces and Non-determinism. FoSSaCS Stefano Cattani, Roberto Segala, Marta Z. Kwiatkowska, Gethin Norman
2005	J	`jnl`	Using probabilistic model checking for dynamic power management. Formal Aspects Comput. Gethin Norman, David Parker, Marta Z. Kwiatkowska, Sandeep K. Shukla, Rajesh Gupta
2004	—	`conf`	A Formal Analysis of Bluetooth Device Discovery. ISoLA (Preliminary proceedings) Marie Duflot, Marta Z. Kwiatkowska, Gethin Norman, David Parker
2004	—	`conf`	A swarm intelligence routing algorithm for MANETs. Communications, Internet, and Information Technology Zhenyu Liu, Marta Z. Kwiatkowska, Costas C. Constantinou
2004	J	`jnl`	Automatic verification of the IEEE 1394 root contention protocol with KRONOS and PRISM. Int. J. Softw. Tools Technol. Transf. Conrado Daws, Marta Z. Kwiatkowska, Gethin Norman
2004	B	`conf`	Dual-Processor Parallelisation of Symbolic Probabilistic Model Checking. MASCOTS Marta Z. Kwiatkowska, David Parker, Yi Zhang, Rashid Mehmood
2004	Misc	`conf`	Evaluating the Reliability of Defect-Tolerant Architectures for Nanotechnology with Probabilistic Model Checking. VLSI Design Gethin Norman, David Parker, Marta Z. Kwiatkowska, Sandeep K. Shukla
2004	—	`book`	Mathematical techniques for analyzing concurrent and probabilistic systems. Jan J. M. M. Rutten, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Prakash Panangaden
2004	A	`conf`	Numerical vs. Statistical Probabilistic Model Checking: An Empirical Study. TACAS Håkan L. S. Younes, Marta Z. Kwiatkowska, Gethin Norman, David Parker
2004	—	`conf`	PRISM 2.0: A Tool for Probabilistic Model Checking. QEST Marta Z. Kwiatkowska, Gethin Norman, David Parker
2004	J	`jnl`	Probabilistic symbolic model checking with PRISM: a hybrid approach. Int. J. Softw. Tools Technol. Transf. Marta Z. Kwiatkowska, Gethin Norman, David Parker
2004	—	`conf`	Symbolic Model Checking for Probabilistic Timed Automata. FORMATS/FTRTFT Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston, Fuzhi Wang
2004	—	`conf`	Towards a Unifying CSP approach to Hierarchical Verification of Asynchronous Hardware. AVoCS Xu Wang, Marta Z. Kwiatkowska, Georgios Theodoropoulos, Qianyi Zhang
2003	A*	`conf`	Model checking for probability and time: from theory to practice . LICS Marta Z. Kwiatkowska
2003	J	`jnl`	On the use of MTBDDs for performability analysis and verification of stochastic systems. J. Log. Algebraic Methods Program. Holger Hermanns, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Markus Siegle
2003	—	`conf`	Performance Analysis of Probabilistic Timed Automata Using Digital Clocks. FORMATS Marta Z. Kwiatkowska, Gethin Norman, David Parker, Jeremy Sproston
2003	J	`jnl`	Probabilistic Model Checking of Deadline Properties in the IEEE 1394 FireWire Root Contention Protocol. Formal Aspects Comput. Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston
2002	—	`conf`	A Symbolic Out-of-Core Solution Method for Markov Models. PDMC@CONCUR Marta Z. Kwiatkowska, Rashid Mehmood, Gethin Norman, David Parker
2002	C	`conf`	Automatic Verification of the IEEE-1394 Root Contention Protocol with KRONOS and PRISM. FMICS Conrado Daws, Marta Z. Kwiatkowska, Gethin Norman
2002	J	`jnl`	Automatic verification of real-time systems with discrete probability distributions. Theor. Comput. Sci. Marta Z. Kwiatkowska, Gethin Norman, Roberto Segala, Jeremy Sproston
2002	—	`conf`	Formal analysis and validation of continuous-time Markov chain based system level power management strategies. HLDVT Gethin Norman, David Parker, Marta Z. Kwiatkowska, Sandeep K. Shukla, Rajesh K. Gupta
2002	—	`conf`	Model Checking CSL until Formulae with Random Time Bounds. PAPM-PROBMIV Marta Z. Kwiatkowska, Gethin Norman, António Pacheco
2002	—	`conf`	Out-of-Core Solution of Large Linear Systems of Equations Arising from Stochastic Modelling. PAPM-PROBMIV Marta Z. Kwiatkowska, Rashid Mehmood
2002	—	`conf`	PRISM: Probabilistic Symbolic Model Checker. Computer Performance Evaluation / TOOLS Marta Z. Kwiatkowska, Gethin Norman, David Parker
2002	—	`conf`	Probabilistic Model Checking of the IEEE 802.11 Wireless Local Area Network Protocol. PAPM-PROBMIV Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston
2002	A	`conf`	Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach. TACAS Marta Z. Kwiatkowska, Gethin Norman, David Parker
2002	C	`conf`	Verifying Randomized Byzantine Agreement. FORTE Marta Z. Kwiatkowska, Gethin Norman
2001	A*	`conf`	Automated Verification of a Randomized Distributed Consensus Protocol Using Cadence SMV and PRISM. CAV Marta Z. Kwiatkowska, Gethin Norman, Roberto Segala
2001	—	`conf`	Faster and Symbolic CTMC Model Checking. PAPM-PROBMIV Joost-Pieter Katoen, Marta Z. Kwiatkowska, Gethin Norman, David Parker
2001	B	`conf`	Symbolic Computation of Maximal Probabilistic Reachability. CONCUR Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston
2000	J	`jnl`	Domain equations for probabilistic processes. Math. Struct. Comput. Sci. Christel Baier, Marta Z. Kwiatkowska
2000	J	`jnl`	On Topological Hierarchies of Temporal Properties. Fundam. Informaticae Christel Baier, Marta Z. Kwiatkowska
2000	A	`conf`	Symbolic Model Checking of Probabilistic Processes Using MTBDDs and the Kronecker Representation. TACAS Luca de Alfaro, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Roberto Segala
2000	B	`conf`	Verifying Quantitative Properties of Continuous Probabilistic Timed Automata. CONCUR Marta Z. Kwiatkowska, Gethin Norman, Roberto Segala, Jeremy Sproston
1999	—	`conf`	Automatic Verification of Real-Time Systems with Discrete Probability Distributions. ARTS Marta Z. Kwiatkowska, Gethin Norman, Roberto Segala, Jeremy Sproston
1999	—	`ed.`	First International Workshop on Probabilistic Methods in Verification, PROBMIV 1998, Indianapolis, Indiana, USA, June 19-20, 1998 PROBMIV Christel Baier, Michael Huth, Marta Z. Kwiatkowska, Mark Ryan
1998	—	`conf`	A Testing Equivalence for Reactive Probabilistic Processes. EXPRESS Marta Z. Kwiatkowska, Gethin Norman
1998	—	`conf`	Comparing CTL and PCTL on labeled Markov chains. PROCOMET Michael Huth, Marta Z. Kwiatkowska
1998	—	`conf`	Computing Probability Bounds for Linear Time Formulas over Concurrent Probabilistic Systems. PROBMIV Christel Baier, Marta Z. Kwiatkowska, Gethin Norman
1998	J	`jnl`	Model Checking for a Probabilistic Branching Time Logic with Fairness. Distributed Comput. Christel Baier, Marta Z. Kwiatkowska
1998	J	`jnl`	On the Verification of Qualitative Properties of Probabilistic Processes under Fairness Constraints. Inf. Process. Lett. Christel Baier, Marta Z. Kwiatkowska
1998	—	`conf`	Preface. PROBMIV Christel Baier, Michael Huth, Marta Z. Kwiatkowska, Mark Ryan
1997	—	`conf`	A Fully Abstract Metric-Space Denotational Semantics for Reactive Probabilistic Processes COMPROX Marta Z. Kwiatkowska, Gethin Norman
1997	A*	`conf`	Automatic Verification of Liveness Properties of Randomized Systems. PODC Christel Baier, Marta Z. Kwiatkowska
1997	—	`conf`	Domain equations for probabilistic processes. EXPRESS Christel Baier, Marta Z. Kwiatkowska
1997	—	`conf`	Preface. COMPROX Abbas Edalat, Achim Jung, Klaus Keimel, Marta Z. Kwiatkowska
1997	A*	`conf`	Quantitative Analysis and Model Checking. LICS Michael Huth, Marta Z. Kwiatkowska
1997	A*	`conf`	Symbolic Model Checking for Probabilistic Processes. ICALP Christel Baier, Edmund M. Clarke, Vasiliki Hartonas-Garmhausen, Marta Z. Kwiatkowska, Mark Ryan
1997	—	`ed.`	Third Workshop on Computation and Approximation, COMPROX 1997, Birmingham, UK, September 11-13, 1997 COMPROX Abbas Edalat, Achim Jung, Klaus Keimel, Marta Z. Kwiatkowska
1996	—	`conf`	On topological hierarchies of temporal properties. Partial Order Methods in Verification Christel Baier, Marta Z. Kwiatkowska
1996	B	`conf`	Probabilistic Metric Semantics for a Simple Language with Recursion. MFCS Marta Z. Kwiatkowska, Gethin Norman
1995	J	`jnl`	Duality and the Completeness of the Modal mu-Calculus. Theor. Comput. Sci. Simon Ambler, Marta Z. Kwiatkowska, Nicholas Measor
1994	—	`conf`	A Hierarchy of Partial Order Temporal Properties. ICTL Marta Z. Kwiatkowska, Doron A. Peled, Wojciech Penczek
1994	—	`conf`	Synchronisation Trees and Fairness: A Case Study. Theory and Formal Methods Chrysafis Hartonas, Marta Z. Kwiatkowska
1993	—	`conf`	Concurrency and Conflict in CSP. Theory and Formal Methods Marta Z. Kwiatkowska, Iain Phillips
1993	—	`conf`	Concurrency, Fairness and Logical Complexity. Theory and Formal Methods Marta Z. Kwiatkowska
1993	B	`conf`	On Duality for the Modal µ-Calculus. CSL Simon Ambler, Marta Z. Kwiatkowska, Nicholas Measor
1992	—	`conf`	Infinite Behaviour and Fairness in Concurrent Constraint Programming. REX Workshop Marta Z. Kwiatkowska
1991	—	`conf`	On the Domain of Traces and Sequential Composition. TAPSOFT, Vol.1 Marta Z. Kwiatkowska
1991	B	`conf`	Trade-Offs in True Concurrency: Pomsets and Mazurkiewicz Traces. MFPS Bard Bloom, Marta Z. Kwiatkowska
1990	J	`jnl`	A Metric for Traces. Inf. Process. Lett. Marta Z. Kwiatkowska
1990	—	`conf`	Defining Process Fairness for Non-Interleaving Concurrency. FSTTCS Marta Z. Kwiatkowska
1989	J	`jnl`	Event Fairness and Non-interleaving Concurrency. Formal Aspects Comput. Marta Z. Kwiatkowska