Berthold Hoffmann

62 papers A 1B 15C 2Journal 17Unranked 23
YearRankTypeTitle / Venue / Authors
2025 B conf
Graph Formulas and Their Translation to Alternating Graph Automata.
ICGT
Frank Drewes, Berthold Hoffmann, Mark Minas
2025 B conf
Specifying and Checking Graph Properties with Alternating Graph Automata.
ICGT
Frank Drewes, Berthold Hoffmann, Mark Minas
2025 — conf
Systems of Graph Formulas and their Equivalence to Alternating Graph Automata.
GCM@STAF
Frank Drewes, Berthold Hoffmann, Mark Minas
2023 — conf
Finite Automata for Efficient Graph Recognition.
GCM
Frank Drewes, Berthold Hoffmann, Mark Minas
2022 B conf
Acyclic Contextual Hyperedge Replacement: Decidability of Acyclicity and Generative Power.
ICGT
Frank Drewes, Berthold Hoffmann, Mark Minas
2021 — ed.
Proceedings Twelfth International Workshop on Graph Computational Models, GCM@STAF 2021, Online, 22nd June 2021.
GCM@STAF
Berthold Hoffmann, Mark Minas
2021 B conf
Rule-Based Top-Down Parsing for Acyclic Contextual Hyperedge Replacement Grammars.
ICGT
Frank Drewes, Berthold Hoffmann, Mark Minas
2020 B conf
Graph Parsing as Graph Transformation - Correctness of Predictive Top-Down Parsers.
ICGT
Frank Drewes, Berthold Hoffmann, Mark Minas
2020 — ed.
Proceedings of the Eleventh International Workshop on Graph Computation Models, GCM@STAF 2020, Online-Workshop, 24th June 2020.
GCM@STAF
Berthold Hoffmann, Mark Minas
2019 B conf
Extending Predictive Shift-Reduce Parsing to Contextual Hyperedge Replacement Grammars.
ICGT
Frank Drewes, Berthold Hoffmann, Mark Minas
2019 J jnl
Formalization and correctness of predictive shift-reduce parsers for graph grammars based on hyperedge replacement.
J. Log. Algebraic Methods Program.
Frank Drewes, Berthold Hoffmann, Mark Minas
2019 C conf
Generalized Predictive Shift-Reduce Parsing for Hyperedge Replacement Graph Grammars.
LATA
Berthold Hoffmann, Mark Minas
2018 J jnl
Formalization and Correctness of Predictive Shift-Reduce Parsers for Graph Grammars based on Hyperedge Replacement.
CoRR
Frank Drewes, Berthold Hoffmann, Mark Minas
2017 — conf
Generating Efficient Predictive Shift-Reduce Parsers for Hyperedge Replacement Grammars.
STAF Workshops
Berthold Hoffmann, Mark Minas
2017 B conf
Predictive Shift-Reduce Parsing for Hyperedge Replacement Grammars.
ICGT
Frank Drewes, Berthold Hoffmann, Mark Minas
2016 — conf
Approximating Parikh Images for Generating Deterministic Graph Parsers.
STAF Workshops
Frank Drewes, Berthold Hoffmann, Mark Minas
2015 J jnl
Contextual hyperedge replacement.
Acta Informatica
Frank Drewes, Berthold Hoffmann
2015 C conf
Entwurf und Implementierung einer Programmiersprache im studentischen Projekt Monty's Coconut.
Software Engineering (Workshops)
Marcus Ermler, Berthold Hoffmann, Christian John, Christopher Nottrodt, Carsten Pfeffer
2015 B conf
Predictive Top-Down Parsing for Hyperedge Replacement Grammars.
ICGT
Frank Drewes, Berthold Hoffmann, Mark Minas
2015 J jnl
Preface.
Int. J. Softw. Informatics
Berthold Hoffmann, Dieter Hutter, Hui Shi
2014 J jnl
More on Graph Rewriting With Contextual Refinement.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Berthold Hoffmann
2013 J jnl
Graph Rewriting with Contextual Refinement.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Berthold Hoffmann
2011 — conf
Contextual Hyperedge Replacement.
AGTIVE
Frank Drewes, Berthold Hoffmann, Mark Minas
2011 J jnl
Generating Instance Graphs from Class Diagrams with Adaptive Star Grammars.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Berthold Hoffmann, Mark Minas
2010 J jnl
A case study to evaluate the suitability of graph transformation tools for program refactoring.
Int. J. Softw. Tools Technol. Transf.
Francisco Javier Pérez, Yania Crespo, Berthold Hoffmann, Tom Mens
2010 J jnl
Adaptive star grammars and their languages.
Theor. Comput. Sci.
Frank Drewes, Berthold Hoffmann, Dirk Janssens, Mark Minas
2010 J jnl
Conditional Adaptive Star Grammars.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Berthold Hoffmann
2010 J jnl
Defining Models - Meta Models versus Graph Grammars.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Berthold Hoffmann, Mark Minas
2010 J jnl
Manipulation of Graphs, Algebras and Pictures. Essays Dedicated to Hans-Jörg Kreowski on the Occasion of His 60th Birthday.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Frank Drewes, Annegret Habel, Berthold Hoffmann, Detlef Plump
2008 B conf
Adaptive Star Grammars for Graph Models.
ICGT
Frank Drewes, Berthold Hoffmann, Mark Minas
2007 — conf
Shaped Generic Graph Transformation.
AGTIVE
Frank Drewes, Berthold Hoffmann, Dirk Janssens, Mark Minas, Niels Van Eetvelde
2006 B conf
Adaptive Star Grammars.
ICGT
Frank Drewes, Berthold Hoffmann, Dirk Janssens, Mark Minas, Niels Van Eetvelde
2006 — conf
An Example of Cloning Graph Transformation Rules for Programming.
GT-VMT@ETAPS
Mark Minas, Berthold Hoffmann
2005 — conf
Cloning and Expanding Graph Transformation Rules for Refactoring.
GRaMoT@GPCE
Berthold Hoffmann, Dirk Janssens, Niels Van Eetvelde
2005 — conf
Graph Transformation with Variables.
Formal Methods in Software and Systems Modeling
Berthold Hoffmann
2004 B conf
Parallel Independence in Hierarchical Graph Transformation.
ICGT
Annegret Habel, Berthold Hoffmann
2004 — conf
Rule-Based Programming with Diaplan.
GraBaTs
Frank Drewes, Berthold Hoffmann, Raimund Klein, Mark Minas
2003 J jnl
Abstraction and Control for Shapely Nested Graph Transformation.
Fundam. Informaticae
Berthold Hoffmann
2002 B conf
Abstraction and Control for Shapely Nested Graph Transformation.
ICGT
Berthold Hoffmann
2002 J jnl
Hierarchical Graph Transformation.
J. Comput. Syst. Sci.
Frank Drewes, Berthold Hoffmann, Detlef Plump
2001 — conf
Comparing Notions of Hierarchical Graph Transformation.
GT-VMT@ICALP
Giorgio Busatto, Berthold Hoffmann
2001 — conf
Shapely Hierarchical Graph Transformation.
HCC
Berthold Hoffmann
2001 — conf
Specifying and Implementing Visual Process Modeling Languages with DiaGen.
UNIGRA
Mark Minas, Berthold Hoffmann
2001 — conf
Transformation of Shaped Nested Graphs and Diagrams.
RULE@PLI
Berthold Hoffmann, Mark Minas
2000 — conf
A Generic Model for Diagram Syntax and Semantics.
ICALP Satellite Workshops
Berthold Hoffmann, Mark Minas
2000 B conf
Hierarchical Graph Transformation.
FoSSaCS
Frank Drewes, Berthold Hoffmann, Detlef Plump
2000 — conf
Towards Generic Rule-Based Visual Programming.
VL
Berthold Hoffmann, Mark Minas
2000 J jnl
Towards rule-based visual programming of generic visual systems
CoRR
Berthold Hoffmann, Mark Minas
1999 — conf
From Graph Transformation to Rule-Based Programming with Diagrams.
AGTIVE
Berthold Hoffmann
1999 J jnl
Graph Transformation for Specification and Programming.
Sci. Comput. Program.
Marc Andries, Gregor Engels, Annegret Habel, Berthold Hoffmann, Hans-Jörg Kreowski, Sabine Kuske, Detlef Plump, Andy Schürr, Gabriele Taentzer
1998 — conf
Simple Modules for GRACE.
TAGT
Reiko Heckel, Berthold Hoffmann, Peter Knirsch, Sabine Kuske
1993 — ed.
Program Development by Specification and Transformation, The PROSPECTRA Methodology, Language Family, and System
PROSPECTRA Book
Berthold Hoffmann, Bernd Krieg-Brückner
1992 — conf
Term Rewriting with Sharing and Memoïzation.
ALP
Berthold Hoffmann
1991 J jnl
Implementing term rewriting by jungle evaluation.
RAIRO Theor. Informatics Appl.
Berthold Hoffmann, Detlef Plump
1991 — conf
The PROSPECTRA System.
VDM Europe (1)
Berthold Hoffmann, Bernd Krieg-Brückner
1991 A conf
The PROSPECTRA System.
STACS
Berthold Hoffmann, Bernd Krieg-Brückner
1988 — conf
Jungle Evaluation for Efficient Term Rewriting.
ALP
Berthold Hoffmann, Detlef Plump
1983 — —
Compiler generation: from language definitions to abstract compilers.
Berthold Hoffmann
1982 — conf
Modelling compiler generation by graph grammars.
Graph-Grammars and Their Application to Computer Science
Berthold Hoffmann
1981 B conf
A Graph-Theoretical Model for Multi-Pass Parsing.
WG
Hartmut Ehrig, Berthold Hoffmann, Ilse Schmiedecke
1980 B conf
A Mathematical Approach to Multi-Pass Parsing.
MFCS
Berthold Hoffmann, Ilse-Renate Schmiedecke
1979 — conf
Automatic Determination of Data Flow in Extended Affix Grammars.
GI Jahrestagung
Helmut Franzen, Berthold Hoffmann