Veripace-Related Publications
Sort by: date, type, title
11 publications:
-
[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]
-
[BKM+15a]
B. Barbot, M. Kwiatkowska, A. Mereacre and N. Paoletti.
Estimation and verification of hybrid heart models for personalised medical and wearable devices.
In 13th International Conference on Computational Methods in Systems Biology (CMSB 2015), volume 9308 of LNCS, pages 3-7.
2015.
[pdf]
[bib]
-
[HFM+15]
Z. Huang, C. Fan, A. Mereacre, S. Mitra, M. Kwiatkowska.
Simulation-based Verification of Cardiac Pacemakers with Guaranteed Coverage.
Design Test, IEEE, 32(5), pages 27 - 34, IEEE.
June 2015.
[bib]
http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=7130608
-
[KMP+15]
M. Kwiatkowska, A. Mereacre, N. Paoletti, A. Patane.
Synthesising robust and optimal parameters for cardiac pacemakers using symbolic and evolutionary computation techniques.
In Proceedings of the 4th International Workshop on Hybrid Systems and Biology (HSB 2015), pages 119-140, Springer International Publishing.
January 2015.
[pdf]
[bib]
-
[KMP14]
M. Kwiatkowska, A. Mereacre, and N. Paoletti.
On Quantitative Software Quality Assurance Methodologies for Cardiac Pacemakers.
In Proc. 6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), volume 8803 of LNCS, pages 365-384, Springer.
2014.
[pdf]
[bib]
-
[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]
-
[DKKM14]
M. Diciolla, C. H. P. Kim, M. Kwiatkowska and A. Mereacre.
Synthesising Optimal Timing Delays for Timed I/O Automata.
In Proc. 14th International Conference on Embedded Software (EMSOFT'14), ACM.
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]
-
[KLMP14]
M. Kwiatkowska, H. Lea-Banks, A. Mereacre and N. Paoletti.
Formal Modelling and Validation of Rate-Adaptive Pacemakers.
In Proc. IEEE International Conference on Healthcare Informatics.
2014.
[pdf]
[bib]
Sort by: date, type, title
