Nathan Allen

According to our database, Nathan Allen authored at least 13 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Logical Synchrony Networks: A formal model for deterministic distribution.

Logan Kenwright, Partha S. Roop, Nathan Allen, Sanjay Lall, Calin Cascaval, Tammo Spalink, Martin Izzard

CoRR, 2024

2022

Runtime Verification for Clinically Interpretable Arrhythmia Classification.

Alex Baird, Srinivas Pinisetty, Nathan Allen, Nitish D. Patel, Partha S. Roop

Proceedings of the 20th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2022

2020

Formal Modeling and Verification of Rate Adaptive Pacemakers for Heart Failure.

Moon Soo Kim, Weiwei Ai, Partha S. Roop, Nathan Allen, Rohit Ramchandra, Julian Paton

Proceedings of the 18th ACM/IEEE International Conference on Formal Methods and Models for System Design, 2020

Semantics-Directed Hardware Generation of Hybrid Systems.

Nathan Allen, Partha S. Roop

Proceedings of the 11th ACM/IEEE International Conference on Cyber-Physical Systems, 2020

2019

A compositional approach for real-time machine learning.

Nathan Allen, Yash Raje, Jin Woo Ro, Partha S. Roop

Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2019

2018

Emulation of Cyber-Physical Systems Using IEC-61499.

Avinash Malik, Partha S. Roop, Nathan Allen, Theo Steger

IEEE Trans. Ind. Informatics, 2018

A Parametric Computational Model of the Action Potential of Pacemaker Cells.

Weiwei Ai, Nitish D. Patel, Partha S. Roop, Avinash Malik, Sidharta Andalam, Eugene Yip, Nathan Allen, Mark L. Trew

IEEE Trans. Biomed. Eng., 2018

2017

Runtime Enforcement of Cyber-Physical Systems.

Srinivas Pinisetty, Partha S. Roop, Steven Smyth, Nathan Allen, Stavros Tripakis, Reinhard von Hanxleden

ACM Trans. Embed. Comput. Syst., 2017

A Novel Emulation Model of the Cardiac Conduction System.

Sidharta Andalam, Nathan Allen, Avinash Malik, Partha S. Roop, Mark Trew

ACM Trans. Embed. Comput. Syst., 2017

Simulation of cyber-physical systems using IEC61499.

Hammond A. Pearce, Matthew M. Y. Kuo, Nathan Allen, Partha S. Roop, Avinash Malik

Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2017

A Model Driven Approach for Cardiac Pacemaker Design Using a PRET Processor.

Nathan Allen, Hammond A. Pearce, Partha S. Roop, Reinhard von Hanxleden

Proceedings of the 20th IEEE International Symposium on Real-Time Distributed Computing, 2017

An intracardiac electrogram model to bridge virtual hearts and implantable cardiac devices.

Weiwei Ai, Nitish D. Patel, Partha S. Roop, Avinash Malik, Nathan Allen, Mark L. Trew

Proceedings of the 2017 39th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC), 2017

2016

Modular code generation for emulating the electrical conduction system of the human heart.

Nathan Allen, Sidharta Andalam, Partha S. Roop, Avinash Malik, Mark Trew, Nitish D. Patel

Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016