David Parker

צוטט על ידי

	הכל	מאז 2020
ציטוטים ביבליוגרפיים	17332	5535
H-index	63	37
i10-index	132	92

1200

600

300

900

20022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202564 126 209 216 336 368 431 585 686 703 812 897 945 1060 1062 957 1099 956 1085 1047 1090 1017 1126 163

גישה ציבורית

הצג הכל

57 מאמרים

0 מאמרים

זמין

לא זמין

על סמך ייפוי כח מהמממנים

מחברים משותפים

Marta KwiatkowskaProfessor of Computing Systems, University of Oxfordכתובת אימייל מאומתת בדומיין comlab.ox.ac.uk
Gethin NormanSenior Lecturer of Computing Science, Glasgow University, School of Computing Scienceכתובת אימייל מאומתת בדומיין glasgow.ac.uk
Vojtěch ForejtDifflblueכתובת אימייל מאומתת בדומיין diffblue.com
Nick HawesOxford Robotics Institute, University of Oxfordכתובת אימייל מאומתת בדומיין robots.ox.ac.uk
Jan KřetínskýMasaryk University Brno; Technical University of Munichכתובת אימייל מאומתת בדומיין fi.muni.cz
Hongyang QuResearch Fellow, University of Sheffieldכתובת אימייל מאומתת בדומיין sheffield.ac.uk
Jeremy SprostonAssistant professor, University of Turinכתובת אימייל מאומתת בדומיין di.unito.it
Bruno LacerdaOxford Robotics Institute - University of Oxfordכתובת אימייל מאומתת בדומיין robots.ox.ac.uk
Tim QuatmannRWTH Aachen Universityכתובת אימייל מאומתת בדומיין cs.rwth-aachen.de
Joachim KleinTU Dresden (formerly)כתובת אימייל מאומתת בדומיין automata.tools
Mateusz UjmaDPhil Student, Oxford Universityכתובת אימייל מאומתת בדומיין cs.ox.ac.uk
Lu FengAssociate Professor of Computer Science, University of Virginiaכתובת אימייל מאומתת בדומיין virginia.edu
Enno RuijtersUniversiteit Twenteכתובת אימייל מאומתת בדומיין utwente.nl
Arnd HartmannsUniversity of Twenteכתובת אימייל מאומתת בדומיין utwente.nl
Aistis ŠimaitisUniversity of Oxfordכתובת אימייל מאומתת בדומיין cs.ox.ac.uk
Michaela KlauckRobert Bosch GmbH - Bosch Research, Saarland University, Saarland Informatics Campusכתובת אימייל מאומתת בדומיין de.bosch.com
Roberto SegalaUniversità di Veronaכתובת אימייל מאומתת בדומיין univr.it
Taolue ChenSchool of Computing and Mathematical Sciences, Birkbeck, University of Londonכתובת אימייל מאומתת בדומיין bbk.ac.uk
John HeathProfessor Birmingham Universityכתובת אימייל מאומתת בדומיין bham.ac.uk
Nils JansenProfessor of Artificial Intelligence and Formal Methods, Ruhr-University Bochumכתובת אימייל מאומתת בדומיין rub.de

עקוב אחר

David Parker

Professor of Computer Science, University of Oxford

כתובת אימייל מאומתת בדומיין cs.ox.ac.uk - דף הבית

Automated Verification Probabilistic Model Checking


כותרת מיון לפי ציטוט ביבליוגרפי מיון לפי שנה מיון לפי כותרת	צוטט על ידי צוטט על ידי	שנה
PRISM 4.0: Verification of probabilistic real-time systems‏ M Kwiatkowska, G Norman, D Parker‏ Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011‏	3354	2011
PRISM: Probabilistic symbolic model checker‏ M Kwiatkowska, G Norman, D Parker‏ International Conference on Modelling Techniques and Tools for Computer …, 2002‏	984	2002
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‏	974	2006
Stochastic model checking‏ M Kwiatkowska, G Norman, D Parker‏ Formal Methods for Performance Evaluation: 7th International School on …, 2007‏	895	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‏	484	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 (2), 128-142, 2004‏	439	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‏	337	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‏	312	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‏	300	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‏	253	2014
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‏	242	2008
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‏	241	2004
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‏	234	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‏	218	2012
Symmetry reduction for probabilistic model checking‏ M Kwiatkowska, G Norman, D Parker‏ International Conference on Computer Aided Verification, 234-248, 2006‏	209	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‏	195	2000
Using probabilistic model checking in systems biology‏ M Kwiatkowska, G Norman, D Parker‏ ACM SIGMETRICS Performance Evaluation Review 35 (4), 14-21, 2008‏	192	2008
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‏	184	2013

המערכת אינה יכולה לבצע את הפעולה כעת. נסה שוב מאוחר יותר.

מאמרים 1–20

ציטוטים ביבליוגרפיים בשנה

ציטוטים ביביליוגרפיים כפולים

ציטוטים ביביליוגרפיים שמוזגו

הוסף מחברים שותפיםמחברים משותפים

עקוב אחר

צוטט על ידי

מחברים משותפים