Concepedia

Gethin Norman

GN

Statistics

Publications

53

Citations

4.1K

H-Index

34

Active since

1998

Affiliations

University of Birmingham(Current)

University of Oxford

University of Glasgow

University of Turin

Gethin Norman is an author at University of Birmingham specializing in computer science, model checking, and probabilistic model checking.

Publications per year

1998–2019

53

Publications

53

Probabilistic symbolic model checking with PRISM: a hybrid approach

Marta Kwiatkowska, Gethin Norman, David Parker · International Journal on Software Tools for Technology Transfer · 2004 · 439 citations

Computing, Computer Science, Computer Systems +13

Automatic verification of real-time systems with discrete probability distributions

Marta Kwiatkowska, Gethin Norman, Roberto Segala et al. · Theoretical Computer Science · 2002 · 330 citations

Computing, Computer Science, Mathematics +14

Marta Kwiatkowska, Gethin Norman, David Parker · ACM SIGMETRICS Performance Evaluation Review · 2009 · 250 citations · Full text

Computing, Computer Engineering, Computer Science +9

Probabilistic model checking of complex biological pathways

John K. Heath, Marta Kwiatkowska, Gethin Norman et al. · Theoretical Computer Science · 2007 · 241 citations

Life Sciences, Bioinformatics, Biology +14

Numerical vs. statistical probabilistic model checking

Håkan L. S. Younes, Marta Kwiatkowska, Gethin Norman et al. · International Journal on Software Tools for Technology Transfer · 2006 · 210 citations

Computing, Computer Science, Formal Methods +11

1–5 of 53