| Interpretable Classification of Time-Series Data using Efficient Enumerative Techniques AD Sara Mohammadinejad, Jyotirmoy V. Deshmukh, Aniruddh G. Puranic, Marcell ... arXiv preprint arXiv:1907.10265, 2019 | 40* | 2019 |
| DiffRNN: differential verification of recurrent neural networks S Mohammadinejad, B Paulsen, JV Deshmukh, C Wang Formal Modeling and Analysis of Timed Systems: 19th International Conference …, 2021 | 19 | 2021 |
| Efficient hardware implementation of real-time low-power movement intention detector system using FFT and adaptive wavelet transform A Chamanzar, M Shabany, A Malekmohammadi, S Mohammadinejad IEEE transactions on biomedical circuits and systems 11 (3), 585-596, 2017 | 14 | 2017 |
| Mining environment assumptions for cyber-physical system models S Mohammadinejad, JV Deshmukh, AG Puranic 2020 ACM/IEEE 11th International Conference on Cyber-Physical Systems (ICCPS …, 2020 | 10 | 2020 |
| Mining interpretable spatio-temporal logic properties for spatially distributed systems S Mohammadinejad, JV Deshmukh, L Nenzi International Symposium on Automated Technology for Verification and …, 2021 | 2 | 2021 |
| Interactive Learning from Natural Language and Demonstrations using Signal Temporal Logic S Mohammadinejad, J Thomason, JV Deshmukh arXiv preprint arXiv:2207.00627, 2022 | 1 | 2022 |
