Sara Mohammadinejad

Publication Activity (10 Years)

Years Active: 2017-2022
Publications (10 Years): 11

Top Topics

Recurrent Neural Networks

Verification Method

Mazurkiewicz Traces

Reactive Systems

Top Venues

IEEE Trans. Biomed. Circuits Syst.

Publications

Sara Mohammadinejad, Jesse Thomason, Jyotirmoy V. Deshmukh
Interactive Learning from Natural Language and Demonstrations using Signal Temporal Logic. CoRR (2022)
Sara Mohammadinejad, Brandon Paulsen, Jyotirmoy V. Deshmukh, Chao Wang
DiffRNN: Differential Verification of Recurrent Neural Networks. FORMATS (2021)
Sara Mohammadinejad, Jyotirmoy V. Deshmukh, Laura Nenzi
Mining Interpretable Spatio-Temporal Logic Properties for Spatially Distributed Systems. ATVA (2021)
Sara Mohammadinejad, Jyotirmoy V. Deshmukh, Laura Nenzi
Mining Interpretable Spatio-temporal Logic Properties for Spatially Distributed Systems. CoRR (2021)
Sara Mohammadinejad, Jyotirmoy V. Deshmukh, Aniruddh Gopinath Puranic
Mining Environment Assumptions for Cyber-Physical System Models. CoRR (2020)
Sara Mohammadinejad, Jyotirmoy V. Deshmukh, Aniruddh Gopinath Puranic, Marcell Vazquez-Chanlatte, Alexandre Donzé
Interpretable classification of time-series data using efficient enumerative techniques. HSCC (2020)
Sara Mohammadinejad, Jyotirmoy V. Deshmukh, Aniruddh Gopinath Puranic
Mining Environment Assumptions for Cyber-Physical System Models. ICCPS (2020)
Sara Mohammadinejad, Brandon Paulsen, Chao Wang, Jyotirmoy V. Deshmukh
DiffRNN: Differential Verification of Recurrent Neural Networks. CoRR (2020)
Sara Mohammadinejad, Jyotirmoy V. Deshmukh, Aniruddh Gopinath Puranic, Marcell Vazquez-Chanlatte, Alexandre Donzé
Interpretable Classification of Time-Series Data using Efficient Enumerative Techniques. CoRR (2019)
Nezam Rohbani, Hiroaki Gau, Sara Mohammadinejad, Tapas Kumar Maiti, Dondee Navarro, Mitiko Miura-Mattausch, Hans Jürgen Mattausch, Hirotaka Takatsuka
Power Reduction and BTI Mitigation of Data-Cache Memory Based on the Storage Management of Narrow-Width Values. IEEE Trans. Very Large Scale Integr. Syst. 27 (7) (2019)
Alireza Chamanzar, Mahdi Shabany, Alireza Malekmohammadi, Sara Mohammadinejad
Efficient Hardware Implementation of Real-Time Low-Power Movement Intention Detector System Using FFT and Adaptive Wavelet Transform. IEEE Trans. Biomed. Circuits Syst. 11 (3) (2017)