Skip to main content

VERIPACE/VERIWARE project team win best paper award at the IEEE International Conference on Healthcare Informatics (ICHI 2014) in Verona


The paper "Formal Modelling and Validation of Rate-Adaptive Pacemakers" was presented by Nicola Paoletti, and co-authored by Harriet Lea-Banks (who contributed to the project during a summer internship funded by VERIWARE), Alex Mereacre and Marta Kwiatkowska. VERIPACE is an ERC Proof of Concept project that aims to develop novel software tools for pacemaker design, and arises from the results obtained from the ERC Advanced Grant VERIWARE (