Journal Paper

1. "Efficient Model Verification at Runtime through Adaptive Dynamic Approximation"
   Mehran Alidoost Nia, Radu Calinescu, Mehdi Kargahi, Alessandro Abate
   ACM Transactions on Autonomous and Adaptive Systems, Vol. 20, pp.1-43, 2024

Conference Paper

1. "Balancing Safety and Security in Autonomous Driving Systems: A Machine Learning Approach with Safety-First Prioritization"
   Afshin Hasani, Mehran Alidoost Nia, Reza Ebrahimi Atani
   2024 Annual Computer Security Applications Conference (ACSAC), pp.30-41, 2024