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
International conference on computer aided verification, 585-591, 2011
22082011
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
9022006
PRISM: Probabilistic symbolic model checker
M Kwiatkowska, G Norman, D Parker
International Conference on Modelling Techniques and Tools for Computer …, 2002
7882002
Stochastic model checking
M Kwiatkowska, G Norman, D Parker
International School on Formal Methods for the Design of Computer …, 2007
6452007
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
3992004
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
3862002
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
3002011
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
2832009
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
2682006
Mathematical techniques for analyzing concurrent and probabilistic systems
JJMM Rutten, P Panangaden
Amer Mathematical Society, 2004
2542004
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
2482006
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
2202004
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
2062008
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
2052002
Symbolic model checking for probabilistic timed automata
M Kwiatkowska, G Norman, J Sproston, F Wang
Information and Computation 205 (7), 1027-1077, 2007
1862007
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
1832002
Symmetry reduction for probabilistic model checking
M Kwiatkowska, G Norman, D Parker
International Conference on Computer Aided Verification, 234-248, 2006
1742006
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
1702000
Lecture notes in computer science (including subseries lecture notes in artificial intelligence and lecture notes in bioinformatics): Preface
M Abe, K Aoki, G Ateniese, R Avanzi, Z Beerliová, O Billet, A Biryukov, ...
Lecture Notes in Computer Science (including subseries Lecture Notes in …, 2006
167*2006
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
1662006
The system can't perform the operation now. Try again later.
Articles 1–20