Efficient Hardware Implementation of Real-Time Low-Power Movement Intention Detector System Using FFT and Adaptive Wavelet Transform. - Alireza Chamanzar; Mahdi Shabany; Alireza Malekmohammadi; Sara Mohammadinejad (IEEE Trans. Biomed. Circuits Syst., 2017)

Power Reduction and BTI Mitigation of Data-Cache Memory Based on the Storage Management of Narrow-Width Values. - Nezam Rohbani; Hiroaki Gau; Sara Mohammadinejad; Tapas Kumar Maiti; Dondee Navarro; Mitiko Miura-Mattausch; Hans Jürgen Mattausch; Hirotaka Takatsuka (IEEE Trans. Very Large Scale Integr. Syst., 2019)

Interpretable classification of time-series data using efficient enumerative techniques. - Sara Mohammadinejad; Jyotirmoy V. Deshmukh; Aniruddh Gopinath Puranic; Marcell Vazquez-Chanlatte; Alexandre Donzé (HSCC, 2020)

Mining Environment Assumptions for Cyber-Physical System Models. - Sara Mohammadinejad; Jyotirmoy V. Deshmukh; Aniruddh Gopinath Puranic (ICCPS, 2020)

Mining Interpretable Spatio-Temporal Logic Properties for Spatially Distributed Systems. - Sara Mohammadinejad; Jyotirmoy V. Deshmukh; Laura Nenzi (ATVA, 2021)

DiffRNN: Differential Verification of Recurrent Neural Networks. - Sara Mohammadinejad; Brandon Paulsen; Jyotirmoy V. Deshmukh; Chao Wang 001 (FORMATS, 2021)

Interactive Learning from Natural Language and Demonstrations using Signal Temporal Logic. - Sara Mohammadinejad; Jesse Thomason; Jyotirmoy V. Deshmukh (CoRR, 2022)

Systematic Translation from Natural Language Robot Task Descriptions to STL. - Sara Mohammadinejad; Sheryl Paul; Yuan Xia; Vidisha Kudalkar; Jesse Thomason; Jyotirmoy V. Deshmukh (AISoLA, 2024)