| 2026 | ISORC | Hard Real-Time Embedded Implementation of Closed-Loop Gastric Pacemaker. | HyungJoo Eugene Lee, Avinash Malik, Partha S. Roop, Nathan Allen, Daniel Martinez |
| 2025 | MEMOCODE | Optimising the Scheduling of System Level Logical Execution Time Systems. | Jamie Lee, Nathan Allen, Matthew M. Y. Kuo, Eugene Yip |
| 2025 | MEMOCODE | Tuning into my heart through wearables: Towards a formal cardiac digital twin. | Partha S. Roop, Nathan Allen, Shahab Kazemi |
| 2025 | MEMOCODE | Mitigation of Cyber-physical Attacks in Industry 4.0 using Secure Function Blocks. | Steph Wu, Nathan Allen, Alex Baird, Hammond Pearce, Partha S. Roop |
| 2025 | PKAW | Surrogate Models of Spiking Neural Networks for Explainability. | Jane Jung, Matthew M. Y. Kuo, Nathan Allen |
| 2024 | MEMOCODE | Exploring Compositional Neural Networks for Real-Time Systems. | Sobhan Chatterjee, Nathan Allen, Nitish D. Patel, Partha S. Roop |
| 2024 | RV | A Formal Approach for Safe Reinforcement Learning: A Rate-Adaptive Pacemaker Case Study. | Sai Rohan Harshavardhan Vuppala, Nathan Allen, Srinivas Pinisetty, Partha S. Roop |
| 2022 | MEMOCODE | Runtime Verification for Clinically Interpretable Arrhythmia Classification. | Alex Baird, Srinivas Pinisetty, Nathan Allen, Nitish D. Patel, Partha S. Roop |
| 2020 | MEMOCODE | 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 |
| 2019 | MEMOCODE | A compositional approach for real-time machine learning. | Nathan Allen, Yash Raje, Jin Woo Ro, Partha S. Roop |
| 2017 | ISORC | A Model Driven Approach for Cardiac Pacemaker Design Using a PRET Processor. | Nathan Allen, Hammond A. Pearce, Partha S. Roop, Reinhard von Hanxleden |
| 2017 | MEMOCODE | Simulation of cyber-physical systems using IEC61499. | Hammond A. Pearce, Matthew M. Y. Kuo, Nathan Allen, Partha S. Roop, Avinash Malik |
| 2016 | DATE | 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 |