Project Publications
Sort by: date, type, title
33 publications:
-
[KNP+06]
M. Kwiatkowska, G. Norman, D. Parker, O. Tymchyshyn, J. Heath and E. Gaffney.
Simulation and verification for computational modelling of signalling pathways.
In L. F. Perrone, F. P. Wieland, J. Liu, B. G. Lawson, D. M. Nicol, and R. M. Fujimoto (editors) Proceedings of the 2006 Winter Simulation Conference, pages 1666-1674, Winter Simulation Conference.
December 2006.
[ps.gz]
[pdf]
[bib]
-
[GNB+06]
M. Groesser, G. Norman, C. Baier, F. Ciesinski, M. Kwiatkowska, D. Parker.
On reduction criteria for probabilistic reward models.
In S. Arun-Kumar and N. Garg (editors) Proc. 25th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'06), volume 4337 of Lecture Notes in Computer Science, pages 309-320, Springer Verlag.
December 2006.
[ps.gz]
[pdf]
[bib]
-
[DKNP06]
M. Duflot, M. Kwiatkowska, G. Norman and D. Parker.
A Formal Analysis of Bluetooth Device Discovery.
International Journal on Software Tools for Technology Transfer (STTT), 8(6), pages 621 - 632, Springer-Verlag.
November 2006.
[ps.gz]
[pdf]
[bib]
-
[KNP06b]
M. Kwiatkowska, G. Norman and D. Parker.
Game-based Abstraction for Markov Decision Processes.
In Proc. 3rd International Conference on Quantitative Evaluation of Systems (QEST'06), pages 157-166, IEEE CS Press. Winner of the QEST'06 Best Paper Award.
September 2006.
[ps.gz]
[pdf]
[bib]
-
[KNPS06]
M. Kwiatkowska, G. Norman, D. Parker and J. Sproston.
Performance Analysis of Probabilistic Timed Automata using Digital Clocks.
Formal Methods in System Design, 29, pages 33-78, Springer.
August 2006.
[ps.gz]
[pdf]
[bib]
-
[KNP06a]
M. Kwiatkowska, G. Norman and D. Parker.
Symmetry Reduction for Probabilistic Model Checking.
In T. Ball and R. Jones (editors) Proc. 18th International Conference on Computer Aided Verification (CAV'06), volume 4144 of Lecture Notes in Computer Science, pages 234-248, Springer-Verlag.
August 2006.
[ps.gz]
[pdf]
[bib]
-
[YKNP06]
H. Younes, M. Kwiatkowska, G. Norman and D. Parker.
Numerical vs. Statistical Probabilistic Model Checking.
International Journal on Software Tools for Technology Transfer (STTT), 8(3), Springer. 216-228.
June 2006.
[ps.gz]
[pdf]
[bib]
-
[HKNP06]
A. Hinton, M. Kwiatkowska, G. Norman and D. Parker.
PRISM: A Tool for Automatic Verification of Probabilistic Systems.
In H. Hermanns and J. Palsberg (editors) Proc. 12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'06), volume 3920 of Lecture Notes in Computer Science, pages 441-444, Springer.
March 2006.
[ps.gz]
[pdf]
[bib]
-
[WK05]
F. Wang and M. Kwiatkowska.
An MTBDD-based implementation of forward reachability for probabilistic timed automata.
In Proc. 3rd International Symposium on Automated Technology for Verification and Analysis (ATVA'05), volume 3707 of Lecture Notes in Computer Science, pages 385-399, Springer.
October 2005.
[ps.gz]
[pdf]
[bib]
-
[NPKS05]
G. Norman, D. Parker, M. Kwiatkowska and S. Shukla.
Evaluating the Reliability of NAND Multiplexing with PRISM.
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 24(10), pages 1629-1637.
October 2005.
[ps.gz]
[pdf]
[bib]
-
[KNP05c]
M. Kwiatkowska, G. Norman and D. Parker.
Probabilistic Model Checking and Power-Aware Computing.
In In Proc. 7th International Workshop on Performability Modeling of Computer and Communication Systems (PMCCS), pages 6-9.
September 2005.
[ps.gz]
[pdf]
[bib]
-
[NPK+05]
G. Norman, D. Parker, M. Kwiatkowska, S. Shukla and R. Gupta.
Using Probabilistic Model Checking for Dynamic Power Management.
Formal Aspects of Computing, 17(2), pages 160-176, Springer-Verlag.
August 2005.
[ps.gz]
[pdf]
[bib]
-
[ZPK05a]
Y. Zhang, D. Parker and M. Kwiatkowska.
A Wavefront Parallelisation of CTMC Solution using MTBDDs.
In Proc. International Conference on Dependable Systems and Networks (DSN'05), pages 732-742, IEEE CS Press.
June 2005.
[ps.gz]
[pdf]
[bib]
-
[KNP05d]
M. Kwiatkowska, G. Norman and D. Parker.
Quantitative analysis with the probabilistic model checker PRISM.
Electronic Notes in Theoretical Computer Science, 153(2), pages 5-31, Elsevier.
May 2005.
[ps.gz]
[pdf]
[bib]
-
[CSKN05]
S. Cattani, R. Segala, M. Kwiatkowska and G. Norman.
Stochastic transition systems for continuous state spaces and non-determinism.
In V. Sassone (editor) Proc. Foundations of Software Science and Computation Structures (FOSSACS'05), volume 3441 of Lecture Notes in Computer Science, pages 125-139, Springer Verlag.
April 2005.
[ps.gz]
[pdf]
[bib]
-
[Hin05]
A. Hinton.
Software Project M60: Simulator for the Probabilistic Model Checker PRISM.
MEng Final Year Project Dissertation, School of Computer Science, University of Birmingham.
April 2005.
[ps.gz]
[pdf]
[bib]
-
[KNP05b]
M. Kwiatkowska, G. Norman and D. Parker.
Probabilistic model checking in practice: Case studies with PRISM.
ACM SIGMETRICS Performance Evaluation Review, 32(4), pages 16-21.
March 2005.
[ps.gz]
[pdf]
[bib]
-
[DKNP04]
M. Duflot, M. Kwiatkowska, G. Norman and D. Parker.
A Formal Analysis of Bluetooth Device Discovery.
In T. Margaria and B. Steffen, A. Philippou and M. Reitenspiess (editors) Proc. 1st International Symposium on Leveraging Applications of Formal Methods (ISOLA'04), volume TR-2004-6 of Technical Report, pages 268-275, Department of Computer Science, University of Cyprus.
November 2004.
[ps.gz]
[pdf]
[bib]
-
[KPZM04]
M. Kwiatkowska, D. Parker, Y. Zhang and R. Mehmood.
Dual-Processor Parallelisation of Symbolic Probabilistic Model Checking.
In Proc. 12th International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS'04), pages 123-130, IEEE CS Press.
October 2004.
[ps.gz]
[pdf]
[bib]
-
[KNP04b]
M. Kwiatkowska, G. Norman and D. Parker.
Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach.
International Journal on Software Tools for Technology Transfer (STTT), 6(2), pages 128-142.
September 2004.
[ps.gz]
[pdf]
[bib]
-
[KNSW04]
M. Kwiatkowska, G. Norman, J. Sproston and F. Wang.
Symbolic Model Checking for Probabilistic Timed Automata.
In Y. Lakhnech and S. Yovine (editors) Proc. FORMATS/FTRTFT'04, volume 3253 of Lecture Notes in Computer Science, pages 293-308, Springer.
September 2004.
[ps.gz]
[pdf]
[bib]
-
[KNP04d]
M. Kwiatkowska, G. Norman and D. Parker.
PRISM 2.0: A Tool for Probabilistic Model Checking.
In Proc. 1st International Conference on Quantitative Evaluation of Systems (QEST'04), pages 322-323, IEEE CS Press.
September 2004.
[ps.gz]
[pdf]
[bib]
-
[Meh04a]
R. Mehmood.
Serial Disk-based Analysis of Large Stochastic Models.
In Validation of Stochastic Systems: A Guide to Current Research, volume 2925 of Lecture Notes in Computer Science, Springer-Verlag.
August 2004.
[ps.gz]
[pdf]
[bib]
-
[MP04]
A. Miner and D. Parker.
Symbolic Representations and Analysis of Large Probabilistic Systems.
In Validation of Stochastic Systems: A Guide to Current Research, volume 2925 of Lecture Notes in Computer Science.
August 2004.
[ps.gz]
[pdf]
[bib]
-
[KNP04c]
M. Kwiatkowska, G. Norman and D. Parker.
Controller Dependability Analysis By Probabilistic Model Checking.
In Proc. 11th IFAC Symposium on Information Control Problems in Manufacturing (INCOM'04), Elsevier.
April 2004.
[ps.gz]
[pdf]
[bib]
-
[YKNP04]
H. Younes, M. Kwiatkowska, G. Norman and D. Parker.
Numerical vs. Statistical Probabilistic Model Checking: An Empirical Study.
In K. Jensen and A. Podelski (editors) Proc. TACAS'04, volume 2988 of Lecture Notes in Computer Science, pages 46-60, Springer.
March 2004.
[ps.gz]
[pdf]
[bib]
-
[KNP04a]
J. Rutten, M. Kwiatkowska, G. Norman and D. Parker.
Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems.
Volume 23 of CRM Monograph Series. American Mathematical Society. P. Panangaden and F. van Breugel (eds.).
March 2004.
[bib]
-
[NPKS04]
G. Norman, D. Parker, M. Kwiatkowska and S. Shukla.
Evaluating the Reliability of Defect-Tolerant Architectures for Nanotechnology with Probabilistic Model Checking.
In Proc. International Conference on VLSI Design, pages 907-914, IEEE CS Press.
January 2004.
[ps.gz]
[pdf]
[bib]
Sort by: date, type, title
