Project Publications
Sort by: date, type, title
29 publications:
-
[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]
-
[MPK03b]
R. Mehmood, D. Parker and M. Kwiatkowska.
An Efficient BDD-Based Implementation of Gauss-Seidel for CTMC Analysis.
Technical report CSR-03-13, School of Computer Science, University of Birmingham.
December 2003.
[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]
-
[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]
-
[KNP07b]
M. Kwiatkowska, G. Norman and D. Parker.
Controller Dependability Analysis By Probabilistic Model Checking.
Control Engineering Practice, 15(11), pages 1427-1434, Elsevier.
November 2007.
[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), pages 177-182, Elsevier.
April 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]
-
[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]
-
[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]
-
[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]
-
[Kwi03]
M. Kwiatkowska.
Model Checking for Probability and Time: From Theory to Practice.
In Proc. 18th IEEE Symposium on Logic in Computer Science (LICS'03), pages 351-360, IEEE CS Press. Invited paper.
June 2003.
[ps.gz]
[pdf]
[bib]
-
[EKVY07]
K. Etessami, M. Kwiatkowska, M. Vardi and M. Yannakakis.
Multi-Objective Model Checking of Markov Decision Processes.
In Proc. 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'07), volume 4424 of LNCS, pages 50-65, Springer.
March 2007.
[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), pages 216-228, Springer.
June 2006.
[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]
-
[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]
-
[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]
-
[KNPS03]
M. Kwiatkowska, G. Norman, D. Parker and J. Sproston.
Performance Analysis of Probabilistic Timed Automata using Digital Clocks.
In Proc. Formal Modeling and Analysis of Timed Systems (FORMATS'03), volume 2791 of LNCS, pages 105-120, Springer.
September 2003.
[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]
-
[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]
-
[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]
-
[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]
-
[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]
-
[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]
-
[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 Proc. 2006 Winter Simulation Conference, pages 1666-1674.
December 2006.
[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]
-
[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]
-
[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]
-
[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]
-
[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]
Sort by: date, type, title
