Maria Maximova

MaRDI QIDQ1994362zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Compositional analysis of probabilistic timed graph transformation systems Formal Aspects of Computing	2024-09-27	Paper
Bounded model checking for interval probabilistic timed graph transformation systems against properties of probabilistic metric temporal graph logic Journal of Logical and Algebraic Methods in Programming	2024-02-12	Paper
Metric temporal graph logic over typed attributed graphs Fundamental Approaches to Software Engineering	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 Graph Transformation	2022-09-01	Paper
A simulator for probabilistic timed graph transformation systems with complex large-scale topologies Graph Transformation	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 Graph Transformation	2019-11-22	Paper
Probabilistic timed graph transformation systems Journal of Logical and Algebraic Methods in Programming	2018-11-01	Paper

Research outcomes over time

This page was built for person: Maria Maximova