Segui
Nathan Allen
Nathan Allen
Email verificata su aucklanduni.ac.nz
Titolo
Citata da
Citata da
Anno
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
482017
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
202017
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
202017
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
92017
Compositional cyber-physical epidemiology of COVID-19
JW Ro, N Allen, W Ai, D Prasad, PS Roop
Scientific Reports 10 (1), 19537, 2020
72020
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
22019
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
22017
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
12024
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
12023
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
12020
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
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
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
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–19