Project Publications
Sort by: date, type, title
5 publications:
-
[AMMKQ09]
F. Arbab, S. Meng, Y.-J. Moon, M. Kwiatkowska and H. Qu.
Reo2MC: a Tool Chain for Performance Analysis of Coordination Models.
In The 7th joint meeting of the European Software Engineering Conference (ESEC) and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE). To appear.
August 2009.
[pdf]
[bib]
-
[CK09a]
V. Issarny, B. Steffen, B. Jonsson, G. Blair, P. Grace, M. Kwiatkowska, R. Calinescu, P. Inverardi, M. Tivoli, A. Bertolino and A. Sabetta.
CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems.
In Proc. 14th IEEE International Conference on Engineering of Complex Computer Systems. Poster.
June 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]
-
[CK09]
R. Calinescu and M. Kwiatkowska.
Using Quantitative Analysis to Implement Autonomic IT Systems.
In Proc. 31st International Conference on Software Engineering (ICSE 2009), pages 100-110, IEEE Press.
May 2009.
[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]
Sort by: date, type, title
