Project Publications
Sort by: date, type, title
30 publications:
-
[KNP10a]
M. Kwiatkowska, G. Norman and D. Parker.
Probabilistic Model Checking for Systems Biology.
In M. Sriram Iyengar (editor), Symbolic Systems Biology, pages 31-59, Jones and Bartlett.
May 2010.
[pdf]
[bib]
-
[KNP09b]
M. Kwiatkowska, G. Norman and D. Parker.
Quantitative Verification Techniques for Biological Processes.
In A. Condon, D. Harel, J. Kok, A. Salomaa and E. Winfree (editors), Algorithmic Bioprocesses, pages 391-409, Springer.
August 2009.
[pdf]
[bib]
-
[KNPS08]
M. Kwiatkowska, G. Norman, D. Parker and J. Sproston.
Verification of Real-Time Probabilistic Systems.
In S. Merz and N. Navet (editors), Modeling and Verification of Real-Time Systems: Formalisms and Software Tools, pages 249-288, John Wiley & Sons.
January 2008.
[pdf]
[bib]
http://www.iste.co.uk/index.php?p=a&ACTION=View&id=195
-
[KNP07a]
M. Kwiatkowska, G. Norman and D. Parker.
Stochastic Model Checking.
In M. Bernardo and J. Hillston (editors), Formal Methods for the Design of Computer, Communication and Software Systems: Performance Evaluation (SFM'07), volume 4486 of Lecture Notes in Computer Science (Tutorial Volume), pages 220-270, Springer.
June 2007.
[pdf]
[bib]
-
[KKNP10]
M. Kattenbelt, M. Kwiatkowska, G. Norman and D. Parker.
A Game-based Abstraction-Refinement Framework for Markov Decision Processes.
Formal Methods in System Design, 36(3), pages 246-280, Springer.
September 2010.
[pdf]
[bib]
-
[KNP09a]
M. Kwiatkowska, G. Norman and D. Parker.
PRISM: Probabilistic Model Checking for Performance and Reliability Analysis.
ACM SIGMETRICS Performance Evaluation Review, 36(4), pages 40-45, ACM.
March 2009.
[pdf]
[bib]
-
[NPPW09]
G. Norman, C. Palamidessi, D. Parker and P. Wu.
Model Checking Probabilistic and Stochastic Extensions of the Pi-Calculus.
IEEE Transactions on Software Engineering, 35(2), pages 209-223, IEEE Computer Society.
March 2009.
[pdf]
[bib]
-
[KNPV09]
M. Kwiatkowska, G. Norman, D. Parker and M.G. Vigliotti.
Probabilistic Mobile Ambients.
Theoretical Computer Science, 410(12-13), pages 1272-1303, Elsevier.
March 2009.
[ps.gz]
[pdf]
[bib]
-
[EKVY08]
K. Etessami, M. Kwiatkowska, M. Vardi and M. Yannakakis.
Multi-Objective Model Checking of Markov Decision Processes.
Logical Methods in Computer Science, 4(4), pages 1-21.
2008.
[pdf]
[bib]
http://www.lmcs-online.org/ojs/viewarticle.php?id=364&layout=abstract
-
[KNP08d]
M. Kwiatkowska, G. Norman and D. Parker.
Analysis of a Gossip Protocol in PRISM.
ACM SIGMETRICS Performance Evaluation Review, 36(3), pages 17-22.
December 2008.
[pdf]
[bib]
-
[HKN+08]
J. Heath, M. Kwiatkowska, G. Norman, D. Parker and O. Tymchyshyn.
Probabilistic Model Checking of Complex Biological Pathways.
Theoretical Computer Science (Special Issue on Converging Sciences: Informatics and Biology), 391(3), pages 239-257, Elsevier.
February 2008.
[ps.gz]
[pdf]
[bib]
-
[KNP11]
M. Kwiatkowska, G. Norman and D. Parker.
PRISM 4.0: Verification of Probabilistic Real-time Systems.
In Proc. 23rd International Conference on Computer Aided Verification (CAV'11), volume 6806 of LNCS, pages 585-591, Springer.
July 2011.
[pdf]
[bib]
-
[KNP10c]
M. Kwiatkowska, G. Norman and D. Parker.
Advances and Challenges of Probabilistic Model Checking.
In Proc. 48th Annual Allerton Conference on Communication, Control and Computing, pages 1691-1698, IEEE Press. Invited paper.
October 2010.
[pdf]
[bib]
-
[FKP10]
L. Feng, M. Kwiatkowska and D. Parker.
Compositional Verification of Probabilistic Systems Using Learning.
In Proc. 7th International Conference on Quantitative Evaluation of Systems (QEST'10), pages 133-142, IEEE CS Press.
September 2010.
[pdf]
[bib]
-
[KNP10b]
M. Kwiatkowska, G. Norman and D. Parker.
A Framework for Verification of Software with Time and Probabilities.
In Proc. 8th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'10), volume 6246 of LNCS, pages 25-45, Springer.
September 2010.
[pdf]
[bib]
-
[KNPQ10]
M. Kwiatkowska, G. Norman, D. Parker and H. Qu.
Assume-Guarantee Verification for Probabilistic Systems.
In Proc. 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'10), volume 6015 of LNCS, pages 23-37, Springer.
March 2010.
[pdf]
[bib]
-
[KH09a]
M. Kattenbelt and M. Huth.
Verification and Refutation of Probabilistic Specifications via Games.
In Ravi Kannan and K Narayan Kumar (editors), Proc. 29th Int. Conf. on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'09), pages 251-262, LIPIcs.
December 2009.
[pdf]
[bib]
-
[DMP09]
A. Donaldson, A. Miller and D. Parker.
Language-level Symmetry Reduction for Probabilistic Model Checking.
In Proc. 6th International Conference on Quantitative Evaluation of Systems (QEST'09), pages 289-298, IEEE Computer Society.
September 2009.
[pdf]
[bib]
-
[KNP09c]
M. Kwiatkowska, G. Norman and D. Parker.
Stochastic Games for Verification of Probabilistic Timed Automata.
In Proc. 7th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS'09), volume 5813 of LNCS, pages 212-227, Springer.
September 2009.
[pdf]
[bib]
-
[Kwi09]
M. Kwiatkowska.
On Quantitative Software Verification.
In C. Pasareanu (editor), Proc. 16th International SPIN Workshop, volume 5578 of LNCS, pages 2-3, Springer. Invited contribution.
June 2009.
[pdf]
[bib]
-
[CNP09]
K. Chatzikokolakis, G. Norman and D. Parker.
Bisimulation for Demonic Schedulers.
In Proc. 12th International Conference on Foundations of Software Science and Computation Structures (FOSSACS'09), volume 5504 of LNCS, pages 318-332, Springer.
March 2009.
[ps.gz]
[pdf]
[bib]
-
[KKNP09]
M. Kattenbelt, M. Kwiatkowska, G. Norman and D. Parker.
Abstraction Refinement for Probabilistic Software.
In Proc. 10th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI'09), volume 5403 of Lecture Notes in Computer Science, pages 182-197, Springer.
January 2009.
[ps.gz]
[pdf]
[bib]
-
[RPNdA08]
P. Roy, D. Parker, G. Norman and L. de Alfaro.
Symbolic Magnifying Lens Abstraction in Markov Decision Processes.
In Proc. 5th International Conference on Quantitative Evaluation of Systems (QEST'08), pages 103-112, IEEE CS Press.
September 2008.
[pdf]
[bib]
-
[CBGP08]
F. Ciesinski, C. Baier, M. Groesser and D. Parker.
Generating Compact MTBDD-Representations from Probmela Specifications.
In Proc. 15th International SPIN Workshop on Model Checking of Software (SPIN'08), volume 5156 of Lecture Notes in Computer Science, pages 60-76, Springer.
August 2008.
[pdf]
[bib]
-
[KKNP08a]
M. Kattenbelt, M. Kwiatkowska, G. Norman and D. Parker.
Game-Based Probabilistic Predicate Abstraction in PRISM.
In Proc. 6th Workshop on Quantitative Aspects of Programming Languages (QAPL'08), volume 220 (3) of Electronic Notes in Theoretical Computer Science , pages 5-21 , Elsevier.
March 2008.
[ps.gz]
[pdf]
[bib]
-
[DMP07]
A. Donaldson, A. Miller and D. Parker.
GRIP: Generic Representatives in PRISM.
In Proc. 4th International Conference on Quantitative Evaluation of Systems (QEST'07), pages 115-116, IEEE CS Press.
September 2007.
[ps.gz]
[pdf]
[bib]
-
[Kwi07]
M. Kwiatkowska.
Quantitative Verification: Models, Techniques and Tools.
In Proc. 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE), pages 449-458, ACM Press.
September 2007.
[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]
-
[Fru06]
M. Fruth.
Probabilistic Model Checking of Contention Resolution in the IEEE 802.15.4 Low-Rate Wireless Personal Area Network Protocol.
In Proc. 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA'06).
November 2006.
[pdf]
[bib]
Sort by: date, type, title
