متابعة
Gethin Norman
Gethin Norman
Senior Lecturer of Computing Science, Glasgow University, School of Computing Science
بريد إلكتروني تم التحقق منه على glasgow.ac.uk - الصفحة الرئيسية
عنوان
عدد مرات الاقتباسات
عدد مرات الاقتباسات
السنة
PRISM 4.0: Verification of probabilistic real-time systems‏
M Kwiatkowska, G Norman, D Parker‏
Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011‏
33612011
PRISM: Probabilistic symbolic model checker‏
M Kwiatkowska, G Norman, D Parker‏
International Conference on Modelling Techniques and Tools for Computer …, 2002‏
9842002
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‏
9752006
Stochastic model checking‏
M Kwiatkowska, G Norman, D Parker‏
Formal Methods for Performance Evaluation: 7th International School on …, 2007‏
8962007
Automated verification techniques for probabilistic systems‏
V Forejt, M Kwiatkowska, G Norman, D Parker‏
Formal Methods for Eternal Networked Software Systems: 11th International …, 2011‏
4852011
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‏
4402002
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‏
4392004
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‏
3372009
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‏
3122006
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‏
2862006
Mathematical techniques for analyzing concurrent and probabilistic systems‏
JJMM Rutten, P Panangaden‏
Amer Mathematical Society, 2004‏
2732004
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‏
2422008
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‏
2412004
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‏
2342002
Symbolic model checking for probabilistic timed automata‏
M Kwiatkowska, G Norman, J Sproston, F Wang‏
Information and Computation 205 (7), 1027-1077, 2007‏
2122007
Symmetry reduction for probabilistic model checking‏
M Kwiatkowska, G Norman, D Parker‏
International Conference on Computer Aided Verification, 234-248, 2006‏
2092006
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‏
2062002
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‏
1952000
Using probabilistic model checking in systems biology‏
M Kwiatkowska, G Norman, D Parker‏
ACM SIGMETRICS Performance Evaluation Review 35 (4), 14-21, 2008‏
1922008
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‏
1832006
يتعذر على النظام إجراء العملية في الوقت الحالي. عاود المحاولة لاحقًا.
مقالات 1–20