Veripace-Related Publications
Sort by: date, type, title
11 publications:
-
[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]
-
[BKM+16]
B.Barbot, M. Kwiatkowska, A. Mereacre, and N. Paoletti.
Building Power Consumption Models from Executable Timed I/O Automata Specifications.
In 19th ACM International Conference on Hybrid Systems: Computation and Control (HSCC 2016). To appear.
2016.
[pdf]
[bib]
-
[PPK18]
N. Paoletti, A. Patane and M. Kwiatkowska.
Closed-loop quantitative verification of rate-adaptive pacemakers.
ACM Transactions on Cyber-Physical Systems.
2018.
[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]
-
[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]
-
[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]
-
[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]
-
[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]
-
[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
-
[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]
-
[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]
Sort by: date, type, title
