Alex Baird

According to our database, Alex Baird authored at least 4 papers between 2022 and 2024.

Collaborative distances:

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

2024

Scalable Security Enforcement for Cyber Physical Systems.

Alex Baird, Abhinandan Panda, Hammond Pearce, Srinivas Pinisetty, Partha S. Roop

IEEE Access, 2024

2023

Incremental Security Enforcement for Cyber-Physical Systems.

Abhinandan Panda, Alex Baird, Srinivas Pinisetty, Partha S. Roop

IEEE Access, 2023

2022

Runtime Interchange of Enforcers for Adaptive Attacks: A Security Analysis Framework for Drones.

Alex Baird, Hammond Pearce, Srinivas Pinisetty, Partha S. Roop

Proceedings of the 20th ACM-IEEE International Conference on Formal Methods and Models for System Design, 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