Project Publications
Sort by: date, type, title
41 publications:
-
[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]
-
[NPPW07]
G. Norman, C. Palamidessi, D. Parker and P. Wu.
Model checking the probabilistic pi-calculus.
In Proc. 4th International Conference on Quantitative Evaluation of Systems (QEST'07), pages 169-178, IEEE CS Press.
September 2007.
[ps.gz]
[pdf]
[bib]
-
[KNSW07]
M. Kwiatkowska, G. Norman, J. Sproston and F. Wang.
Symbolic Model Checking for Probabilistic Timed Automata.
Information and Computation, 205(7), pages 1027-1077.
July 2007.
[ps.gz]
[pdf]
[bib]
-
[NPPW07b]
G. Norman, C. Palamidessi, D. Parker and P. Wu.
Translating the probabilistic pi-calculus to PRISM.
Technical report CSR-07-02, School of Computer Science, University of Birmingham.
March 2007.
[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]
-
[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]
-
[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]
-
[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]
-
[NS06]
G. Norman and V. Shmatikov.
Analysis of Probabilistic Contract Signing.
Journal of Computer Security, 14(6), pages 561-589, IOS Press.
November 2006.
[ps.gz]
[pdf]
[bib]
-
[KNPV06]
M. Kwiatkowska, G. Norman, D. Parker and M. G. Vigliotti.
Probabilistic Mobile Ambients.
Technical report CSR-06-09, School of Computer Science, University of Birmingham.
September 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]
-
[KNP06e]
M. Kwiatkowska, G. Norman and A. Pacheco.
Model Checking Expected Time and Expected Reward Formulae with Random Time Bounds.
Computers & Mathematics with Applications, 51(2), pages 305-316, Elsevier.
January 2006.
[ps.gz]
[pdf]
[bib]
-
[LKC06]
Z. Liu, M. Kwiatkowska and C. Constantinou.
A Biologically Inspired QoS Routing Algorithm for Mobile Ad Hoc Networks.
International Journal of Wireless and Mobile Computing.
2006.
[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]
-
[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]
-
[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]
-
[LKC05c]
Z. Liu, M. Kwiatkowska and C. Constantinou.
A Self-Organised Emergent Routing Mechanism for Mobile Ad Hoc Networks.
European Transactions on Telecommunications, 16(5), pages 457-470, Wiley InterScience.
2005.
[bib]
-
[CK05b]
S. Chiyangwa and M. Kwiatkowska.
A Timing Analysis of AODV.
In Proc. 7th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS'05), volume 3535 of Lecture Notes in Computer Science, pages 306-322, Springer.
2005.
[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]
-
[Nor04]
G. Norman.
Analysing Randomized Distributed Algorithms.
In C. Baier, B. Haverkort, H. Hermanns, J-P. Katoen, M. Siegle and F. Vaandrager (editors) Validation of Stochastic Systems: A Guide to Current Research, volume 2925 of Lecture Notes in Computer Science, pages 384--418, Springer.
October 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]
-
[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]
-
[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]
-
[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]
-
[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]
-
[DKN04]
C. Daws, M. Kwiatkowska and G. Norman.
Automatic Verification of the IEEE 1394 Root Contention Protocol with KRONOS and PRISM.
International Journal on Software Tools for Technology Transfer (STTT), 5(2), pages 221-236.
March 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]
-
[LKC04]
Z. Liu, M. Kwiatkowska and C. Constantinou.
A Swarm Intelligence Routing Algorithm for MANETs.
In Proc. 3rd IASTED International Conference on Communications, Internet and Information Technology (CIIT'04), ACTA Press.
2004.
[pdf]
[bib]
Sort by: date, type, title
