Formal Relationship between Petri Net and Graph Transformation Systems based on Functors between M-adhesive Categories. - Maria Maximova; Hartmut Ehrig; Claudia Ermel (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010)

Satisfaction, Restriction and Amalgamation of Constraints in the Framework of M-Adhesive Categories - Hanna Schölzel; Hartmut Ehrig; Maria Maximova; Karsten Gabriel; Frank Hermann 001 (ACCAT, 2012)

Transfer of Local Confluence and Termination between Petri Net and Graph Transformation Systems Based on M-Functors. - Maria Maximova; Hartmut Ehrig; Claudia Ermel (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012)

Analysis of Hypergraph Transformation Systems in AGG based on M-Functors. - Maria Maximova; Hartmut Ehrig; Claudia Ermel (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013)

Local confluence analysis of hypergraph transformation systems with application conditions based on M-functors and Agg. - Maria Maximova; Hartmut Ehrig; Claudia Ermel (Sci. Comput. Program., 2015)

Probabilistic timed graph transformation systems. - Maria Maximova; Holger Giese; Christian Krause 001 (J. Log. Algebraic Methods Program., 2018)

Metric Temporal Graph Logic over Typed Attributed Graphs. - Holger Giese; Maria Maximova; Lucas Sakizloglou; Sven Schneider 001 (FASE, 2019)

Behavior and confluence analysis of M-adhesive transformation systems using M-functors. - Maria Maximova (2019)

Optimistic and Pessimistic On-the-fly Analysis for Metric Temporal Graph Logic. - Sven Schneider 001; Lucas Sakizloglou; Maria Maximova; Holger Giese (ICGT, 2020)

A Simulator for Probabilistic Timed Graph Transformation Systems with Complex Large-Scale Topologies. - Christian Zöllner 002; Matthias Barkowsky; Maria Maximova; Melanie Schneider; Holger Giese (ICGT, 2020)

On the Complexity of Simulating Probabilistic Timed Graph Transformation Systems. - Christian Zöllner 002; Matthias Barkowsky; Maria Maximova; Holger Giese (ICGT, 2021)

Interval Probabilistic Timed Graph Transformation Systems. - Maria Maximova; Sven Schneider 001; Holger Giese (ICGT, 2021)

Formal testing of timed graph transformation systems using metric temporal graph logic. - Sven Schneider 001; Maria Maximova; Lucas Sakizloglou; Holger Giese (Int. J. Softw. Tools Technol. Transf., 2021)

Probabilistic Metric Temporal Graph Logic. - Sven Schneider 001; Maria Maximova; Holger Giese (ICGT, 2022)

Invariant Analysis for Multi-agent Graph Transformation Systems Using k-Induction. - Sven Schneider 001; Maria Maximova; Holger Giese (ICGT, 2022)

Modeling and formal analysis of meta-ecosystems with dynamic structure using graph transformation. - Boris Flotterer; Maria Maximova; Sven Schneider 001; Johannes Dyck; Christian Zöllner 002; Holger Giese; Christelle Hély; Cédric Gaucherel (Ecol. Informatics, 2023)

Compositional Analysis of Probabilistic Timed Graph Transformation Systems. - Maria Maximova; Sven Schneider 001; Holger Giese (Formal Aspects Comput., 2023)

Deriving Delay-Robust Timed Graph Transformation System Models. - Mustafa Ghani; Sven Schneider 001; Maria Maximova; Holger Giese (ICGT, 2024)

Bounded model checking for interval probabilistic timed graph transformation systems against properties of probabilistic metric temporal graph logic. - Sven Schneider 001; Maria Maximova; Holger Giese (J. Log. Algebraic Methods Program., 2024)

Stochastic Timed Graph Transformation Systems. - Sven Schneider 001; Maria Maximova; Holger Giese (FASE, 2025)