Follow
Gethin Norman
Gethin Norman
Senior Lecturer of Computing Science, Glasgow University, School of Computing Science
Verified email at glasgow.ac.uk - Homepage
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
28952011
PRISM: A tool for automatic verification of probabilistic systems
A Hinton, M Kwiatkowska, G Norman, D Parker
Tools and Algorithms for the Construction and Analysis of Systems: 12th …, 2006
9522006
PRISM: Probabilistic symbolic model checker
M Kwiatkowska, G Norman, D Parker
Computer Performance Evaluation: Modelling Techniques and Tools: 12th …, 2002
9012002
Stochastic model checking
M Kwiatkowska, G Norman, D Parker
Formal Methods for Performance Evaluation: 7th International School on …, 2007
7912007
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
4232004
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
4232002
Automated verification techniques for probabilistic systems
V Forejt, M Kwiatkowska, G Norman, D Parker
Formal Methods for Eternal Networked Software Systems: 11th International …, 2011
4162011
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
3222009
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
2942006
Mathematical techniques for analyzing concurrent and probabilistic systems
JJMM Rutten, P Panangaden
Amer Mathematical Society, 2004
2702004
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
2692006
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
2272004
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
2262008
Probabilistic symbolic model checking with PRISM: A hybrid approach
M Kwiatkowska, G Norman, D Parker
Tools and Algorithms for the Construction and Analysis of Systems: 8th …, 2002
2202002
Symbolic model checking for probabilistic timed automata
M Kwiatkowska, G Norman, J Sproston, F Wang
Information and Computation 205 (7), 1027-1077, 2007
1992007
Probabilistic model checking of the IEEE 802.11 wireless local area network protocol
M Kwiatkowska, G Norman, J Sproston
PAPM-PROBMIV 2, 169-187, 2002
1992002
Symmetry reduction for probabilistic model checking
M Kwiatkowska, G Norman, D Parker
Computer Aided Verification: 18th International Conference, CAV 2006 …, 2006
1972006
Symbolic model checking of probabilistic processes using MTBDDs and the Kronecker representation
L De Alfaro, M Kwiatkowska, G Norman, D Parker, R Segala
Tools and Algorithms for the Construction and Analysis of Systems: 6th …, 2000
1892000
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
1772006
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
1692010
The system can't perform the operation now. Try again later.
Articles 1–20