@inproceedings(Kreowski13,
author = {Larbi Abdenebaoui and Hans-J{\"o}rg Kreowski and Sabine Kuske},
year = {2015},
title = {Graph-Transformational Swarms with Stationary Members},
booktitle = {DoCEIS 2015: Technological Innovation for Cloud-Based Engineering Systems},
series = {IFIP Advances in Information and Communication Technology},
volume = {450},
pages = {137--144},
doi = {10.1007/978-3-319-16766-4\_15},
)
@book(Olderog97,
author = {Krzysztof R. Apt and Ernst-R{\"u}diger Olderog and Frank S. de Boer},
year = {2009},
title = {Verification of Sequential and Concurrent Programs},
edition = {3},
series = {Texts in Computer Science},
publisher = {Springer},
doi = {10.1007/978-1-84882-745-5},
)
@book(Baier08,
author = {Christel Baier and Joost-Pieter Katoen},
year = {2008},
title = {Principles of Model Checking},
publisher = {The MIT Press},
doi = {10.1093/comjnl/bxp025},
)
@inproceedings(Clarke82,
author = {Edmund M. Clarke and E. Allen Emerson},
year = {1982},
title = {Design and synthesis of synchronization skeletons using branching time temporal logic},
booktitle = {Logics of Programs},
series = {Lecture Notes in Computer Science},
volume = {131},
publisher = {Springer},
pages = {52--71},
doi = {10.1007/BFb0025774},
)
@inproceedings(Corradini09,
author = {Andrea Corradini and Luciana Foss and Leila Ribeiro},
year = {2009},
title = {Graph Transformation with Dependencies for the Specification of Interactive Systems},
booktitle = {Recent Trends in Algebraic Development Techniques: 19th International Workshop, WADT 2008},
series = {Lecture Notes in Computer Science},
volume = {5486},
pages = {102--118},
doi = {10.1007/978-3-642-03429-9\_8},
)
@inproceedings(Vardi07,
author = {De Giacomo, Giuseppe and Moshe Y. Vardi},
year = {2013},
title = {Linear Temporal Logic and Linear Dynamic Logic on Finite Traces},
booktitle = {Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence},
series = {IJCAI '13},
pages = {854--860},
url = {https://www.ijcai.org/Proceedings/13/Papers/132.pdf},
)
@book(Ehrig06,
author = {Hartmut Ehrig and Karsten Ehrig and Ulrike Prange and Gabriele Taentzer},
year = {2006},
title = {Fundamentals of Algebraic Graph Transformation},
series = {Monographs in Theoretical Computer Science},
volume = {XIV},
publisher = {Springer},
doi = {10.1007/3-540-31188-2},
)
@inproceedings(Emerson90,
author = {E. Allen Emerson},
year = {1990},
title = {Temporal and Modal Logic},
booktitle = {Handbook of Theoretical Computer Science},
volume = {B},
publisher = {Elsevier},
pages = {995--1072},
doi = {10.1016/B978-0-444-88074-1.50021-4},
)
@phdthesis(Flick16,
author = {Nils Erik Flick},
year = {2016},
title = {Proving correctness of graph programs relative to recursively nested conditions},
school = {Department of Computing Science, University of Oldenburg},
url = {http://oops.uni-oldenburg.de/2895/1/flipro16.pdf},
)
@inproceedings(Giese19,
author = {Holger Giese and Maria Maximova and Lucas Sakizloglou and Sven Schneider},
year = {2019},
title = {Metric Temporal Graph Logic over Typed Attributed Graphs},
booktitle = {Fundamental Approaches to Software Engineering},
series = {Lecture Notes in Computer Science},
volume = {11424},
pages = {282--298},
doi = {10.1007/978-3-030-16722-6\_16},
)
@inproceedings(Habel09,
author = {Annegret Habel and Karl-Heinz Pennemann},
year = {2009},
title = {Correctness of high-level transformation systems relative to nested conditions},
series = {Mathematical Structures in Computer Science},
volume = {19},
publisher = {Cambridge University Press},
pages = {245--296},
doi = {10.1017/S0960129508007202},
)
@inproceedings(Pennemann06,
author = {Annegret Habel and Karl-Heinz Pennemann and Arend Rensink},
year = {2006},
title = {Weakest Preconditions for High-Level Programs},
booktitle = {Graph Transformations (ICGT 2006)},
series = {Lecture Notes in Computer Science},
volume = {4178},
pages = {445--460},
doi = {10.1007/11841883\_31},
)
@inproceedings(Heckel04,
author = {Reiko Heckel and Georgios Lajios and Sebastian Menge},
year = {2004},
title = {Stochastic Graph Transformation Systems},
booktitle = {Graph Transformations (ICGT 2004)},
series = {Lecture Notes in Computer Science},
volume = {3256},
pages = {210--225},
doi = {10.1007/978-3-540-30203-2\_16},
)
@inproceedings(Schwammberger18,
author = {Martin Hilscher and Maike Schwammberger},
year = {2016},
title = {An Abstract Model for Proving Safety of Autonomous Urban Traffic},
booktitle = {Theoretical Aspects of Computing -- ICTAC 2016},
series = {Lecture Notes in Computer Science},
volume = {9965},
pages = {274--292},
doi = {10.1007/978-3-319-46750-4\_16},
)
@inproceedings(Kreowski06,
author = {Karsten H{\"o}lscher and Hans-J{\"o}rg Kreowski and Sabine Kuske},
title = {Autonomous Units and Their Semantics -- The Sequential Case},
booktitle = {International Conference on Graph Transformation 2006},
series = {Lecture Notes in Computer Science},
volume = {4178},
pages = {245--259},
doi = {10.1007/11841883\_18},
)
@inproceedings(GROOVE,
author = {Harmen Kastenberg and Arend Rensink},
year = {2006},
title = {Model Checking Dynamic States in GROOVE},
booktitle = {Proceedings of the 13th International Conference on Model Checking Software (SPIN)},
series = {Lecture Notes in Computer Science},
volume = {3925},
pages = {299--305},
doi = {10.1007/11691617\_19},
)
@inproceedings(Koenig14,
author = {Barbara K{\"{o}}nig and Jan St{\"{u}}ckrath},
year = {2017},
title = {Well-structured graph transformation systems},
booktitle = {Information and Computation},
volume = {252},
pages = {71--94},
doi = {10.1016/j.ic.2016.03.005},
)
@inproceedings(Peuser18,
author = {Christoph Peuser},
year = {2018},
title = {From Hyperedge Replacement Grammars to Decidable Hyperedge Replacement Games},
booktitle = {Software Technologies: Applications and Foundations ({STAF} 2018)},
series = {Lecture Notes in Computer Science},
volume = {11176},
pages = {463--478},
doi = {10.1007/978-3-030-04771-9\_33},
)
@inproceedings(Plump13,
author = {Christopher M. Poskitt and Detlef Plump},
year = {2013},
title = {Verifying Total Correctness of Graph Programs},
booktitle = {Electronic Communications of the EASST},
volume = {61},
doi = {10.14279/tuj.eceasst.61.827},
)
@inproceedings(Rensink04,
author = {Arend Rensink},
year = {2004},
title = {Representing First-Order Logic Using Graphs},
booktitle = {Proceedings of the International Conference on Graph Transformation},
series = {Lecture Notes in Computer Science},
volume = {3256},
publisher = {Springer},
pages = {319--335},
doi = {10.1007/978-3-540-30203-2\_23},
)
@book(Taentzer99,
author = {Gabriele Taentzer and Manuel Koch and Ingrid Fischer and Victor Volle},
year = {1999},
title = {Distributed Graph Transformation with Application to Visual Design of Distributed Systems},
series = {Handbook of Graph Grammars and Computing by Graph Transformation},
publisher = {World Scientific Publisher},
doi = {10.1142/9789812814951\_0005},
)
@inproceedings(Thomas90,
author = {Wolfgang Thomas},
year = {1990},
title = {Automata on infinite objects},
booktitle = {Handbook of Theoretical Computer Science, Volume B},
pages = {133--191},
doi = {10.1016/B978-0-444-88074-1.50009-3},
url = {https://www.automata.rwth-aachen.de/download/papers/thomas/thomas88.pdf},
)
@inproceedings(Wang06,
author = {{Zheng-guang} Wang and {Xiao-hui} Liang and {Qin-ping} Zhao},
year = {2006},
title = {A Graph Transformation System Model of Dynamic Reorganization in Multi-agent Systems},
booktitle = {Intelligent Data Engineering and Automated Learning -- IDEAL 2006},
series = {Lecture Notes in Computer Science},
volume = {4224},
pages = {1182--1190},
doi = {10.1007/11875581\_140},
)
@inproceedings(Worzyk19,
author = {Nils Worzyk and Hendrik Kahlen and Oliver Kramer},
year = {2019},
title = {Physical Adversarial Attacks by Projecting Perturbations},
booktitle = {Artificial Neural Networks and Machine Learning -- ICANN 2019: Image Processing},
series = {Lecture Notes in Computer Science},
volume = {11729},
pages = {649--659},
doi = {10.1007/978-3-030-30508-6\_51},
)