Gethin Norman

Cited by

	All	Since 2015
Citations	12066	5051
h-index	49	31
i10-index	101	69

960

480

240

720

2001200220032004200520062007200820092010201120122013201420152016201720182019202039 102 190 237 277 392 435 455 650 776 761 772 859 898 954 949 858 842 748 700

Co-authors

Marta KwiatkowskaProfessor of Computing Systems, University of OxfordVerified email at comlab.ox.ac.uk
David ParkerProfessor of Computer Science, University of BirminghamVerified email at cs.bham.ac.uk
Jeremy SprostonAssistant professor, University of TurinVerified email at di.unito.it
Roberto SegalaUniversità di VeronaVerified email at univr.it
Sandeep ShuklaProfessor of Computer Science and EngineeringVerified email at cse.iitk.ac.in
Vojtěch ForejtDifflblueVerified email at diffblue.com
John HeathProfessor Birmingham UniversityVerified email at bham.ac.uk
Hongyang QuResearch Fellow, University of SheffieldVerified email at sheffield.ac.uk
Håkan L. S. YounesGoogle IncVerified email at google.com
Rajesh K. GuptaProfessor of Computer Science and Engineering, UC San DiegoVerified email at ucsd.edu
Marie DuflotLORIA - Université de Lorraine & INRIAVerified email at inria.fr
Ashutosh TrivediAssistant Professor of Computer Science at the University of Colorado at BoulderVerified email at colorado.edu
Luca de AlfaroProfessor, UC Santa CruzVerified email at UCSC.edu
Catuscia PalamidessiINRIA, University of Paris Saclay and Ecole PolytechniqueVerified email at lix.polytechnique.fr
Alice MillerProfessor, University of GlasgowVerified email at glasgow.ac.uk
Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteVerified email at cs.rwth-aachen.de
Peng WUState Key Laboratory of Computer Science, Institute of Software, Chinese Academy of SciencesVerified email at ios.ac.cn
Jan RuttenCWIVerified email at cwi.nl
Christel BaierTU DresdenVerified email at tu-dresden.de
Xueyi ZouHuawei Noah's Ark LabVerified email at huawei.com

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 International conference on computer aided verification, 585-591, 2011	2141	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	866	2006
PRISM: Probabilistic symbolic model checker M Kwiatkowska, G Norman, D Parker International Conference on Modelling Techniques and Tools for Computer …, 2002	773	2002
Stochastic model checking M Kwiatkowska, G Norman, D Parker International School on Formal Methods for the Design of Computer …, 2007	615	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	387	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	372	2002
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	293	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	274	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	260	2006
Mathematical techniques for analyzing concurrent and probabilistic systems JJMM Rutten, P Panangaden Amer Mathematical Society, 2004	254	2004
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	240	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	213	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	207	2002
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	204	2008
Symbolic model checking for probabilistic timed automata M Kwiatkowska, G Norman, J Sproston, F Wang Information and Computation 205 (7), 1027-1077, 2007	179	2007
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	173	2002
Symmetry reduction for probabilistic model checking M Kwiatkowska, G Norman, D Parker International Conference on Computer Aided Verification, 234-248, 2006	170	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	157	2006
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	151	2010

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