Gethin Norman

Cited by

	All	Since 2020
Citations	15735	3962
h-index	53	27
i10-index	106	61

960

480

240

720

200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202555 101 178 269 288 422 441 477 661 775 762 834 877 908 960 939 864 918 739 808 809 783 729 774 52

Public access

View all

28 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
David ParkerProfessor of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
Jeremy SprostonAssistant professor, University of TurinVerified email at di.unito.it
Roberto SegalaUniversità di VeronaVerified email at univr.it
Vojtěch ForejtDifflblueVerified email at diffblue.com
Sandeep ShuklaProfessor of Computer Science and EngineeringVerified email at cse.iitk.ac.in
John HeathProfessor Birmingham UniversityVerified email at bham.ac.uk
Hongyang QuResearch Fellow, University of SheffieldVerified email at sheffield.ac.uk
Alice MillerProfessor, University of GlasgowVerified email at glasgow.ac.uk
Håkan L. S. YounesGoogle IncVerified email at google.com
Catuscia PalamidessiInriaVerified email at lix.polytechnique.fr
Peng WUState Key Laboratory of Computer Science, Institute of Software, Chinese Academy of SciencesVerified email at ios.ac.cn
Rajesh K. GuptaProfessor of Computer Science and Engineering, Halıcıoğlu Data Science Institute, UC San DiegoVerified email at ucsd.edu
Ruth HoffmannSchool of Computer Science, University of St AndrewsVerified email at st-andrews.ac.uk
Murray IrelandHead of Autonomous Systems, Craft ProspectVerified email at craftprospect.com
Marie DuflotLORIA - Université de Lorraine & INRIAVerified email at inria.fr
Luca de AlfaroProfessor, Computer Science and Engineering, UC Santa CruzVerified email at alumni.stanford.edu
Ashutosh TrivediAssociate Professor, University of Colorado at BoulderVerified email at colorado.edu
António Pacheco PiresProfessor, CEMAT and Department of Mathematics, Instituto Superior Técnico - Universidade de LisboaVerified email at tecnico.ulisboa.pt
Jan RuttenCWIVerified email at cwi.nl

Gethin Norman

Senior Lecturer of Computing Science, Glasgow University, School of Computing Science

Verified email at glasgow.ac.uk - Homepage

Formal Methods 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	3337	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	884	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
Automatic verification of real-time systems with discrete probability distributions M Kwiatkowska, G Norman, R Segala, J Sproston Theoretical Computer Science 282 (1), 101-150, 2002	439	2002
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
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
Mathematical techniques for analyzing concurrent and probabilistic systems JJMM Rutten, P Panangaden Amer Mathematical Society, 2004	272	2004
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
Symbolic model checking for probabilistic timed automata M Kwiatkowska, G Norman, J Sproston, F Wang Information and Computation 205 (7), 1027-1077, 2007	208	2007
Symmetry reduction for probabilistic model checking M Kwiatkowska, G Norman, D Parker International Conference on Computer Aided Verification, 234-248, 2006	208	2006
Probabilistic model checking of the IEEE 802.11 wireless local area network protocol M Kwiatkowska, G Norman, J Sproston Joint International Workshop von Process Algebra and Probabilistic Methods …, 2002	204	2002
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
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
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	181	2006

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