×

Kwiatkowska, Marta Z.

Compute Distance To:
Author ID: kwiatkowska.marta-z Recent zbMATH articles by "Kwiatkowska, Marta Z."
Published as: Kwiatkowska, Marta; Kwiatkowska, Marta Z.; Kwiatkowska, M.; Kwiatkowska, M. Z.; Kwiatkowska, Marta.
all top 5

Co-Authors

10 single-authored
47 Norman, Gethin
12 Baier, Christel
12 Chen, Taolue
12 Forejt, Vojtěch
11 Cardelli, Luca
10 Laurenti, Luca
9 Sproston, Jeremy
7 Abate, Alessandro
6 Mereacre, Alexandru
6 Simaitis, Aistis
6 Wang, Xu
5 Češka, Milan
5 Qu, Hongyang
5 Segala, Roberto
4 Basset, Nicolas
4 Chilton, Chris
4 Dannenberg, Frits
4 Diciolla, Marco
4 Jovanović, Aleksandra Ž.
4 Paoletti, Nicola
4 Trivedi, Ashutosh
4 Wiltsche, Clemens
3 Barbot, Benoît
3 Bortolussi, Luca
3 Fomin, Fedor V.
3 Han, Tingting
3 Huang, Xiaowei
3 Kattenbelt, Mark
3 Peleg, David
3 Thachuk, Chris
3 Wang, Fuzhi
3 Whitby, Max
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 Jonsson, Bengt
2 Lahijanian, Morteza
2 Measor, Nicholas
2 Mehmood, Rashid
2 Pacheco, António
2 Santos, Gabriel Pinheiro Alves
2 Turberfield, Andrew J.
2 Tymchyshyn, Oksana
2 Ujma, Mateusz
2 Vardi, Moshe Ya’akov
2 Wu, Min
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 Fränzle, Martin
1 Gaffney, Eamonn A.
1 Giese, Holger
1 Gourdeau, Pascale
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 Kanade, Varun
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 Panangaden, Prakash
1 Patanè, Andrea
1 Peled, Doron A.
1 Penczek, Wojciech
1 Peyras, Quentin
1 Ruan, Wenjie
1 Rutten, Jan J. M. M.
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 Tribastone, Mirco
...and 9 more Co-Authors

Publications by Year

Citations contained in zbMATH Open

