2025
GrappaRE - A Tool for Efficient Graph Recognition Based on Finite Automata and Regular Expressions.
CoRR, March, 2025
Graph Formulas and Their Translation to Alternating Graph Automata.
Proceedings of the Graph Transformation - 18th International Conference, 2025
Specifying and Checking Graph Properties with Alternating Graph Automata.
Proceedings of the Graph Transformation - 18th International Conference, 2025
BugVis: A Debugger Supporting Time-Travel and Data Structure Visualization.
Proceedings of the 6th European Conference on Software Engineering Education, 2025
Generative AI in Student Software Development Projects: A User Study on Experiences and Self-Assessment.
Proceedings of the 6th European Conference on Software Engineering Education, 2025
2024
Finite Automata for Efficient Graph Recognition.
CoRR, 2024
Automatic Program Assessment, Grading and Code Generation: Possible AI-Support in a Software Development Course.
Proceedings of the Artificial Intelligence and Soft Computing, 2024
2023
Using Automatic Program Assessment in a Software Development Project Course.
Proceedings of the 5th European Conference on Software Engineering Education, 2023
2022
Visual exploration of visual parser execution.
Multim. Tools Appl., 2022
Acyclic Contextual Hyperedge Replacement: Decidability of Acyclicity and Generative Power.
Proceedings of the Graph Transformation - 15th International Conference, 2022
2021
Rule-Based Top-Down Parsing for Acyclic Contextual Hyperedge Replacement Grammars.
Proceedings of the Graph Transformation - 14th International Conference, 2021
2020
Graph Parsing as Graph Transformation - Correctness of Predictive Top-Down Parsers.
Proceedings of the Graph Transformation - 13th International Conference, 2020
Visualizing Visual Parser Execution.
Proceedings of the 26th International DMS Conference on Visualization and Visual Languages, 2020
ParVis: A visual tool for exploring parser execution traces.
Proceedings of the AVI '20: International Conference on Advanced Visual Interfaces, Island of Ischia, Italy, September 28, 2020
2019
Formalization and correctness of predictive shift-reduce parsers for graph grammars based on hyperedge replacement.
J. Log. Algebraic Methods Program., 2019
Speeding up Generalized PSR Parsers by Memoization Techniques.
Proceedings of the Proceedings Tenth International Workshop on Graph Computation Models, 2019
Visual Parsing and Parser Visualization.
Proceedings of the 2019 IEEE Symposium on Visual Languages and Human-Centric Computing, 2019
Generalized Predictive Shift-Reduce Parsing for Hyperedge Replacement Graph Grammars.
Proceedings of the Language and Automata Theory and Applications, 2019
Extending Predictive Shift-Reduce Parsing to Contextual Hyperedge Replacement Grammars.
Proceedings of the Graph Transformation - 12th International Conference, 2019
2017
Investigating uni-stroke gesture input for diagram editors on large wall-mounted touchscreens.
Proceedings of the 2017 IEEE Symposium on Visual Languages and Human-Centric Computing, 2017
Generating Efficient Predictive Shift-Reduce Parsers for Hyperedge Replacement Grammars.
Proceedings of the Software Technologies: Applications and Foundations, 2017
Predictive Shift-Reduce Parsing for Hyperedge Replacement Grammars.
Proceedings of the Graph Transformation - 10th International Conference, 2017
2016
Tool demo: Operating diagram editors through unistroke gestures.
Proceedings of the 2016 IEEE Symposium on Visual Languages and Human-Centric Computing, 2016
Operating diagram editors through unistroke gestures.
Proceedings of the 2016 IEEE Symposium on Visual Languages and Human-Centric Computing, 2016
Approximating Parikh Images for Generating Deterministic Graph Parsers.
Proceedings of the Software Technologies: Applications and Foundations, 2016
2015
Recording, processing, and visualizing changes in diagrams.
Proceedings of the 2015 IEEE Symposium on Visual Languages and Human-Centric Computing, 2015
Predictive Top-Down Parsing for Hyperedge Replacement Grammars.
Proceedings of the Graph Transformation - 8th International Conference, 2015
2013
A Pattern-based Approach for Initial Diagram Layout.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013
2012
Layout Improvement in Diagram Editors by Automatic Ad-hoc Layout.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012
Increasing the reliability of single and multi core systems with software rejuvenation and coded processing.
Proceedings of the Automotive, 2012
2011
Generating Instance Graphs from Class Diagrams with Adaptive Star Grammars.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011
Generating Graph Transformation Rules from AML/GT State Machine Diagrams for Building Animated Model Editors.
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2011
Tool Demonstration of the Transformation Judge.
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2011
Integration of a Pattern-Based Layout Engine into Diagram Editors.
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2011
Contextual Hyperedge Replacement.
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2011
2010
Special issue on selected papers from VL/HCC'09.
J. Vis. Lang. Comput., 2010
A model-based recognition engine for sketched diagrams.
J. Vis. Lang. Comput., 2010
Adaptive star grammars and their languages.
Theor. Comput. Sci., 2010
From the Behavior Model of an Animated Visual Language to its Editing Environment Based on Graph Transformation.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010
Specifying and Generating Editing Environments for Interactive Animated Visual Models.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010
Sketch-based Diagram Editors with User Assistance based on Graph Transformation and Graph Drawing Techniques.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010
Combination of Different Layout Approaches.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010
Pattern-Based Layout Specifications for Visual Language Editors.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010
Defining Models - Meta Models versus Graph Grammars.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010
Interactive diagram layout.
Proceedings of the 28th International Conference on Human Factors in Computing Systems, 2010
Graph Transformation by Computational Category Theory.
Proceedings of the Graph Transformations and Model-Driven Engineering, 2010
2009
Contraction of Unconnected Diagrams using Least Cost Parsing.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009
Generating Correctness-Preserving Editing Operations for Diagram Editors.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009
Business Process Models as a Showcase for Syntax-Based Assistance in Diagram Editors.
Proceedings of the Model Driven Engineering Languages and Systems, 2009
Specification of a Drawing Facility for Diagram Editors.
Proceedings of the Human-Computer Interaction. Novel Interaction Methods and Techniques, 2009
2008
Exploiting the Layout Engine to Assess Diagram Completions.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008
Parsing of Hyperedge Replacement Grammars with Graph Parser Combinators.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008
Layout Specification on the Concrete and Abstract Syntax Level of a Diagram Language.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008
A Static Layout Algorithm for DiaMeta.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008
Ambiguity Resolution for Sketched Diagrams by Syntax Analysis Based on Graph Grammars.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008
Auto-completion for diagram editors based on graph grammars.
Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2008
Functional-Logic Graph Parser Combinators.
Proceedings of the Rewriting Techniques and Applications, 19th International Conference, 2008
An Algorithm for Hypergraph Completion According to Hyperedge Replacement Grammars.
Proceedings of the Graph Transformations, 4th International Conference, 2008
Adaptive Star Grammars for Graph Models.
Proceedings of the Graph Transformations, 4th International Conference, 2008
Visual Specification of Layout.
Proceedings of the Graph Drawing, 16th International Symposium, 2008
Recognition and processing of hand-drawn diagrams using syntactic and semantic analysis.
Proceedings of the working conference on Advanced Visual Interfaces, 2008
2007
A Pattern-Based Layout Algorithm for Diagram Editors.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2007
Graph Parser Combinators.
Proceedings of the Implementation and Application of Functional Languages, 2007
Efficient Graph Matching with Application to Cognitive Automation.
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2007
A Generic Layout Algorithm for Meta-model Based Editors.
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2007
Shaped Generic Graph Transformation.
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2007
2006
An Example of Cloning Graph Transformation Rules for Programming.
Proceedings of the Fifth International Workshop on Graph Transformation and Visual Modeling Techniques, 2006
Parsing of Adaptive Star Grammars.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006
Generating Meta-Model-Based Freehand Editors.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006
Proceedings of the Graph Transformations, Third International Conference, 2006
Syntax analysis for diagram editors: a constraint satisfaction problem.
Proceedings of the working conference on Advanced visual interfaces, 2006
2005
Special issue on selected papers from VLFM'04.
J. Vis. Lang. Comput., 2005
2004
Softw. Syst. Model., 2004
Syntax Definition with Graphs.
Proceedings of the School of SegraVis Research Training Network on Foundations of Visual Modelling Techniques, 2004
Proceedings of the Workshop on Visual Languages and Formal Methods, 2004
Rule-Based Programming with Diaplan.
Proceedings of the 2nd International Workshop on Graph-Based Tools, 2004
2003
XML-based Specification of Diagram Editors.
Proceedings of the Uniform Approaches to Graphical Process Specification Techniques, 2003
PLC Programming with Signal Interpreted Petri Nets.
Proceedings of the Applications and Theory of Petri Nets 2003, 2003
AGTIVE'03: Summary from the Viewpoint of Graph Transformation Specifications.
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2003
Visual Specification of Visual Editors with VisualDiaGen.
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2003
VisualDiaGen - A Tool for Visually Specifying and Generating Visual Editors.
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2003
2002
Concepts and realization of a diagram editor generator based on hypergraph transformation.
Sci. Comput. Program., 2002
Specifying Graph-like Diagrams with DIAGEN.
Proceedings of the International Workshop on Graph-Based Tools, 2002
Proceedings of the International Workshop on Graph Transformation and Visual Modeling Techniques, 2002
Unparsing of Diagrams with DiaGen.
Proceedings of the Graph Transformation, First International Conference, 2002
Workshop on Graph Transformation and Visual Modeling Techniques.
Proceedings of the Graph Transformation, First International Conference, 2002
Structure, Abstraction, and Direct Manipulation in Diagram Editors.
Proceedings of the Diagrammatic Representation and Inference, 2002
Visual PLC-programming using signal interpreted Petri nets.
Proceedings of the American Control Conference, 2002
Specifying Diagram Languages by Means of Hypergraph Grammars.
Proceedings of the Diagrammatic Representation and Reasoning, 2002
2001
Transformation of Shaped Nested Graphs and Diagrams.
Proceedings of the Second International Workshop on Rule-Based Programming, 2001
Specifying and Implementing Visual Process Modeling Languages with DiaGen.
Proceedings of the Uniform Approaches to Graphical Process Specification Techniques, 2001
Abstraction in Graph-Transformation Based Diagram Editors.
Proceedings of the International Workshop on Graph Transformation and Visual Modeling Techniques, 2001
2000
Towards rule-based visual programming of generic visual systems
CoRR, 2000
Towards Generic Rule-Based Visual Programming.
Proceedings of the 2000 IEEE International Symposium on Visual Languages, 2000
A Generic Model for Diagram Syntax and Semantics.
Proceedings of the ICALP Workshops 2000, 2000
1999
Generating Diagram Editors with <i>DiaGen</i>.
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 1999
Creating Semantic Representations of Diagrams.
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 1999
1998
Automatically Generating Environments for Dynamic Diagram Languages.
Proceedings of the Proceedings 1998 IEEE Symposium on Visual Languages, 1998
Hypergraphs as a Uniform Diagram Representation Model.
Proceedings of the Theory and Application of Graph Transformations, 1998
1997
Diagram Editing with Hypergraph Parser Support.
Proceedings of the Proceedings 1997 IEEE Symposium on Visual Languages, 1997
1996
A High-Level Visual Language for Generating Web Structures.
Proceedings of the 1996 IEEE Symposium on Visual Languages, 1996
Visual Definition of Virtual Documents for the World-Wide Web.
Proceedings of the Principles of Document Processing, Third International Workshop, 1996
Visualizing Information Repositories on the World-Wide Web.
Proceedings of the Herausforderungen an die Informationswirtschaft: Informationsverdichtung,, 1996
A New Approach to Consistency Control in Software Engineering.
Proceedings of the 18th International Conference on Software Engineering, 1996
1995
DiaGen: A Generator for Diagram Editors Providing Direct Manipulation and Execution of Diagrams.
Proceedings of the Proceedings 11th International IEEE Symposium on Visual Languages, 1995
DiaGen: A Generator for Diagram Editors Based on a Hypergraph Model.
Proceedings of the Next Generation Information Technologies and Systems (NGITS '95), 1995
Generating Editors for Direct Manipulation of Diagrams.
Proceedings of the Human-Computer Interaction, 5th International Conference, 1995
Detecting Quantified Global Predicates in Parallel Programs.
Proceedings of the Euro-Par '95 Parallel Processing, 1995
Editing user-specific diagrams by direct manipulation.
Proceedings of the Human Factors in Computing Systems, 1995
Graphical Representation and Manipulation of Complex Structures Based on a Formal Model
Proceedings of the Advanced Information Systems Engineering, 7th International Conference, 1995
1994
Interaction in Really Graphical User Interfaces.
Proceedings of the Proceedings IEEE Symposium on Visual Languages, 1994
1993
Specification of Diagram Editors Providing Layout Adjustment with Minimal Change.
Proceedings of the 1993 IEEE Workshop on Visual Languages, 1993
Spezifikation von Diagrammeditoren mit automatischer Layoutanpassung.
Proceedings of the Informatik - Wirtschaft - Gesellschaft, 23. Gi-Jahrestagung, Dresden, Germany, 27. September, 1993
1992
Überwachung technischer Prozesse mit Zeitconstraintnetzen.
PhD thesis, 1992