Veripace-Related Publications
Sort by: date, type, title
11 publications:
-
[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]
-
[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]
-
[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]
-
[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]
-
[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]
Sort by: date, type, title