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

Runtime Interchange of Enforcers for Adaptive Attacks: A Security Analysis Framework for Drones. - Alex Baird; Hammond Pearce; Srinivas Pinisetty; Partha S. Roop (MEMOCODE, 2022)

Incremental Security Enforcement for Cyber-Physical Systems. - Abhinandan Panda; Alex Baird; Srinivas Pinisetty; Partha S. Roop (IEEE Access, 2023)

Scalable Security Enforcement for Cyber Physical Systems. - Alex Baird; Abhinandan Panda; Hammond Pearce; Srinivas Pinisetty; Partha S. Roop (IEEE Access, 2024)