Publications in publications/maximova.bib
31 results
2023
[31] Modeling and formal analysis of meta-ecosystems with dynamic structure using graph transformation (, , , , , , , ), In Ecological Informatics, volume 75, . [bibtex] [pdf] [doi]
2022
[30] Invariant Analysis for Multi-agent Graph Transformation Systems Using k-Induction (, , ), In Graph Transformation - 15th International Conference, ICGT 2022, Held as Part of STAF 2022, Nantes, France, July 7-8, 2022, Proceedings (Nicolas Behr, Daniel Strüber, eds.), Springer, volume 13349, . [bibtex] [pdf] [doi]
[29] Probabilistic Metric Temporal Graph Logic (, , ), In Graph Transformation - 15th International Conference, ICGT 2022, Held as Part of STAF 2022, Nantes, France, July 7-8, 2022, Proceedings (Nicolas Behr, Daniel Strüber, eds.), Springer, volume 13349, . [bibtex] [pdf] [doi]
[28]Probabilistic metric temporal graph logic (, , ), Technical report 146, Hasso Plattner Institute at the University of Potsdam, . [bibtex] [doi]
[27]Modeling and Formal Analysis of Meta-Ecosystems with Dynamic Structure using Graph Transformation (, , , , , , , ), Technical report 147, Hasso Plattner Institute at the University of Potsdam, . [bibtex] [doi]
[26]Invariant Analysis for Multi-Agent Graph Transformation Systems using k-Induction (, , ), Technical report 143, Hasso Plattner Institute at the University of Potsdam, . [bibtex] [doi]
2021
[25] Formal testing of timed graph transformation systems using metric temporal graph logic (, , , ), In Int. J. Softw. Tools Technol. Transf., volume 23, . [bibtex] [pdf] [doi]
[24] Probabilistic Metric Temporal Graph Logic (, , ), In CoRR, volume abs/2106.08418, . [bibtex] [pdf]
[23] Interval Probabilistic Timed Graph Transformation Systems (, , ), In Graph Transformation - 14th International Conference, ICGT 2021, Held as Part of STAF 2021, Virtual Event, June 24-25, 2021, Proceedings (Fabio Gadducci, Timo Kehrer, eds.), Springer, volume 12741, . [bibtex] [pdf] [doi]
[22] On the Complexity of Simulating Probabilistic Timed Graph Transformation Systems (, , , ), In Graph Transformation - 14th International Conference, ICGT 2021, Held as Part of STAF 2021, Virtual Event, June 24-25, 2021, Proceedings (Fabio Gadducci, Timo Kehrer, eds.), Springer, volume 12741, . [bibtex] [pdf] [doi]
[21] Compositional Analysis of Probabilistic Timed Graph Transformation Systems (, , ), In Fundamental Approaches to Software Engineering - 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings (Esther Guerra, Mariëlle Stoelinga, eds.), Springer, volume 12649, . [bibtex] [pdf] [doi]
[20]Interval probabilistic timed graph transformation systems (, , ), Technical report 134, Hasso Plattner Institute at the University of Potsdam, . [bibtex] [doi]
2020
[19] A Simulator for Probabilistic Timed Graph Transformation Systems with Complex Large-Scale Topologies (, , , , ), In Graph Transformation - 13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25-26, 2020, Proceedings (Fabio Gadducci, Timo Kehrer, eds.), Springer, volume 12150, . [bibtex] [pdf] [doi]
[18] Optimistic and Pessimistic On-the-fly Analysis for Metric Temporal Graph Logic (, , , ), In Graph Transformation - 13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25-26, 2020, Proceedings (Fabio Gadducci, Timo Kehrer, eds.), Springer, volume 12150, . [bibtex] [pdf] [doi]
[17]Compositional analysis of probabilistic timed graph transformation systems (, , ), Technical report 133, Hasso Plattner Institute at the University of Potsdam, . [bibtex] [doi]
2019
[16] Behavior and confluence analysis of M-adhesive transformation systems using M-functors (), PhD thesis, Technical University of Berlin, Germany, . [bibtex] [pdf]
[15] Metric Temporal Graph Logic over Typed Attributed Graphs (, , , ), In Fundamental Approaches to Software Engineering - 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings (Reiner Hähnle, Wil M. P. van der Aalst, eds.), Springer, volume 11424, . [bibtex] [pdf] [doi]
[14]Metric Temporal Graph Logic over Typed Attributed Graphs: Extended Version (), Technical report 127, Hasso Plattner Institute at the University of Potsdam, . [bibtex] [doi]
2018
[13] Probabilistic timed graph transformation systems (, , ), In J. Log. Algebraic Methods Program., volume 101, . [bibtex] [pdf] [doi]
[12]Metric Temporal Graph Logic over Typed Attributed Graphs (, , , ), Technical report 123, Hasso Plattner Institute at the University of Potsdam, . [bibtex]
2017
[11]Probabilistic timed graph transformation systems (, , ), Technical report 118, Hasso Plattner Institute at the University of Potsdam, . [bibtex]
[10] Probabilistic Timed Graph Transformation Systems (, , ), In Graph Transformation - 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings (Juan de Lara, Detlef Plump, eds.), Springer, volume 10373, . [bibtex] [pdf] [doi]
2015
[9] Local confluence analysis of hypergraph transformation systems with application conditions based on M-functors and Agg (, , ), In Sci. Comput. Program., volume 104, . [bibtex] [pdf] [doi]
2013
[8] Analysis of Hypergraph Transformation Systems in AGG based on $\mathcal{M}$-Functors: Extended Version (, , ), Technical report 2013/02, TU Berlin, . [bibtex] [pdf]
[7] Analysis of Hypergraph Transformation Systems in AGG based on M-Functors (, , ), In Electron. Commun. Eur. Assoc. Softw. Sci. Technol., volume 58, . [bibtex] [pdf] [doi]
2012
[6] Transfer of Local Confluence and Termination between Petri Net and Graph Transformation Systems Based on $\mathcal{M}$-Functors: Extended Version (, , ), Technical report 2012/08, TU Berlin, . [bibtex] [pdf]
[5] Transfer of Local Confluence and Termination between Petri Net and Graph Transformation Systems Based on M-Functors (, , ), In Electron. Commun. Eur. Assoc. Softw. Sci. Technol., volume 51, . [bibtex] [pdf] [doi]
[4] Satisfaction, Restriction and Amalgamation of Constraints in the Framework of M-Adhesive Categories (, , , , ), In Proceedings Seventh ACCAT Workshop on Applied and Computational Category Theory, ACCAT 2012, Tallinn, Estonia, 1 April 2012 (Ulrike Golas, Thomas Soboll, eds.), volume 93, . [bibtex] [pdf] [doi]
2011
[3] Formal Relationship between Petri Net and Graph Transformation Systems Based on Functors between $\mathcal{M}$-Adhesive Categories (), Master's thesis, Technische Universität Berlin, . [bibtex] [pdf]
[2] Functors between $\mathcal{M}$-Adhesive Categories Applied to Petri Net and Graph Transformation Systems (, , ), Technical report 2011/04, TU Berlin, . [bibtex] [pdf]
2010
[1] Formal Relationship between Petri Net and Graph Transformation Systems based on Functors between M-adhesive Categories (, , ), In Electron. Commun. Eur. Assoc. Softw. Sci. Technol., volume 40, . [bibtex] [pdf] [doi]
Powered by bibtexbrowser