Maria Maximova

According to our database, Maria Maximova authored at least 18 papers between 2010 and 2024.

Collaborative distances:

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

2024

Bounded model checking for interval probabilistic timed graph transformation systems against properties of probabilistic metric temporal graph logic.

Sven Schneider, Maria Maximova, Holger Giese

J. Log. Algebraic Methods Program., February, 2024

2023

Compositional Analysis of Probabilistic Timed Graph Transformation Systems.

Maria Maximova, Sven Schneider, Holger Giese

Formal Aspects Comput., September, 2023

Modeling and formal analysis of meta-ecosystems with dynamic structure using graph transformation.

Boris Flotterer, Maria Maximova, Sven Schneider, Johannes Dyck, Christian Zöllner, Holger Giese, Christelle Hély, Cédric Gaucherel

Ecol. Informatics, July, 2023

2022

Invariant Analysis for Multi-agent Graph Transformation Systems Using k-Induction.

Sven Schneider, Maria Maximova, Holger Giese

Proceedings of the Graph Transformation - 15th International Conference, 2022

Probabilistic Metric Temporal Graph Logic.

Sven Schneider, Maria Maximova, Holger Giese

Proceedings of the Graph Transformation - 15th International Conference, 2022

2021

Formal testing of timed graph transformation systems using metric temporal graph logic.

Sven Schneider, Maria Maximova, Lucas Sakizloglou, Holger Giese

Int. J. Softw. Tools Technol. Transf., 2021

Interval Probabilistic Timed Graph Transformation Systems.

Maria Maximova, Sven Schneider, Holger Giese

Proceedings of the Graph Transformation - 14th International Conference, 2021

On the Complexity of Simulating Probabilistic Timed Graph Transformation Systems.

Christian Zöllner, Matthias Barkowsky, Maria Maximova, Holger Giese

Proceedings of the Graph Transformation - 14th International Conference, 2021

2020

A Simulator for Probabilistic Timed Graph Transformation Systems with Complex Large-Scale Topologies.

Christian Zöllner, Matthias Barkowsky, Maria Maximova, Melanie Schneider, Holger Giese

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

Optimistic and Pessimistic On-the-fly Analysis for Metric Temporal Graph Logic.

Sven Schneider, Lucas Sakizloglou, Maria Maximova, Holger Giese

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

2019

Behavior and confluence analysis of M-adhesive transformation systems using M-functors.

Maria Maximova

PhD thesis, 2019

Metric Temporal Graph Logic over Typed Attributed Graphs.

Holger Giese, Maria Maximova, Lucas Sakizloglou, Sven Schneider

Proceedings of the Fundamental Approaches to Software Engineering, 2019

2018

Probabilistic timed graph transformation systems.

Maria Maximova, Holger Giese, Christian Krause

J. Log. Algebraic Methods Program., 2018

2015

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

2013

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

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

Satisfaction, Restriction and Amalgamation of Constraints in the Framework of M-Adhesive Categories

Hanna Schölzel, Hartmut Ehrig, Maria Maximova, Karsten Gabriel, Frank Hermann

Proceedings of the Proceedings Seventh ACCAT Workshop on Applied and Computational Category Theory, 2012

2010

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