×

zbMATH — the first resource for mathematics

Kwiatkowska, Marta Z.

Compute Distance To:
Author ID: kwiatkowska.marta-z Recent zbMATH articles by "Kwiatkowska, Marta Z."
Published as: Kwiatkowska, Marta; Kwiatkowska, M.; Kwiatkowska, Marta Z.; Kwiatkowska, M. Z.; Kwiatkowska, Marta.
Documents Indexed: 137 Publications since 1985, including 6 Books
all top 5

Co-Authors

9 single-authored
44 Norman, Gethin
12 Baier, Christel
12 Chen, Taolue
12 Forejt, Vojtěch
9 Cardelli, Luca
9 Sproston, Jeremy
8 Laurenti, Luca
7 Abate, Alessandro
6 Mereacre, Alexandru
6 Simaitis, Aistis
6 Wang, Xu
5 Qu, Hongyang
5 Segala, Roberto
4 Basset, Nicolas
4 Češka, Milan
4 Chilton, Chris
4 Dannenberg, Frits
4 Diciolla, Marco
4 Jovanović, Aleksandra Ž.
4 Trivedi, Ashutosh
4 Wiltsche, Clemens
3 Barbot, Benoît
3 Bortolussi, Luca
3 Fomin, Fedor V.
3 Han, Tingting
3 Kattenbelt, Mark
3 Paoletti, Nicola
3 Peleg, David
3 Thachuk, Chris
3 Wang, Fuzhi
2 Ambler, Simon J.
2 Brim, Luboš
2 Cattani, Stefano
2 de Alfaro, Luca
2 Dräger, Klaus
2 Etessami, Kousha
2 Freivalds, Rūsiņš Mārtiņš
2 Huang, Xiaowei
2 Jonsson, Bengt
2 Lahijanian, Morteza
2 Measor, Nicholas
2 Mehmood, Rashid
2 Pacheco, António
2 Turberfield, Andrew J.
2 Tymchyshyn, Oksana
2 Ujma, Mateusz
2 Vardi, Moshe Y.
2 Yannakakis, Mihalis
1 Beunardeau, Marc
1 Brázdil, Tomáš
1 Cauchi, Nathalie
1 Chatterjee, Krishnendu
1 Chmelík, Martin
1 Ciesinski, Frank
1 Clarke, Edmund Melson jun.
1 Edalat, Abbas
1 Feng, Lu
1 Gaffney, Eamonn A.
1 Giese, Holger
1 Größer, Marcus
1 Gupta, Rajesh Kumar
1 Hahn, Ernst Moritz
1 Hartonas-Garmhausen, Vasiliki
1 Hartonas, Chrysafis
1 Heath, J. K.
1 Heath, John R.
1 Hermanns, Holger
1 Huth, Michael R. A.
1 Jojczyk, Kazimierz
1 Jung, Achim
1 Jurdziński, Marcin
1 Katoen, Joost-Pieter
1 Keimel, Klaus
1 Krause, Christian
1 Křetínský, Jan
1 Lomuscio, Alessio
1 Moller, Faron
1 Norman, G. J.
1 Olejnik, Maciej
1 Patanè, Andrea
1 Peled, Doron A.
1 Penczek, Wojciech
1 Peyras, Quentin
1 Ruan, Wenjie
1 Schields, Michael W.
1 Shukla, Sandeep Kumar
1 Siegle, Markus
1 Svoreňová, Mária
1 Theodoropoulos, Georgios K.
1 Thomas, Richard M.
1 Topcu, Ufuk
1 Ummels, Michael
1 Vigliotti, Maria Grazia
1 Whitby, Max
1 Wicker, Matthew
1 Yordanov, Boyan
1 Younes, Håkan L. S.

Publications by Year

Citations contained in zbMATH Open

