David Parker

Citée par

	Toutes	Depuis 2020
Citations	17270	5502
indice h	63	36
indice i10	132	93

1200

600

300

900

20022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202565 124 203 221 336 369 415 586 682 701 823 890 933 1063 1051 974 1098 950 1102 1050 1077 1035 1121 108

Accès public

Tout afficher

56 articles

0 article

disponibles

non disponibles

Sur la base des exigences liées au financement

Coauteurs

Marta KwiatkowskaProfessor of Computing Systems, University of OxfordAdresse e-mail validée de comlab.ox.ac.uk
Gethin NormanSenior Lecturer of Computing Science, Glasgow University, School of Computing ScienceAdresse e-mail validée de glasgow.ac.uk
Vojtěch ForejtDifflblueAdresse e-mail validée de diffblue.com
Nick HawesOxford Robotics Institute, University of OxfordAdresse e-mail validée de robots.ox.ac.uk
Jan KřetínskýMasaryk University Brno; Technical University of MunichAdresse e-mail validée de fi.muni.cz
Hongyang QuResearch Fellow, University of SheffieldAdresse e-mail validée de sheffield.ac.uk
Jeremy SprostonAssistant professor, University of TurinAdresse e-mail validée de di.unito.it
Bruno LacerdaOxford Robotics Institute - University of OxfordAdresse e-mail validée de robots.ox.ac.uk
Tim QuatmannRWTH Aachen UniversityAdresse e-mail validée de cs.rwth-aachen.de
Joachim KleinTU Dresden (formerly)Adresse e-mail validée de automata.tools
Mateusz UjmaDPhil Student, Oxford UniversityAdresse e-mail validée de cs.ox.ac.uk
Sandeep ShuklaProfessor of Computer Science and EngineeringAdresse e-mail validée de cse.iitk.ac.in
Lu FengAssociate Professor of Computer Science, University of VirginiaAdresse e-mail validée de virginia.edu
Enno RuijtersUniversiteit TwenteAdresse e-mail validée de utwente.nl
Arnd HartmannsUniversity of TwenteAdresse e-mail validée de utwente.nl
Aistis ŠimaitisUniversity of OxfordAdresse e-mail validée de cs.ox.ac.uk
Michaela KlauckRobert Bosch GmbH - Bosch Research, Saarland University, Saarland Informatics CampusAdresse e-mail validée de de.bosch.com
Roberto SegalaUniversità di VeronaAdresse e-mail validée de univr.it
Taolue ChenSchool of Computing and Mathematical Sciences, Birkbeck, University of LondonAdresse e-mail validée de bbk.ac.uk
John HeathProfessor Birmingham UniversityAdresse e-mail validée de bham.ac.uk

Suivre

David Parker

Professor of Computer Science, University of Oxford

Adresse e-mail validée de cs.ox.ac.uk - Page d'accueil

Automated Verification Probabilistic Model Checking


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
PRISM 4.0: Verification of probabilistic real-time systems M Kwiatkowska, G Norman, D Parker Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011	3338	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	977	2006
PRISM: Probabilistic symbolic model checker M Kwiatkowska, G Norman, D Parker International Conference on Modelling Techniques and Tools for Computer …, 2002	976	2002
Stochastic model checking M Kwiatkowska, G Norman, D Parker Formal Methods for Performance Evaluation: 7th International School on …, 2007	885	2007
Automated verification techniques for probabilistic systems V Forejt, M Kwiatkowska, G Norman, D Parker Formal Methods for Eternal Networked Software Systems: 11th International …, 2011	483	2011
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	440	2004
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	336	2009
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	310	2006
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	299*	2004
Implementation of symbolic model checking for probabilistic systems D Parker University of Birmingham, 2002	296	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	285	2006
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	257	2014
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	240	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	239	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	232	2002
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	215	2012
Symmetry reduction for probabilistic model checking M Kwiatkowska, G Norman, D Parker International Conference on Computer Aided Verification, 234-248, 2006	208	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	192	2000
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	186	2013
Assume-guarantee verification for probabilistic systems M Kwiatkowska, G Norman, D Parker, H Qu Tools and Algorithms for the Construction and Analysis of Systems: 16th …, 2010	184	2010

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Suivre

Citée par

Coauteurs