Sara Mohammadinejad

12 papers B 1Journal 7Unranked 4
YearRankTypeTitle / Venue / Authors
2024 — conf
Systematic Translation from Natural Language Robot Task Descriptions to STL.
AISoLA
Sara Mohammadinejad, Sheryl Paul, Yuan Xia, Vidisha Kudalkar, Jesse Thomason, Jyotirmoy V. Deshmukh
2022 J jnl
Interactive Learning from Natural Language and Demonstrations using Signal Temporal Logic.
CoRR
Sara Mohammadinejad, Jesse Thomason, Jyotirmoy V. Deshmukh
2021 — conf
DiffRNN: Differential Verification of Recurrent Neural Networks.
FORMATS
Sara Mohammadinejad, Brandon Paulsen, Jyotirmoy V. Deshmukh, Chao Wang
2021 B conf
Mining Interpretable Spatio-Temporal Logic Properties for Spatially Distributed Systems.
ATVA
Sara Mohammadinejad, Jyotirmoy V. Deshmukh, Laura Nenzi
2021 J jnl
Mining Interpretable Spatio-temporal Logic Properties for Spatially Distributed Systems.
CoRR
Sara Mohammadinejad, Jyotirmoy V. Deshmukh, Laura Nenzi
2020 J jnl
DiffRNN: Differential Verification of Recurrent Neural Networks.
CoRR
Sara Mohammadinejad, Brandon Paulsen, Chao Wang, Jyotirmoy V. Deshmukh
2020 — conf
Interpretable classification of time-series data using efficient enumerative techniques.
HSCC
Sara Mohammadinejad, Jyotirmoy V. Deshmukh, Aniruddh Gopinath Puranic, Marcell Vazquez-Chanlatte, Alexandre Donzé
2020 — conf
Mining Environment Assumptions for Cyber-Physical System Models.
ICCPS
Sara Mohammadinejad, Jyotirmoy V. Deshmukh, Aniruddh Gopinath Puranic
2020 J jnl
Mining Environment Assumptions for Cyber-Physical System Models.
CoRR
Sara Mohammadinejad, Jyotirmoy V. Deshmukh, Aniruddh Gopinath Puranic
2019 J jnl
Interpretable Classification of Time-Series Data using Efficient Enumerative Techniques.
CoRR
Sara Mohammadinejad, Jyotirmoy V. Deshmukh, Aniruddh Gopinath Puranic, Marcell Vazquez-Chanlatte, Alexandre Donzé
2019 J jnl
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.
Nezam Rohbani, Hiroaki Gau, Sara Mohammadinejad, Tapas Kumar Maiti, Dondee Navarro, Mitiko Miura-Mattausch, Hans Jürgen Mattausch, Hirotaka Takatsuka
2017 J jnl
Efficient Hardware Implementation of Real-Time Low-Power Movement Intention Detector System Using FFT and Adaptive Wavelet Transform.
IEEE Trans. Biomed. Circuits Syst.
Alireza Chamanzar, Mahdi Shabany, Alireza Malekmohammadi, Sara Mohammadinejad