Project Publications
Sort by: date,
type
4 publications:
-
[ZCH+08]
T. Zang, R. Calinescu, S. Harris, A. Tsui, M. Kwiatkowska, J. Gibbons, J. Davies, P. Maccallum and C. Caldas.
WSRF-Based Modeling of Clinical Trial Information for Collaborative Cancer Research.
In Proc. 8th IEEE International Symposium on Cluster Computing and the Grid (CCGRID'08), IEEE.
May 2008.
[pdf]
[bib]
-
[Cal08]
R. Calinescu.
Implementation of a Generic Autonomic Framework.
In D. Greenwood et al. (editor) Proc. 4th International Conference on Autonomic and Autonomous Systems (ICAS 2008), pages 124-129, IEEE Computer Society Press.
March 2008.
[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]
Sort by: date,
type
