Project Publications
Sort by: date, type, title
10 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]
-
[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]
-
[Kwi13]
M. Kwiatkowska.
From Software Verification to `Everyware' Verification.
Computer Science - Research and Development. To appear.
2013.
[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]
-
[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]
-
[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]
-
[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]
-
[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]
-
[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.
Sort by: date, type, title
