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 (DATE, 2016)

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 (EMBC, 2017)

A Model Driven Approach for Cardiac Pacemaker Design Using a PRET Processor. - Nathan Allen; Hammond A. Pearce; Partha S. Roop; Reinhard von Hanxleden (ISORC, 2017)

Simulation of cyber-physical systems using IEC61499. - Hammond A. Pearce; Matthew M. Y. Kuo; Nathan Allen; Partha S. Roop; Avinash Malik (MEMOCODE, 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)

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 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)

Emulation of Cyber-Physical Systems Using IEC-61499. - Avinash Malik; Partha S. Roop; Nathan Allen; Theo Steger (IEEE Trans. Ind. Informatics, 2018)

A compositional approach for real-time machine learning. - Nathan Allen; Yash Raje; Jin Woo Ro; Partha S. Roop (MEMOCODE, 2019)

Semantics-Directed Hardware Generation of Hybrid Systems. - Nathan Allen; Partha S. Roop (ICCPS, 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 (MEMOCODE, 2020)

Runtime Verification for Clinically Interpretable Arrhythmia Classification. - Alex Baird; Srinivas Pinisetty; Nathan Allen; Nitish D. Patel; Partha S. Roop (MEMOCODE, 2022)

Exploring Compositional Neural Networks for Real-Time Systems. - Sobhan Chatterjee; Nathan Allen; Nitish D. Patel; Partha S. Roop (MEMOCODE, 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 (RV, 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)

Timetide: A programming model for logically synchronous distributed systems. - Logan Kenwright; Partha S. Roop; Nathan Allen; Calin Cascaval; Avinash Malik (CoRR, 2025)