Maryam Ghaffari Saadat

According to our database, Maryam Ghaffari Saadat authored at least 8 papers between 2019 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Specification and Verification of the Alpha Swarm Algorithm using NuXMV and GROOVE.

Maryam Ghaffari Saadat, Clare Dixon, Michael Fisher

Formal Aspects Comput., March, 2026

2024

ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics.

Maryam Ghaffari Saadat, Angelo Ferrando, Louise A. Dennis, Michael Fisher

Proceedings of the Proceedings Sixth International Workshop on Formal Methods for Autonomous Systems, 2024

2022

Applications of category theory in analysis of complex systems.

Maryam Ghaffari Saadat

PhD thesis, 2022

2020

Encoding Incremental NACs in Safe Graph Grammars using Complementation.

Andrea Corradini, Maryam Ghaffari Saadat, Reiko Heckel

Proceedings of the Eleventh International Workshop on Graph Computation Models, 2020

Commutators for Stochastic Rewriting Systems: Theory and Implementation in Z3.

Nicolas Behr, Maryam Ghaffari Saadat, Reiko Heckel

Proceedings of the Eleventh International Workshop on Graph Computation Models, 2020

Unfolding Symbolic Attributed Graph Grammars.

Maryam Ghaffari Saadat, Reiko Heckel, Fernando Orejas

Proceedings of the Graph Transformation - 13th International Conference, 2020

2019

Analysis of Graph Transformation Systems: Native vs Translation-based Techniques.

Reiko Heckel, Leen Lambers, Maryam Ghaffari Saadat

Proceedings of the Proceedings Tenth International Workshop on Graph Computation Models, 2019

Unfolding Graph Grammars with Negative Application Conditions.

Andrea Corradini, Maryam Ghaffari Saadat, Reiko Heckel

Proceedings of the Graph Transformation - 12th International Conference, 2019