Project Publications
Sort by: date, type, title
24 publications:
-
[KH09a]
M. Kattenbelt and M. Huth.
Verification and Refutation of Probabilistic Specifications via Games.
In Proc. 29th Int. Conf. on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'09). To appear.
December 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]
-
[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.
[ps.gz]
[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]
-
[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.
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.
March 2009.
[ps.gz]
[pdf]
[bib]
-
[KH09]
M. Kattenbelt and M. Huth.
Abstraction Framework for Markov Decision Processes and PCTL Via Games.
Technical report RR-09-01, Oxford University Computing Laboratory.
March 2009.
[pdf]
-
[CNP09]
K. Chatzikokolakis, G. Norman and D. Parker.
Bisimulation for demonic schedulers.
In 12th Internation 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]
-
[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.
March 2009.
[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]
-
[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]
-
[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]
-
[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]
-
[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.
February 2008.
[ps.gz]
[pdf]
[bib]
-
[KKNP08b]
M. Kattenbelt, M. Kwiatkowska, G. Norman and D. Parker.
Game-Based Probabilistic Predicate Abstraction in PRISM.
Technical report RR-08-01, Oxford University Computing Laboratory.
February 2008.
[ps.gz]
[pdf]
[bib]
-
[KKNP08c]
M. Kattenbelt, M. Kwiatkowska, G. Norman and D. Parker.
A Game-based Abstraction-Refinement Framework for Markov Decision Processes.
Technical report RR-08-06, Oxford University Computing Laboratory.
February 2008.
[ps.gz]
[pdf]
[bib]
-
[KNPS08]
M. Kwiatkowska, G. Norman, D. Parker and J. Sproston.
Verification of Real-Time Probabilistic Systems.
In Modeling and Verification of Real-Time Systems: Formalisms and Software Tools, pages 249-288, John Wiley & Sons.
January 2008.
[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]
-
[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, volume 4486 of Lecture Notes in Computer Science (Tutorial Volume), pages 220-270, Springer.
June 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]
Sort by: date, type, title
