| Quantitative verification of implantable cardiac pacemakers over hybrid heart models T Chen, M Diciolla, M Kwiatkowska, A Mereacre Information and Computation 236, 87-101, 2014 | 54 | 2014 |
| Machine fault modelling E Spiro, AFC Menck, A Prasad, A Thouzeau, C Henry, C Shepherd, ... US Patent 10,354,196, 2019 | 45 | 2019 |
| Time-bounded verification of CTMCs against real-time specifications T Chen, M Diciolla, M Kwiatkowska, A Mereacre International Conference on Formal Modeling and Analysis of Timed Systems, 26-42, 2011 | 44 | 2011 |
| A simulink hybrid heart model for quantitative verification of cardiac pacemakers T Chen, M Diciolla, M Kwiatkowska, A Mereacre Proceedings of the 16th international conference on Hybrid systems …, 2013 | 34 | 2013 |
| Quantitative verification of implantable cardiac pacemakers T Chen, M Diciolla, M Kwiatkowska, A Mereacre 2012 IEEE 33rd Real-Time Systems Symposium, 263-272, 2012 | 31 | 2012 |
| Determining maintenance for a machine E Spiro, AFC Menck, A Prasad, A Thouzeau, C Henry, C Shepherd, J Yip, ... US Patent 10,663,961, 2020 | 21 | 2020 |
| Synthesising optimal timing delays for timed I/O automata M Diciolla, CHP Kim, M Kwiatkowska, A Mereacre Proceedings of the 14th International Conference on Embedded Software, 1-10, 2014 | 14 | 2014 |
| Verification of linear duration properties over continuous-time Markov chains T Chen, M Diciolla, M Kwiatkowska, A Mereacre ACM Transactions on Computational Logic (TOCL) 14 (4), 1-35, 2013 | 8 | 2013 |
| Quantitative verification of real-time properties with application to medical devices M Diciolla University of Oxford, 2014 | 2 | 2014 |
| Quantitative Verification of Implantable Cardiac Pacemakers. RTSS T Chen, M Diciolla, M Kwiatkowska, A Mereacre IEEE, 2012 | 2 | 2012 |
| Machine fault modelling E Spiro, AFC Menck, A Prasad, A Thouzeau, C Henry, C Shepherd, ... US Patent App. 17/891,943, 2022 | | 2022 |
| Machine fault modelling E Spiro, AFC Menck, A Prasad, A Thouzeau, C Henry, C Shepherd, ... US Patent 11,455,560, 2022 | | 2022 |
| Determining maintenance for a machine E Spiro, AFC Menck, A Prasad, A Thouzeau, C Henry, C Shepherd, J Yip, ... US Patent 10,996,665, 2021 | | 2021 |
| Quantitative verification of real-time properties with application to medical devices M Marco Diciolla, M Diciolla Oxford University, UK, 2014 | | 2014 |
| A Simulink Hybrid Heart Model for Quantitative Verification of Cardiac Pacemakers M Diciolla | | 2013 |
| Verification of Linear Duration Properties over Continuous− Time Markov Chains M Diciolla | | 2012 |
| Time-Bounded Verification of CTMCs against MTL specifications T Chen, M Diciolla, M Kwiatkowska, A Mereacre Imperial College Computing Student Workshop, 17, 2011 | | 2011 |
| Time− Bounded Verification of CTMCs Against Real− Time Specifications M Diciolla | | 2011 |
| Quantitative Verification of Implantable Cardiac Pacemakers M Diciolla | | |