Publications
2011
- P. V. Gorp, S. Mazanek and L. Rose. Preface. Proceedings of the Fifth Transformation Tool Contest, Zürich, Switzerland, June 29-30 2011, Electronic Proceedings in Theoretical Computer Science (EPTCS, Open Publishing Association).
- S. Mazanek, Hello World! An Instructive Case for TTC. Proceedings of the Fifth Transformation Tool Contest, Zürich, Switzerland, June 29-30 2011, Electronic Proceedings in Theoretical Computer Science (EPTCS, Open Publishing Association), accepted case for Transformation Tool Contest 2011. DOI: 10.4204/EPTCS.74.4.
- L. M. Rose, M. Herrmannsdoerfer, M. Wimmer, T. Horn, S. Buchwald, K. Lano, A. Koch, E. Kalnina, S. Mazanek, B. Schätz, P. V. Gorp. Graph and Model Transformation Tools for Model Migration. Submitted for journal publication.
- Pieter Van Gorp, Steffen Mazanek, SHARE: a web portal for creating and sharing executable research papers. Finalist for The Elsevier Executable Paper Grand Challenge (acceptance rate: 10/71), 2nd prize, In Proceedings of the International Conference on Computational Science (Procedia Computer Science, Vol. 4, pp. 589-597, Elsevier), ICCS 2011, June 1 - June 3, 2011. ISSN 1877-0509, DOI: 10.1016/j.procs.2011.04.062.
- S. Mazanek, C. Rutetzki, M. Minas, Tool Demonstration of the Transformation Judge. Proc. of the International Symposium on Applications of Graph and Model Transformation with Industrial Relevance (AGTIVE 2011), Springer, 2012, to appear.
- S. Mazanek, C. Rutetzki, On the Importance of Model Comparison Tools for the Automatic Evaluation of the Correctness of Model Transformations. Proc. of the 2nd International Workshop on Model Comparison in Practice (IWMCP 2011). ACM, 2011.
2010
- S. Mazanek, Exploiting Hypergraph Grammars for the Realization of Syntax-based User Assistance in Diagram Editors. 2010, ISBN 978-3-8325-2630-6, Logos Verlag Berlin.
- Betreuung des folgenden studentischen Beitrags für die Informatiktage: C. Rutetzki. Integration von syntaxbasierter Nutzerunterstützung in Sketching-Editoren. Informatiktage 2010. GI LNI, volume S-9, pages 133-136.
- S. Mazanek, C. Rutetzki, M. Minas. Sketch-based Diagram Editors with User Assistance based on Graph Transformation and Graph Drawing Techniques. Proc. of the 4th International Workshop on Graph Based Tools (GraBaTs 2010). Appears in Electronic Communications of the EASST.
- N. Mangano, S. Mazanek, C. Rutetzki, N. Sukaviriya. Sketch-based Creation of BP models. Accepted Demonstration for the 8th International Conference on Business Process Management (BPM 2010).
- S. Mazanek, N. Sukaviriya. Challenge: How to support the very first stage of the BP lifecycle, namely the creative design of processes? Proc. of the Dagstuhl Seminar on Enabling Holistic Approaches to Business Process Lifecycle Management (11.-16.04.2010).
- S. Mazanek, M. Hanus. Constructing a Bidirectional Transformation between BPMN and BPEL with a Functional Logic Programming Language. Journal of Visual Languages & Computing, Volume 22, Issue 1, Special Issue on Visual Languages and Logic, February 2011, Pages 66-89, ISSN 1045-926X, DOI: 10.1016/j.jvlc.2010.11.005.
- S. Mazanek, Arend Rensink, Pieter van Gorp (eds.). Proc. of the Transformation Tool Contest 2010, 1-2 July 2010, Malaga, Spain. pdf
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. pdf
- 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. pdf
- 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. pdf
- 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). 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). 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). pdf
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. pdf
- 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. pdf
- 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. pdf
- 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. pdf
Unrefereed Reports:
See also my blog on visual languages.
Projects
|