Sara Mohammadinejad

Efficient Hardware Implementation of Real-Time Low-Power Movement Intention Detector System Using FFT and Adaptive Wavelet Transform

Mahdi Shabany, Alireza Chamanzar, Alireza Malekmohammadi, 2017, IEEE Transactions on Biomedical Circuits and Systems.

Interpretable classification of time-series data using efficient enumerative techniques

Jyotirmoy V. Deshmukh, Marcell Vazquez-Chanlatte, Alexandre Donzé, 2019, HSCC.

DiffRNN: Differential Verification of Recurrent Neural Networks pdf

Chao Wang, Jyotirmoy V. Deshmukh, Brandon Paulsen, 2020, FORMATS.

Power Reduction and BTI Mitigation of Data-Cache Memory Based on the Storage Management of Narrow-Width Values

Mitiko Miura-Mattausch, Hans Jürgen Mattausch, Dondee Navarro, 2019, IEEE Transactions on Very Large Scale Integration (VLSI) Systems.

Mining Environment Assumptions for Cyber-Physical System Models

Jyotirmoy V. Deshmukh, Aniruddh G. Puranic, Sara Mohammadinejad, 2020, 2020 ACM/IEEE 11th International Conference on Cyber-Physical Systems (ICCPS).

Mining Interpretable Spatio-temporal Logic Properties for Spatially Distributed Systems

Laura Nenzi, Sara Mohammadinejad, Jyotirmy V. Deshmukh, 2021, ATVA.