100 Publications have been cited 643 times in 367 Documents Cited by Year
PRISM: Probabilistic symbolic model checker. Zbl 1047.68533
Kwiatkowska, Marta; Norman, Gethin; Parker, David
46
2002
Automatic verification of real-time systems with discrete probability distributions. Zbl 1050.68094
Kwiatkowska, Marta; Norman, Gethin; Segala, Roberto; Sproston, Jeremy
40
2002
Stochastic model checking. Zbl 1323.68379
Kwiatkowska, Marta; Norman, Gethin; Parker, David
29
2007
Performance analysis of probabilistic timed automata using digital clocks. Zbl 1105.68063
Kwiatkowska, Marta; Norman, Gethin; Parker, David; Sproston, Jeremy
23
2006
Probabilistic model checking of complex biological pathways. Zbl 1133.68043
Heath, John; Kwiatkowska, Marta; Norman, Gethin; Parker, David; Tymchyshyn, Oksana
21
2008
Quantitative multi-objective verification for probabilistic systems. Zbl 1315.68177
Forejt, Vojtěch; Kwiatkowska, Marta; Norman, Gethin; Parker, David; Qu, Hongyang
21
2011
Symbolic model checking for probabilistic timed automata. Zbl 1122.68075
Kwiatkowska, Marta; Norman, Gethin; Sproston, Jeremy; Wang, Fuzhi
19
2007
Symbolic model checking for probabilistic processes. Zbl 1401.68180
Baier, Christel; Clarke, Edmund M.; Hartonas-Garmhausen, Vasiliki; Kwiatkowska, Marta; Ryan, Mark
17
1997
Multi-objective model checking of Markov decision processes. Zbl 1161.68565
Etessami, Kousha; Kwiatkowska, Marta; Vardi, Moshe Y.; Yannakakis, Mihalis
15
2008
A metric for traces. Zbl 0697.68071
Kwiatkowska, Marta Z.
14
1990
A game-based abstraction-refinement framework for Markov decision processes. Zbl 1233.90276
Kattenbelt, Mark; Kwiatkowska, Marta; Norman, Gethin; Parker, David
14
2010
Symbolic model checking of probabilistic processes using MTBDDs and the Kronecker representation. Zbl 0960.68109
de Alfaro, Luca; Kwiatkowska, Marta; Norman, Gethin; Parker, David; Segala, Roberto
13
2000
Event fairness and non-interleaving concurrency. Zbl 0696.68092
Kwiatkowska, Marta Z.
13
1989
Symmetry reduction for probabilistic model checking. Zbl 1188.68194
Kwiatkowska, Marta; Norman, Gethin; Parker, David
13
2006
Stochastic games for verification of probabilistic timed automata. Zbl 1262.68125
Kwiatkowska, Marta; Norman, Gethin; Parker, David
12
2009
Assume-guarantee verification for probabilistic systems. Zbl 1284.68406
Kwiatkowska, Marta; Norman, Gethin; Parker, David; Qu, Hongyang
12
2010
Stochastic transition systems for continuous state spaces and non-determinism. Zbl 1118.68568
Cattani, Stefano; Segala, Roberto; Kwiatkowska, Marta; Norman, Gethin
11
2005
Probabilistic symbolic model checking with PRISM: A hybrid approach. Zbl 1043.68576
Kwiatkowska, Marta; Norman, Gethin; Parker, David
10
2002
Probabilistic model checking of the IEEE 802.11 wireless local area network protocol. Zbl 1065.68583
Kwiatkowska, Marta; Norman, Gethin; Sproston, Jeremy
10
2002
Abstraction refinement for probabilistic software. Zbl 1206.68090
Kattenbelt, Mark; Kwiatkowska, Marta; Norman, Gethin; Parker, David
10
2009
PRISM-games: a model checker for stochastic multi-player games. Zbl 1381.68151
Chen, Taolue; Forejt, Vojtěch; Kwiatkowska, Marta; Parker, David; Simaitis, Aistis
10
2013
Faster and symbolic CTMC model checking. Zbl 1007.68517
Katoen, Joost-Pieter; Kwiatkowska, Marta; Norman, Gethin; Parker, David
9
2001
A compositional specification theory for component behaviours. Zbl 1352.68149
Chen, Taolue; Chilton, Chris; Jonsson, Bengt; Kwiatkowska, Marta
8
2012
A testing equivalence for reactive probabilistic processes. Zbl 0917.68154
Kwiatkowska, M. Z.; Norman, G. J.
8
1998
On the verification of qualitative properties of probabilistic processes under fairness constraints. Zbl 1078.68664
Baier, Christel; Kwiatkowska, Marta
8
1998
Probabilistic model checking of deadline properties in the IEEE 1394 fireWire root contention protocol. Zbl 1029.68017
Kwiatkowska, Marta; Norman, Gethin; Sproston, Jeremy
8
2002
Automatic verification of competitive stochastic systems. Zbl 1291.68252
Chen, Taolue; Forejt, Vojtěch; Kwiatkowska, Marta; Parker, David; Simaitis, Aistis
7
2013
Verification of Markov decision processes using learning algorithms. Zbl 1448.68290
Brázdil, Tomáš; Chatterjee, Krishnendu; Chmelík, Martin; Forejt, Vojtěch; Křetínský, Jan; Kwiatkowska, Marta; Parker, David; Ujma, Mateusz
7
2014
Domain equations for probabilistic processes. Zbl 0911.68087
Baier, Christel; Kwiatkowska, Marta
7
1997
Domain equations for probabilistic processes. Zbl 0974.68136
Baier, Christel; Kwiatkowska, Marta
7
2000
Verifying quantitative properties of continuous probabilistic timed automata. Zbl 0999.68125
Kwiatkowska, Marta; Norman, Gethin; Segala, Roberto; Sproston, Jeremy
7
2000
Model checking expected time and expected reward formulae with random time bounds. Zbl 1104.68067
Kwiatkowska, M.; Norman, G.; Pacheco, A.
7
2006
Pareto curves for probabilistic model checking. Zbl 1374.68285
Forejt, Vojtěch; Kwiatkowska, Marta; Parker, David
7
2012
Duality and the completeness of the modal \(\mu\)-calculus. Zbl 0872.03010
Ambler, Simon; Kwiatkowska, Marta; Measor, Nicholas
6
1995
Compositional probabilistic verification through multi-objective model checking. Zbl 1277.68138
Kwiatkowska, Marta; Norman, Gethin; Parker, David; Qu, Hongyang
6
2013
Time-bounded verification of CTMCs against real-time specifications. Zbl 1348.68126
Chen, Taolue; Diciolla, Marco; Kwiatkowska, Marta; Mereacre, Alexandru
6
2011
Probabilistic verification of Herman’s self-stabilisation algorithm. Zbl 1259.68130
Kwiatkowska, Marta; Norman, Gethin; Parker, David
6
2012
Combining intra- and inter-cellular dynamics to investigate intestinal homeostasis. Zbl 1375.92015
Tymchyshyn, Oksana; Kwiatkowska, Marta
5
2008
DNA walker circuits: computational potential, design, and verification. Zbl 1409.68099
Dannenberg, Frits; Kwiatkowska, Marta; Thachuk, Chris; Turberfield, Andrew J.
5
2013
An algebraic theory of interface automata. Zbl 1360.68608
Chilton, Chris; Jonsson, Bengt; Kwiatkowska, Marta
5
2014
Symbolic model checking for probabilistic timed automata. Zbl 1109.68517
Kwiatkowska, Marta; Norman, Gethin; Sproston, Jeremy; Wang, Fuzhi
5
2004
Model checking CSL until formulae with random time bounds. Zbl 1065.68595
Kwiatkowska, Marta; Norman, Gethin; Pacheco, António
5
2002
Game-based probabilistic predicate abstraction in PRISM. Zbl 1286.68316
Kattenbelt, Mark; Kwiatkowska, Marta; Norman, Gethin; Parker, David
5
2008
Numerical vs. statistical probabilistic model checking: an empirical study. Zbl 1126.68490
Younes, Håkan L. S.; Kwiatkowska, Marta; Norman, Gethin; Parker, David
5
2004
On stochastic games with multiple objectives. Zbl 1400.91040
Chen, Taolue; Forejt, Vojtěch; Kwiatkowska, Marta; Simaitis, Aistis; Wiltsche, Clemens
5
2013
Concavely-priced probabilistic timed automata. Zbl 1254.68136
Jurdziński, Marcin; Kwiatkowska, Marta; Norman, Gethin; Trivedi, Ashutosh
5
2009
Automated verification and strategy synthesis for probabilistic systems. Zbl 1410.68233
Kwiatkowska, Marta; Parker, David
4
2013
Compositional controller synthesis for stochastic games. Zbl 1421.93053
Basset, Nicolas; Kwiatkowska, Marta; Wiltsche, Clemens
4
2014
Performance analysis of probabilistic timed automata using digital clocks. Zbl 1099.68534
Kwiatkowska, Marta; Norman, Gethin; Parker, David; Sproston, Jeremy
4
2004
Automated verification of a randomized distributed consensus protocol using cadence SMV and PRISM. Zbl 0991.68503
Kwiatkowska, Marta; Norman, Gethin; Segala, Roberto
4
2001
Using probabilistic model checking for dynamic power management. Zbl 1080.68601
Norman, Gethin; Parker, David; Kwiatkowska, Marta; Shukla, Sandeep; Gupta, Rajesh
4
2005
On the use of MTBDDs for performability analysis and verification of stochastic systems. Zbl 1054.68018
Hermanns, Holger; Kwiatkowska, Marta; Norman, Gethin; Parker, David; Siegle, Markus
4
2003
Multi-objective model checking of Markov decision processes. Zbl 1186.68286
Etessami, K.; Kwiatkowska, M.; Vardi, M. Y.; Yannakakis, M.
4
2007
Learning-based compositional verification for synchronous probabilistic systems. Zbl 1348.68135
Feng, Lu; Han, Tingting; Kwiatkowska, Marta; Parker, David
4
2011
Approximation of probabilistic reachability for chemical reaction networks using the linear noise approximation. Zbl 1381.92110
Bortolussi, Luca; Cardelli, Luca; Kwiatkowska, Marta; Laurenti, Luca
4
2016
A fully abstract metric-space denotational semantics for reactive probabilistic processes. Zbl 0917.68137
Kwiatkowska, Marta; Norman, Gethin
3
1997
Symbolic computation of maximal probabilistic reachability. Zbl 1006.68096
Kwiatkowska, Marta; Norman, Gethin; Sproston, Jeremy
3
2001
Verifying randomized Byzantine agreement. Zbl 1037.68508
Kwiatkowska, Marta; Norman, Gethin
3
2002
Model checking probabilistic systems. Zbl 1392.68227
Baier, Christel; de Alfaro, Luca; Forejt, Vojtěch; Kwiatkowska, Marta
3
2018
Precise parameter synthesis for stochastic biochemical systems. Zbl 1373.92038
Češka, Milan; Dannenberg, Frits; Paoletti, Nicola; Kwiatkowska, Marta; Brim, Luboš
3
2017
A symbolic out-of-core solution method for Markov models. Zbl 1270.68232
Kwiatkowska, Marta; Mehmood, Rashid; Norman, Gethin; Parker, David
3
2002
On reduction criteria for probabilistic reward models. Zbl 1177.68150
Größer, Marcus; Norman, Gethin; Baier, Christel; Ciesinski, Frank; Kwiatkowska, Marta; Parker, David
2
2006
Automatic verification of competitive stochastic systems. Zbl 1352.68150
Chen, Taolue; Forejt, Vojtěch; Kwiatkowska, Marta; Parker, David; Simaitis, Aistis
2
2012
Expected reachability-time games. Zbl 1339.68146
Forejt, Vojtěch; Kwiatkowska, Marta; Norman, Gethin; Trivedi, Ashutosh
2
2016
Symbolic optimal expected time reachability computation and controller synthesis for probabilistic timed automata. Zbl 1359.68171
Jovanović, Aleksandra; Kwiatkowska, Marta; Norman, Gethin; Peyras, Quentin
2
2017
Computing cumulative rewards using fast adaptive uniformization. Zbl 1369.65014
Dannenberg, Frits; Hahn, Ernst Moritz; Kwiatkowska, Marta
2
2015
On the domain of traces and sequential composition. Zbl 0967.68527
Kwiatkowska, Marta Z.
2
1991
On topological hierarchies of temporal properties. Zbl 0956.68027
Baier, Christel; Kwiatkowska, Marta
2
2000
Defining process fairness for non-interleaving concurrency. Zbl 0744.68048
Kwiatkowska, Marta Z.
2
1990
Synchronization trees and fairness: A case study. Zbl 0851.68068
Hartonas, Chrysafis; Kwiatkowska, Marta
2
1995
Probabilistic model checking of labelled Markov processes via finite approximate bisimulations. Zbl 1407.68275
Abate, Alessandro; Kwiatkowska, Marta; Norman, Gethin; Parker, David
2
2014
A game-based approximate verification of deep neural networks with provable guarantees. Zbl 1436.68199
Wu, Min; Wicker, Matthew; Ruan, Wenjie; Huang, Xiaowei; Kwiatkowska, Marta
2
2020
Towards a unifying CSP approach to hierarchical verification of asynchronous hardware. Zbl 1272.68278
Wang, X.; Kwiatkowska, M.; Theodoropoulos, G.; Zhang, Q.
2
2005
Parallel model checking for temporal epistemic logic. Zbl 1211.68406
Kwiatkowska, Marta; Lomuscio, Alessio; Qu, Hongyang
2
2010
Playing stochastic games precisely. Zbl 1364.91024
Chen, Taolue; Forejt, Vojtěch; Kwiatkowska, Marta; Simaitis, Aistis; Trivedi, Ashutosh; Ummels, Michael
2
2012
Expected reachability-time games. Zbl 1290.68073
Forejt, Vojtěch; Kwiatkowska, Marta; Norman, Gethin; Trivedi, Ashutosh
2
2010
Parameter synthesis for probabilistic timed automata using stochastic game abstractions. Zbl 1393.68095
Jovanović, Aleksandra; Kwiatkowska, Marta
2
2014
Programming discrete distributions with chemical reaction networks. Zbl 1451.68108
Cardelli, Luca; Kwiatkowska, Marta; Laurenti, Luca
2
2016
Quantitative verification of implantable cardiac pacemakers over hybrid heart models. Zbl 1311.92100
Chen, Taolue; Diciolla, Marco; Kwiatkowska, Marta; Mereacre, Alexandru
2
2014
On process-algebraic verification of asynchronous circuits. Zbl 1137.68456
Wang, Xu; Kwiatkowska, Marta
1
2007
Reachability computation for switching diffusions, finite abstractions with certifiable and tuneable precision. Zbl 1369.93728
Laurenti, Luca; Abate, Alessandro; Bortolussi, Luca; Cardelli, Luca; Ceska, Milan; Kwiatkowska, Marta
1
2017
A hierarchy of partial order temporal properties. Zbl 0949.68537
Kwiatkowska, M.; Peled, D.; Penczek, W.
1
1994
On duality for the modal \(\mu\)-calculus. Zbl 0953.03019
Ambler, S.; Kwiatkowska, M.; Measor, N.
1
1994
A refinement-based process algebra for timed automata. Zbl 1101.68694
Cattani, Stefano; Kwiatkowska, Marta
1
2005
On topological characterization of behavioural properties. Zbl 0744.54020
Kwiatkowska, Marta Z.
1
1991
Out-of-core solution of large linear systems of equations arising from stochastic modelling. Zbl 1065.68500
Kwiatkowska, Marta; Mehmood, Rashid
1
2002
On process-algebraic verification of asynchronous circuits. Zbl 1128.68070
Wang, Xu; Kwiatkowska, Marta
1
2007
Compositional strategy synthesis for stochastic games with multiple objectives. Zbl 1395.68265
Basset, N.; Kwiatkowska, M.; Wiltsche, C.
1
2018
Adaptive aggregation of Markov chains: quantitative analysis of chemical reaction networks. Zbl 1381.68140
Abate, Alessandro; Brim, Luboš; Češka, Milan; Kwiatkowska, Marta
1
2015
Synthesising robust and optimal parameters for cardiac pacemakers using symbolic and evolutionary computation techniques. Zbl 1412.92150
Kwiatkowska, Marta; Mereacre, Alexandru; Paoletti, Nicola; Patanè, Andrea
1
2015
Probabilistic mobile ambients. Zbl 1183.68400
Kwiatkowska, Marta; Norman, Gethin; Parker, David; Vigliotti, Maria Grazia
1
2009
Verifying team formation protocols with probabilistic model checking. Zbl 1348.68255
Chen, Taolue; Kwiatkowska, Marta; Parker, David; Simaitis, Aistis
1
2011
Revisiting timed specification theories: a linear-time perspective. Zbl 1374.68274
Chilton, Chris; Kwiatkowska, Marta; Wang, Xu
1
2012
Model checking and strategy synthesis for stochastic games: from theory to practice (invited talk). Zbl 1388.68186
Kwiatkowska, Marta Z.
1
2016
On the complexity of model checking interval-valued discrete time Markov chains. Zbl 1259.68150
Chen, Taolue; Han, Tingting; Kwiatkowska, Marta
1
2013
Permissive controller synthesis for probabilistic systems. Zbl 1391.68076
Dräger, Klaus; Forejt, Vojtěch; Kwiatkowska, Marta; Parker, David; Ujma, Mateusz
1
2015
A mass action model of a fibroblast growth factor signaling pathway and its simplification. Zbl 1169.92012
Gaffney, E. A.; Heath, J. K.; Kwiatkowska, M. Z.
1
2008
A framework for verification of software with time and probabilities. Zbl 1290.68035
Kwiatkowska, Marta; Norman, Gethin; Parker, David
1
2010
Quantitative verification and strategy synthesis for stochastic games. Zbl 1347.93240
Svoreňová, Mária; Kwiatkowska, Marta
1
2016
Chemical reaction network designs for asynchronous logic circuits. Zbl 1451.68109
Cardelli, Luca; Kwiatkowska, Marta; Whitby, Max
1
2016
A game-based approximate verification of deep neural networks with provable guarantees. Zbl 1436.68199
Wu, Min; Wicker, Matthew; Ruan, Wenjie; Huang, Xiaowei; Kwiatkowska, Marta
2
2020
Model checking probabilistic systems. Zbl 1392.68227
Baier, Christel; de Alfaro, Luca; Forejt, Vojtěch; Kwiatkowska, Marta
3
2018
Compositional strategy synthesis for stochastic games with multiple objectives. Zbl 1395.68265
Basset, N.; Kwiatkowska, M.; Wiltsche, C.
1
2018
Precise parameter synthesis for stochastic biochemical systems. Zbl 1373.92038
Češka, Milan; Dannenberg, Frits; Paoletti, Nicola; Kwiatkowska, Marta; Brim, Luboš
3
2017
Symbolic optimal expected time reachability computation and controller synthesis for probabilistic timed automata. Zbl 1359.68171
Jovanović, Aleksandra; Kwiatkowska, Marta; Norman, Gethin; Peyras, Quentin
2
2017
Reachability computation for switching diffusions, finite abstractions with certifiable and tuneable precision. Zbl 1369.93728
Laurenti, Luca; Abate, Alessandro; Bortolussi, Luca; Cardelli, Luca; Ceska, Milan; Kwiatkowska, Marta
1
2017
Approximation of probabilistic reachability for chemical reaction networks using the linear noise approximation. Zbl 1381.92110
Bortolussi, Luca; Cardelli, Luca; Kwiatkowska, Marta; Laurenti, Luca
4
2016
Expected reachability-time games. Zbl 1339.68146
Forejt, Vojtěch; Kwiatkowska, Marta; Norman, Gethin; Trivedi, Ashutosh
2
2016
Programming discrete distributions with chemical reaction networks. Zbl 1451.68108
Cardelli, Luca; Kwiatkowska, Marta; Laurenti, Luca
2
2016
Model checking and strategy synthesis for stochastic games: from theory to practice (invited talk). Zbl 1388.68186
Kwiatkowska, Marta Z.
1
2016
Quantitative verification and strategy synthesis for stochastic games. Zbl 1347.93240
Svoreňová, Mária; Kwiatkowska, Marta
1
2016
Chemical reaction network designs for asynchronous logic circuits. Zbl 1451.68109
Cardelli, Luca; Kwiatkowska, Marta; Whitby, Max
1
2016
Computing cumulative rewards using fast adaptive uniformization. Zbl 1369.65014
Dannenberg, Frits; Hahn, Ernst Moritz; Kwiatkowska, Marta
2
2015
Adaptive aggregation of Markov chains: quantitative analysis of chemical reaction networks. Zbl 1381.68140
Abate, Alessandro; Brim, Luboš; Češka, Milan; Kwiatkowska, Marta
1
2015
Synthesising robust and optimal parameters for cardiac pacemakers using symbolic and evolutionary computation techniques. Zbl 1412.92150
Kwiatkowska, Marta; Mereacre, Alexandru; Paoletti, Nicola; Patanè, Andrea
1
2015
Permissive controller synthesis for probabilistic systems. Zbl 1391.68076
Dräger, Klaus; Forejt, Vojtěch; Kwiatkowska, Marta; Parker, David; Ujma, Mateusz
1
2015
Verification of Markov decision processes using learning algorithms. Zbl 1448.68290
Brázdil, Tomáš; Chatterjee, Krishnendu; Chmelík, Martin; Forejt, Vojtěch; Křetínský, Jan; Kwiatkowska, Marta; Parker, David; Ujma, Mateusz
7
2014
An algebraic theory of interface automata. Zbl 1360.68608
Chilton, Chris; Jonsson, Bengt; Kwiatkowska, Marta
5
2014
Compositional controller synthesis for stochastic games. Zbl 1421.93053
Basset, Nicolas; Kwiatkowska, Marta; Wiltsche, Clemens
4
2014
Probabilistic model checking of labelled Markov processes via finite approximate bisimulations. Zbl 1407.68275
Abate, Alessandro; Kwiatkowska, Marta; Norman, Gethin; Parker, David
2
2014
Parameter synthesis for probabilistic timed automata using stochastic game abstractions. Zbl 1393.68095
Jovanović, Aleksandra; Kwiatkowska, Marta
2
2014
Quantitative verification of implantable cardiac pacemakers over hybrid heart models. Zbl 1311.92100
Chen, Taolue; Diciolla, Marco; Kwiatkowska, Marta; Mereacre, Alexandru
2
2014
PRISM-games: a model checker for stochastic multi-player games. Zbl 1381.68151
Chen, Taolue; Forejt, Vojtěch; Kwiatkowska, Marta; Parker, David; Simaitis, Aistis
10
2013
Automatic verification of competitive stochastic systems. Zbl 1291.68252
Chen, Taolue; Forejt, Vojtěch; Kwiatkowska, Marta; Parker, David; Simaitis, Aistis
7
2013
Compositional probabilistic verification through multi-objective model checking. Zbl 1277.68138
Kwiatkowska, Marta; Norman, Gethin; Parker, David; Qu, Hongyang
6
2013
DNA walker circuits: computational potential, design, and verification. Zbl 1409.68099
Dannenberg, Frits; Kwiatkowska, Marta; Thachuk, Chris; Turberfield, Andrew J.
5
2013
On stochastic games with multiple objectives. Zbl 1400.91040
Chen, Taolue; Forejt, Vojtěch; Kwiatkowska, Marta; Simaitis, Aistis; Wiltsche, Clemens
5
2013
Automated verification and strategy synthesis for probabilistic systems. Zbl 1410.68233
Kwiatkowska, Marta; Parker, David
4
2013
On the complexity of model checking interval-valued discrete time Markov chains. Zbl 1259.68150
Chen, Taolue; Han, Tingting; Kwiatkowska, Marta
1
2013
A compositional specification theory for component behaviours. Zbl 1352.68149
Chen, Taolue; Chilton, Chris; Jonsson, Bengt; Kwiatkowska, Marta
8
2012
Pareto curves for probabilistic model checking. Zbl 1374.68285
Forejt, Vojtěch; Kwiatkowska, Marta; Parker, David
7
2012
Probabilistic verification of Herman’s self-stabilisation algorithm. Zbl 1259.68130
Kwiatkowska, Marta; Norman, Gethin; Parker, David
6
2012
Automatic verification of competitive stochastic systems. Zbl 1352.68150
Chen, Taolue; Forejt, Vojtěch; Kwiatkowska, Marta; Parker, David; Simaitis, Aistis
2
2012
Playing stochastic games precisely. Zbl 1364.91024
Chen, Taolue; Forejt, Vojtěch; Kwiatkowska, Marta; Simaitis, Aistis; Trivedi, Ashutosh; Ummels, Michael
2
2012
Revisiting timed specification theories: a linear-time perspective. Zbl 1374.68274
Chilton, Chris; Kwiatkowska, Marta; Wang, Xu
1
2012
Quantitative multi-objective verification for probabilistic systems. Zbl 1315.68177
Forejt, Vojtěch; Kwiatkowska, Marta; Norman, Gethin; Parker, David; Qu, Hongyang
21
2011
Time-bounded verification of CTMCs against real-time specifications. Zbl 1348.68126
Chen, Taolue; Diciolla, Marco; Kwiatkowska, Marta; Mereacre, Alexandru
6
2011
Learning-based compositional verification for synchronous probabilistic systems. Zbl 1348.68135
Feng, Lu; Han, Tingting; Kwiatkowska, Marta; Parker, David
4
2011
Verifying team formation protocols with probabilistic model checking. Zbl 1348.68255
Chen, Taolue; Kwiatkowska, Marta; Parker, David; Simaitis, Aistis
1
2011
A game-based abstraction-refinement framework for Markov decision processes. Zbl 1233.90276
Kattenbelt, Mark; Kwiatkowska, Marta; Norman, Gethin; Parker, David
14
2010
Assume-guarantee verification for probabilistic systems. Zbl 1284.68406
Kwiatkowska, Marta; Norman, Gethin; Parker, David; Qu, Hongyang
12
2010
Parallel model checking for temporal epistemic logic. Zbl 1211.68406
Kwiatkowska, Marta; Lomuscio, Alessio; Qu, Hongyang
2
2010
Expected reachability-time games. Zbl 1290.68073
Forejt, Vojtěch; Kwiatkowska, Marta; Norman, Gethin; Trivedi, Ashutosh
2
2010
A framework for verification of software with time and probabilities. Zbl 1290.68035
Kwiatkowska, Marta; Norman, Gethin; Parker, David
1
2010
Stochastic games for verification of probabilistic timed automata. Zbl 1262.68125
Kwiatkowska, Marta; Norman, Gethin; Parker, David
12
2009
Abstraction refinement for probabilistic software. Zbl 1206.68090
Kattenbelt, Mark; Kwiatkowska, Marta; Norman, Gethin; Parker, David
10
2009
Concavely-priced probabilistic timed automata. Zbl 1254.68136
Jurdziński, Marcin; Kwiatkowska, Marta; Norman, Gethin; Trivedi, Ashutosh
5
2009
Probabilistic mobile ambients. Zbl 1183.68400
Kwiatkowska, Marta; Norman, Gethin; Parker, David; Vigliotti, Maria Grazia
1
2009
Probabilistic model checking of complex biological pathways. Zbl 1133.68043
Heath, John; Kwiatkowska, Marta; Norman, Gethin; Parker, David; Tymchyshyn, Oksana
21
2008
Multi-objective model checking of Markov decision processes. Zbl 1161.68565
Etessami, Kousha; Kwiatkowska, Marta; Vardi, Moshe Y.; Yannakakis, Mihalis
15
2008
Combining intra- and inter-cellular dynamics to investigate intestinal homeostasis. Zbl 1375.92015
Tymchyshyn, Oksana; Kwiatkowska, Marta
5
2008
Game-based probabilistic predicate abstraction in PRISM. Zbl 1286.68316
Kattenbelt, Mark; Kwiatkowska, Marta; Norman, Gethin; Parker, David
5
2008
A mass action model of a fibroblast growth factor signaling pathway and its simplification. Zbl 1169.92012
Gaffney, E. A.; Heath, J. K.; Kwiatkowska, M. Z.
1
2008
Stochastic model checking. Zbl 1323.68379
Kwiatkowska, Marta; Norman, Gethin; Parker, David
29
2007
Symbolic model checking for probabilistic timed automata. Zbl 1122.68075
Kwiatkowska, Marta; Norman, Gethin; Sproston, Jeremy; Wang, Fuzhi
19
2007
Multi-objective model checking of Markov decision processes. Zbl 1186.68286
Etessami, K.; Kwiatkowska, M.; Vardi, M. Y.; Yannakakis, M.
4
2007
On process-algebraic verification of asynchronous circuits. Zbl 1137.68456
Wang, Xu; Kwiatkowska, Marta
1
2007
On process-algebraic verification of asynchronous circuits. Zbl 1128.68070
Wang, Xu; Kwiatkowska, Marta
1
2007
Performance analysis of probabilistic timed automata using digital clocks. Zbl 1105.68063
Kwiatkowska, Marta; Norman, Gethin; Parker, David; Sproston, Jeremy
23
2006
Symmetry reduction for probabilistic model checking. Zbl 1188.68194
Kwiatkowska, Marta; Norman, Gethin; Parker, David
13
2006
Model checking expected time and expected reward formulae with random time bounds. Zbl 1104.68067
Kwiatkowska, M.; Norman, G.; Pacheco, A.
7
2006
On reduction criteria for probabilistic reward models. Zbl 1177.68150
Größer, Marcus; Norman, Gethin; Baier, Christel; Ciesinski, Frank; Kwiatkowska, Marta; Parker, David
2
2006
Stochastic transition systems for continuous state spaces and non-determinism. Zbl 1118.68568
Cattani, Stefano; Segala, Roberto; Kwiatkowska, Marta; Norman, Gethin
11
2005
Using probabilistic model checking for dynamic power management. Zbl 1080.68601
Norman, Gethin; Parker, David; Kwiatkowska, Marta; Shukla, Sandeep; Gupta, Rajesh
4
2005
Towards a unifying CSP approach to hierarchical verification of asynchronous hardware. Zbl 1272.68278
Wang, X.; Kwiatkowska, M.; Theodoropoulos, G.; Zhang, Q.
2
2005
A refinement-based process algebra for timed automata. Zbl 1101.68694
Cattani, Stefano; Kwiatkowska, Marta
1
2005
Symbolic model checking for probabilistic timed automata. Zbl 1109.68517
Kwiatkowska, Marta; Norman, Gethin; Sproston, Jeremy; Wang, Fuzhi
5
2004
Numerical vs. statistical probabilistic model checking: an empirical study. Zbl 1126.68490
Younes, Håkan L. S.; Kwiatkowska, Marta; Norman, Gethin; Parker, David
5
2004
Performance analysis of probabilistic timed automata using digital clocks. Zbl 1099.68534
Kwiatkowska, Marta; Norman, Gethin; Parker, David; Sproston, Jeremy
4
2004
On the use of MTBDDs for performability analysis and verification of stochastic systems. Zbl 1054.68018
Hermanns, Holger; Kwiatkowska, Marta; Norman, Gethin; Parker, David; Siegle, Markus
4
2003
PRISM: Probabilistic symbolic model checker. Zbl 1047.68533
Kwiatkowska, Marta; Norman, Gethin; Parker, David
46
2002
Automatic verification of real-time systems with discrete probability distributions. Zbl 1050.68094
Kwiatkowska, Marta; Norman, Gethin; Segala, Roberto; Sproston, Jeremy
40
2002
Probabilistic symbolic model checking with PRISM: A hybrid approach. Zbl 1043.68576
Kwiatkowska, Marta; Norman, Gethin; Parker, David
10
2002
Probabilistic model checking of the IEEE 802.11 wireless local area network protocol. Zbl 1065.68583
Kwiatkowska, Marta; Norman, Gethin; Sproston, Jeremy
10
2002
Probabilistic model checking of deadline properties in the IEEE 1394 fireWire root contention protocol. Zbl 1029.68017
Kwiatkowska, Marta; Norman, Gethin; Sproston, Jeremy
8
2002
Model checking CSL until formulae with random time bounds. Zbl 1065.68595
Kwiatkowska, Marta; Norman, Gethin; Pacheco, António
5
2002
Verifying randomized Byzantine agreement. Zbl 1037.68508
Kwiatkowska, Marta; Norman, Gethin
3
2002
A symbolic out-of-core solution method for Markov models. Zbl 1270.68232
Kwiatkowska, Marta; Mehmood, Rashid; Norman, Gethin; Parker, David
3
2002
Out-of-core solution of large linear systems of equations arising from stochastic modelling. Zbl 1065.68500
Kwiatkowska, Marta; Mehmood, Rashid
1
2002
Faster and symbolic CTMC model checking. Zbl 1007.68517
Katoen, Joost-Pieter; Kwiatkowska, Marta; Norman, Gethin; Parker, David
9
2001
Automated verification of a randomized distributed consensus protocol using cadence SMV and PRISM. Zbl 0991.68503
Kwiatkowska, Marta; Norman, Gethin; Segala, Roberto
4
2001
Symbolic computation of maximal probabilistic reachability. Zbl 1006.68096
Kwiatkowska, Marta; Norman, Gethin; Sproston, Jeremy
3
2001
Symbolic model checking of probabilistic processes using MTBDDs and the Kronecker representation. Zbl 0960.68109
de Alfaro, Luca; Kwiatkowska, Marta; Norman, Gethin; Parker, David; Segala, Roberto
13
2000
Domain equations for probabilistic processes. Zbl 0974.68136
Baier, Christel; Kwiatkowska, Marta
7
2000
Verifying quantitative properties of continuous probabilistic timed automata. Zbl 0999.68125
Kwiatkowska, Marta; Norman, Gethin; Segala, Roberto; Sproston, Jeremy
7
2000
On topological hierarchies of temporal properties. Zbl 0956.68027
Baier, Christel; Kwiatkowska, Marta
2
2000
A testing equivalence for reactive probabilistic processes. Zbl 0917.68154
Kwiatkowska, M. Z.; Norman, G. J.
8
1998
On the verification of qualitative properties of probabilistic processes under fairness constraints. Zbl 1078.68664
Baier, Christel; Kwiatkowska, Marta
8
1998
Symbolic model checking for probabilistic processes. Zbl 1401.68180
Baier, Christel; Clarke, Edmund M.; Hartonas-Garmhausen, Vasiliki; Kwiatkowska, Marta; Ryan, Mark
17
1997
Domain equations for probabilistic processes. Zbl 0911.68087
Baier, Christel; Kwiatkowska, Marta
7
1997
A fully abstract metric-space denotational semantics for reactive probabilistic processes. Zbl 0917.68137
Kwiatkowska, Marta; Norman, Gethin
3
1997
Duality and the completeness of the modal \(\mu\)-calculus. Zbl 0872.03010
Ambler, Simon; Kwiatkowska, Marta; Measor, Nicholas
6
1995
Synchronization trees and fairness: A case study. Zbl 0851.68068
Hartonas, Chrysafis; Kwiatkowska, Marta
2
1995
A hierarchy of partial order temporal properties. Zbl 0949.68537
Kwiatkowska, M.; Peled, D.; Penczek, W.
1
1994
On duality for the modal \(\mu\)-calculus. Zbl 0953.03019
Ambler, S.; Kwiatkowska, M.; Measor, N.
1
1994
On the domain of traces and sequential composition. Zbl 0967.68527
Kwiatkowska, Marta Z.
2
1991
On topological characterization of behavioural properties. Zbl 0744.54020
Kwiatkowska, Marta Z.
1
1991
A metric for traces. Zbl 0697.68071
Kwiatkowska, Marta Z.
14
1990
Defining process fairness for non-interleaving concurrency. Zbl 0744.68048
Kwiatkowska, Marta Z.
2
1990
Event fairness and non-interleaving concurrency. Zbl 0696.68092
Kwiatkowska, Marta Z.
13
1989
all top 5

