• Juggrnaut

  • Referenced in 1 article [sw13410]
  • graph grammars, more precisely context-free hyperedge replacement grammars. We will show that this...
  • GrGen

  • Referenced in 21 articles [sw00387]
  • GrGen.NET is a programming tool for graph transformation...
  • AGG

  • Referenced in 50 articles [sw04449]
  • The Attributed Graph Grammar System: AGG is a...
  • MONA

  • Referenced in 133 articles [sw06170]
  • MONA implementation secrets. The MONA tool provides an...
  • Smallfoot

  • Referenced in 53 articles [sw09787]
  • Smallfoot: Modular automatic assertion checking with separation logic...
  • AToM3

  • Referenced in 32 articles [sw10092]
  • AToM3 : A tool for multi-formalism and meta...
  • DiaGen

  • Referenced in 28 articles [sw10321]
  • Concepts and realization of a diagram editor generator...
  • Slide

  • Referenced in 20 articles [sw28542]
  • SLIDE - Separation Logic with Inductive Definitions. Automata-based...
  • GP 2

  • Referenced in 11 articles [sw36329]
  • GP 2 is a visual, rule-based, non...