Follow
Nathan Allen
Nathan Allen
Verified email at aucklanduni.ac.nz
Title
Cited by
Cited by
Year
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
302017
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
182017
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
142017
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
112016
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
92017
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
82017
Compositional cyber-physical epidemiology of COVID-19
JW Ro, N Allen, W Ai, D Prasad, PS Roop
Scientific Reports 10 (1), 1-13, 2020
32020
Semantics-directed hardware generation of hybrid systems
N Allen, PS Roop
2020 ACM/IEEE 11th International Conference on Cyber-Physical Systems (ICCPS …, 2020
22020
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
12019
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
12017
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
12017
Runtime Enforcement of Cyber-Physical Systems
PS ROOP, S SMYTH, N ALLEN, RE VON HANXLEDEN
12017
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
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
2020
The system can't perform the operation now. Try again later.
Articles 1–15