Unfolding Graph Grammars with Negative Application Conditions. - Andrea Corradini 001; Maryam Ghaffari Saadat; Reiko Heckel (ICGT, 2019)

Analysis of Graph Transformation Systems: Native vs Translation-based Techniques. - Reiko Heckel; Leen Lambers; Maryam Ghaffari Saadat (GCM@STAF, 2019)

Unfolding Symbolic Attributed Graph Grammars. - Maryam Ghaffari Saadat; Reiko Heckel; Fernando Orejas (ICGT, 2020)

Commutators for Stochastic Rewriting Systems: Theory and Implementation in Z3. - Nicolas Behr; Maryam Ghaffari Saadat; Reiko Heckel (GCM@STAF, 2020)

Encoding Incremental NACs in Safe Graph Grammars using Complementation. - Andrea Corradini 001; Maryam Ghaffari Saadat; Reiko Heckel (GCM@STAF, 2020)

Applications of category theory in analysis of complex systems. - Maryam Ghaffari Saadat (2022)

ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics. - Maryam Ghaffari Saadat; Angelo Ferrando 001; Louise A. Dennis; Michael Fisher 001 (FMAS@iFM, 2024)