مقالات علمی چاپ شده در مجلات

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

مقالات علمی ارائه شده در همایش‌ها

1. "JetCert: A Self-Adaptive Compilation Framework for Fast and Safe Code Execution"
   Arman Cham Heidari, Mehran Alidoost Nia
   the 26th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES '25), pp.109-121, 2025
2. "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