Maria Maximova

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 17

Top Topics

Probability Measures

Temporal Constraints

Formal Analysis

Top Venues

J. Log. Algebraic Methods Program.

Publications

Sven Schneider, Maria Maximova, Holger Giese
Bounded model checking for interval probabilistic timed graph transformation systems against properties of probabilistic metric temporal graph logic. J. Log. Algebraic Methods Program. 137 (2024)
Mustafa Ghani, Sven Schneider, Maria Maximova, Holger Giese
Deriving Delay-Robust Timed Graph Transformation System Models. ICGT (2024)
Boris Flotterer, Maria Maximova, Sven Schneider, Johannes Dyck, Christian Zöllner, Holger Giese, Christelle Hély, Cédric Gaucherel
Modeling and formal analysis of meta-ecosystems with dynamic structure using graph transformation. Ecol. Informatics 75 (2023)
Maria Maximova, Sven Schneider, Holger Giese
Compositional Analysis of Probabilistic Timed Graph Transformation Systems. Formal Aspects Comput. 35 (3) (2023)
Sven Schneider, Maria Maximova, Holger Giese
Invariant Analysis for Multi-agent Graph Transformation Systems Using k-Induction. ICGT (2022)
Sven Schneider, Maria Maximova, Holger Giese
Probabilistic Metric Temporal Graph Logic. ICGT (2022)
Sven Schneider, Maria Maximova, Holger Giese
Probabilistic Metric Temporal Graph Logic. CoRR (2021)
Maria Maximova, Sven Schneider, Holger Giese
Compositional Analysis of Probabilistic Timed Graph Transformation Systems. FASE (2021)
Christian Zöllner, Matthias Barkowsky, Maria Maximova, Holger Giese
On the Complexity of Simulating Probabilistic Timed Graph Transformation Systems. ICGT (2021)
Sven Schneider, Maria Maximova, Lucas Sakizloglou, Holger Giese
Formal testing of timed graph transformation systems using metric temporal graph logic. Int. J. Softw. Tools Technol. Transf. 23 (3) (2021)
Maria Maximova, Sven Schneider, Holger Giese
Interval Probabilistic Timed Graph Transformation Systems. ICGT (2021)
Christian Zöllner, Matthias Barkowsky, Maria Maximova, Melanie Schneider, Holger Giese
A Simulator for Probabilistic Timed Graph Transformation Systems with Complex Large-Scale Topologies. ICGT (2020)
Sven Schneider, Lucas Sakizloglou, Maria Maximova, Holger Giese
Optimistic and Pessimistic On-the-fly Analysis for Metric Temporal Graph Logic. ICGT (2020)
Holger Giese, Maria Maximova, Lucas Sakizloglou, Sven Schneider
Metric Temporal Graph Logic over Typed Attributed Graphs. FASE (2019)
Maria Maximova, Holger Giese, Christian Krause
Probabilistic timed graph transformation systems. J. Log. Algebraic Methods Program. 101 (2018)
Maria Maximova, Holger Giese, Christian Krause
Probabilistic Timed Graph Transformation Systems. ICGT (2017)
Maria Maximova, Hartmut Ehrig, Claudia Ermel
Local confluence analysis of hypergraph transformation systems with application conditions based on M-functors and Agg. Sci. Comput. Program. 104 (2015)
Maria Maximova, Hartmut Ehrig, Claudia Ermel
Analysis of Hypergraph Transformation Systems in AGG based on M-Functors. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 58 (2013)
Maria Maximova, Hartmut Ehrig, Claudia Ermel
Transfer of Local Confluence and Termination between Petri Net and Graph Transformation Systems Based on M-Functors. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 51 (2012)
Hanna Schölzel, Hartmut Ehrig, Maria Maximova, Karsten Gabriel, Frank Hermann
Satisfaction, Restriction and Amalgamation of Constraints in the Framework of M-Adhesive Categories ACCAT (2012)
Maria Maximova, Hartmut Ehrig, Claudia Ermel
Formal Relationship between Petri Net and Graph Transformation Systems based on Functors between M-adhesive Categories. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 40 (2010)