Maria Maximova

Available identifiers

zbMath Open maximova.mariaMaRDI QIDQ1994362

List of research outcomes

Publication	Date of Publication	Type
Compositional analysis of probabilistic timed graph transformation systems	2024-09-27	Paper
Bounded model checking for interval probabilistic timed graph transformation systems against properties of probabilistic metric temporal graph logic	2024-02-12	Paper
Metric temporal graph logic over typed attributed graphs	2023-11-24	Paper
Probabilistic Metric Temporal Graph Logic	2022-12-07	Paper
Invariant Analysis for Multi-agent Graph Transformation Systems Using k-Induction	2022-12-07	Paper
Optimistic and Pessimistic On-the-fly Analysis for Metric Temporal Graph Logic	2022-09-01	Paper
A Simulator for Probabilistic Timed Graph Transformation Systems with Complex Large-Scale Topologies	2022-09-01	Paper
Interval probabilistic timed graph transformation systems	2022-03-21	Paper
Compositional analysis of probabilistic timed graph transformation systems	2021-08-04	Paper
Probabilistic Timed Graph Transformation Systems	2019-11-22	Paper
Probabilistic timed graph transformation systems	2018-11-01	Paper

Research outcomes over time

This page was built for person: Maria Maximova