Forschung / Research

Publikationen / Publications

BibTeX files of the already published papers can be accessed via my bibsonomy profile.

2009

• S. Mazanek, M. Minas. Business Process Models as a Showcase for Syntax-based Assistance in Diagram Editors. Proc. of the ACM/IEEE 12th International Conference on Model Driven Engineering Languages and Systems (MODELS 2009). LNCS, Volume 5795, pages 322-336.
• S. Mazanek, M. Minas. Transforming BPMN to BPEL Using Parsing and Attribute Evaluation with respect to a Hypergraph Grammar. Accepted solution for the GraBaTs 2009 synthesis case study.
• S. Mazanek, M. Minas. Constructing a Bidirectional Transformation between BPMN and BPEL with Functional-logic Graph Parser Combinators. Accepted solution for the GraBaTs 2009 synthesis case study.
• A. W. Liehr, S. Mazanek, K. J. Buchenrieder, U. Nageldinger. A Model-Driven Engineering Approach to Derive Simulation Models from UML-Based Hardware Descriptions. Proc. of the 20th IASTED International Conference on Modelling and Simulation (MS09).
• S. Mazanek, M. Minas. Generating Correctness-Preserving Editing Operations for Diagram Editors. Proc. of the 8th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2009). Appears in Electronic Communications of the EASST.
• S. Mazanek, M. Minas. Contraction of Unconnected Diagrams using Least Cost Parsing. Proc. of the 8th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2009). Appears in Electronic Communications of the EASST.
• Poster: S. Mazanek, M. Minas. Syntax-based User Assistance for Business Process Modeling Tools. Accepted Demonstration for the 7th International Conference on Business Process Management (BPM 2009). 

2008

• S. Maier, S. Mazanek, M. Minas. Visual Specification of Layout. Proc. of the 16th International Symposium on Graph Drawing (GD 2008). LNCS, Volume 5417, pages 443-444.
• S. Mazanek, S. Maier, M. Minas. Exploiting the Layout Engine to Assess Diagram Completions. Proc. of the 2nd International Workshop on Layout of (Software) Engineering Diagrams (LED 2008). Electronic Communications of the EASST, Volume 13.
• S. Maier, S. Mazanek, M. Minas. Layout Specification on the Concrete and Abstract Syntax Level of a Diagram Language. Proc. of the 2nd International Workshop on Layout of (Software) Engineering Diagrams (LED 2008). Electronic Communications of the EASST, Volume 13.
• S. Mazanek, S. Maier, M. Minas. Auto-completion for Diagram Editors based on Graph Grammars. Proc. of the 2008 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2008). IEEE Computer Society Press, pages 242-245.
• S. Mazanek, S. Maier, M. Minas. An Algorithm for Hypergraph Completion according to Hyperedge Replacement Grammars. Proc. of the 4th International Conference on Graph Transformation (ICGT 2008). LNCS, Volume 5214, pages 39-53.
• S. Mazanek, M. Minas. Functional-logic Graph Parser Combinators. Proc. of the 19th International Conference on Rewriting Techniques and Applications (RTA 2008). LNCS, Volume 5117, pages 261-275.
• S. Mazanek, M. Minas. Parsing of Hyperedge Replacement Grammars with Graph Parser Combinators. Proc. of the 7th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2008). Electronic Communications of the EASST, Volume 10.

2007

• S. Mazanek, M. Minas. Graph Parser Combinators. Proc. of the 19th International Symposium on Implementation and Application of Functional Languages (IFL 2007). LNCS, Volume 5083, pages 1-18.

Unrefereed Reports:

• S. Mazanek, M. Minas. Graph Parser Combinators: A Challenge for Curry-Compilers. 25. Workshop der GI-Fachgruppe Programmiersprachen und Rechenkonzepte, 2008. Technical Report of Christian-Albrechts-Universität Kiel, no. 0811, pages 55-66.
• Contribution to the Haskell Communities and Activities Report in 2003, 2007 and 2008

See also my blog on visual languages.

Aktuelle Projekte / Current Projects

• DiaGen/DiaMeta: The Diagram Editor Generator
• Syntax-based user assistance in diagram editors
• Graph Completion
• Graph Parser Combinators

Ältere Projekte / Older Projects