Cited by 665 Authors

37 Kwiatkowska, Marta Z.
19 Katoen, Joost-Pieter
18 Norman, Gethin
14 Baier, Christel
10 Hermanns, Holger
9 Chatterjee, Krishnendu
8 Sproston, Jeremy
7 Peled, Doron A.
7 Zhang, Lijun
6 de Vink, Erik P.
6 Desharnais, Josée
6 Feng, Yuan
6 Gastin, Paul
6 Hahn, Ernst Moritz
6 Hillston, Jane
6 Milazzo, Paolo
5 Bernardo, Marco
5 Bortolussi, Luca
5 Chen, Taolue
5 Delahaye, Benoît
5 Forejt, Vojtěch
5 Haverkort, Boudewijn R.
5 Junges, Sebastian
5 Legay, Axel
5 Lüttgen, Gerald
5 Maggiolo-Schettini, Andrea
5 Pacheco, António
5 Panangaden, Prakash
5 Vogler, Walter
4 Ballarini, Paolo
4 Calder, Muffy
4 Chmelík, Martin
4 Chu, Dominique
4 D’Argenio, Pedro Rubén
4 Deng, Yuxin
4 Fendrich, Sascha
4 Konur, Savas
4 Lanotte, Ruggero
4 Mateus, Paulo C.
4 Morgan, Carroll C.
4 Qu, Hongyang
3 Abate, Alessandro
3 Bartocci, Ezio
3 Bertrand, Nathalie
3 Bradley, Jeremy T.
3 Brázdil, Tomáš
3 Brihaye, Thomas
3 Cardelli, Luca
3 Dannenberg, Frits
3 Diekert, Volker
3 Hartmanns, Arnd
3 Hartonas, Chrysafis
3 Jansen, Nils
3 Jurdziński, Marcin
3 Klein, Joachim
3 Krause, Christian
3 Křetínský, Jan
3 Laviolette, François
3 Loreti, Michele
3 McIver, Annabelle K.
3 Nenzi, Laura
3 Soudjani, Sadegh
3 Thiagarajan, Pazhamaneri Subramaniam
3 Turrini, Andrea
3 van Breugel, Franck
3 Wolf, Verena
3 Ying, Mingsheng
3 Zamani, Majid
2 Ábrahám, Erika
2 André, Étienne
2 Baltazar, Pedro
2 Barbuti, Roberto
2 Becker, Bernd
2 Bezhanishvili, Nick
2 Bouyer, Patricia
2 Brim, Luboš
2 Buchholz, Peter
2 Bujtor, Ferenc
2 Caillaud, Benoît
2 Češka, Milan
2 Chadha, Rohit
2 Chothia, Tom
2 Daca, Przemysław
2 de Alfaro, Luca
2 De Nicola, Rocco
2 Dehnert, Christian
2 Diciolla, Marco
2 Donaldson, Robin A.
2 Flegg, Mark B.
2 Foryś, Wit
2 Fournier, Paulin
2 Gebler, Daniel E.
2 Ghezzi, Carlo
2 Gupta, Vineet
2 Hasan, Osman
2 Hashemi, Vahid
2 Heath, J. K.
2 Henzinger, Thomas A.
2 Jagadeesan, Radha
2 Jäger, Manfred
...and 565 more Authors
all top 5

