Project Publications
Sort by: date, type, title
6 publications:
-
[SUH+06]
H. Sauro, A. Uhrmacher, D. Harel, M. Hucka, M. Kwiatkowska, P. Mendes, C. Shaffer, L. Stromback and J. Tyson.
Challenges for modeling and simulation methods in systems biology.
In L. Perrone, F. Wieland, J. Liu, B. Lawson, D. Nicol and R. Fujimoto (editors), Proc. 2006 Winter Simulation Conference, pages 1720-1730, IEEE.
December 2006.
[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]
-
[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]
-
[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]
-
[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]
-
[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]
Sort by: date, type, title