Gethin Norman

Probabilistic symbolic model checking with PRISM: a hybrid approach

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

Engineering, Automated Reasoning, Program Analysis +10

Automatic verification of real-time systems with discrete probability distributions

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

Engineering, Probabilistic Verification, Verification +8

PRISM

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

Reliability Engineering, Probabilistic Model Checking, Engineering +15

Probabilistic model checking of complex biological pathways

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

Probabilistic Model Checking, Engineering, Automated Reasoning +6

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 · 209 citations

Engineering, Uncertainty Quantification, Automated Reasoning +9