Project Publications
Sort by: date, type, title
11 publications:
-
[CDKM13]
Taolue Chen, Marco Diciolla, Marta Kwiatkowska and Alexandru Mereacre.
A Simulink Hybrid Heart Model for Quantitative Verification of Cardiac Pacemakers.
In HSCC, pages 131-136, ACM.
2013.
[pdf]
[bib]
-
[CFK+13b]
T. Chen, V. Forejt, M. Kwiatkowska, D. Parker and A. Simaitis.
Automatic Verification of Competitive Stochastic Systems.
Formal Methods in System Design, Springer. To appear.
2013.
[pdf]
[bib]
-
[Kwi13]
M. Kwiatkowska.
From Software Verification to `Everyware' Verification.
Computer Science - Research and Development. To appear.
2013.
[pdf]
[bib]
-
[MTME12]
Markham, A., Trigoni, N., Macdonald, D. and Ellwood, S..
Underground localization in 3-D using magneto-inductive tracking.
Sensors Journal, IEEE, PP(99), pages 1.
2012.
-
[CFK+13]
T. Chen, V. Forejt, M. Kwiatkowska, D. Parker and A. Simaitis.
PRISM-games: A Model Checker for Stochastic Multi-Player Games.
In Proc. 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'13), volume 7795 of LNCS, pages 185-191, Springer.
2013.
[pdf]
[bib]
-
[Tha13]
Chris Thachuk.
Logically and Physically Reversible Natural Computing: A Tutorial.
In G.W. Dueck and D.M. Miller (editors) Proc. 5th International Conference on Reversible Computation (RC'13), volume 7948 of LNCS, pages 247-262, Springer. To appear.
2013.
[pdf]
[bib]
-
[Kwi13b]
Marta Kwiatkowska.
Advances in Quantitative Verification for Ubiquitous Computing.
In Proc. ICTAC. To appear.
2013.
[pdf]
[bib]
-
[KPS13]
Marta Kwiatkowska, David Parker and Aistis Simaitis.
Strategic Analysis of Trust Models for User-Centric Networks.
In Proc. 1st International Workshop on Strategic Reasoning (SR'13), volume 112 of EPTCS, pages 53-60.
March 2013.
[pdf]
[bib]
-
[Kwi12]
M. Kwiatkowska.
Sensing Everywhere: Towards Safer and More Reliable Sensor-enabled Devices.
In Proc. 31st International Conference on Computer Safety, Reliability and Security (SAFECOMP'12), pages XIII-XIV, Springer.
2012.
[pdf]
[bib]
-
[CDKM12b]
T. Chen, M. Diciolla, M. Kwiatkowska and A. Mereacre.
Quantitative Verification of Implantable Cardiac Pacemakers.
In The 33rd IEEE Real-Time Systems Symposium (RTSS).
2012.
[pdf]
[bib]
-
[CFK+12]
T. Chen, V. Forejt, M. Kwiatkowska, D. Parker and A. Simaitis.
Automatic Verification of Competitive Stochastic Systems.
In Proc. 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'12), volume 7214 of LNCS, pages 315-330, Springer.
March 2012.
[pdf]
[bib]
Sort by: date, type, title