112 Publications have been cited 880 times in 489 Documents Cited by Year
PRISM: Probabilistic symbolic model checker. Zbl 1047.68533
Kwiatkowska, Marta; Norman, Gethin; Parker, David
57
2002
Automatic verification of real-time systems with discrete probability distributions. Zbl 1050.68094
Kwiatkowska, Marta; Norman, Gethin; Segala, Roberto; Sproston, Jeremy
48
2002
Stochastic model checking. Zbl 1323.68379
Kwiatkowska, Marta; Norman, Gethin; Parker, David
37
2007
Quantitative multi-objective verification for probabilistic systems. Zbl 1315.68177
Forejt, Vojtěch; Kwiatkowska, Marta; Norman, Gethin; Parker, David; Qu, Hongyang
36
2011
Performance analysis of probabilistic timed automata using digital clocks. Zbl 1105.68063
Kwiatkowska, Marta; Norman, Gethin; Parker, David; Sproston, Jeremy
28
2006
Probabilistic model checking of complex biological pathways. Zbl 1133.68043
Heath, John; Kwiatkowska, Marta; Norman, Gethin; Parker, David; Tymchyshyn, Oksana
23
2008
A game-based abstraction-refinement framework for Markov decision processes. Zbl 1233.90276
Kattenbelt, Mark; Kwiatkowska, Marta; Norman, Gethin; Parker, David
22
2010
Symbolic model checking for probabilistic timed automata. Zbl 1122.68075
Kwiatkowska, Marta; Norman, Gethin; Sproston, Jeremy; Wang, Fuzhi
21
2007
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
20
2014
Safety verification of deep neural networks. Zbl 1494.68166
Huang, Xiaowei; Kwiatkowska, Marta; Wang, Sen; Wu, Min
20
2017
Multi-objective model checking of Markov decision processes. Zbl 1161.68565
Etessami, Kousha; Kwiatkowska, Marta; Vardi, Moshe Y.; Yannakakis, Mihalis
19
2008
Symbolic model checking for probabilistic processes. Zbl 1401.68180
Baier, Christel; Clarke, Edmund M.; Hartonas-Garmhausen, Vasiliki; Kwiatkowska, Marta; Ryan, Mark
17
1997
Symmetry reduction for probabilistic model checking. Zbl 1188.68194
Kwiatkowska, Marta; Norman, Gethin; Parker, David
16
2006
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
15
2000
A metric for traces. Zbl 0697.68071
Kwiatkowska, Marta Z.
15
1990
Event fairness and non-interleaving concurrency. Zbl 0696.68092
Kwiatkowska, Marta Z.
14
1989
Probabilistic model checking of the IEEE 802.11 wireless local area network protocol. Zbl 1065.68583
Kwiatkowska, Marta; Norman, Gethin; Sproston, Jeremy
13
2002
Stochastic games for verification of probabilistic timed automata. Zbl 1262.68125
Kwiatkowska, Marta; Norman, Gethin; Parker, David
13
2009
Automatic verification of competitive stochastic systems. Zbl 1291.68252
Chen, Taolue; Forejt, Vojtěch; Kwiatkowska, Marta; Parker, David; Simaitis, Aistis
12
2013
On stochastic games with multiple objectives. Zbl 1400.91040
Chen, Taolue; Forejt, Vojtěch; Kwiatkowska, Marta; Simaitis, Aistis; Wiltsche, Clemens
12
2013
Probabilistic symbolic model checking with PRISM: A hybrid approach. Zbl 1043.68576
Kwiatkowska, Marta; Norman, Gethin; Parker, David
12
2002
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
12
2005
Model checking probabilistic systems. Zbl 1392.68227
Baier, Christel; de Alfaro, Luca; Forejt, Vojtěch; Kwiatkowska, Marta
11
2018
Pareto curves for probabilistic model checking. Zbl 1374.68285
Forejt, Vojtěch; Kwiatkowska, Marta; Parker, David
11
2012
Abstraction refinement for probabilistic software. Zbl 1206.68090
Kattenbelt, Mark; Kwiatkowska, Marta; Norman, Gethin; Parker, David
11
2009
A compositional specification theory for component behaviours. Zbl 1352.68149
Chen, Taolue; Chilton, Chris; Jonsson, Bengt; Kwiatkowska, Marta
10
2012
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
Domain equations for probabilistic processes. Zbl 0974.68136
Baier, Christel; Kwiatkowska, Marta
10
2000
Probabilistic verification of Herman’s self-stabilisation algorithm. Zbl 1259.68130
Kwiatkowska, Marta; Norman, Gethin; Parker, David
10
2012
Faster and symbolic CTMC model checking. Zbl 1007.68517
Katoen, Joost-Pieter; Kwiatkowska, Marta; Norman, Gethin; Parker, David
10
2001
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
9
2020
Verifying quantitative properties of continuous probabilistic timed automata. Zbl 0999.68125
Kwiatkowska, Marta; Norman, Gethin; Segala, Roberto; Sproston, Jeremy
9
2000
Probabilistic model checking of deadline properties in the IEEE 1394 fireWire root contention protocol. Zbl 1029.68017
Kwiatkowska, Marta; Norman, Gethin; Sproston, Jeremy
9
2002
On the verification of qualitative properties of probabilistic processes under fairness constraints. Zbl 1078.68664
Baier, Christel; Kwiatkowska, Marta
9
1998
Precise parameter synthesis for stochastic biochemical systems. Zbl 1373.92038
Češka, Milan; Dannenberg, Frits; Paoletti, Nicola; Kwiatkowska, Marta; Brim, Luboš
9
2017
DNA walker circuits: computational potential, design, and verification. Zbl 1409.68099
Dannenberg, Frits; Kwiatkowska, Marta; Thachuk, Chris; Turberfield, Andrew J.
8
2013
Domain equations for probabilistic processes. Zbl 0911.68087
Baier, Christel; Kwiatkowska, Marta
8
1997
A testing equivalence for reactive probabilistic processes. Zbl 0917.68154
Kwiatkowska, M. Z.; Norman, G. J.
8
1998
Model checking expected time and expected reward formulae with random time bounds. Zbl 1104.68067
Kwiatkowska, M.; Norman, G.; Pacheco, A.
8
2006
Multi-objective model checking of Markov decision processes. Zbl 1186.68286
Etessami, K.; Kwiatkowska, M.; Vardi, M. Y.; Yannakakis, M.
7
2007
Compositional probabilistic verification through multi-objective model checking. Zbl 1277.68138
Kwiatkowska, Marta; Norman, Gethin; Parker, David; Qu, Hongyang
7
2013
Duality and the completeness of the modal \(\mu\)-calculus. Zbl 0872.03010
Ambler, Simon; Kwiatkowska, Marta; Measor, Nicholas
7
1995
An algebraic theory of interface automata. Zbl 1360.68608
Chilton, Chris; Jonsson, Bengt; Kwiatkowska, Marta
7
2014
Verifying team formation protocols with probabilistic model checking. Zbl 1348.68255
Chen, Taolue; Kwiatkowska, Marta; Parker, David; Simaitis, Aistis
6
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
6
2011
Automated verification and strategy synthesis for probabilistic systems. Zbl 1410.68233
Kwiatkowska, Marta; Parker, David
6
2013
Automated verification of a randomized distributed consensus protocol using cadence SMV and PRISM. Zbl 0991.68503
Kwiatkowska, Marta; Norman, Gethin; Segala, Roberto
6
2001
Efficiency through uncertainty: scalable formal synthesis for stochastic hybrid systems. Zbl 07120160
Cauchi, Nathalie; Laurenti, Luca; Lahijanian, Morteza; Abate, Alessandro; Kwiatkowska, Marta; Cardelli, Luca
5
2019
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
Permissive controller synthesis for probabilistic systems. Zbl 1391.68076
Dräger, Klaus; Forejt, Vojtěch; Kwiatkowska, Marta; Parker, David; Ujma, Mateusz
5
2015
Model checking CSL until formulae with random time bounds. Zbl 1065.68595
Kwiatkowska, Marta; Norman, Gethin; Pacheco, António
5
2002
Quantitative verification and strategy synthesis for stochastic games. Zbl 1347.93240
Svoreňová, Mária; Kwiatkowska, Marta
5
2016
Approximation of probabilistic reachability for chemical reaction networks using the linear noise approximation. Zbl 1381.92110
Bortolussi, Luca; Cardelli, Luca; Kwiatkowska, Marta; Laurenti, Luca
5
2016
Concavely-priced probabilistic timed automata. Zbl 1254.68136
Jurdziński, Marcin; Kwiatkowska, Marta; Norman, Gethin; Trivedi, Ashutosh
5
2009
Using probabilistic model checking for dynamic power management. Zbl 1080.68601
Norman, Gethin; Parker, David; Kwiatkowska, Marta; Shukla, Sandeep; Gupta, Rajesh
5
2005
Combining intra- and inter-cellular dynamics to investigate intestinal homeostasis. Zbl 1375.92015
Tymchyshyn, Oksana; Kwiatkowska, Marta
5
2008
Symbolic model checking for probabilistic timed automata. Zbl 1109.68517
Kwiatkowska, Marta; Norman, Gethin; Sproston, Jeremy; Wang, Fuzhi
5
2004
On the domain of traces and sequential composition. Zbl 0967.68527
Kwiatkowska, Marta Z.
4
1991
Probabilistic model checking of labelled Markov processes via finite approximate bisimulations. Zbl 1407.68275
Abate, Alessandro; Kwiatkowska, Marta; Norman, Gethin; Parker, David
4
2014
Compositional controller synthesis for stochastic games. Zbl 1421.93053
Basset, Nicolas; Kwiatkowska, Marta; Wiltsche, Clemens
4
2014
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
Verifying randomized Byzantine agreement. Zbl 1037.68508
Kwiatkowska, Marta; Norman, Gethin
4
2002
On the complexity of model checking interval-valued discrete time Markov chains. Zbl 1259.68150
Chen, Taolue; Han, Tingting; Kwiatkowska, Marta
4
2013
A refinement-based process algebra for timed automata. Zbl 1101.68694
Cattani, Stefano; Kwiatkowska, Marta
4
2005
Performance analysis of probabilistic timed automata using digital clocks. Zbl 1099.68534
Kwiatkowska, Marta; Norman, Gethin; Parker, David; Sproston, Jeremy
4
2004
Compositional strategy synthesis for stochastic games with multiple objectives. Zbl 1395.68265
Basset, N.; Kwiatkowska, M.; Wiltsche, C.
4
2018
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
3
2015
Quantitative verification of implantable cardiac pacemakers over hybrid heart models. Zbl 1311.92100
Chen, Taolue; Diciolla, Marco; Kwiatkowska, Marta; Mereacre, Alexandru
3
2014
A symbolic out-of-core solution method for Markov models. Zbl 1270.68232
Kwiatkowska, Marta; Mehmood, Rashid; Norman, Gethin; Parker, David
3
2002
Symbolic minimum expected time controller synthesis for probabilistic timed automata. Zbl 1465.68153
Jovanović, Aleksandra; Kwiatkowska, Marta; Norman, Gethin
3
2015
Parallel model checking for temporal epistemic logic. Zbl 1211.68406
Kwiatkowska, Marta; Lomuscio, Alessio; Qu, Hongyang
3
2010
A fully abstract metric-space denotational semantics for reactive probabilistic processes. Zbl 0917.68137
Kwiatkowska, Marta; Norman, Gethin
3
1997
Mathematical techniques for analyzing concurrent and probabilistic systems. Zbl 1069.68074
3
2004
Symbolic computation of maximal probabilistic reachability. Zbl 1006.68096
Kwiatkowska, Marta; Norman, Gethin; Sproston, Jeremy
3
2001
Automatic verification of competitive stochastic systems. Zbl 1352.68150
Chen, Taolue; Forejt, Vojtěch; Kwiatkowska, Marta; Parker, David; Simaitis, Aistis
2
2012
Formal and efficient synthesis for continuous-time linear stochastic hybrid processes. Zbl 07320129
Laurenti, Luca; Lahijanian, Morteza; Abate, Alessandro; Cardelli, Luca; Kwiatkowska, Marta
2
2021
Strategy synthesis for stochastic games with multiple long-run objectives. Zbl 1420.91011
Basset, Nicolas; Kwiatkowska, Marta; Topcu, Ufuk; Wiltsche, Clemens
2
2015
Synchronization trees and fairness: A case study. Zbl 0851.68068
Hartonas, Chrysafis; Kwiatkowska, Marta
2
1995
Defining process fairness for non-interleaving concurrency. Zbl 0744.68048
Kwiatkowska, Marta Z.
2
1990
Towards a unifying CSP approach to hierarchical verification of asynchronous hardware. Zbl 1272.68278
Wang, X.; Kwiatkowska, M.; Theodoropoulos, G.; Zhang, Q.
2
2005
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
2
2012
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
Expected reachability-time games. Zbl 1339.68146
Forejt, Vojtěch; Kwiatkowska, Marta; Norman, Gethin; Trivedi, Ashutosh
2
2016
Parameter synthesis for probabilistic timed automata using stochastic game abstractions. Zbl 1393.68095
Jovanović, Aleksandra; Kwiatkowska, Marta
2
2014
Computing cumulative rewards using fast adaptive uniformization. Zbl 1369.65014
Dannenberg, Frits; Hahn, Ernst Moritz; Kwiatkowska, Marta
2
2015
Expected reachability-time games. Zbl 1290.68073
Forejt, Vojtěch; Kwiatkowska, Marta; Norman, Gethin; Trivedi, Ashutosh
2
2010
Programming discrete distributions with chemical reaction networks. Zbl 1451.68108
Cardelli, Luca; Kwiatkowska, Marta; Laurenti, Luca
2
2016
Adaptive aggregation of Markov chains: quantitative analysis of chemical reaction networks. Zbl 1381.68140
Abate, Alessandro; Brim, Luboš; Češka, Milan; Kwiatkowska, Marta
2
2015
Model checking and strategy synthesis for stochastic games: from theory to practice (invited talk). Zbl 1388.68186
Kwiatkowska, Marta Z.
2
2016
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
2
2017
On topological hierarchies of temporal properties. Zbl 0956.68027
Baier, Christel; Kwiatkowska, Marta
2
2000
Probabilistic mobile ambients. Zbl 1183.68400
Kwiatkowska, Marta; Norman, Gethin; Parker, David; Vigliotti, Maria Grazia
2
2009
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
Syntax-guided optimal synthesis for chemical reaction networks. Zbl 1494.68163
Cardelli, Luca; Češka, Milan; Fränzle, Martin; Kwiatkowska, Marta; Laurenti, Luca; Paoletti, Nicola; Whitby, Max
2
2017
Model checking for a probabilistic branching time logic with fairness. Zbl 1448.68285
Baier, Christel; Kwiatkowska, Marta
1
1998
PID control of biochemical reaction networks. Zbl 07480846
Whitby, Max; Cardelli, Luca; Kwiatkowska, Marta; Laurenti, Luca; Tribastone, Mirco; Tschaikowski, Max
1
2022
PID control of biochemical reaction networks. Zbl 07480846
Whitby, Max; Cardelli, Luca; Kwiatkowska, Marta; Laurenti, Luca; Tribastone, Mirco; Tschaikowski, Max
1
2022
Formal and efficient synthesis for continuous-time linear stochastic hybrid processes. Zbl 07320129
Laurenti, Luca; Lahijanian, Morteza; Abate, Alessandro; Cardelli, Luca; Kwiatkowska, Marta
2
2021
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
9
2020
Efficiency through uncertainty: scalable formal synthesis for stochastic hybrid systems. Zbl 07120160
Cauchi, Nathalie; Laurenti, Luca; Lahijanian, Morteza; Abate, Alessandro; Kwiatkowska, Marta; Cardelli, Luca
5
2019
Reasoning about cognitive trust in stochastic multiagent systems. Zbl 1433.68422
Huang, Xiaowei; Kwiatkowska, Marta; Olejnik, Maciej
1
2019
Model checking probabilistic systems. Zbl 1392.68227
Baier, Christel; de Alfaro, Luca; Forejt, Vojtěch; Kwiatkowska, Marta
11
2018
Compositional strategy synthesis for stochastic games with multiple objectives. Zbl 1395.68265
Basset, N.; Kwiatkowska, M.; Wiltsche, C.
4
2018
Experimental biological protocols with formal semantics. Zbl 1397.92268
Abate, Alessandro; Cardelli, Luca; Kwiatkowska, Marta; Laurenti, Luca; Yordanov, Boyan
1
2018
Safety verification of deep neural networks. Zbl 1494.68166
Huang, Xiaowei; Kwiatkowska, Marta; Wang, Sen; Wu, Min
20
2017
Precise parameter synthesis for stochastic biochemical systems. Zbl 1373.92038
Češka, Milan; Dannenberg, Frits; Paoletti, Nicola; Kwiatkowska, Marta; Brim, Luboš
9
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
2
2017
Syntax-guided optimal synthesis for chemical reaction networks. Zbl 1494.68163
Cardelli, Luca; Češka, Milan; Fränzle, Martin; Kwiatkowska, Marta; Laurenti, Luca; Paoletti, Nicola; Whitby, Max
2
2017
Quantitative verification and strategy synthesis for stochastic games. Zbl 1347.93240
Svoreňová, Mária; Kwiatkowska, Marta
5
2016
Approximation of probabilistic reachability for chemical reaction networks using the linear noise approximation. Zbl 1381.92110
Bortolussi, Luca; Cardelli, Luca; Kwiatkowska, Marta; Laurenti, Luca
5
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.
2
2016
Chemical reaction network designs for asynchronous logic circuits. Zbl 1451.68109
Cardelli, Luca; Kwiatkowska, Marta; Whitby, Max
1
2016
A stochastic hybrid approximation for chemical kinetics based on the linear noise approximation. Zbl 1382.92269
Cardelli, Luca; Kwiatkowska, Marta; Laurenti, Luca
1
2016
Permissive controller synthesis for probabilistic systems. Zbl 1391.68076
Dräger, Klaus; Forejt, Vojtěch; Kwiatkowska, Marta; Parker, David; Ujma, Mateusz
5
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
3
2015
Symbolic minimum expected time controller synthesis for probabilistic timed automata. Zbl 1465.68153
Jovanović, Aleksandra; Kwiatkowska, Marta; Norman, Gethin
3
2015
Strategy synthesis for stochastic games with multiple long-run objectives. Zbl 1420.91011
Basset, Nicolas; Kwiatkowska, Marta; Topcu, Ufuk; Wiltsche, Clemens
2
2015
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
2
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
20
2014
An algebraic theory of interface automata. Zbl 1360.68608
Chilton, Chris; Jonsson, Bengt; Kwiatkowska, Marta
7
2014
Probabilistic model checking of labelled Markov processes via finite approximate bisimulations. Zbl 1407.68275
Abate, Alessandro; Kwiatkowska, Marta; Norman, Gethin; Parker, David
4
2014
Compositional controller synthesis for stochastic games. Zbl 1421.93053
Basset, Nicolas; Kwiatkowska, Marta; Wiltsche, Clemens
4
2014
Quantitative verification of implantable cardiac pacemakers over hybrid heart models. Zbl 1311.92100
Chen, Taolue; Diciolla, Marco; Kwiatkowska, Marta; Mereacre, Alexandru
3
2014
Parameter synthesis for probabilistic timed automata using stochastic game abstractions. Zbl 1393.68095
Jovanović, Aleksandra; Kwiatkowska, Marta
2
2014
Automatic verification of competitive stochastic systems. Zbl 1291.68252
Chen, Taolue; Forejt, Vojtěch; Kwiatkowska, Marta; Parker, David; Simaitis, Aistis
12
2013
On stochastic games with multiple objectives. Zbl 1400.91040
Chen, Taolue; Forejt, Vojtěch; Kwiatkowska, Marta; Simaitis, Aistis; Wiltsche, Clemens
12
2013
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
DNA walker circuits: computational potential, design, and verification. Zbl 1409.68099
Dannenberg, Frits; Kwiatkowska, Marta; Thachuk, Chris; Turberfield, Andrew J.
8
2013
Compositional probabilistic verification through multi-objective model checking. Zbl 1277.68138
Kwiatkowska, Marta; Norman, Gethin; Parker, David; Qu, Hongyang
7
2013
Automated verification and strategy synthesis for probabilistic systems. Zbl 1410.68233
Kwiatkowska, Marta; Parker, David
6
2013
On the complexity of model checking interval-valued discrete time Markov chains. Zbl 1259.68150
Chen, Taolue; Han, Tingting; Kwiatkowska, Marta
4
2013
Pareto curves for probabilistic model checking. Zbl 1374.68285
Forejt, Vojtěch; Kwiatkowska, Marta; Parker, David
11
2012
A compositional specification theory for component behaviours. Zbl 1352.68149
Chen, Taolue; Chilton, Chris; Jonsson, Bengt; Kwiatkowska, Marta
10
2012
Probabilistic verification of Herman’s self-stabilisation algorithm. Zbl 1259.68130
Kwiatkowska, Marta; Norman, Gethin; Parker, David
10
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
2
2012
Quantitative multi-objective verification for probabilistic systems. Zbl 1315.68177
Forejt, Vojtěch; Kwiatkowska, Marta; Norman, Gethin; Parker, David; Qu, Hongyang
36
2011
Verifying team formation protocols with probabilistic model checking. Zbl 1348.68255
Chen, Taolue; Kwiatkowska, Marta; Parker, David; Simaitis, Aistis
6
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
6
2011
A game-based abstraction-refinement framework for Markov decision processes. Zbl 1233.90276
Kattenbelt, Mark; Kwiatkowska, Marta; Norman, Gethin; Parker, David
22
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
3
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
13
2009
Abstraction refinement for probabilistic software. Zbl 1206.68090
Kattenbelt, Mark; Kwiatkowska, Marta; Norman, Gethin; Parker, David
11
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
2
2009
Probabilistic model checking of complex biological pathways. Zbl 1133.68043
Heath, John; Kwiatkowska, Marta; Norman, Gethin; Parker, David; Tymchyshyn, Oksana
23
2008
Multi-objective model checking of Markov decision processes. Zbl 1161.68565
Etessami, Kousha; Kwiatkowska, Marta; Vardi, Moshe Y.; Yannakakis, Mihalis
19
2008
Game-based probabilistic predicate abstraction in PRISM. Zbl 1286.68316
Kattenbelt, Mark; Kwiatkowska, Marta; Norman, Gethin; Parker, David
5
2008
Combining intra- and inter-cellular dynamics to investigate intestinal homeostasis. Zbl 1375.92015
Tymchyshyn, Oksana; Kwiatkowska, Marta
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
37
2007
Symbolic model checking for probabilistic timed automata. Zbl 1122.68075
Kwiatkowska, Marta; Norman, Gethin; Sproston, Jeremy; Wang, Fuzhi
21
2007
Multi-objective model checking of Markov decision processes. Zbl 1186.68286
Etessami, K.; Kwiatkowska, M.; Vardi, M. Y.; Yannakakis, M.
7
2007
On process-algebraic verification of asynchronous circuits. Zbl 1128.68070
Wang, Xu; Kwiatkowska, Marta
1
2007
On process-algebraic verification of asynchronous circuits. Zbl 1137.68456
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
28
2006
Symmetry reduction for probabilistic model checking. Zbl 1188.68194
Kwiatkowska, Marta; Norman, Gethin; Parker, David
16
2006
Model checking expected time and expected reward formulae with random time bounds. Zbl 1104.68067
Kwiatkowska, M.; Norman, G.; Pacheco, A.
8
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
12
2005
Using probabilistic model checking for dynamic power management. Zbl 1080.68601
Norman, Gethin; Parker, David; Kwiatkowska, Marta; Shukla, Sandeep; Gupta, Rajesh
5
2005
A refinement-based process algebra for timed automata. Zbl 1101.68694
Cattani, Stefano; Kwiatkowska, Marta
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
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
Symbolic model checking for probabilistic timed automata. Zbl 1109.68517
Kwiatkowska, Marta; Norman, Gethin; Sproston, Jeremy; Wang, Fuzhi
5
2004
Performance analysis of probabilistic timed automata using digital clocks. Zbl 1099.68534
Kwiatkowska, Marta; Norman, Gethin; Parker, David; Sproston, Jeremy
4
2004
Mathematical techniques for analyzing concurrent and probabilistic systems. Zbl 1069.68074
3
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
57
2002
Automatic verification of real-time systems with discrete probability distributions. Zbl 1050.68094
Kwiatkowska, Marta; Norman, Gethin; Segala, Roberto; Sproston, Jeremy
48
2002
Probabilistic model checking of the IEEE 802.11 wireless local area network protocol. Zbl 1065.68583
Kwiatkowska, Marta; Norman, Gethin; Sproston, Jeremy
13
2002
Probabilistic symbolic model checking with PRISM: A hybrid approach. Zbl 1043.68576
Kwiatkowska, Marta; Norman, Gethin; Parker, David
12
2002
Probabilistic model checking of deadline properties in the IEEE 1394 fireWire root contention protocol. Zbl 1029.68017
Kwiatkowska, Marta; Norman, Gethin; Sproston, Jeremy
9
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
4
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
10
2001
Automated verification of a randomized distributed consensus protocol using cadence SMV and PRISM. Zbl 0991.68503
Kwiatkowska, Marta; Norman, Gethin; Segala, Roberto
6
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
15
2000
Domain equations for probabilistic processes. Zbl 0974.68136
Baier, Christel; Kwiatkowska, Marta
10
2000
Verifying quantitative properties of continuous probabilistic timed automata. Zbl 0999.68125
Kwiatkowska, Marta; Norman, Gethin; Segala, Roberto; Sproston, Jeremy
9
2000
On topological hierarchies of temporal properties. Zbl 0956.68027
Baier, Christel; Kwiatkowska, Marta
2
2000
On the verification of qualitative properties of probabilistic processes under fairness constraints. Zbl 1078.68664
Baier, Christel; Kwiatkowska, Marta
9
1998
A testing equivalence for reactive probabilistic processes. Zbl 0917.68154
Kwiatkowska, M. Z.; Norman, G. J.
8
1998
Model checking for a probabilistic branching time logic with fairness. Zbl 1448.68285
Baier, Christel; Kwiatkowska, Marta
1
1998
...and 12 more Documents
all top 5

Cited by 925 Authors

39 Kwiatkowska, Marta Z.
29 Katoen, Joost-Pieter
19 Norman, Gethin
15 Baier, Christel
14 Junges, Sebastian
12 Chatterjee, Krishnendu
11 Hermanns, Holger
10 Sproston, Jeremy
9 Křetínský, Jan
9 Zhang, Lijun
7 Gastin, Paul
7 Hillston, Jane
7 Jansen, Nils
7 Peled, Doron A.
6 Abate, Alessandro
6 Bernardo, Marco
6 Chen, Taolue
6 de Vink, Erik P.
6 Desharnais, Josée
6 Feng, Yuan
6 Hahn, Ernst Moritz
6 Lüttgen, Gerald
6 Milazzo, Paolo
6 Pacheco, António
6 Vogler, Walter
6 Zamani, Majid
5 Ballarini, Paolo
5 Bortolussi, Luca
5 Češka, Milan
5 Delahaye, Benoît
5 Forejt, Vojtěch
5 Haverkort, Boudewijn R.
5 Larsen, Kim Guldstrand
5 Lavaei, Abolfazl
5 Legay, Axel
5 Maggiolo-Schettini, Andrea
5 Panangaden, Prakash
5 Pérez, Guillermo A.
5 Seshia, Sanjit Arunkumar
5 Soudjani, Sadegh
4 Bertrand, Nathalie
4 Calder, Muffy
4 Cardelli, Luca
4 Chmelík, Martin
4 Chu, Dominique
4 D’Argenio, Pedro Rubén
4 Deng, Yuxin
4 Fendrich, Sascha
4 Hartmanns, Arnd
4 Jurdziński, Marcin
4 Konur, Savas
4 Lanotte, Ruggero
4 Mateus, Paulo C.
4 Morgan, Carroll C.
4 Qu, Hongyang
4 Sokolova, Ana
3 Ábrahám, Erika
3 Bartocci, Ezio
3 Bezhanishvili, Nick
3 Bonchi, Filippo
3 Bouyer, Patricia
3 Bradley, Jeremy T.
3 Brázdil, Tomáš
3 Brihaye, Thomas
3 Černá, Ivana
3 Chadha, Rohit
3 Dannenberg, Frits
3 Diekert, Volker
3 Giese, Holger
3 Hartonas, Chrysafis
3 Henzinger, Thomas A.
3 Huang, Xiaowei
3 Klein, Joachim
3 Krause, Christian
3 Laviolette, François
3 Loreti, Michele
3 Maximova, Maria
3 McIver, Annabelle K.
3 Movaghar, Ali
3 Nenzi, Laura
3 Petit, Antoine C.
3 Quatmann, Tim
3 Raskin, Jean-François
3 Silva, Alexandra
3 Spel, Jip
3 Thiagarajan, Pazhamaneri Subramaniam
3 Topcu, Ufuk
3 Turrini, Andrea
3 van Breugel, Franck
3 Viswanathan, Mahesh
3 Weininger, Maximilian
3 Winkler, Tobias
3 Wolf, Verena
3 Worrell, James B.
3 Yang, Pengfei
3 Ying, Mingsheng
2 Aichernig, Bernhard K.
2 Aldini, Alessandro
2 André, Étienne
2 Aydin Gol, Ebru
...and 825 more Authors
all top 5

