×
Author ID: parker.david-j Recent zbMATH articles by "Parker, David J."
Published as: Parker, David J.; Parker, D. J.
External Links: ORCID
all top 5

Co-Authors

0 single-authored
42 Kwiatkowska, Marta Z.
36 Norman, Gethin
7 Forejt, Vojtěch
4 Chen, Taolue
4 Qu, Hongyang
4 Santos, Gabriel Pinheiro Alves
4 Simaitis, Aistis
3 Kattenbelt, Mark
3 Moore, Douglas J. H.
3 Sproston, Jeremy
2 Abate, Alessandro
2 Baier, Christel
2 Biere, Armin
2 Dräger, Klaus
2 Katoen, Joost-Pieter
2 Rowe, Jonathan E.
2 Ujma, Mateusz
2 Wildman, R. D.
2 Zou, Xueyi
1 Al-Ajeli, Ahmed
1 Bacci, Edoardo
1 Badings, Thom S.
1 Barigou, M.
1 Bender, Carl M.
1 Berntson, Bjorn K.
1 Bogomolov, Sergiy
1 Brázdil, Tomáš
1 Chatterjee, Krishnendu
1 Chatzikokolakis, Konstantinos
1 Chen, Kuan-Hung
1 Chmelík, Martin
1 Ciesinski, Frank
1 de Alfaro, Luca
1 Dehnert, Christian
1 Dittrich, Peter
1 Donaldson, Alastair F.
1 Edwards, Sam F.
1 Evangelidis, Alexandros
1 Fairhurst, P. G.
1 Fen, X.
1 Feng, Lu
1 Fryer, P. J.
1 Größer, Marcus
1 Gupta, Rajesh Kumar
1 Han, Tingting
1 Heath, John R.
1 Hermanns, Holger
1 Huntley, Jonathan M.
1 Jansen, Nils
1 Jenkins, James T.
1 Jobstmann, Barbara
1 Kamaleson, Nishanthan
1 Kanagarajah, A.
1 Klein, Joachim
1 Křetínský, Jan
1 Kuo, Yiyo
1 Leuschner, Linda
1 Martin, T. W.
1 Mehmood, Rashid
1 Mu, Chunyan
1 Pain, J-P.
1 Panangaden, Prakash
1 Poonawala, Hasan A.
1 Romao, Licio
1 Rutten, Jan J. M. M.
1 Segala, Roberto
1 Seidl, R. A.
1 Seville, J. P. K.
1 Shukla, Sandeep Kumar
1 Siegle, Markus
1 Srivastava, Vipin
1 Stoelinga, Mariëlle
1 Tymchyshyn, Oksana
1 van Breugel, Franck
1 Varshneya, Rahul
1 Vigliotti, Maria Grazia
1 von Essen, Christian
1 Willner, Johan
1 Wolf, Verena
1 Wunderlich, Sascha
1 Xu, Henry
1 Yang, Taho
1 Younes, Håkan L. S.

Publications by Year

Citations contained in zbMATH Open

