Search dblp for Publications

export results for "toc:db/journals/eceasst/eceasst47.bht:"

 download as .bib file

@article{DBLP:journals/eceasst/AnjorinOZS12,
  author       = {Anthony Anjorin and
                  Sebastian Oster and
                  Ivan Zorcic and
                  Andy Sch{\"{u}}rr},
  title        = {Optimizing Model-Based Software Product Line Testing with Graph Transformations},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {47},
  year         = {2012},
  url          = {https://doi.org/10.14279/tuj.eceasst.47.724},
  doi          = {10.14279/TUJ.ECEASST.47.724},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/AnjorinOZS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/ArifulinaSE12,
  author       = {Svetlana Arifulina and
                  Christian Soltenborn and
                  Gregor Engels},
  title        = {Coverage Criteria for Testing {DMM} Specifications},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {47},
  year         = {2012},
  url          = {https://doi.org/10.14279/tuj.eceasst.47.718},
  doi          = {10.14279/TUJ.ECEASST.47.718},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/ArifulinaSE12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/ArijoH12,
  author       = {Niaz Arijo and
                  Reiko Heckel},
  title        = {View-based Modelling and State-Space Generation for Graph Transformation
                  Systems},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {47},
  year         = {2012},
  url          = {https://doi.org/10.14279/tuj.eceasst.47.737},
  doi          = {10.14279/TUJ.ECEASST.47.737},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/ArijoH12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/BottoniP12,
  author       = {Paolo Bottoni and
                  Francesco Parisi{-}Presicce},
  title        = {Modeling context with graph annotations},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {47},
  year         = {2012},
  url          = {https://doi.org/10.14279/tuj.eceasst.47.735},
  doi          = {10.14279/TUJ.ECEASST.47.735},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/BottoniP12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/BrugginkHK12,
  author       = {H. J. Sander Bruggink and
                  Mathias H{\"{u}}lsbusch and
                  Barbara K{\"{o}}nig},
  title        = {Towards Alternating Automata for Graph Languages},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {47},
  year         = {2012},
  url          = {https://doi.org/10.14279/tuj.eceasst.47.734},
  doi          = {10.14279/TUJ.ECEASST.47.734},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/BrugginkHK12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/FishL12,
  author       = {Andrew Fish and
                  Leen Lambers},
  title        = {Proceedings of the 11th International Workshop on Graph Transformation
                  and Visual Modeling Techniques},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {47},
  year         = {2012},
  url          = {https://doi.org/10.14279/tuj.eceasst.47.715.746},
  doi          = {10.14279/TUJ.ECEASST.47.715.746},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/FishL12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/GabrielLE12,
  author       = {Karsten Gabriel and
                  Pascal Lingnau and
                  Claudia Ermel},
  title        = {Algebraic Approach to Timed Petri Nets},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {47},
  year         = {2012},
  url          = {https://doi.org/10.14279/tuj.eceasst.47.719},
  doi          = {10.14279/TUJ.ECEASST.47.719},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/GabrielLE12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/GhamarianR12,
  author       = {Amir Hossein Ghamarian and
                  Arend Rensink},
  title        = {Graph Passing in Graph Transformation},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {47},
  year         = {2012},
  url          = {https://doi.org/10.14279/tuj.eceasst.47.723},
  doi          = {10.14279/TUJ.ECEASST.47.723},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/GhamarianR12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/HanH12,
  author       = {Fenglin Han and
                  Peter Herrmann},
  title        = {Remedy of Mixed Initiative Conflicts in Model-based System Engineering},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {47},
  year         = {2012},
  url          = {https://doi.org/10.14279/tuj.eceasst.47.717},
  doi          = {10.14279/TUJ.ECEASST.47.717},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/HanH12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/Heussner12,
  author       = {Alexander Heu{\ss}ner},
  title        = {Model Checking Communicating Processes: Run Graphs, Graph Grammars,
                  and {MSO}},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {47},
  year         = {2012},
  url          = {https://doi.org/10.14279/tuj.eceasst.47.725},
  doi          = {10.14279/TUJ.ECEASST.47.725},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/Heussner12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/JalaliRG12,
  author       = {Arash Jalali and
                  Arend Rensink and
                  Amir Hossein Ghamarian},
  title        = {Incremental Pattern Matching for Regular Expressions},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {47},
  year         = {2012},
  url          = {https://doi.org/10.14279/tuj.eceasst.47.736},
  doi          = {10.14279/TUJ.ECEASST.47.736},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/JalaliRG12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/KhanRH12,
  author       = {Tamim Ahmed Khan and
                  Olga Runge and
                  Reiko Heckel},
  title        = {Visual Contracts as Test Oracle in {AGG} 2.0},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {47},
  year         = {2012},
  url          = {https://doi.org/10.14279/tuj.eceasst.47.728},
  doi          = {10.14279/TUJ.ECEASST.47.728},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/KhanRH12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/LaraG12,
  author       = {Juan de Lara and
                  Esther Guerra},
  title        = {Inter-Modelling with Graphical Constraints: Foundations and Applications},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {47},
  year         = {2012},
  url          = {https://doi.org/10.14279/tuj.eceasst.47.721},
  doi          = {10.14279/TUJ.ECEASST.47.721},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/LaraG12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/MaierM12,
  author       = {Sonja Maier and
                  Mark Minas},
  title        = {Layout Improvement in Diagram Editors by Automatic Ad-hoc Layout},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {47},
  year         = {2012},
  url          = {https://doi.org/10.14279/tuj.eceasst.47.732},
  doi          = {10.14279/TUJ.ECEASST.47.732},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/MaierM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/NatschlagerS12,
  author       = {Christine Natschl{\"{a}}ger and
                  Klaus{-}Dieter Schewe},
  title        = {A Flattening Approach for Attributed Type Graphs with Inheritance
                  in Algebraic Graph Transformation},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {47},
  year         = {2012},
  url          = {https://doi.org/10.14279/tuj.eceasst.47.716},
  doi          = {10.14279/TUJ.ECEASST.47.716},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/NatschlagerS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/Taentzer12,
  author       = {Gabriele Taentzer},
  title        = {Instance Generation from Type Graphs with Arbitrary Multiplicities},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {47},
  year         = {2012},
  url          = {https://doi.org/10.14279/tuj.eceasst.47.727},
  doi          = {10.14279/TUJ.ECEASST.47.727},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/Taentzer12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics