David Parker

Cited by

	All	Since 2016
Citations	12957	5399
h-index	52	36
i10-index	112	86

1100

550

275

825

2002200320042005200620072008200920102011201220132014201520162017201820192020202160 123 180 221 331 374 410 583 689 715 789 871 904 1058 1072 963 1051 970 1035 307

Public access

View all

32 articles

1 article

available

not available

Based on funding mandates

Co-authors

Marta KwiatkowskaProfessor of Computing Systems, University of OxfordVerified email at comlab.ox.ac.uk
Gethin NormanSenior Lecturer of Computing Science, Glasgow University, School of Computing ScienceVerified email at glasgow.ac.uk
Vojtěch ForejtDifflblueVerified email at diffblue.com
Hongyang QuResearch Fellow, University of SheffieldVerified email at sheffield.ac.uk
Nick HawesOxford Robotics Institute, University of OxfordVerified email at robots.ox.ac.uk
Jeremy SprostonAssistant professor, University of TurinVerified email at di.unito.it
Bruno LacerdaOxford Robotics Institute - University of OxfordVerified email at robots.ox.ac.uk
Sandeep ShuklaProfessor of Computer Science and EngineeringVerified email at cse.iitk.ac.in
Mateusz UjmaDPhil Student, Oxford UniversityVerified email at cs.ox.ac.uk
Aistis ŠimaitisUniversity of OxfordVerified email at cs.ox.ac.uk
Roberto SegalaUniversità di VeronaVerified email at univr.it
Jan KřetínskýTechnical University of Munich (tenure-track assistant professor)Verified email at fi.muni.cz
John HeathProfessor Birmingham UniversityVerified email at bham.ac.uk
Taolue ChenDepartment of Computer Science, Birkbeck, University of LondonVerified email at bbk.ac.uk
Joachim KleinTU Dresden (formerly)Verified email at automata.tools
Håkan L. S. YounesGoogle IncVerified email at google.com
Rashid MehmoodProfessor of Big Data Systems, Director for Research, HPC Center, King AbdulAziz UniversityVerified email at kau.edu.sa
Rajesh K. GuptaProfessor of Computer Science and Engineering, Halıcıoğlu Data Science Institute, UC San DiegoVerified email at ucsd.edu
Lu FengAssistant Professor of Computer Science, University of VirginiaVerified email at virginia.edu
Arnd HartmannsUniversity of TwenteVerified email at utwente.nl

David Parker

Professor of Computer Science, University of Birmingham

Verified email at cs.bham.ac.uk - Homepage

Automated Verification Probabilistic Model Checking


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
PRISM 4.0: Verification of probabilistic real-time systems M Kwiatkowska, G Norman, D Parker International conference on computer aided verification, 585-591, 2011	2294	2011
PRISM: A tool for automatic verification of probabilistic systems A Hinton, M Kwiatkowska, G Norman, D Parker International conference on tools and algorithms for the construction and …, 2006	911	2006
PRISM: Probabilistic symbolic model checker M Kwiatkowska, G Norman, D Parker International Conference on Modelling Techniques and Tools for Computer …, 2002	799	2002
Stochastic model checking M Kwiatkowska, G Norman, D Parker International School on Formal Methods for the Design of Computer …, 2007	669	2007
Probabilistic symbolic model checking with PRISM: A hybrid approach M Kwiatkowska, G Norman, D Parker International Journal on Software Tools for Technology Transfer 6 (2), 128-142, 2004	402	2004
Automated verification techniques for probabilistic systems V Forejt, M Kwiatkowska, G Norman, D Parker International school on formal methods for the design of computer …, 2011	316	2011
Prism: Probabilistic model checking for performance and reliability analysis M Kwiatkowska, G Norman, D Parker ACM SIGMETRICS Performance Evaluation Review 36 (4), 40-45, 2009	286	2009
Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems, P. Panangaden and F. van Breugel (eds.) J Rutten, M Kwiatkowska, G Norman, D Parker American Mathematical Society, 2004	282*	2004
Performance analysis of probabilistic timed automata using digital clocks M Kwiatkowska, G Norman, D Parker, J Sproston Formal Methods in System Design 29 (1), 33-78, 2006	271	2006
Implementation of symbolic model checking for probabilistic systems D Parker University of Birmingham, 2002	259	2002
Numerical vs. statistical probabilistic model checking HLS Younes, M Kwiatkowska, G Norman, D Parker International Journal on Software Tools for Technology Transfer 8 (3), 216-228, 2006	249	2006
PRISM 2.0: A tool for probabilistic model checking M Kwiatkowska, G Norman, D Parker First International Conference on the Quantitative Evaluation of Systems …, 2004	221	2004
Probabilistic model checking of complex biological pathways J Heath, M Kwiatkowska, G Norman, D Parker, O Tymchyshyn Theoretical Computer Science 391 (3), 239-257, 2008	208	2008
Probabilistic symbolic model checking with PRISM: A hybrid approach M Kwiatkowska, G Norman, D Parker International Conference on Tools and Algorithms for the Construction and …, 2002	205	2002
Symmetry reduction for probabilistic model checking M Kwiatkowska, G Norman, D Parker International Conference on Computer Aided Verification, 234-248, 2006	177	2006
Symbolic model checking of probabilistic processes using MTBDDs and the Kronecker representation L De Alfaro, M Kwiatkowska, G Norman, D Parker, R Segala International Conference on Tools and Algorithms for the Construction and …, 2000	170	2000
A formal analysis of Bluetooth device discovery M Duflot, M Kwiatkowska, G Norman, D Parker International journal on software tools for technology transfer 8 (6), 621-632, 2006	167	2006
Verification of Markov decision processes using learning algorithms T Brázdil, K Chatterjee, M Chmelik, V Forejt, J Křetínský, M Kwiatkowska, ... International Symposium on Automated Technology for Verification and …, 2014	161	2014
Assume-guarantee verification for probabilistic systems M Kwiatkowska, G Norman, D Parker, H Qu International Conference on Tools and Algorithms for the Construction and …, 2010	153	2010
Automatic verification of competitive stochastic systems T Chen, V Forejt, M Kwiatkowska, D Parker, A Simaitis Tools and Algorithms for the Construction and Analysis of Systems, 315-330, 2012	152	2012

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors