Sara Mohammadinejad

Orcid: 0000-0002-4986-5553

According to our database1, Sara Mohammadinejad authored at least 8 papers between 2017 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

2017
2018
2019
2020
2021
2022
2023
2024
0
1
2
3
1
1
1
1
2
2

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Systematic Translation from Natural Language Robot Task Descriptions to STL.
Proceedings of the Bridging the Gap Between AI and Reality, 2024

2022
Interactive Learning from Natural Language and Demonstrations using Signal Temporal Logic.
CoRR, 2022

2021
DiffRNN: Differential Verification of Recurrent Neural Networks.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2021

Mining Interpretable Spatio-Temporal Logic Properties for Spatially Distributed Systems.
Proceedings of the Automated Technology for Verification and Analysis, 2021

2020
Mining Environment Assumptions for Cyber-Physical System Models.
Proceedings of the 11th ACM/IEEE International Conference on Cyber-Physical Systems, 2020

Interpretable classification of time-series data using efficient enumerative techniques.
Proceedings of the HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, 2020

2019
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., 2019

2017
Efficient Hardware Implementation of Real-Time Low-Power Movement Intention Detector System Using FFT and Adaptive Wavelet Transform.
IEEE Trans. Biomed. Circuits Syst., 2017


  Loading...