Project Publications

Autonomous Ubiquitous Sensing

Sort by: date, type, title

20 publications:

2015

[DKTT15] F. Dannenberg, M. Kwiatkowska, C. Thachuk and A. J.Turberfield. DNA walker circuits: Computational potential, design, and verification. Natural Computing, 14(2), pages 195-211, Springer. 2015. [pdf] [bib]
[BKM+15] C. Barker, M. Kwiatkowska, A. Mereacre, N. Paoletti, A. Patane. Hardware-in-the-loop simulation and energy optimization of cardiac pacemakers. In 37th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC). 2015. [pdf] [bib]

2014

[KM14] M. Kwiatkowska and A. Mereacre. Automated Verification of Quantitative Properties of Cardiac Pacemaker Software. In Proc. 5th Workshop on Medical Cyber-Physical Systems, volume 36 of OpenAccess Series in Informatics, pages 137-140, Schloss Dagstuhl. 2014. [pdf] [bib]
[HFMMK14] Z. Huang, C. Fan, A. Mereacre, S. Mitra and M. Kwiatkowska. Invariant Verification of Nonlinear Hybrid Automata Networks of Cardiac Cells. In Proc. 26th International Conference on Computer Aided Verification (CAV), volume 8559 of LNCS, pages 373-390, Springer. 2014. [pdf] [bib]
[KT14] M. Kwiatkowska and C. Thachuk. Probabilistic Model Checking for Biology. In Software Safety and Security, volume 36 of NATO Science for Peace and Security Series - D: Information and Communication Security, pages 165-189, IOS Press. 2014. [pdf] [bib]
[CDKM13c] T. Chen, M. Diciolla, M. Kwiatkowska and A. Mereacre. Quantitative Verification of Implantable Cardiac Pacemakers over Hybrid Heart Models. Information and Computation, 236, pages pages 87-101, Elsevier. August 2014. [pdf] [bib]

2013

[DKTT13] F. Dannenberg, M. Kwiatkowska, C. Thachuk and A. J. Turberfield. DNA Walker Circuits: Computational Potential, Design, and Verification. In Proc. 19th International Conference on DNA Computing and Molecular Programming (DNA 19), volume 8141 of LNCS, pages 31-45, Springer. 2013. [pdf] [bib]
[CDKM13] T. Chen, M. Diciolla, M. Kwiatkowska and A. Mereacre. A Simulink Hybrid Heart Model for Quantitative Verification of Cardiac Pacemakers. In Proc. 16th International Conference on Hybrid Systems: Computation and Control (HSCC 2013), pages 131-136, ACM. 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]
[CKSW13] T. Chen, M. Kwiatkowska, A. Simaitis and C. Wiltsche. Synthesis for Multi-Objective Stochastic Games: An Application to Autonomous Urban Driving. In Proc. 10th International Conference on Quantitative Evaluation of SysTems (QEST 2013), pages 322-337, IEEE CS Press. 2013. [pdf] [bib]
[Kwi13b] M. Kwiatkowska. Advances in Quantitative Verification for Ubiquitous Computing. In Proc. 11th International Colloquium on Theoretical Aspects of Computing (ICTAC 2013), volume 8049 of LNCS, pages 42-58, Springer, Heidelberg. 2013. [pdf] [bib]
[Tha13] C. 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. 2013. [pdf] [bib]
[CFK+13c] T. Chen, V. Forejt, M. Kwiatkowska, A. Simaitis and C. Wiltsche. On Stochastic Games with Multiple Objectives. In Krishnendu Chatterjee and Jiri Sgall (editors), Proc. 38th International Symposium on Mathematical Foundations of Computer Science (MFCS'13), volume 8087 of Lecture Notes in Computer Science, pages 266-277, Springer. 2013. [pdf] [bib]
[Kwi13] M. Kwiatkowska. From Software Verification to 'Everyware' Verification. Computer Science - Research and Development, 28(4), pages 295-310, Springer. November 2013. [pdf] [bib]
[KPS13] M. Kwiatkowska, D. Parker and A. 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]
[CFK+13b] T. Chen, V. Forejt, M. Kwiatkowska, D. Parker and A. Simaitis. Automatic Verification of Competitive Stochastic Systems. Formal Methods in System Design, pages 43(1), pages 61-92, Springer. February 2013. [pdf] [bib]

2012

[MTME12] A. Markham, N. Trigoni, D. Macdonald and S. Ellwood. Underground localization in 3-D using magneto-inductive tracking. Sensors Journal, IEEE, PP(99), pages 1. 2012.
[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 Proc. 33rd IEEE Real-Time Systems Symposium (RTSS), pages 263-272, IEEE. December 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