Maryam Ghaffari Saadat
According to our database1,
Maryam Ghaffari Saadat
authored at least 7 papers
between 2019 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2019
2020
2021
2022
2023
2024
0
1
2
3
4
1
3
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics.
Proceedings of the Proceedings Sixth International Workshop on Formal Methods for Autonomous Systems, 2024
2022
2020
Proceedings of the Eleventh International Workshop on Graph Computation Models, 2020
Proceedings of the Eleventh International Workshop on Graph Computation Models, 2020
Proceedings of the Graph Transformation - 13th International Conference, 2020
2019
Proceedings of the Proceedings Tenth International Workshop on Graph Computation Models, 2019
Proceedings of the Graph Transformation - 12th International Conference, 2019