Nathan Allen

24 papers A 1B 1C 9Journal 11Unranked 2
YearRankTypeTitle / Venue / Authors
2026 J jnl
Synchronous Signal Temporal Logic for Decidable Verification of Cyber-Physical Systems.
CoRR
Partha S. Roop, Sobhan Chatterjee, Avinash Malik, Nathan Allen, Logan Kenwright
2025 C conf
Mitigation of Cyber-physical Attacks in Industry 4.0 using Secure Function Blocks.
MEMOCODE
Steph Wu, Nathan Allen, Alex Baird, Hammond Pearce, Partha S. Roop
2025 C conf
Optimising the Scheduling of System Level Logical Execution Time Systems.
MEMOCODE
Jamie Lee, Nathan Allen, Matthew M. Y. Kuo, Eugene Yip
2025 J jnl
Timetide: A Programming Model for Logically Synchronous Distributed Systems.
ACM Trans. Embed. Comput. Syst.
Logan Kenwright, Partha S. Roop, Nathan Allen, Calin Cascaval, Avinash Malik
2025 J jnl
Timetide: A programming model for logically synchronous distributed systems.
CoRR
Logan Kenwright, Partha S. Roop, Nathan Allen, Calin Cascaval, Avinash Malik
2025 C conf
Tuning into my heart through wearables: Towards a formal cardiac digital twin.
MEMOCODE
Partha S. Roop, Nathan Allen, Shahab Kazemi
2025 J jnl
WCET-Aware Partitioning and Allocation of Disaggregated Networks for Multicore Systems.
IEEE Embed. Syst. Lett.
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
2024 B conf
A Formal Approach for Safe Reinforcement Learning: A Rate-Adaptive Pacemaker Case Study.
RV
Sai Rohan Harshavardhan Vuppala, Nathan Allen, Srinivas Pinisetty, Partha S. Roop
2024 C conf
Exploring Compositional Neural Networks for Real-Time Systems.
MEMOCODE
Sobhan Chatterjee, Nathan Allen, Nitish D. Patel, Partha S. Roop
2024 J jnl
Logical Synchrony Networks: A Formal Model for Deterministic Distribution.
IEEE Access
Logan Kenwright, Partha S. Roop, Nathan Allen, Sanjay Lall, Calin Cascaval, Tammo Spalink, Martin Izzard
2024 J jnl
Logical Synchrony Networks: A formal model for deterministic distribution.
CoRR
Logan Kenwright, Partha S. Roop, Nathan Allen, Sanjay Lall, Calin Cascaval, Tammo Spalink, Martin Izzard
2022 C conf
Runtime Verification for Clinically Interpretable Arrhythmia Classification.
MEMOCODE
Alex Baird, Srinivas Pinisetty, Nathan Allen, Nitish D. Patel, Partha S. Roop
2020 C conf
Formal Modeling and Verification of Rate Adaptive Pacemakers for Heart Failure.
MEMOCODE
Moon Soo Kim, Weiwei Ai, Partha S. Roop, Nathan Allen, Rohit Ramchandra, Julian Paton
2020 — conf
Semantics-Directed Hardware Generation of Hybrid Systems.
ICCPS
Nathan Allen, Partha S. Roop
2019 C conf
A compositional approach for real-time machine learning.
MEMOCODE
Nathan Allen, Yash Raje, Jin Woo Ro, Partha S. Roop
2018 J jnl
A Parametric Computational Model of the Action Potential of Pacemaker Cells.
IEEE Trans. Biomed. Eng.
Weiwei Ai, Nitish D. Patel, Partha S. Roop, Avinash Malik, Sidharta Andalam, Eugene Yip, Nathan Allen, Mark L. Trew
2018 J jnl
Emulation of Cyber-Physical Systems Using IEC-61499.
IEEE Trans. Ind. Informatics
Avinash Malik, Partha S. Roop, Nathan Allen, Theo Steger
2017 C conf
A Model Driven Approach for Cardiac Pacemaker Design Using a PRET Processor.
ISORC
Nathan Allen, Hammond A. Pearce, Partha S. Roop, Reinhard von Hanxleden
2017 J jnl
A Novel Emulation Model of the Cardiac Conduction System.
ACM Trans. Embed. Comput. Syst.
Sidharta Andalam, Nathan Allen, Avinash Malik, Partha S. Roop, Mark Trew
2017 — conf
An intracardiac electrogram model to bridge virtual hearts and implantable cardiac devices.
EMBC
Weiwei Ai, Nitish D. Patel, Partha S. Roop, Avinash Malik, Nathan Allen, Mark L. Trew
2017 J jnl
An intracardiac electrogram model to bridge virtual hearts and implantable cardiac devices.
CoRR
Weiwei Ai, Nitish D. Patel, Partha S. Roop, Avinash Malik, Nathan Allen, Mark L. Trew
2017 J jnl
Runtime Enforcement of Cyber-Physical Systems.
ACM Trans. Embed. Comput. Syst.
Srinivas Pinisetty, Partha S. Roop, Steven Smyth, Nathan Allen, Stavros Tripakis, Reinhard von Hanxleden
2017 C conf
Simulation of cyber-physical systems using IEC61499.
MEMOCODE
Hammond A. Pearce, Matthew M. Y. Kuo, Nathan Allen, Partha S. Roop, Avinash Malik
2016 A conf
Modular code generation for emulating the electrical conduction system of the human heart.
DATE
Nathan Allen, Sidharta Andalam, Partha S. Roop, Avinash Malik, Mark Trew, Nitish D. Patel