Project Publications
Sort by: date, type, title
14 publications:
-
[JT08]
M. Jurdzinski and A. Trivedi.
Average-Time Games.
In Foundations of Software Technology and Theoretical Computer Science. To appear.
2008.
[bib]
-
[CK09b]
R. Calinescu and M. Kwiatkowska.
CADS*: Computer-Aided Development of Self-* Systems.
In Marsha Chechik and Martin Wirsing (editors) Fundamental Approaches to Software Engineering (FASE 2009), volume 5503 of Lecture Notes in Computer Science, pages 421-424, Springer-Verlag.
March 2009.
[pdf]
[bib]
-
[JKNT09]
M. Jurdzinski, M. Kwiatkowska, G. Norman and A. Trivedi.
Concavely-Priced Probabilistic Timed Automata.
In M. Bravetti and G. Zavattaro (editors) Proc. 20th Int. Conf. Concurrency Theory (CONCUR'09), volume 5710 of LNCS, pages 415-430, Springer.
September 2009.
[pdf]
[bib]
-
[KKMCK09]
Z. Kurd, T. Kelly, J. McDermid, R. Calinescu and M. Kwiatkowska.
Establishing a Framework for Dynamic Risk Management in 'Intelligent' Aero-Engine Control.
In Bettina Buth, Gerd Rabe and Till Seyfarth (editors) Proceedings of the 28th International Conference on Computer Safety, Reliability and Security (SAFECOMP'09), volume 5775 of Lecture Notes in Computer Science, pages 326-341, Springer.
September 2009.
[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 CS Press.
March 2008.
[pdf]
[bib]
-
[Kwi08]
M. Kwiatkowska.
Introduction.
Philosophical Transactions of the Royal Society A, 366(1881), pages 3665-3668. Discussion Meeting Issue 'From computers to ubiquitous computing, by 2020'.
November 2008.
[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]
-
[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]
-
[Ubi08]
M. Kwiatkowska, T. Rodden and V. Sassone (editors)
Proc. From computers to ubiquitous computing by 2020.
Royal Society.
November 2008.
[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]
-
[Cal09]
R. Calinescu.
Resource-Definition Policies for Autonomic Computing.
In Proc. 5th International Conference on Autonomic and Autonomous Systems (ICAS'09), pages 111-116, IEEE Computer Society Press.
April 2009.
[pdf]
[bib]
-
[CK08]
R. Calinescu and M. Kwiatkowska.
Software Engineering Techniques for the Development of Systems of Systems.
In Proc. 15th Monterey Workshop on Foundations of Computer Software, pages 86--93.
September 2008.
[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]
-
[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]
Sort by: date, type, title
