| Runtime enforcement of cyber-physical systems S Pinisetty, PS Roop, S Smyth, N Allen, S Tripakis, RV Hanxleden ACM Transactions on Embedded Computing Systems (TECS) 16 (5s), 1-25, 2017 | 57 | 2017 |
| A parametric computational model of the action potential of pacemaker cells W Ai, ND Patel, PS Roop, A Malik, S Andalam, E Yip, N Allen, ML Trew IEEE Transactions on Biomedical Engineering 65 (1), 123-130, 2017 | 21 | 2017 |
| Emulation of cyber-physical systems using IEC-61499 A Malik, PS Roop, N Allen, T Steger IEEE Transactions on Industrial Informatics 14 (1), 380-389, 2017 | 20 | 2017 |
| Modular code generation for emulating the electrical conduction system of the human heart N Allen, S Andalam, P Roop, A Malik, M Trew, N Patel 2016 Design, Automation & Test in Europe Conference & Exhibition (DATE), 648-653, 2016 | 11 | 2016 |
| An intracardiac electrogram model to bridge virtual hearts and implantable cardiac devices W Ai, N Patel, P Roop, A Malik, N Allen, ML Trew 2017 39th Annual International Conference of the IEEE Engineering in …, 2017 | 9 | 2017 |
| A model driven approach for cardiac pacemaker design using a PRET processor N Allen, H Pearce, P Roop, R von Hanxleden 2017 IEEE 20th International Symposium on Real-Time Distributed Computing …, 2017 | 9 | 2017 |
| Compositional cyber-physical epidemiology of COVID-19 JW Ro, N Allen, W Ai, D Prasad, PS Roop Scientific Reports 10 (1), 19537, 2020 | 7 | 2020 |
| An open-label pilot trial assessing tolerability and feasibility of LSD microdosing in patients with major depressive disorder (LSDDEP1) CJ Donegan, D Daldegan-Bueno, R Sumner, D Menkes, W Evans, ... Pilot and Feasibility Studies 9 (1), 169, 2023 | 3 | 2023 |
| A compositional approach for real-time machine learning N Allen, Y Raje, JW Ro, P Roop Proceedings of the 17th ACM-IEEE International Conference on Formal Methods …, 2019 | 3 | 2019 |
| Simulation of cyber-physical systems using IEC61499 HA Pearce, MMY Kuo, N Allen, PS Roop, A Malik Proceedings of the 15th ACM-IEEE International Conference on Formal Methods …, 2017 | 3 | 2017 |
| LSD increases sleep duration the night after microdosing N Allen, A Jeremiah, R Murphy, R Sumner, A Forsyth, N Hoeh, ... Translational Psychiatry 14 (1), 191, 2024 | 2 | 2024 |
| Semantics-directed hardware generation of hybrid systems N Allen, PS Roop 2020 ACM/IEEE 11th International Conference on Cyber-Physical Systems (ICCPS …, 2020 | 2 | 2020 |
| Logical Synchrony Networks: A formal model for deterministic distribution L Kenwright, P Roop, N Allen, S Lall, C Caşcaval, T Spalink, M Izzard IEEE Access, 2024 | 1 | 2024 |
| Formal modeling and verification of rate adaptive pacemakers for heart failure MS Kim, W Ai, PS Roop, N Allen, R Ramchandra, J Paton 2020 18th ACM-IEEE International Conference on Formal Methods and Models for …, 2020 | 1 | 2020 |
| A novel emulation model of the cardiac conduction system S Andalam, N Allen, A Malik, PS Roop, M Trew ACM Transactions on Embedded Computing Systems (TECS) 16 (5s), 1-20, 2017 | 1 | 2017 |
| Runtime Enforcement of Cyber-Physical Systems PS ROOP, S SMYTH, N ALLEN, RE VON HANXLEDEN | 1 | 2017 |
| A Formal Approach for Safe Reinforcement Learning: A Rate-Adaptive Pacemaker Case Study SRH Vuppala, N Allen, S Pinisetty, P Roop International Conference on Runtime Verification, 3-21, 2024 | | 2024 |
| Runtime Verification for Clinically Interpretable Arrhythmia Classification A Baird, S Pinisetty, N Allen, N Patel, P Roop 2022 20th ACM-IEEE International Conference on Formal Methods and Models for …, 2022 | | 2022 |
| Formal Methods for the Security of Medical Devices 1 S Pinisetty, N Allen, H Pearce, M Trew, M Singh Gaur, P Roop Applied Smart Health Care Informatics: A Computational Intelligence …, 2022 | | 2022 |
| Customised Real-Time Heart Models for Pacemaker Verification N Allen PhD Thesis-University of Auckland, 2021 | | 2021 |
