Gethin Norman 个人学术档案

引用次数

	总计	2019 年至今
引用	15212	4216
h 指数	52	27
i10 指数	106	64

960

480

240

720

20012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202455 101 178 267 288 417 442 477 658 773 757 834 877 901 960 938 866 916 738 800 801 787 725 364

开放获取的出版物数量

查看全部

25 篇文章

0 篇文章

可查看的文章

无法查看的文章

根据资助方的强制性开放获取政策

合著作者

Marta KwiatkowskaProfessor of Computing Systems, University of Oxford在 comlab.ox.ac.uk 的电子邮件经过验证
David ParkerProfessor of Computer Science, University of Oxford在 cs.ox.ac.uk 的电子邮件经过验证
Jeremy SprostonAssistant professor, University of Turin在 di.unito.it 的电子邮件经过验证
Roberto SegalaUniversità di Verona在 univr.it 的电子邮件经过验证
Vojtěch ForejtDifflblue在 diffblue.com 的电子邮件经过验证
Sandeep ShuklaProfessor of Computer Science and Engineering在 cse.iitk.ac.in 的电子邮件经过验证
John HeathProfessor Birmingham University在 bham.ac.uk 的电子邮件经过验证
Hongyang QuResearch Fellow, University of Sheffield在 sheffield.ac.uk 的电子邮件经过验证
Alice MillerProfessor, University of Glasgow在 glasgow.ac.uk 的电子邮件经过验证
Håkan L. S. YounesGoogle Inc在 google.com 的电子邮件经过验证
Rajesh K. GuptaProfessor of Computer Science and Engineering, Halıcıoğlu Data Science Institute, UC San Diego在 ucsd.edu 的电子邮件经过验证
Catuscia PalamidessiInria在 lix.polytechnique.fr 的电子邮件经过验证
Peng WUState Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences在 ios.ac.cn 的电子邮件经过验证
Ruth HoffmannSchool of Computer Science, University of St Andrews在 st-andrews.ac.uk 的电子邮件经过验证
Murray IrelandHead of Autonomous Systems, Craft Prospect在 craftprospect.com 的电子邮件经过验证
Marie DuflotLORIA - Université de Lorraine & INRIA在 inria.fr 的电子邮件经过验证
Luca de AlfaroProfessor, Computer Science and Engineering, UC Santa Cruz在 alumni.stanford.edu 的电子邮件经过验证
Ashutosh TrivediAssociate Professor, University of Colorado at Boulder在 colorado.edu 的电子邮件经过验证
António Pacheco PiresProfessor, CEMAT and Department of Mathematics, Instituto Superior Técnico - Universidade de Lisboa在 tecnico.ulisboa.pt 的电子邮件经过验证
Jan RuttenCWI在 cwi.nl 的电子邮件经过验证

关注

Gethin Norman

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

在 glasgow.ac.uk 的电子邮件经过验证 - 首页

Formal Methods 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	3163	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	968	2006
PRISM: Probabilistic symbolic model checker M Kwiatkowska, G Norman, D Parker International Conference on Modelling Techniques and Tools for Computer …, 2002	938	2002
Stochastic model checking M Kwiatkowska, G Norman, D Parker Formal Methods for Performance Evaluation: 7th International School on …, 2007	857	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	461	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	436	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	428	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	332	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	302	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	281	2006
Mathematical techniques for analyzing concurrent and probabilistic systems JJMM Rutten, P Panangaden Amer Mathematical Society, 2004	271	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	237	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	235	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	230	2002
Symmetry reduction for probabilistic model checking M Kwiatkowska, G Norman, D Parker International Conference on Computer Aided Verification, 234-248, 2006	205	2006
Symbolic model checking for probabilistic timed automata M Kwiatkowska, G Norman, J Sproston, F Wang Information and Computation 205 (7), 1027-1077, 2007	204	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	201	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	190	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	182	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	175	2006

系统目前无法执行此操作，请稍后再试。

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

上传 PDF

关注此作者

引用次数

合著作者

引用