Cited in 62 Serials

70 Theoretical Computer Science
23 Information and Computation
22 Formal Aspects of Computing
22 Formal Methods in System Design
12 Acta Informatica
10 Journal of Computer and System Sciences
9 The Journal of Logic and Algebraic Programming
7 Information Processing Letters
5 Automatica
5 Journal of Theoretical Biology
5 Journal of Logical and Algebraic Methods in Programming
4 Artificial Intelligence
4 Journal of Automated Reasoning
4 Journal of the ACM
4 Fundamenta Informaticae
4 Logical Methods in Computer Science
3 Discrete Event Dynamic Systems
3 Distributed Computing
3 European Journal of Control
3 ACM Transactions on Computational Logic
3 Frontiers of Computer Science
2 Computers & Mathematics with Applications
2 Science of Computer Programming
2 Annals of Pure and Applied Logic
2 Queueing Systems
2 MSCS. Mathematical Structures in Computer Science
2 Mathematical Methods of Operations Research
2 International Journal of Applied Mathematics and Computer Science
2 Natural Computing
2 Nonlinear Analysis. Hybrid Systems
2 Computer Science Review
1 Communications in Algebra
1 Journal of Mathematical Biology
1 Bulletin of Mathematical Biology
1 Computing
1 Programming and Computer Software
1 Semigroup Forum
1 SIAM Journal on Control and Optimization
1 Studia Logica
1 Journal of Parallel and Distributed Computing
1 Annals of Operations Research
1 Real-Time Systems
1 Machine Learning
1 Journal of Statistical Computation and Simulation
1 Linear Algebra and its Applications
1 SIAM Journal on Applied Mathematics
1 Archive for Mathematical Logic
1 Journal of Mathematical Sciences (New York)
1 Annals of Mathematics and Artificial Intelligence
1 ACM Transactions on Modeling and Computer Simulation
1 Mathematical Problems in Engineering
1 Theory of Computing Systems
1 Abstract and Applied Analysis
1 Communications in Nonlinear Science and Numerical Simulation
1 RAIRO. Theoretical Informatics and Applications
1 Journal of Applied Mathematics
1 Journal of Machine Learning Research (JMLR)
1 Computer Languages, Systems & Structures
1 Journal of Applied Logic
1 Optimization Letters
1 Algorithms
1 International Journal of Systems Science. Principles and Applications of Systems and Integration

Citations by Year