David Parker

Cited by

	All	Since 2018
Citations	15330	5642
h-index	58	37
i10-index	122	93

1100

550

275

825

200220032004200520062007200820092010201120122013201420152016201720182019202020212022202363 120 197 221 329 363 411 584 690 702 802 892 945 1080 1071 953 1096 954 1056 1051 1062 423

Public access

View all

50 articles

0 articles

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
Nick HawesOxford Robotics Institute, University of OxfordVerified email at robots.ox.ac.uk
Hongyang QuResearch Fellow, University of SheffieldVerified email at sheffield.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
Jan KřetínskýTechnical University of MunichVerified email at fi.muni.cz
Sandeep ShuklaProfessor of Computer Science and EngineeringVerified email at cse.iitk.ac.in
Mateusz UjmaDPhil Student, Oxford UniversityVerified email at cs.ox.ac.uk
Joachim KleinTU Dresden (formerly)Verified email at automata.tools
Aistis ŠimaitisUniversity of OxfordVerified email at cs.ox.ac.uk
Roberto SegalaUniversità di VeronaVerified email at univr.it
Tim QuatmannPhD Student at RWTH Aachen UniversityVerified email at cs.rwth-aachen.de
John HeathProfessor Birmingham UniversityVerified email at bham.ac.uk
Taolue ChenDepartment of Computer Science, Birkbeck, University of LondonVerified email at bbk.ac.uk
Lu FengAssistant Professor of Computer Science, University of VirginiaVerified email at virginia.edu
Michaela KlauckSaarland University, Saarland Informatics Campus, Bosch ResearchVerified email at de.bosch.com
Enno RuijtersUniversiteit TwenteVerified email at utwente.nl
Arnd HartmannsUniversity of TwenteVerified email at utwente.nl

David Parker

Professor of Computer Science, University of Oxford

Verified email at cs.ox.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 Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011	2896	2011
PRISM: A tool for automatic verification of probabilistic systems A Hinton, M Kwiatkowska, G Norman, D Parker Tools and Algorithms for the Construction and Analysis of Systems: 12th …, 2006	952	2006
PRISM: Probabilistic symbolic model checker M Kwiatkowska, G Norman, D Parker Computer Performance Evaluation: Modelling Techniques and Tools: 12th …, 2002	901	2002
Stochastic model checking M Kwiatkowska, G Norman, D Parker Formal Methods for Performance Evaluation: 7th International School on …, 2007	791	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, 128-142, 2004	423	2004
Automated verification techniques for probabilistic systems V Forejt, M Kwiatkowska, G Norman, D Parker Formal Methods for Eternal Networked Software Systems: 11th International …, 2011	416	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	322	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	298*	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	294	2006
Implementation of symbolic model checking for probabilistic systems D Parker University of Birmingham, 2002	280	2002
Numerical vs. statistical probabilistic model checking HLS Younes, M Kwiatkowska, G Norman, D Parker International Journal on Software Tools for Technology Transfer 8, 216-228, 2006	269	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	227	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	226	2008
Probabilistic symbolic model checking with PRISM: A hybrid approach M Kwiatkowska, G Norman, D Parker Tools and Algorithms for the Construction and Analysis of Systems: 8th …, 2002	220	2002
Verification of Markov decision processes using learning algorithms T Brázdil, K Chatterjee, M Chmelik, V Forejt, J Křetínský, M Kwiatkowska, ... Automated Technology for Verification and Analysis: 12th International …, 2014	209	2014
Symmetry reduction for probabilistic model checking M Kwiatkowska, G Norman, D Parker Computer Aided Verification: 18th International Conference, CAV 2006 …, 2006	197	2006
Symbolic model checking of probabilistic processes using MTBDDs and the Kronecker representation L De Alfaro, M Kwiatkowska, G Norman, D Parker, R Segala Tools and Algorithms for the Construction and Analysis of Systems: 6th …, 2000	189	2000
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	186	2012
A formal analysis of Bluetooth device discovery M Duflot, M Kwiatkowska, G Norman, D Parker International journal on software tools for technology transfer 8, 621-632, 2006	177	2006
PRISM-games: A model checker for stochastic multi-player games T Chen, V Forejt, M Kwiatkowska, D Parker, A Simaitis Tools and Algorithms for the Construction and Analysis of Systems: 19th …, 2013	171	2013

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

Follow

Cited by

Co-authors