![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "stream:streams/conf/gtvmt:"
@proceedings{DBLP:conf/gtvmt/2006, editor = {Roberto Bruni and D{\'{a}}niel Varr{\'{o}}}, title = {Proceedings of the Fifth International Workshop on Graph Transformation and Visual Modeling Techniques, GT-VMT@ETAPS 2006, Vienna, Austria, April 1-2, 2006}, series = {Electronic Notes in Theoretical Computer Science}, volume = {211}, publisher = {Elsevier}, year = {2008}, url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/211/suppl/C}, timestamp = {Fri, 17 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/gtvmt/2006.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/AutiliP08, author = {Marco Autili and Patrizio Pelliccione}, title = {Towards a Graphical Tool for Refining User to System Requirements}, booktitle = {GT-VMT@ETAPS}, pages = {147--157}, year = {2006}, url = {https://doi.org/10.1016/j.entcs.2008.04.037}, doi = {10.1016/J.ENTCS.2008.04.037}, timestamp = {Fri, 17 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/AutiliP08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/BaldanCDFGR08, author = {Paolo Baldan and Andrea Corradini and Fernando Lu{\'{\i}}s Dotti and Luciana Foss and Fabio Gadducci and Leila Ribeiro}, title = {Towards a Notion of Transaction in Graph Rewriting}, booktitle = {GT-VMT@ETAPS}, pages = {39--50}, year = {2006}, url = {https://doi.org/10.1016/j.entcs.2008.04.028}, doi = {10.1016/J.ENTCS.2008.04.028}, timestamp = {Fri, 17 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/BaldanCDFGR08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/BottoniPPT08, author = {Paolo Bottoni and Francesco Parisi{-}Presicce and Simone Pulcini and Gabriele Taentzer}, title = {Maintaining Coherence Between Models With Distributed Rules: From Theory to Eclipse}, booktitle = {GT-VMT@ETAPS}, pages = {87--98}, year = {2006}, url = {https://doi.org/10.1016/j.entcs.2008.04.032}, doi = {10.1016/J.ENTCS.2008.04.032}, timestamp = {Fri, 17 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/BottoniPPT08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Braatz08, author = {Benjamin Braatz}, title = {A Rule-Based, Integrated Modelling Approach for Object-Oriented Systems}, booktitle = {GT-VMT@ETAPS}, pages = {251--260}, year = {2006}, url = {https://doi.org/10.1016/j.entcs.2008.04.047}, doi = {10.1016/J.ENTCS.2008.04.047}, timestamp = {Fri, 17 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Braatz08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/BruniV08, author = {Roberto Bruni and D{\'{a}}niel Varr{\'{o}}}, title = {Preface}, booktitle = {GT-VMT@ETAPS}, pages = {1--3}, year = {2006}, url = {https://doi.org/10.1016/j.entcs.2008.04.024}, doi = {10.1016/J.ENTCS.2008.04.024}, timestamp = {Fri, 17 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/BruniV08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/DarabosPV08, author = {Andrea Darabos and Andr{\'{a}}s Pataricza and D{\'{a}}niel Varr{\'{o}}}, title = {Towards Testing the Implementation of Graph Transformations}, booktitle = {GT-VMT@ETAPS}, pages = {75--85}, year = {2006}, url = {https://doi.org/10.1016/j.entcs.2008.04.031}, doi = {10.1016/J.ENTCS.2008.04.031}, timestamp = {Fri, 17 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/DarabosPV08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/GorpSJ08, author = {Pieter Van Gorp and Hans Schippers and Dirk Janssens}, title = {Copying Subgraphs Within Model Repositories}, booktitle = {GT-VMT@ETAPS}, pages = {133--145}, year = {2006}, url = {https://doi.org/10.1016/j.entcs.2008.04.036}, doi = {10.1016/J.ENTCS.2008.04.036}, timestamp = {Fri, 17 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/GorpSJ08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/GuerraDL08, author = {Esther Guerra and Paloma D{\'{\i}}az and Juan de Lara}, title = {Visual Specification of Metrics for Domain Specific Visual Languages}, booktitle = {GT-VMT@ETAPS}, pages = {99--110}, year = {2006}, url = {https://doi.org/10.1016/j.entcs.2008.04.033}, doi = {10.1016/J.ENTCS.2008.04.033}, timestamp = {Fri, 17 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/GuerraDL08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/HermannET08, author = {Frank Hermann and Hartmut Ehrig and Gabriele Taentzer}, title = {A Typed Attributed Graph Grammar with Inheritance for the Abstract Syntax of {UML} Class and Sequence Diagrams}, booktitle = {GT-VMT@ETAPS}, pages = {261--269}, year = {2006}, url = {https://doi.org/10.1016/j.entcs.2008.04.048}, doi = {10.1016/J.ENTCS.2008.04.048}, timestamp = {Fri, 17 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/HermannET08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/JakobS08, author = {Johannes Jakob and Andy Sch{\"{u}}rr}, title = {View Creation of Meta Models by Using Modified Triple Graph Grammars}, booktitle = {GT-VMT@ETAPS}, pages = {181--190}, year = {2006}, url = {https://doi.org/10.1016/j.entcs.2008.04.040}, doi = {10.1016/J.ENTCS.2008.04.040}, timestamp = {Fri, 17 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/JakobS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/KoehlerHKRVW08, author = {Jana Koehler and Rainer Hauser and Jochen Malte K{\"{u}}ster and Ksenia Ryndina and Jussi Vanhatalo and Michael Wahler}, title = {The Role of Visual Modeling and Model Transformations in Business-driven Development}, booktitle = {GT-VMT@ETAPS}, pages = {5--15}, year = {2006}, url = {https://doi.org/10.1016/j.entcs.2008.04.025}, doi = {10.1016/J.ENTCS.2008.04.025}, timestamp = {Fri, 17 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/KoehlerHKRVW08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/KonigK08, author = {Barbara K{\"{o}}nig and Vitali Kozioura}, title = {Augur 2 - {A} New Version of a Tool for the Analysis of Graph Transformation Systems}, booktitle = {GT-VMT@ETAPS}, pages = {201--210}, year = {2006}, url = {https://doi.org/10.1016/j.entcs.2008.04.042}, doi = {10.1016/J.ENTCS.2008.04.042}, timestamp = {Fri, 17 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/KonigK08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/KovacsG08, author = {M{\'{a}}t{\'{e}} Kov{\'{a}}cs and L{\'{a}}szl{\'{o}} G{\"{o}}nczy}, title = {Simulation and Formal Analysis of Workflow Models}, booktitle = {GT-VMT@ETAPS}, pages = {221--230}, year = {2006}, url = {https://doi.org/10.1016/j.entcs.2008.04.044}, doi = {10.1016/J.ENTCS.2008.04.044}, timestamp = {Fri, 17 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/KovacsG08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Kunert08, author = {Andreas Kunert}, title = {Semi-automatic Generation of Metamodels and Models From Grammars and Programs}, booktitle = {GT-VMT@ETAPS}, pages = {111--119}, year = {2006}, url = {https://doi.org/10.1016/j.entcs.2008.04.034}, doi = {10.1016/J.ENTCS.2008.04.034}, timestamp = {Fri, 17 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Kunert08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/LambersEO08, author = {Leen Lambers and Hartmut Ehrig and Fernando Orejas}, title = {Efficient Conflict Detection in Graph Transformation Systems by Essential Critical Pairs}, booktitle = {GT-VMT@ETAPS}, pages = {17--26}, year = {2006}, url = {https://doi.org/10.1016/j.entcs.2008.04.026}, doi = {10.1016/J.ENTCS.2008.04.026}, timestamp = {Fri, 17 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/LambersEO08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Lanese08, author = {Ivan Lanese}, title = {Exploiting User-definable Synchronizations in Graph Transformation}, booktitle = {GT-VMT@ETAPS}, pages = {27--38}, year = {2006}, url = {https://doi.org/10.1016/j.entcs.2008.04.027}, doi = {10.1016/J.ENTCS.2008.04.027}, timestamp = {Fri, 17 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Lanese08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/ManningP08, author = {Greg Manning and Detlef Plump}, title = {The York Abstract Machine}, booktitle = {GT-VMT@ETAPS}, pages = {231--240}, year = {2006}, url = {https://doi.org/10.1016/j.entcs.2008.04.045}, doi = {10.1016/J.ENTCS.2008.04.045}, timestamp = {Fri, 17 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/ManningP08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/MinasH08, author = {Mark Minas and Berthold Hoffmann}, title = {An Example of Cloning Graph Transformation Rules for Programming}, booktitle = {GT-VMT@ETAPS}, pages = {241--250}, year = {2006}, url = {https://doi.org/10.1016/j.entcs.2008.04.046}, doi = {10.1016/J.ENTCS.2008.04.046}, timestamp = {Fri, 17 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/MinasH08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/NarayananK08, author = {Anantha Narayanan and Gabor Karsai}, title = {Towards Verifying Model Transformations}, booktitle = {GT-VMT@ETAPS}, pages = {191--200}, year = {2006}, url = {https://doi.org/10.1016/j.entcs.2008.04.041}, doi = {10.1016/J.ENTCS.2008.04.041}, timestamp = {Fri, 17 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/NarayananK08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/RensinkN08, author = {Arend Rensink and Ronald Nederpel}, title = {Graph Transformation Semantics for a {QVT} Language}, booktitle = {GT-VMT@ETAPS}, pages = {51--62}, year = {2006}, url = {https://doi.org/10.1016/j.entcs.2008.04.029}, doi = {10.1016/J.ENTCS.2008.04.029}, timestamp = {Fri, 17 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/RensinkN08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/SiikarlaS08, author = {Mika Siikarla and Tarja Syst{\"{a}}}, title = {Transformational Pattern System - Some Assembly Required}, booktitle = {GT-VMT@ETAPS}, pages = {63--74}, year = {2006}, url = {https://doi.org/10.1016/j.entcs.2008.04.030}, doi = {10.1016/J.ENTCS.2008.04.030}, timestamp = {Fri, 17 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/SiikarlaS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Varro08, author = {Gergely Varr{\'{o}}}, title = {Implementing an EJB3-Specific Graph Transformation Plugin by Using Database Independent Queries}, booktitle = {GT-VMT@ETAPS}, pages = {121--132}, year = {2006}, url = {https://doi.org/10.1016/j.entcs.2008.04.035}, doi = {10.1016/J.ENTCS.2008.04.035}, timestamp = {Fri, 17 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Varro08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Willink08, author = {Edward D. Willink}, title = {On Challenges for a Graphical Transformation Notation and the {UMLX} Approach}, booktitle = {GT-VMT@ETAPS}, pages = {171--179}, year = {2006}, url = {https://doi.org/10.1016/j.entcs.2008.04.039}, doi = {10.1016/J.ENTCS.2008.04.039}, timestamp = {Fri, 17 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Willink08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/WinkelmannTEK08, author = {Jessica Winkelmann and Gabriele Taentzer and Karsten Ehrig and Jochen Malte K{\"{u}}ster}, title = {Translation of Restricted {OCL} Constraints into Graph Constraints for Generating Meta Model Instances by Graph Grammars}, booktitle = {GT-VMT@ETAPS}, pages = {159--170}, year = {2006}, url = {https://doi.org/10.1016/j.entcs.2008.04.038}, doi = {10.1016/J.ENTCS.2008.04.038}, timestamp = {Fri, 17 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/WinkelmannTEK08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/XuLW08, author = {Ke Xu and Ying Liu and Cheng Wu}, title = {{BPSL} Modeler - Visual Notation Language for Intuitive Business Property Reasoning}, booktitle = {GT-VMT@ETAPS}, pages = {211--220}, year = {2006}, url = {https://doi.org/10.1016/j.entcs.2008.04.043}, doi = {10.1016/J.ENTCS.2008.04.043}, timestamp = {Fri, 17 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/XuLW08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/AgrawalSK04, author = {Aditya Agrawal and Gyula Simon and Gabor Karsai}, title = {Semantic Translation of Simulink/Stateflow Models to Hybrid Automata Using Graph Transformations}, booktitle = {GT-VMT@ETAPS}, pages = {43--56}, year = {2004}, url = {https://doi.org/10.1016/j.entcs.2004.02.055}, doi = {10.1016/J.ENTCS.2004.02.055}, timestamp = {Tue, 13 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/AgrawalSK04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/ButtnerG04, author = {Fabian B{\"{u}}ttner and Martin Gogolla}, title = {Realizing {UML} Metamodel Transformations with {AGG}}, booktitle = {GT-VMT@ETAPS}, pages = {31--42}, year = {2004}, url = {https://doi.org/10.1016/j.entcs.2004.02.054}, doi = {10.1016/J.ENTCS.2004.02.054}, timestamp = {Tue, 13 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/ButtnerG04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/CorradiniH04, author = {Andrea Corradini and Dan Hirsch}, title = {An Operational Semantics of {COMMUNITY} Based on Graph Transformation Systems}, booktitle = {GT-VMT@ETAPS}, pages = {111--124}, year = {2004}, url = {https://doi.org/10.1016/j.entcs.2004.02.060}, doi = {10.1016/J.ENTCS.2004.02.060}, timestamp = {Tue, 13 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/CorradiniH04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/GyapaySV04, author = {Szilvia Gyapay and {\'{A}}kos Schmidt and D{\'{a}}niel Varr{\'{o}}}, title = {Joint Optimization and Reachability Analysis in Graph Transformation Systems with Time}, booktitle = {GT-VMT@ETAPS}, pages = {137--147}, year = {2004}, url = {https://doi.org/10.1016/j.entcs.2004.02.062}, doi = {10.1016/J.ENTCS.2004.02.062}, timestamp = {Tue, 13 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/GyapaySV04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Heckel04, author = {Reiko Heckel}, title = {Preface}, booktitle = {GT-VMT@ETAPS}, pages = {1--2}, year = {2004}, url = {https://doi.org/10.1016/j.entcs.2004.11.005}, doi = {10.1016/J.ENTCS.2004.11.005}, timestamp = {Tue, 13 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Heckel04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/HirschM04, author = {Dan Hirsch and Ugo Montanari}, title = {Shaped Hierarchical Architectural Design}, booktitle = {GT-VMT@ETAPS}, pages = {97--109}, year = {2004}, url = {https://doi.org/10.1016/j.entcs.2004.02.059}, doi = {10.1016/J.ENTCS.2004.02.059}, timestamp = {Tue, 13 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/HirschM04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/JaramilloETE04, author = {Juan de Lara Jaramillo and Claudia Ermel and Gabriele Taentzer and Karsten Ehrig}, title = {Parallel Graph Transformation for Model Simulation applied to Timed Transition Petri Nets}, booktitle = {GT-VMT@ETAPS}, pages = {17--29}, year = {2004}, url = {https://doi.org/10.1016/j.entcs.2004.02.053}, doi = {10.1016/J.ENTCS.2004.02.053}, timestamp = {Tue, 13 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/JaramilloETE04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Kuster04, author = {Jochen Malte K{\"{u}}ster}, title = {Towards Inconsistency Handling of Object-Oriented Behavioral Models}, booktitle = {GT-VMT@ETAPS}, pages = {57--69}, year = {2004}, url = {https://doi.org/10.1016/j.entcs.2004.02.056}, doi = {10.1016/J.ENTCS.2004.02.056}, timestamp = {Tue, 13 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Kuster04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/NovikauPP04, author = {Aliaksei Novikau and Anna Perini and Marco Pistore}, title = {Graph Rewriting for Agent Oriented Visual Modeling}, booktitle = {GT-VMT@ETAPS}, pages = {85--96}, year = {2004}, url = {https://doi.org/10.1016/j.entcs.2004.02.058}, doi = {10.1016/J.ENTCS.2004.02.058}, timestamp = {Tue, 13 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/NovikauPP04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/SantosDR04, author = {Osmar Marchi dos Santos and Fernando Lu{\'{\i}}s Dotti and Leila Ribeiro}, title = {Verifying Object-Based Graph Grammars}, booktitle = {GT-VMT@ETAPS}, pages = {125--136}, year = {2004}, url = {https://doi.org/10.1016/j.entcs.2004.02.061}, doi = {10.1016/J.ENTCS.2004.02.061}, timestamp = {Tue, 13 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/SantosDR04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/VarroV04, author = {Gergely Varr{\'{o}} and D{\'{a}}niel Varr{\'{o}}}, title = {Graph Transformation with Incremental Updates}, booktitle = {GT-VMT@ETAPS}, pages = {71--83}, year = {2004}, url = {https://doi.org/10.1016/j.entcs.2004.02.057}, doi = {10.1016/J.ENTCS.2004.02.057}, timestamp = {Tue, 13 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/VarroV04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/gtvmt/2004, editor = {Reiko Heckel}, title = {Proceedings of the 2004 Workshop on Graph Transformation and Visual Modelling Techniques, GT-VMT@ETAPS 2004, Barcelona, Spain, March 27-28, 2004}, series = {Electronic Notes in Theoretical Computer Science}, volume = {109}, publisher = {Elsevier}, year = {2004}, url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/109/suppl/C}, timestamp = {Tue, 13 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/gtvmt/2004.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/VinhB04, title = {On the Visual Representation of Configuration in Reconfigurable Computing}, booktitle = {GT-VMT@ETAPS}, pages = {3--15}, year = {2004}, note = {Withdrawn.}, url = {https://doi.org/10.1016/j.entcs.2004.02.052}, doi = {10.1016/J.ENTCS.2004.02.052}, timestamp = {Tue, 13 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/VinhB04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/gtvmt/2002, editor = {Paolo Bottoni and Mark Minas}, title = {International Workshop on Graph Transformation and Visual Modeling Techniques, GT-VMT@ICGT 2002, Barcelona, Spain, October 11-12, 2002}, series = {Electronic Notes in Theoretical Computer Science}, volume = {72}, number = {3}, publisher = {Elsevier}, year = {2003}, url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/72/issue/3}, timestamp = {Tue, 13 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/gtvmt/2002.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/BauderonM03, author = {Michel Bauderon and Mohamed Mosbah}, title = {A Unified Framework for Designing, Implementing and Visualizing Distributed Algorithms}, booktitle = {GT-VMT@ICGT}, pages = {13--24}, year = {2002}, url = {https://doi.org/10.1016/S1571-0661(04)80608-X}, doi = {10.1016/S1571-0661(04)80608-X}, timestamp = {Tue, 13 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/BauderonM03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/BottoniM03, author = {Paolo Bottoni and Mark Minas}, title = {Preface}, booktitle = {GT-VMT@ICGT}, pages = {176--177}, year = {2002}, url = {https://doi.org/10.1016/S1571-0661(05)80620-6}, doi = {10.1016/S1571-0661(05)80620-6}, timestamp = {Tue, 13 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/BottoniM03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/BraunM03, author = {Peter Braun and Frank Marschall}, title = {Transforming Object Oriented Models with {BOTL}}, booktitle = {GT-VMT@ICGT}, pages = {103--117}, year = {2002}, url = {https://doi.org/10.1016/S1571-0661(04)80615-7}, doi = {10.1016/S1571-0661(04)80615-7}, timestamp = {Tue, 13 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/BraunM03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/CostagliolaDFG03a, author = {Gennaro Costagliola and Vincenzo Deufemia and Filomena Ferrucci and Carmine Gravino}, title = {Exploiting Visual Languages Generation and {UML} Meta Modeling to Construct Meta-CASE Workbenches}, booktitle = {GT-VMT@ICGT}, pages = {25--35}, year = {2002}, url = {https://doi.org/10.1016/S1571-0661(04)80609-1}, doi = {10.1016/S1571-0661(04)80609-1}, timestamp = {Tue, 13 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/CostagliolaDFG03a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/EhrigOBKP03, author = {Hartmut Ehrig and Fernando Orejas and Benjamin Braatz and Markus Klein and Martti Piirainen}, title = {A Component Framework Based on High-Level Replacement Systems}, booktitle = {GT-VMT@ICGT}, pages = {118--132}, year = {2002}, url = {https://doi.org/10.1016/S1571-0661(04)80616-9}, doi = {10.1016/S1571-0661(04)80616-9}, timestamp = {Mon, 13 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/EhrigOBKP03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/ErmelB03, author = {Claudia Ermel and Roswitha Bardohl}, title = {Scenario Views for Visual Behavior Models in GenGED}, booktitle = {GT-VMT@ICGT}, pages = {65--77}, year = {2002}, url = {https://doi.org/10.1016/S1571-0661(04)80612-1}, doi = {10.1016/S1571-0661(04)80612-1}, timestamp = {Tue, 13 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/ErmelB03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/FlowerHT03, author = {Jean Flower and John Howse and John Taylor}, title = {Nesting in Euler Diagrams}, booktitle = {GT-VMT@ICGT}, pages = {93--102}, year = {2002}, url = {https://doi.org/10.1016/S1571-0661(04)80614-5}, doi = {10.1016/S1571-0661(04)80614-5}, timestamp = {Tue, 13 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/FlowerHT03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/GogollaZK03, author = {Martin Gogolla and Paul Ziemann and Sabine Kuske}, title = {Towards an Integrated Graph Based Semantics for {UML}}, booktitle = {GT-VMT@ICGT}, pages = {160--175}, year = {2002}, url = {https://doi.org/10.1016/S1571-0661(04)80619-4}, doi = {10.1016/S1571-0661(04)80619-4}, timestamp = {Tue, 13 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/GogollaZK03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/HausmannHS03, author = {Jan Hendrik Hausmann and Reiko Heckel and Stefan Sauer}, title = {Dynamic Meta Modeling with Time: Specifying the Semantics of Multimedia Sequence Diagrams}, booktitle = {GT-VMT@ICGT}, pages = {133--144}, year = {2002}, url = {https://doi.org/10.1016/S1571-0661(04)80617-0}, doi = {10.1016/S1571-0661(04)80617-0}, timestamp = {Tue, 13 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/HausmannHS03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/JaramilloVM03, author = {Juan de Lara Jaramillo and Hans Vangheluwe and Manuel Alfonseca Moreno}, title = {Using Meta-Modelling and Graph Grammars to Create Modelling Environments}, booktitle = {GT-VMT@ICGT}, pages = {36--50}, year = {2002}, url = {https://doi.org/10.1016/S1571-0661(04)80610-8}, doi = {10.1016/S1571-0661(04)80610-8}, timestamp = {Tue, 13 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/JaramilloVM03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/PowerT03, author = {John Power and Konstantinos Tourlas}, title = {On the Geometric Modelling of Visual Languages}, booktitle = {GT-VMT@ICGT}, pages = {1--12}, year = {2002}, url = {https://doi.org/10.1016/S1571-0661(04)80607-8}, doi = {10.1016/S1571-0661(04)80607-8}, timestamp = {Tue, 13 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/PowerT03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/RoubtsovaK03, author = {Ella E. Roubtsova and Ruurd Kuiper}, title = {Process Semantics for {UML} Component Specifications to Assess Inheritance}, booktitle = {GT-VMT@ICGT}, pages = {145--159}, year = {2002}, url = {https://doi.org/10.1016/S1571-0661(04)80618-2}, doi = {10.1016/S1571-0661(04)80618-2}, timestamp = {Tue, 21 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/RoubtsovaK03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/SwobodaA03, author = {Nik Swoboda and Gerard Allwein}, title = {Using {DAG} Transformations to Verify Euler/Venn Homogeneous and Euler/Venn {FOL} Heterogeneous Rules of Inference}, booktitle = {GT-VMT@ICGT}, pages = {78--92}, year = {2002}, url = {https://doi.org/10.1016/S1571-0661(04)80613-3}, doi = {10.1016/S1571-0661(04)80613-3}, timestamp = {Tue, 13 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/SwobodaA03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Varro03, author = {D{\'{a}}niel Varr{\'{o}}}, title = {Towards Symbolic Analysis of Visual Modeling Languages}, booktitle = {GT-VMT@ICGT}, pages = {51--64}, year = {2002}, url = {https://doi.org/10.1016/S1571-0661(04)80611-X}, doi = {10.1016/S1571-0661(04)80611-X}, timestamp = {Tue, 13 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Varro03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/AritaTTY01, author = {Tomokazu Arita and Kiyonobu Tomiyama and Kensei Tsuchida and Takeo Yaku}, title = {Application of Attribute {NCE} Graph Grammars to Syntactic Editing of Tabular Forms}, booktitle = {GT-VMT@ICALP}, pages = {282--288}, year = {2001}, url = {https://doi.org/10.1016/S1571-0661(04)00180-X}, doi = {10.1016/S1571-0661(04)00180-X}, timestamp = {Tue, 13 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/AritaTTY01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/BardohlST01, author = {Roswitha Bardohl and Thorsten Schultzke and Gabriele Taentzer}, title = {Visual Language Parsing in GenGEd}, booktitle = {GT-VMT@ICALP}, pages = {289--294}, year = {2001}, url = {https://doi.org/10.1016/S1571-0661(04)00181-1}, doi = {10.1016/S1571-0661(04)00181-1}, timestamp = {Tue, 13 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/BardohlST01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/BaresiPT01, author = {Luciano Baresi and Mauro Pezz{\`{e}} and Gabriele Taentzer}, title = {Introduction - Graph Transformation and Visual Modeling Techniques - {GT-VMT} 2001}, booktitle = {GT-VMT@ICALP}, pages = {325--326}, year = {2001}, url = {https://doi.org/10.1016/S1571-0661(05)80571-7}, doi = {10.1016/S1571-0661(05)80571-7}, timestamp = {Tue, 13 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/BaresiPT01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/BauderonGMMS01, author = {Michel Bauderon and Stefan Gruner and Yves M{\'{e}}tivier and Mohamed Mosbah and Afif Sellami}, title = {Visualization of Distributed Algorithms Based on Graph Relabelling Systems}, booktitle = {GT-VMT@ICALP}, pages = {227--237}, year = {2001}, url = {https://doi.org/10.1016/S1571-0661(04)00174-4}, doi = {10.1016/S1571-0661(04)00174-4}, timestamp = {Tue, 13 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/BauderonGMMS01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/BusattoH01, author = {Giorgio Busatto and Berthold Hoffmann}, title = {Comparing Notions of Hierarchical Graph Transformation}, booktitle = {GT-VMT@ICALP}, pages = {310--317}, year = {2001}, url = {https://doi.org/10.1016/S1571-0661(04)00184-7}, doi = {10.1016/S1571-0661(04)00184-7}, timestamp = {Tue, 13 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/BusattoH01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/CorradiniDR01, author = {Andrea Corradini and Fernando Lu{\'{\i}}s Dotti and Leila Ribeiro}, title = {A Graph Transformation View on the Specification of Applications using Mobile Code}, booktitle = {GT-VMT@ICALP}, pages = {238--246}, year = {2001}, url = {https://doi.org/10.1016/S1571-0661(04)00175-6}, doi = {10.1016/S1571-0661(04)00175-6}, timestamp = {Tue, 13 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/CorradiniDR01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/EhrigO01, author = {Hartmut Ehrig and Fernando Orejas}, title = {A Conceptual and Formal Framework for the Integration of Data Type and Process Modeling Techniques}, booktitle = {GT-VMT@ICALP}, pages = {199--226}, year = {2001}, url = {https://doi.org/10.1016/S1571-0661(04)00173-2}, doi = {10.1016/S1571-0661(04)00173-2}, timestamp = {Tue, 13 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/EhrigO01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/FlescaFG01, author = {Sergio Flesca and Filippo Furfaro and Sergio Greco}, title = {Graph Grammars for Querying Graph-like Data}, booktitle = {GT-VMT@ICALP}, pages = {247--256}, year = {2001}, url = {https://doi.org/10.1016/S1571-0661(04)00176-8}, doi = {10.1016/S1571-0661(04)00176-8}, timestamp = {Tue, 13 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/FlescaFG01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/FormisanoS01, author = {Andrea Formisano and Marta Simeoni}, title = {An {AGG} Application Supporting Visual Reasoning}, booktitle = {GT-VMT@ICALP}, pages = {302--309}, year = {2001}, url = {https://doi.org/10.1016/S1571-0661(04)00183-5}, doi = {10.1016/S1571-0661(04)00183-5}, timestamp = {Tue, 13 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/FormisanoS01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/HeckelK01, author = {Reiko Heckel and Jochen Malte K{\"{u}}ster}, title = {Behavioral Constraints for Visual Models}, booktitle = {GT-VMT@ICALP}, pages = {257--265}, year = {2001}, url = {https://doi.org/10.1016/S1571-0661(04)00177-X}, doi = {10.1016/S1571-0661(04)00177-X}, timestamp = {Tue, 13 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/HeckelK01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/KothM01, author = {Oliver K{\"{o}}th and Mark Minas}, title = {Abstraction in Graph-Transformation Based Diagram Editors}, booktitle = {GT-VMT@ICALP}, pages = {295--301}, year = {2001}, url = {https://doi.org/10.1016/S1571-0661(04)00182-3}, doi = {10.1016/S1571-0661(04)00182-3}, timestamp = {Tue, 13 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/KothM01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Pfaltz01, author = {John L. Pfaltz}, title = {Transformations of Concept Graphs: An Approach to Empirical Induction}, booktitle = {GT-VMT@ICALP}, pages = {318--324}, year = {2001}, url = {https://doi.org/10.1016/S1571-0661(04)00185-9}, doi = {10.1016/S1571-0661(04)00185-9}, timestamp = {Tue, 13 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Pfaltz01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Tsiolakis01, author = {Aliki Tsiolakis}, title = {Integrating Model Information in {UML} Sequence Diagrams}, booktitle = {GT-VMT@ICALP}, pages = {266--274}, year = {2001}, url = {https://doi.org/10.1016/S1571-0661(04)00178-1}, doi = {10.1016/S1571-0661(04)00178-1}, timestamp = {Tue, 13 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Tsiolakis01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/VerlindenJ01, author = {Nico Verlinden and Dirk Janssens}, title = {Modeling Petri Nets by Local Action Systems}, booktitle = {GT-VMT@ICALP}, pages = {275--281}, year = {2001}, url = {https://doi.org/10.1016/S1571-0661(04)00179-3}, doi = {10.1016/S1571-0661(04)00179-3}, timestamp = {Tue, 13 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/VerlindenJ01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/gtvmt/2001, editor = {Luciano Baresi and Mauro Pezz{\`{e}} and Gabriele Taentzer}, title = {International Workshop on Graph Transformation and Visual Modeling Techniques, {GT-VMT} 2001, Satellite Workshop of {ICALP} 2001, Crete, Greece, July 12-13, 2001}, series = {Electronic Notes in Theoretical Computer Science}, volume = {50}, number = {3}, publisher = {Elsevier}, year = {2001}, url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/50/issue/3}, timestamp = {Tue, 13 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/gtvmt/2001.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.