Nathan Allen

According to our database, Nathan Allen authored at least 22 papers between 2016 and 2026.

Collaborative distances:

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

2026

Synchronous Signal Temporal Logic for Decidable Verification of Cyber-Physical Systems.

Partha S. Roop, Sobhan Chatterjee, Avinash Malik, Nathan Allen, Logan Kenwright

CoRR, March, 2026

2025

WCET-Aware Partitioning and Allocation of Disaggregated Networks for Multicore Systems.

Junjie Shi, Christian Hakert, Kay Heider, Mario Günzel, Nils Hölscher, Daniel Kuhse, Jian-Jia Chen, Logan Kenwright, Sobhan Chatterjee, Nathan Allen, Partha S. Roop

IEEE Embed. Syst. Lett., October, 2025

Timetide: A Programming Model for Logically Synchronous Distributed Systems.

Logan Kenwright, Partha S. Roop, Nathan Allen, Calin Cascaval, Avinash Malik

ACM Trans. Embed. Comput. Syst., 2025

Surrogate Models of Spiking Neural Networks for Explainability.

Jane Jung, Matthew M. Y. Kuo, Nathan Allen

Proceedings of the Knowledge Management and Acquisition for Intelligent Systems, 2025

Mitigation of Cyber-physical Attacks in Industry 4.0 using Secure Function Blocks.

Steph Wu, Nathan Allen, Alex Baird, Hammond Pearce, Partha S. Roop

Proceedings of the International Symposium on Formal Methods and Models for System Design, 2025

Tuning into my heart through wearables: Towards a formal cardiac digital twin.

Partha S. Roop, Nathan Allen, Shahab Kazemi

Proceedings of the International Symposium on Formal Methods and Models for System Design, 2025

Optimising the Scheduling of System Level Logical Execution Time Systems.

Jamie Lee, Nathan Allen, Matthew M. Y. Kuo, Eugene Yip

Proceedings of the International Symposium on Formal Methods and Models for System Design, 2025

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

IEEE Access, 2024

A Formal Approach for Safe Reinforcement Learning: A Rate-Adaptive Pacemaker Case Study.

Sai Rohan Harshavardhan Vuppala, Nathan Allen, Srinivas Pinisetty, Partha S. Roop

Proceedings of the Runtime Verification - 24th International Conference, 2024

Exploring Compositional Neural Networks for Real-Time Systems.

Sobhan Chatterjee, Nathan Allen, Nitish D. Patel, Partha S. Roop

Proceedings of the 22nd ACM-IEEE International Symposium on Formal Methods and Models for System Design, 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