Cited in 71 Serials

72 Theoretical Computer Science
30 Formal Aspects of Computing
25 Information and Computation
24 Formal Methods in System Design
14 Acta Informatica
10 Journal of Computer and System Sciences
10 Logical Methods in Computer Science
9 The Journal of Logic and Algebraic Programming
8 Automatica
7 Information Processing Letters
6 Artificial Intelligence
6 Journal of Logical and Algebraic Methods in Programming
5 Journal of Theoretical Biology
4 Journal of Automated Reasoning
4 Distributed Computing
4 Journal of the ACM
4 Fundamenta Informaticae
4 Nonlinear Analysis. Hybrid Systems
3 Discrete Event Dynamic Systems
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 AI Communications
2 MSCS. Mathematical Structures in Computer Science
2 The Journal of Artificial Intelligence Research (JAIR)
2 Mathematical Methods of Operations Research
2 International Journal of Applied Mathematics and Computer Science
2 Natural Computing
2 Computer Science Review
1 Communications in Algebra
1 Computer Methods in Applied Mechanics and Engineering
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 Bulletin of the Iranian Mathematical Society
1 Journal of Parallel and Distributed Computing
1 Annals of Operations Research
1 Real-Time Systems
1 Machine Learning
1 Journal of Global Optimization
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 INFORMS Journal on Computing
1 Journal of Mathematical Chemistry
1 Mathematical Problems in Engineering
1 Theory of Computing Systems
1 Journal of Combinatorial Optimization
1 Communications in Nonlinear Science and Numerical Simulation
1 RAIRO. Theoretical Informatics and Applications
1 Journal of Systems Science and Complexity
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
1 Journal of Membrane Computing

Citations by Year