56 Publication has been cited 1 time in 1 Document Cited by Year
PRISM: Probabilistic symbolic model checker. Zbl 1047.68533
Kwiatkowska, Marta; Norman, Gethin; Parker, David
66
2002
Stochastic model checking. Zbl 1323.68379
Kwiatkowska, Marta; Norman, Gethin; Parker, David
48
2007
Quantitative multi-objective verification for probabilistic systems. Zbl 1315.68177
Forejt, Vojtěch; Kwiatkowska, Marta; Norman, Gethin; Parker, David; Qu, Hongyang
41
2011
Performance analysis of probabilistic timed automata using digital clocks. Zbl 1105.68063
Kwiatkowska, Marta; Norman, Gethin; Parker, David; Sproston, Jeremy
32
2006
Probabilistic model checking of complex biological pathways. Zbl 1133.68043
Heath, John; Kwiatkowska, Marta; Norman, Gethin; Parker, David; Tymchyshyn, Oksana
27
2008
A game-based abstraction-refinement framework for Markov decision processes. Zbl 1233.90276
Kattenbelt, Mark; Kwiatkowska, Marta; Norman, Gethin; Parker, David
27
2010
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
26
2014
Mathematical techniques for analyzing concurrent and probabilistic systems. Zbl 1069.68074
20
2004
Symmetry reduction for probabilistic model checking. Zbl 1188.68194
Kwiatkowska, Marta; Norman, Gethin; Parker, David
18
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
17
2000
Automatic verification of competitive stochastic systems. Zbl 1291.68252
Chen, Taolue; Forejt, Vojtěch; Kwiatkowska, Marta; Parker, David; Simaitis, Aistis
17
2013
Model checking for probabilistic timed automata. Zbl 1291.68265
Norman, Gethin; Parker, David; Sproston, Jeremy
17
2013
Stochastic games for verification of probabilistic timed automata. Zbl 1262.68125
Kwiatkowska, Marta; Norman, Gethin; Parker, David
16
2009
Assume-guarantee verification for probabilistic systems. Zbl 1284.68406
Kwiatkowska, Marta; Norman, Gethin; Parker, David; Qu, Hongyang
15
2010
Pareto curves for probabilistic model checking. Zbl 1374.68285
Forejt, Vojtěch; Kwiatkowska, Marta; Parker, David
12
2012
Probabilistic symbolic model checking with PRISM: A hybrid approach. Zbl 1043.68576
Kwiatkowska, Marta; Norman, Gethin; Parker, David
12
2002
Faster and symbolic CTMC model checking. Zbl 1007.68517
Katoen, Joost-Pieter; Kwiatkowska, Marta; Norman, Gethin; Parker, David
11
2001
Abstraction refinement for probabilistic software. Zbl 1206.68090
Kattenbelt, Mark; Kwiatkowska, Marta; Norman, Gethin; Parker, David
11
2009
Probabilistic verification of Herman’s self-stabilisation algorithm. Zbl 1259.68130
Kwiatkowska, Marta; Norman, Gethin; Parker, David
11
2012
Ensuring the reliability of your model checker: interval iteration for Markov decision processes. Zbl 1494.68159
Baier, Christel; Klein, Joachim; Leuschner, Linda; Parker, David; Wunderlich, Sascha
11
2017
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
Automated verification and strategy synthesis for probabilistic systems. Zbl 1410.68233
Kwiatkowska, Marta; Parker, David
8
2013
Verification and control of partially observable probabilistic systems. Zbl 1425.68266
Norman, Gethin; Parker, David; Zou, Xueyi
8
2017
Learning-based compositional verification for synchronous probabilistic systems. Zbl 1348.68135
Feng, Lu; Han, Tingting; Kwiatkowska, Marta; Parker, David
7
2011
Compositional probabilistic verification through multi-objective model checking. Zbl 1277.68138
Kwiatkowska, Marta; Norman, Gethin; Parker, David; Qu, Hongyang
7
2013
SMT-based bisimulation minimisation of Markov models. Zbl 1426.68168
Dehnert, Christian; Katoen, Joost-Pieter; Parker, David
7
2013
Verifying team formation protocols with probabilistic model checking. Zbl 1348.68255
Chen, Taolue; Kwiatkowska, Marta; Parker, David; Simaitis, Aistis
6
2011
Bisimulation for demonic schedulers. Zbl 1234.68293
Chatzikokolakis, Konstantinos; Norman, Gethin; Parker, David
6
2009
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
6
2003
Numerical vs. statistical probabilistic model checking: an empirical study. Zbl 1126.68490
Younes, Håkan L. S.; Kwiatkowska, Marta; Norman, Gethin; Parker, David
6
2004
Game-based probabilistic predicate abstraction in PRISM. Zbl 1286.68316
Kattenbelt, Mark; Kwiatkowska, Marta; Norman, Gethin; Parker, David
6
2008
Using probabilistic model checking for dynamic power management. Zbl 1080.68601
Norman, Gethin; Parker, David; Kwiatkowska, Marta; Shukla, Sandeep; Gupta, Rajesh
5
2005
Permissive controller synthesis for probabilistic systems. Zbl 1391.68076
Dräger, Klaus; Forejt, Vojtěch; Kwiatkowska, Marta; Parker, David; Ujma, Mateusz
5
2015
The performance of public and private enterprise under conditions of active and passive ownership and competition and monopoly. Zbl 1206.91060
Willner, Johan; Parker, David
4
2007
Performance analysis of probabilistic timed automata using digital clocks. Zbl 1099.68534
Kwiatkowska, Marta; Norman, Gethin; Parker, David; Sproston, Jeremy
4
2004
Probabilistic model checking of labelled Markov processes via finite approximate bisimulations. Zbl 1407.68275
Abate, Alessandro; Kwiatkowska, Marta; Norman, Gethin; Parker, David
4
2014
On reduction criteria for probabilistic reward models. Zbl 1177.68150
Größer, Marcus; Norman, Gethin; Baier, Christel; Ciesinski, Frank; Kwiatkowska, Marta; Parker, David
3
2006
Probabilistic mobile ambients. Zbl 1183.68400
Kwiatkowska, Marta; Norman, Gethin; Parker, David; Vigliotti, Maria Grazia
3
2009
A symbolic out-of-core solution method for Markov models. Zbl 1270.68232
Kwiatkowska, Marta; Mehmood, Rashid; Norman, Gethin; Parker, David
3
2002
Symbolic representations and analysis of large probabilistic systems. Zbl 1203.68117
Miner, Andrew; Parker, David
3
2004
Verification and control of partially observable probabilistic real-time systems. Zbl 1465.68182
Norman, Gethin; Parker, David; Zou, Xueyi
3
2015
Probabilistic guarantees for safe deep reinforcement learning. Zbl 07317100
Bacci, Edoardo; Parker, David
2
2020
Automated verification of concurrent stochastic games. Zbl 1514.68138
Kwiatkowska, Marta; Norman, Gethin; Parker, David; Santos, Gabriel
2
2018
Automatic verification of competitive stochastic systems. Zbl 1352.68150
Chen, Taolue; Forejt, Vojtěch; Kwiatkowska, Marta; Parker, David; Simaitis, Aistis
2
2012
Automatic verification of concurrent stochastic systems. Zbl 1505.68025
Kwiatkowska, Marta; Norman, Gethin; Parker, David; Santos, Gabriel
2
2021
Multi-player equilibria verification for concurrent stochastic games. Zbl 1483.68197
Kwiatkowska, Marta; Norman, Gethin; Parker, David; Santos, Gabriel
2
2020
Experimental investigation and kinetic-theory-based model of a rapid granular shear flow. Zbl 1175.76029
Wildman, R. D.; Martin, T. W.; Huntley, J. M.; Jenkins, J. T.; Viswanathan, H.; Fen, X.; Parker, D. J.
1
2008
Velocity auto-correlation functions in three-dimensional vibro-fluidized granular beds. Zbl 1184.76592
Wildman, R. D.; Hansen, J.-P.; Parker, D. J.
1
2002
Segregation of granular flow in the transverse plane of a rolling mode rotating drum. Zbl 1136.76494
Ding, Y. L.; Forster, R.; Seville, J. P. K.; Parker, D. J.
1
2002
Finite-horizon bisimulation minimisation for probabilistic systems. Zbl 1354.68197
Kamaleson, Nishanthan; Parker, David; Rowe, Jonathan E.
1
2016
On nonlinear filters involving transformation of the time variable. Zbl 0262.68040
Moore, Douglas J. H.; Parker, David J.
1
1973
A framework for verification of software with time and probabilities. Zbl 1290.68035
Kwiatkowska, Marta; Norman, Gethin; Parker, David
1
2010
Health care supply networks in tightly and loosely coupled structures: exploration using agent-based modelling. Zbl 1292.93011
Kanagarajah, A.; Parker, D.; Xu, H.
1
2010
A multiple attribute group decision making approach for solving problems with the assessment of preference relations. Zbl 1394.91102
Yang, Taho; Kuo, Yiyo; Parker, David; Chen, Kuan Hung
1
2015
Fault diagnosis in labelled Petri nets: a Fourier-Motzkin based approach. Zbl 1478.93376
Al-Ajeli, Ahmed; Parker, David
1
2021
Verification and control of turn-based probabilistic real-time games. Zbl 07817560
Kwiatkowska, Marta; Norman, Gethin; Parker, David
1
2019
Automatic verification of concurrent stochastic systems. Zbl 1505.68025
Kwiatkowska, Marta; Norman, Gethin; Parker, David; Santos, Gabriel
2
2021
Fault diagnosis in labelled Petri nets: a Fourier-Motzkin based approach. Zbl 1478.93376
Al-Ajeli, Ahmed; Parker, David
1
2021
Probabilistic guarantees for safe deep reinforcement learning. Zbl 07317100
Bacci, Edoardo; Parker, David
2
2020
Multi-player equilibria verification for concurrent stochastic games. Zbl 1483.68197
Kwiatkowska, Marta; Norman, Gethin; Parker, David; Santos, Gabriel
2
2020
Verification and control of turn-based probabilistic real-time games. Zbl 07817560
Kwiatkowska, Marta; Norman, Gethin; Parker, David
1
2019
Automated verification of concurrent stochastic games. Zbl 1514.68138
Kwiatkowska, Marta; Norman, Gethin; Parker, David; Santos, Gabriel
2
2018
Ensuring the reliability of your model checker: interval iteration for Markov decision processes. Zbl 1494.68159
Baier, Christel; Klein, Joachim; Leuschner, Linda; Parker, David; Wunderlich, Sascha
11
2017
Verification and control of partially observable probabilistic systems. Zbl 1425.68266
Norman, Gethin; Parker, David; Zou, Xueyi
8
2017
Finite-horizon bisimulation minimisation for probabilistic systems. Zbl 1354.68197
Kamaleson, Nishanthan; Parker, David; Rowe, Jonathan E.
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
Verification and control of partially observable probabilistic real-time systems. Zbl 1465.68182
Norman, Gethin; Parker, David; Zou, Xueyi
3
2015
A multiple attribute group decision making approach for solving problems with the assessment of preference relations. Zbl 1394.91102
Yang, Taho; Kuo, Yiyo; Parker, David; Chen, Kuan Hung
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
26
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
Automatic verification of competitive stochastic systems. Zbl 1291.68252
Chen, Taolue; Forejt, Vojtěch; Kwiatkowska, Marta; Parker, David; Simaitis, Aistis
17
2013
Model checking for probabilistic timed automata. Zbl 1291.68265
Norman, Gethin; Parker, David; Sproston, Jeremy
17
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
Automated verification and strategy synthesis for probabilistic systems. Zbl 1410.68233
Kwiatkowska, Marta; Parker, David
8
2013
Compositional probabilistic verification through multi-objective model checking. Zbl 1277.68138
Kwiatkowska, Marta; Norman, Gethin; Parker, David; Qu, Hongyang
7
2013
SMT-based bisimulation minimisation of Markov models. Zbl 1426.68168
Dehnert, Christian; Katoen, Joost-Pieter; Parker, David
7
2013
Pareto curves for probabilistic model checking. Zbl 1374.68285
Forejt, Vojtěch; Kwiatkowska, Marta; Parker, David
12
2012
Probabilistic verification of Herman’s self-stabilisation algorithm. Zbl 1259.68130
Kwiatkowska, Marta; Norman, Gethin; Parker, David
11
2012
Automatic verification of competitive stochastic systems. Zbl 1352.68150
Chen, Taolue; Forejt, Vojtěch; Kwiatkowska, Marta; Parker, David; Simaitis, Aistis
2
2012
Quantitative multi-objective verification for probabilistic systems. Zbl 1315.68177
Forejt, Vojtěch; Kwiatkowska, Marta; Norman, Gethin; Parker, David; Qu, Hongyang
41
2011
Learning-based compositional verification for synchronous probabilistic systems. Zbl 1348.68135
Feng, Lu; Han, Tingting; Kwiatkowska, Marta; Parker, David
7
2011
Verifying team formation protocols with probabilistic model checking. Zbl 1348.68255
Chen, Taolue; Kwiatkowska, Marta; Parker, David; Simaitis, Aistis
6
2011
A game-based abstraction-refinement framework for Markov decision processes. Zbl 1233.90276
Kattenbelt, Mark; Kwiatkowska, Marta; Norman, Gethin; Parker, David
27
2010
Assume-guarantee verification for probabilistic systems. Zbl 1284.68406
Kwiatkowska, Marta; Norman, Gethin; Parker, David; Qu, Hongyang
15
2010
A framework for verification of software with time and probabilities. Zbl 1290.68035
Kwiatkowska, Marta; Norman, Gethin; Parker, David
1
2010
Health care supply networks in tightly and loosely coupled structures: exploration using agent-based modelling. Zbl 1292.93011
Kanagarajah, A.; Parker, D.; Xu, H.
1
2010
Stochastic games for verification of probabilistic timed automata. Zbl 1262.68125
Kwiatkowska, Marta; Norman, Gethin; Parker, David
16
2009
Abstraction refinement for probabilistic software. Zbl 1206.68090
Kattenbelt, Mark; Kwiatkowska, Marta; Norman, Gethin; Parker, David
11
2009
Bisimulation for demonic schedulers. Zbl 1234.68293
Chatzikokolakis, Konstantinos; Norman, Gethin; Parker, David
6
2009
Probabilistic mobile ambients. Zbl 1183.68400
Kwiatkowska, Marta; Norman, Gethin; Parker, David; Vigliotti, Maria Grazia
3
2009
Probabilistic model checking of complex biological pathways. Zbl 1133.68043
Heath, John; Kwiatkowska, Marta; Norman, Gethin; Parker, David; Tymchyshyn, Oksana
27
2008
Game-based probabilistic predicate abstraction in PRISM. Zbl 1286.68316
Kattenbelt, Mark; Kwiatkowska, Marta; Norman, Gethin; Parker, David
6
2008
Experimental investigation and kinetic-theory-based model of a rapid granular shear flow. Zbl 1175.76029
Wildman, R. D.; Martin, T. W.; Huntley, J. M.; Jenkins, J. T.; Viswanathan, H.; Fen, X.; Parker, D. J.
1
2008
Stochastic model checking. Zbl 1323.68379
Kwiatkowska, Marta; Norman, Gethin; Parker, David
48
2007
The performance of public and private enterprise under conditions of active and passive ownership and competition and monopoly. Zbl 1206.91060
Willner, Johan; Parker, David
4
2007
Performance analysis of probabilistic timed automata using digital clocks. Zbl 1105.68063
Kwiatkowska, Marta; Norman, Gethin; Parker, David; Sproston, Jeremy
32
2006
Symmetry reduction for probabilistic model checking. Zbl 1188.68194
Kwiatkowska, Marta; Norman, Gethin; Parker, David
18
2006
On reduction criteria for probabilistic reward models. Zbl 1177.68150
Größer, Marcus; Norman, Gethin; Baier, Christel; Ciesinski, Frank; Kwiatkowska, Marta; Parker, David
3
2006
Using probabilistic model checking for dynamic power management. Zbl 1080.68601
Norman, Gethin; Parker, David; Kwiatkowska, Marta; Shukla, Sandeep; Gupta, Rajesh
5
2005
Mathematical techniques for analyzing concurrent and probabilistic systems. Zbl 1069.68074
20
2004
Numerical vs. statistical probabilistic model checking: an empirical study. Zbl 1126.68490
Younes, Håkan L. S.; Kwiatkowska, Marta; Norman, Gethin; Parker, David
6
2004
Performance analysis of probabilistic timed automata using digital clocks. Zbl 1099.68534
Kwiatkowska, Marta; Norman, Gethin; Parker, David; Sproston, Jeremy
4
2004
Symbolic representations and analysis of large probabilistic systems. Zbl 1203.68117
Miner, Andrew; Parker, David
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
6
2003
PRISM: Probabilistic symbolic model checker. Zbl 1047.68533
Kwiatkowska, Marta; Norman, Gethin; Parker, David
66
2002
Probabilistic symbolic model checking with PRISM: A hybrid approach. Zbl 1043.68576
Kwiatkowska, Marta; Norman, Gethin; Parker, David
12
2002
A symbolic out-of-core solution method for Markov models. Zbl 1270.68232
Kwiatkowska, Marta; Mehmood, Rashid; Norman, Gethin; Parker, David
3
2002
Velocity auto-correlation functions in three-dimensional vibro-fluidized granular beds. Zbl 1184.76592
Wildman, R. D.; Hansen, J.-P.; Parker, D. J.
1
2002
Segregation of granular flow in the transverse plane of a rolling mode rotating drum. Zbl 1136.76494
Ding, Y. L.; Forster, R.; Seville, J. P. K.; Parker, D. J.
1
2002
Faster and symbolic CTMC model checking. Zbl 1007.68517
Katoen, Joost-Pieter; Kwiatkowska, Marta; Norman, Gethin; Parker, David
11
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
17
2000
On nonlinear filters involving transformation of the time variable. Zbl 0262.68040
Moore, Douglas J. H.; Parker, David J.
1
1973

Citations by Year