Nathan Allen

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 15

Top Topics

Computational Model

Top Venues

ACM Trans. Embed. Comput. Syst.

IEEE Trans. Ind. Informatics

Publications

Logan Kenwright, Partha S. Roop, Nathan Allen, Sanjay Lall, Calin Cascaval, Tammo Spalink, Martin Izzard
Logical Synchrony Networks: A Formal Model for Deterministic Distribution. IEEE Access 12 (2024)
Logan Kenwright, Partha S. Roop, Nathan Allen, Sanjay Lall, Calin Cascaval, Tammo Spalink, Martin Izzard
Logical Synchrony Networks: A formal model for deterministic distribution. CoRR (2024)
Alex Baird, Srinivas Pinisetty, Nathan Allen, Nitish D. Patel, Partha S. Roop
Runtime Verification for Clinically Interpretable Arrhythmia Classification. MEMOCODE (2022)
Moon Soo Kim, Weiwei Ai, Partha S. Roop, Nathan Allen, Rohit Ramchandra, Julian Paton
Formal Modeling and Verification of Rate Adaptive Pacemakers for Heart Failure. MEMOCODE (2020)
Nathan Allen, Partha S. Roop
Semantics-Directed Hardware Generation of Hybrid Systems. ICCPS (2020)
Nathan Allen, Yash Raje, Jin Woo Ro, Partha S. Roop
A compositional approach for real-time machine learning. MEMOCODE (2019)
Avinash Malik, Partha S. Roop, Nathan Allen, Theo Steger
Emulation of Cyber-Physical Systems Using IEC-61499. IEEE Trans. Ind. Informatics 14 (1) (2018)
Weiwei Ai, Nitish D. Patel, Partha S. Roop, Avinash Malik, Sidharta Andalam, Eugene Yip, Nathan Allen, Mark L. Trew
A Parametric Computational Model of the Action Potential of Pacemaker Cells. IEEE Trans. Biomed. Eng. 65 (1) (2018)
Weiwei Ai, Nitish D. Patel, Partha S. Roop, Avinash Malik, Nathan Allen, Mark L. Trew
An intracardiac electrogram model to bridge virtual hearts and implantable cardiac devices. EMBC (2017)
Weiwei Ai, Nitish D. Patel, Partha S. Roop, Avinash Malik, Nathan Allen, Mark L. Trew
An intracardiac electrogram model to bridge virtual hearts and implantable cardiac devices. CoRR (2017)
Srinivas Pinisetty, Partha S. Roop, Steven Smyth, Nathan Allen, Stavros Tripakis, Reinhard von Hanxleden
Runtime Enforcement of Cyber-Physical Systems. ACM Trans. Embed. Comput. Syst. 16 (5s) (2017)
Sidharta Andalam, Nathan Allen, Avinash Malik, Partha S. Roop, Mark Trew
A Novel Emulation Model of the Cardiac Conduction System. ACM Trans. Embed. Comput. Syst. 16 (5s) (2017)
Nathan Allen, Hammond A. Pearce, Partha S. Roop, Reinhard von Hanxleden
A Model Driven Approach for Cardiac Pacemaker Design Using a PRET Processor. ISORC (2017)
Hammond A. Pearce, Matthew M. Y. Kuo, Nathan Allen, Partha S. Roop, Avinash Malik
Simulation of cyber-physical systems using IEC61499. MEMOCODE (2017)
Nathan Allen, Sidharta Andalam, Partha S. Roop, Avinash Malik, Mark Trew, Nitish D. Patel
Modular code generation for emulating the electrical conduction system of the human heart. DATE (2016)