[31] | Modeling and formal analysis of meta-ecosystems with dynamic structure using graph transformation (Boris Flotterer, Maria Maximova, Sven Schneider, Johannes Dyck, Christian Zöllner, Holger Giese, Christelle Hély, Cédric Gaucherel), In Ecological Informatics, volume 75, 2023. |
[30] | Invariant Analysis for Multi-agent Graph Transformation Systems Using k-Induction (Sven Schneider, Maria Maximova, Holger Giese), 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, 2022. |
[29] | Probabilistic Metric Temporal Graph Logic (Sven Schneider, Maria Maximova, Holger Giese), 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, 2022. |
[28] | Probabilistic metric temporal graph logic (Sven Schneider, Maria Maximova, Holger Giese), Technical report 146, Hasso Plattner Institute at the University of Potsdam, 2022. |
[27] | Modeling and Formal Analysis of Meta-Ecosystems with Dynamic Structure using Graph Transformation (Boris Flotterer, Maria Maximova, Sven Schneider, Johannes Dyck, Christian Zöllner, Holger Giese, Christelle H\´ely, C\´edric Gaucherel), Technical report 147, Hasso Plattner Institute at the University of Potsdam, 2022. |
[26] | Invariant Analysis for Multi-Agent Graph Transformation Systems using k-Induction (Sven Schneider, Maria Maximova, Holger Giese), Technical report 143, Hasso Plattner Institute at the University of Potsdam, 2022. |
[25] | Formal testing of timed graph transformation systems using metric temporal graph logic (Sven Schneider, Maria Maximova, Lucas Sakizloglou, Holger Giese), In Int. J. Softw. Tools Technol. Transf., volume 23, 2021. |
[24] | Probabilistic Metric Temporal Graph Logic (Sven Schneider, Maria Maximova, Holger Giese), In CoRR, volume abs/2106.08418, 2021. |
[23] | Interval Probabilistic Timed Graph Transformation Systems (Maria Maximova, Sven Schneider, Holger Giese), 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, 2021. |
[22] | On the Complexity of Simulating Probabilistic Timed Graph Transformation Systems (Christian Zöllner, Matthias Barkowsky, Maria Maximova, Holger Giese), 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, 2021. |
[21] | Compositional Analysis of Probabilistic Timed Graph Transformation Systems (Maria Maximova, Sven Schneider, Holger Giese), 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, 2021. |
[20] | Interval probabilistic timed graph transformation systems (Maria Maximova, Sven Schneider, Holger Giese), Technical report 134, Hasso Plattner Institute at the University of Potsdam, 2021. |
[19] | A Simulator for Probabilistic Timed Graph Transformation Systems with Complex Large-Scale Topologies (Christian Zöllner, Matthias Barkowsky, Maria Maximova, Melanie Schneider, Holger Giese), 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, 2020. |
[18] | Optimistic and Pessimistic On-the-fly Analysis for Metric Temporal Graph Logic (Sven Schneider, Lucas Sakizloglou, Maria Maximova, Holger Giese), 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, 2020. |
[17] | Compositional analysis of probabilistic timed graph transformation systems (Maria Maximova, Sven Schneider, Holger Giese), Technical report 133, Hasso Plattner Institute at the University of Potsdam, 2020. |
[16] | Behavior and confluence analysis of M-adhesive transformation systems using M-functors (Maria Maximova), PhD thesis, Technical University of Berlin, Germany, 2019. |
[15] | Metric Temporal Graph Logic over Typed Attributed Graphs (Holger Giese, Maria Maximova, Lucas Sakizloglou, Sven Schneider), 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, 2019. |
[14] | Metric Temporal Graph Logic over Typed Attributed Graphs: Extended Version (Maria Maximova Lucas Sakizloglou Sven Schneider Holger Giese), Technical report 127, Hasso Plattner Institute at the University of Potsdam, 2019. |
[13] | Probabilistic timed graph transformation systems (Maria Maximova, Holger Giese, Christian Krause), In J. Log. Algebraic Methods Program., volume 101, 2018. |
[12] | Metric Temporal Graph Logic over Typed Attributed Graphs (Holger Giese, Maria Maximova, Lucas Sakizloglou, Sven Schneider), Technical report 123, Hasso Plattner Institute at the University of Potsdam, 2018. |
[11] | Probabilistic timed graph transformation systems (Maria Maximova, Holger Giese, Christian Krause), Technical report 118, Hasso Plattner Institute at the University of Potsdam, 2017. |
[10] | Probabilistic Timed Graph Transformation Systems (Maria Maximova, Holger Giese, Christian Krause), 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, 2017. |
[9] | Local confluence analysis of hypergraph transformation systems with application conditions based on M-functors and Agg (Maria Maximova, Hartmut Ehrig, Claudia Ermel), In Sci. Comput. Program., volume 104, 2015. |
[8] | Analysis of Hypergraph Transformation Systems in AGG based on $\mathcal{M}$-Functors: Extended Version (Maria Maximova, Hartmut Ehrig, Claudia Ermel), Technical report 2013/02, TU Berlin, 2013. |
[7] | Analysis of Hypergraph Transformation Systems in AGG based on M-Functors (Maria Maximova, Hartmut Ehrig, Claudia Ermel), In Electron. Commun. Eur. Assoc. Softw. Sci. Technol., volume 58, 2013. |
[6] | Transfer of Local Confluence and Termination between Petri Net and Graph Transformation Systems Based on $\mathcal{M}$-Functors: Extended Version (Maria Maximova, Hartmut Ehrig, Claudia Ermel), Technical report 2012/08, TU Berlin, 2012. |
[5] | Transfer of Local Confluence and Termination between Petri Net and Graph Transformation Systems Based on M-Functors (Maria Maximova, Hartmut Ehrig, Claudia Ermel), In Electron. Commun. Eur. Assoc. Softw. Sci. Technol., volume 51, 2012. |
[4] | Satisfaction, Restriction and Amalgamation of Constraints in the Framework of M-Adhesive Categories (Hanna Schölzel, Hartmut Ehrig, Maria Maximova, Karsten Gabriel, Frank Hermann), 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, 2012. |
[3] | Formal Relationship between Petri Net and Graph Transformation Systems Based on Functors between $\mathcal{M}$-Adhesive Categories (Maria Maximova), Master's thesis, Technische Universität Berlin, 2011. |
[2] | Functors between $\mathcal{M}$-Adhesive Categories Applied to Petri Net and Graph Transformation Systems (Maria Maximova, Hartmut Ehrig, Claudia Ermel), Technical report 2011/04, TU Berlin, 2011. |
[1] | Formal Relationship between Petri Net and Graph Transformation Systems based on Functors between M-adhesive Categories (Maria Maximova, Hartmut Ehrig, Claudia Ermel), In Electron. Commun. Eur. Assoc. Softw. Sci. Technol., volume 40, 2010. |