Evaluation of Automotive OTA Updates Using Assurance Cases. - Ali Raeisdanaei; Logan Murphy; Alessio Di Sandro; Mehrnoosh Askarpour; Torin Viger; Marsha Chechik (MoDELS (Companion), 2024)

An LLM-Integrated Framework for Completion, Management, and Tracing of STPA. - Ali Raeisdanaei; Juho Kim; Michael Liao; Sparsh Kochhar (CoRR, 2025)