Maria Maximova

23 papers B 11Journal 10Unranked 1

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