Project Publications
Sort by: date, type, title
14 publications:
-
[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]
-
[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]
-
[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]
-
[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]
-
[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]
-
[JT08]
M. Jurdzinski and A. Trivedi.
Average-Time Games.
In Foundations of Software Technology and Theoretical Computer Science. To appear.
2008.
[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]
-
[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 CS Press.
March 2008.
[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]
Sort by: date, type, title
