Mark Minas hat an der Friedrich-Alexander-Universität Erlangen-Nürnberg Informatik studiert und mit dem Diplom abgeschlossen. Anschließend promovierte er dort zum Dr.-Ing. Seine Habilitation erfolgte im Jahr 2000 in praktischer Informatik.
Bis 2002 hat er an der Friedrich-Alexander-Universität Erlangen-Nürnberg als wissenschaftlicher Mitarbeiter gearbeitet. 1993/94 war er als Postdoktorand am International Computer Science Institute in Berkeley, Kalifornien.
2002 übernahm er an der Fakultät für Informatik der Universität der Bundeswehr München die Vertretungsprofessur für Datenbanken und Informationssysteme. 2003 wurde er auf diese Professur berufen, die dann in Professur für Programmiersysteme umbenannt wurde.
Von Oktober 2010 bis Oktober 2014 war Mark Minas Dekan der Fakultät für Informatik
Workshop on Visual Languages and Logic , 23 September 2007, Coeur d'Alene, Idaho, USA, satellite of the 2007 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC'07).
Workshop on Multi-Paradigm Modeling: Concepts and Tools, satellite event at the 9th International Conference on Model-Driven Engineering Languages and Systems (formerly the UML series of conferences), October 1 - 6, 2006 Genova, Italy
H40VISA
Visual Interactions in Software Artifacts, Mini-track in the SOFTWARE TECHNOLOGY Track of the Hawaii International Conference on System Sciences HICSS-40 (2007), Hawaii, January 3-6, 2007
B. Hoffmann and M. Minas. Generalized predictive shift-reduce parsing for hyperedge replacement graph grammars. Appears in Proc. Language and Automata Theory and Applications -- 13th International Conference, LATA 2019, LNCS, 2019.
[2]
B. Hoffmann and M. Minas. Generating efficient predictive shift-reduce parsers for hyperedge replacement grammars. In M. Seidl and S. Zschaler, editors, Software Technologies: Applications and Foundations, pages 76--91, Cham, 2018. Springer International Publishing. [ DOI | http ]
[3]
F. Drewes, B. Hoffmann, and M. Minas. Formalization and correctness of predictive shift-reduce parsers for graph grammars based on hyperedge replacement. Journal of Logical and Algebraic Methods in Programming, 2018. DOI 10.1016/j.jlamp.2018.12.006. Preprint available also at arXiv:1812.11927 [cs.FL]. [ DOI | http ]
[4]
F. Drewes, B. Hoffmann, and M. Minas. Predictive shift-reduce parsing for hyperedge replacement grammars. In J. de Lara and D. Plump, editors, Graph Transformation: 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings, volume 10373 of Lecture Notes in Computer Science, pages 106--122, Cham, 2017. Springer International Publishing. [ DOI | http ]
[5]
C. Schenk, S. Schimmler, and M. Minas. Investigating uni-stroke gesture input for diagram editors on large wall-mounted touch-screens. In A. Z. Henley, P. Rogers, and A. Sarma, editors, 2017 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), Raleigh, North Carolina, USA, October 11 – 14, 2017, pages 279--283, 2017. [ DOI | http ]
[6]
C. Schenk, S. Schimmler, and M. Minas. Operating diagram editors through unistroke gestures. In 2016 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), pages 21--25, Sept. 2016. [ DOI ]
[7]
C. Schenk, S. Schimmler, and M. Minas. Tool demo: Operating diagram editors through unistroke gestures. In 2016 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), pages 244--245, Sept. 2016. [ DOI ]
[8]
R. Echahed and M. Minas, editors. Graph Transformation -- 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedings, volume 9761 of Lecture Notes in Computer Science. Springer International Publishing, 2016. [ DOI | http ]
[9]
F. Drewes, B. Hoffmann, and M. Minas. Approximating Parikh images for generating deterministic graph parsers. In P. Milazzo, D. Varró, and M. Wimmer, editors, Software Technologies: Applications and Foundations -- STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers, volume 9946 of Lecture Notes in Computer Science, pages 112--128. Springer International Publishing, 2016. [ DOI | http ]
[10]
F. Drewes, B. Hoffmann, and M. Minas. Predictive top-down parsing for hyperedge replacement grammars. In F. Parisi-Presicce and B. Westfechtel, editors, Graph Transformation, 8th International Conference, ICGT 2015, L'Aquila, Italy, volume 9151 of Lecture Notes in Computer Science, pages 19--34. Springer International Publishing, 2015. This paper received the EATCS Best Paper Award at ICGT 2015. [ DOI | http ]
[11]
S. Maier and M. Minas. Recording, processing, and visualizing changes in diagrams. In Z. Li, C. Ermel, and S. D. Fleming, editors, Proc. 2015 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2015), pages 131--135, 2015. [ DOI ]
[12]
S. Maier and M. Minas. A pattern-based approach for initial diagram layout. In M. Tichy and L. Ribeiro, editors, Proceedings of the 12th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2013), volume 58 of Electronic Communications of the EASST, 2013. [ DOI | http ]
[13]
S. Maier and M. Minas. Layout improvement in diagram editors by automatic ad-hoc layout. In A. Fish and L. Lambers, editors, Proceedings of the 11th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2012), volume 47 of Electronic Communications of the EASST, 2012. [ DOI ]
[14]
F. Drewes, B. Hoffmann, and M. Minas. Contextual hyperedge replacement. In A. Schürr, D. Varró, and G. Varró, editors, Applications of Graph Transformation with Industrial Relevance, 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Proceedings, volume 7233 of Lecture Notes in Computer Science, pages 182--197. Springer-Verlag, 2012. [ DOI ]
[15]
S. Maier and M. Minas. Integration of a pattern-based layout engine into diagram editors. In A. Schürr, D. Varró, and G. Varró, editors, Applications of Graph Transformation with Industrial Relevance, 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Proceedings, volume 7233 of Lecture Notes in Computer Science, pages 89--96. Springer-Verlag, 2012. [ DOI ]
[16]
S. Mazanek, C. Rutetzki, and M. Minas. Tool demonstration of the transformation judge. In A. Schürr, D. Varró, and G. Varró, editors, Applications of Graph Transformation with Industrial Relevance, 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Proceedings, volume 7233 of Lecture Notes in Computer Science, pages 97--104. Springer-Verlag, 2012. [ DOI ]
[17]
T. Strobl and M. Minas. Generating graph transformation rules from AML/GT state machine diagrams for building animated model editors. In A. Schürr, D. Varró, and G. Varró, editors, Applications of Graph Transformation with Industrial Relevance, 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Proceedings, volume 7233 of Lecture Notes in Computer Science, pages 65--80. Springer-Verlag, 2012. [ DOI ]
[18]
B. Hoffmann and M. Minas. Generating instance graphs from class diagrams with adaptive star grammars. In R. Echahed, A. Habel, and M. Mosbah, editors, Proc. Graph Computation Models -- Selected Revised Papers from the Third International Workshop on Graph Computation Models (GCM 2010), volume 39 of Electronic Communications of the EASST, 2011. [ DOI ]
[19]
R. DeLine and M. Minas, editors. Special Issue: Selected papers from VL/HCC'09, volume 21/5 of Journal of Visual Languages and Computing. Elsevier Science Publishers, Dec. 2010. [ DOI | http ]
[20]
F. Brieler and M. Minas. A model-based recognition engine for sketched diagrams. Journal of Visual Languages and Computing, 21(2):81--97, Apr. 2010. Special Issue on Sketch Computation. [ DOI | .pdf ]
[21]
S. Maier and M. Minas. Pattern-based layout specifications for visual language editors. In P. Bottoni, E. Guerra, and J. de Lara, editors, Proc. of the 1st International Workshop on Visual Formalisms for Patterns, satellite of VL/HCC'09, Corvallis, OR, USA, September 24, 2009, volume 25 of Electronic Communications of the EASST, 2010. [ DOI | http ]
[22]
M. Minas and H. J. Schneider. Graph transformation by computational category theory. In G. Engels, C. Lewerentz, W. Schäfer, A. Schürr, and B. Westfechtel, editors, Graph Transformations and Model Driven Enginering -- Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday, volume 5765 of Lecture Notes in Computer Science, pages 34--59. Springer-Verlag, 2010. [ DOI | http ]
[23]
F. Drewes, B. Hoffmann, D. Janssens, and M. Minas. Adaptive star grammars and their languages. Theoretical Computer Science, 411(34-36):3090 -- 3109, 2010. [ DOI | .pdf ]
[24]
S. Mazanek, C. Rutetzki, and M. Minas. Sketch-based diagram editors with user assistance based on graph transformation and graph drawing techniques. In J. de Lara and D. Varro, editors, Proceedings of the Fourth International Workshop on Graph-Based Tools (GraBaTs 2010), University of Twente, Enschede, The Netherlands, September 28, 2010. Satellite event of ICGT'10, volume 32 of Electronic Communications of the EASST, 2010. [ DOI | http ]
[25]
T. Strobl, M. Minas, A. Pleuß, and A. Vitzthum. From the behavior model of an animated visual language to its editing environment based on graph transformation. In J. de Lara and D. Varro, editors, Proceedings of the Fourth International Workshop on Graph-Based Tools (GraBaTs 2010), University of Twente, Enschede, The Netherlands, September 28, 2010. Satellite event of ICGT'10, volume 32 of Electronic Communications of the EASST, 2010. [ DOI | http ]
[26]
S. Maier and M. Minas. Combination of different layout approaches. In P. Bottoni, E. Guerra, and J. de Lara, editors, Proc. of the 2nd International Workshop on Visual Formalisms for Patterns, satellite of VL/HCC'10, Leganés-Madrid, Spain, September 21, 2010, volume 31 of Electronic Communications of the EASST, 2010. [ DOI | http ]
[27]
T. Strobl and M. Minas. Specifying and generating editing environments for interactive animated visual models. In J. Küster and E. Tuosto, editors, Proceedings of the 9th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2010), March 20-21 2010, Paphos, Cyprus, volume 29 of Electronic Communications of the EASST, 2010. [ DOI | http ]
[28]
S. Maier and M. Minas. Interactive diagram layout. In E. D. Mynatt, D. Schoner, G. Fitzpatrick, S. E. Hudson, W. K. Edwards, and T. Rodden, editors, CHI Extended Abstracts, pages 4111--4116. ACM, 2010. [ DOI ]
[29]
B. Hoffmann and M. Minas. Defining models - meta models versus graph grammars. In J. Küster and E. Tuosto, editors, Proceedings of the 9th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2010), March 20-21 2010, Paphos, Cyprus, volume 29 of Electronic Communications of the EASST, 2010. [ DOI ]
[30]
R. Thierjung, F. Brieler, and M. Minas. On-line recognition of hatched and filled regions in hand-drawings. In Proc. IUI Workshop on Sketch Recognition, Sanibel Island, Florida, February 8, 2009, 2009. [ .pdf ]
[31]
S. Mazanek and M. Minas. Contraction of unconnected diagrams using least cost parsing. In A. Boronat and R. Heckel, editors, Proc. of the 8th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2009), March 28-29 2009, York, UK, volume 18 of Electronic Communications of the EASST, 2009. [ DOI ]
[32]
S. Maier and M. Minas. Specification of a drawing facility for diagram editors. In J. A. Jacko, editor, Human-Computer Interaction. Novel Interaction Methods and Techniques. 13th International Conference, HCI International 2009, San Diego, CA, USA, July 19-24, 2009, Proceedings, Part II, volume 5611 of Lecture Notes in Computer Science, pages 850--859. Springer-Verlag, 2009. [ DOI | http ]
[33]
S. Mazanek and M. Minas. Generating correctness-preserving editing operations for diagram editors. In A. Boronat and R. Heckel, editors, Proc. of the 8th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2009), March 28-29 2009, York, UK, volume 18 of Electronic Communications of the EASST, 2009. [ DOI ]
[34]
S. Mazanek and M. Minas. Business process models as a showcase for syntax-based assistance in diagram editors. In A. Schürr and B. Selic, editors, Model Driven Engineering Languages and Systems, Proc. ACM/IEEE 12th International Conference, MODELS 2009, Denver, CO, USA, October 2009, volume 5795 of Lecture Notes in Computer Science, pages 322--336. Springer-Verlag, 2009. [ DOI | http ]
[35]
S. Maier and M. Minas. Rule-based diagram layout using meta models. In International Workshop on Visual Languages and Computing (VLC 2009), in Proc. of the 15th International Conference on Distributed Multimedia Systems, Redwood City, CA, USA, Sept. 10-12, 2009, pages 335--340, 2009.
[36]
T. Strobl and M. Minas. Implementing an animated lambda-calculus. In Workshop on Visual Languages and Logic, satellite of 2009 IEEE Symposium on Visual Languages and Human-Centric Computing, Corvallis, OR, USA, September 20, 2009, volume 510 of CEUR Workshop Proceedings, 2009. [ .pdf ]
[37]
R. DeLine, M. Minas, and M. Erwig, editors. Proc. 2009 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2009), Corvallis, Oregon, USA, September 20-24, 2009, 2009.
[38]
S. Mazanek and M. Minas. Graph parser combinators. In Implementation and Application of Functional Languages, 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers, volume 5083 of Lecture Notes in Computer Science, pages 1--18. Springer-Verlag, Aug. 2008. [ DOI | http ]
[39]
S. Mazanek and M. Minas. Functional-logic graph parser combinators. In Rewriting Techniques and Applications, 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008, Proceedings, volume 5117 of Lecture Notes in Computer Science, pages 261--275. Springer-Verlag, July 2008. [ DOI | http ]
[40]
M. Minas and B. Hoffmann. An example of cloning graph transformation rules for programming. In R. Bruni and D. Varró, editors, Proc. 5th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2006), Satellite Event of ETAPS'06, April 1--2, 2006, Vienna, Austria, volume 211 of Electronic Notes in Theoretical Computer Science, pages 241--250. Elsevier Science Publishers, 2008. [ DOI | http ]
[41]
S. Mazanek and M. Minas. Parsing of hyperedge replacement grammars with graph parser combinators. In C. Ermel, R. Heckel, and J. de Lara, editors, Proc. of the Seventh International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2008), March 29-30, 2008, Budapest, Hungary, Satellite of ETAPS 2008, volume 10 of Electronic Communications of the EASST, 2008. [ DOI ]
[42]
A. Matzner, M. Minas, and A. Schulte. Efficient graph matching with application to cognitive automation. In A. Schürr, M. Nagl, and A. Zündorf, editors, Applications of Graph Transformations with Industrial Relevance, Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers, volume 5088 of Lecture Notes in Computer Science, pages 297--312. Springer-Verlag, 2008. [ DOI | http ]
[43]
S. Maier and M. Minas. A generic layout algorithm for meta-model based editors. In A. Schürr, M. Nagl, and A. Zündorf, editors, Applications of Graph Transformations with Industrial Relevance, Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers, volume 5088 of Lecture Notes in Computer Science, pages 66--81. Springer-Verlag, 2008. [ DOI | http ]
[44]
S. Maier, S. Mazanek, and M. Minas. Layout specification on the concrete and abstract syntax level of a diagram language. In A. Fish and H. Störrle, editors, Proc. of the Workshop on the Layout of (Software) Engineering Diagrams (LED 2008), Herrsching am Ammersee, Germany, September 15, 2008. Satellite event of the 2008 IEEE Symposium on Visual Languages and Human-Centric Computing, volume 13 of Electronic Communications of the EASST, 2008. [ DOI ]
[45]
S. Maier, S. Mazanek, and M. Minas. Exploiting the layout engine to assess diagram completions. In A. Fish and H. Störrle, editors, Proc. of the Workshop on the Layout of (Software) Engineering Diagrams (LED 2008), Herrsching am Ammersee, Germany, September 15, 2008. Satellite event of the 2008 IEEE Symposium on Visual Languages and Human-Centric Computing, volume 13 of Electronic Communications of the EASST, 2008. [ DOI ]
[46]
S. Maier and M. Minas. A static layout algorithm for DiaMeta. In C. Ermel, R. Heckel, and J. de Lara, editors, Proc. of the Seventh International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2008), March 29-30, 2008, Budapest, Hungary, Satellite of ETAPS 2008, volume 10 of Electronic Communications of the EASST, 2008. [ DOI ]
[47]
F. Drewes, B. Hoffmann, D. Janssens, M. Minas, and N. V. Eetvelde. Shaped generic graph transformation. In A. Schürr, M. Nagl, and A. Zündorf, editors, Applications of Graph Transformations with Industrial Relevance, Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers, volume 5088 of Lecture Notes in Computer Science, pages 201--216. Springer-Verlag, 2008. [ DOI | http ]
[48]
F. Brieler and M. Minas. Ambiguity resolution for sketched diagrams by syntax analysis based on graph grammars. In C. Ermel, R. Heckel, and J. de Lara, editors, Proc. of the Seventh International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2008), March 29-30, 2008, Budapest, Hungary, Satellite of ETAPS 2008, volume 10 of Electronic Communications of the EASST, 2008. [ DOI ]
[49]
F. Drewes, B. Hoffmann, and M. Minas. Adaptive star grammars for graph models. In H. Ehrig, R. Heckel, G. Rozenberg, and G. Taentzer, editors, Graph Transformations, 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings, volume 5214 of Lecture Notes in Computer Science, pages 442--457. Springer-Verlag, 2008. [ DOI | http ]
[50]
S. Mazanek, S. Maier, and M. Minas. Auto-completion for diagram editors based on graph grammars. In P. Bottoni, M. B. Rosson, and M. Minas, editors, Proc. 2008 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2008), pages 242--245, 2008. [ DOI ]
[51]
S. Mazanek, S. Maier, and M. Minas. An algorithm for hypergraph completion according to hyperedge replacement grammars. In H. Ehrig, R. Heckel, G. Rozenberg, and G. Taentzer, editors, Graph Transformations, 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings, volume 5214 of Lecture Notes in Computer Science, pages 39--53. Springer-Verlag, 2008. [ DOI | http ]
[52]
F. Brieler and M. Minas. Recognition and processing of hand drawn diagrams using syntactic and semantic analysis. In P. Bottoni and S. Levialdi, editors, Proceedings of the Working Conference on Advanced Visual Interfaces 2008 (AVI 2008), Naples, Italy, pages 181--188. ACM Press, 2008. [ DOI | http ]
[53]
F. Brieler and M. Minas. A model-based recognition engine for sketched diagrams. In Proc. VL/HCC 08 Workshop on Sketch Tools for Diagramming, Herrsching, Germany, September 15, 2008, 2008. [ .pdf ]
[54]
S. Maier, S. Mazanek, and M. Minas. Visual specification of layout. In I. G. Tollis and M. Patrignani, editors, Graph Drawing - 16th International Symposium, GD 2008, Heraklion, Crete, Greece, September 21-24, 2008. Revised Papers, volume 5417 of Lecture Notes in Computer Science, pages 443--444. Springer-Verlag, 2008. [ DOI | http ]
[55]
P. Bottoni, M. B. Rosson, and M. Minas, editors. Proc. 2008 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2008), Herrsching am Ammersee, Germany, September 15-19, 2008, 2008. [ http ]
[56]
S. Maier and M. Minas. A pattern-based layout algorithm for diagram editors. In A. Fish, A. Knapp, and H. Störrle, editors, Proc. of the Workshop on the Layout of (Software) Engineering Diagrams (LED 2007), Coeur d'Alène, Idaho, USA, September 27, 2007. Satellite event of the 2007 IEEE Symposium on Visual Languages and Human-Centric Computing, volume 7 of Electronic Communications of the EASST, 2007. [ DOI ]
[57]
F. Drewes, B. Hoffmann, D. Janssens, M. Minas, and N. Van Eetvelde. Adaptive star grammars. In A. Corradini, H. Ehrig, U. Montanari, L. Ribeiro, and G. Rozenberg, editors, Graph Transformations, Third International Conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, Sept. 17--23, 2006, volume 4178 of Lecture Notes in Computer Science, pages 77--91. Springer-Verlag, Sept. 2006. [ DOI | http ]
[58]
M. Minas. Parsing of adaptive star grammars. In G. Karsai and G. Taentzer, editors, Proc. of 2nd International Workshop on Graph and Model Transformation (GraMoT 2006), Brighton, UK, September 8, 2006. Satellite event of the 2006 IEEE Symposium on Visual Languages and Human-Centric Computing, volume 4 of Electronic Communications of the EASST, 2006. [ DOI ]
[59]
M. Minas. Generating meta-model-based freehand editors. In A. Zündorf and D. Varró, editors, Proc. of the 3rd International Workshop on Graph Based Tools (GraBaTs'06), Natal (Brazil), September 21-22, 2006, Satellite event of the 3rd International Conference on Graph Transformation, volume 1 of Electronic Communications of the EASST, 2006. [ DOI ]
[60]
M. Minas. Generating visual editors based on Fujaba/MOFLON and DiaMeta. In H. Giese and B. Westfechtel, editors, Proc. Fujaba Days 2006, Bayreuth, Germany, September 28-30, 2006, pages 35--42, 2006. Technical Report tr-ri-06-275 Universität Paderborn, Fakultät für Elektrotechnik, Informatik und Mathematik, Institut für Informatik.
[61]
M. Minas. Syntax analysis for diagram editors: A constraint satisfaction problem. In A. Celentano and P. Mussio, editors, Proc. of the Working Conference on Advanced Visual Interfaces (AVI'2006), May 23-26, 2006, Venice, Italy, pages 167--170. ACM Press, 2006. [ DOI | http ]
[62]
M. Minas. Syntax definition with graphs. In R. Heckel, editor, Proceedings of the School of SegraVis Research Training Network on Foundations of Visual Modelling Techniques (FoVMT 2004), May 3-7, 2004, volume 148/1 of Electronic Notes in Theoretical Computer Science, pages 19--40, 2006. [ DOI | http ]
[63]
M. Minas. Guest editor's introduction - special issue on selected papers from VLFM'04. Journal of Visual Languages and Computing, 16(6):483--484, Dec. 2005. [ DOI ]
[64]
M. Minas, editor. Special Issue: Selected papers from Visual Languages and Formal Methods 2004 (VLFM '04), volume 16/6 of Journal of Visual Languages and Computing. Elsevier Science Publishers, Dec. 2005.
[65]
M. Minas, editor. Proc. of the Workshop on Visual Languages and Formal Methods (VLFM 2004), Rome, Italy, September 30, 2004, volume 127/4 of Electronic Notes in Theoretical Computer Science. Elsevier Science Publishers, Apr. 2005. [ DOI ]
[66]
F. Drewes, B. Hoffmann, R. Klein, and M. Minas. Rule-based programming with DiaPlan. In T. Mens, A. Schürr, and G. Taentzer, editors, Proc. International Workshop on Graph-Based Tools (GraBaTs'04), affiliated with Second International Conference on Graph Transformation (ICGT 2004). Rome (Italy), October 2, 2004, volume 127/1 of Electronic Notes in Theoretical Computer Science, pages 15--26. Elsevier Science Publishers, 2005. [ DOI | http ]
[67]
F. Brieler and M. Minas. A new approach to flexible, trainingless sketching. In Proc. Workshop on Visual Modeling for Software Intensive Systems (VMSIS), Dallas, Texas, USA, September 24, 2005, pages 43--50, 2005. [ .pdf ]
[68]
M. Minas. AGTIVE'03: Summary from the viewpoint of graph transformation specifications. In J. L. Pfaltz, M. Nagel, and B. Böhlen, editors, Applications of Graph Transformation with Industrial Relevance, Proc. 2nd Intl. Workshop AGTIVE'03, Charlottesville, USA, 2003, Revised and Invited Papers, volume 3062 of Lecture Notes in Computer Science, page 491f. Springer-Verlag, 2004. [ DOI | http ]
[69]
M. Minas. VisualDiaGen - a tool for visually specifying and generating visual editors. In J. L. Pfaltz, M. Nagel, and B. Böhlen, editors, Applications of Graph Transformation with Industrial Relevance, Proc. 2nd Intl. Workshop AGTIVE'03, Charlottesville, USA, 2003, Revised and Invited Papers, volume 3062 of Lecture Notes in Computer Science, pages 398--412. Springer-Verlag, 2004. [ DOI | http ]
[70]
M. Minas. Visual specification of visual editors with VisualDiaGen. In J. L. Pfaltz, M. Nagel, and B. Böhlen, editors, Applications of Graph Transformation with Industrial Relevance, Proc. 2nd Intl. Workshop AGTIVE'03, Charlottesville, USA, 2003, Revised and Invited Papers, volume 3062 of Lecture Notes in Computer Science, pages 473--478. Springer-Verlag, 2004. [ DOI | http ]
[71]
P. Bottoni and M. Minas. Special section on graph transformations and visual modeling techniques - introductory paper. Software and System Modeling, 3(2):83--84, 2004. [ DOI | http ]
[72]
P. Bottoni and M. Minas, editors. Proc. of Graph Transformation and Visual Modeling Techniques (GT-VMT'2002), Barcelona, Spain, October 11-12, 2002, volume 72/3 of Electronic Notes in Theoretical Computer Science. Elsevier Science Publishers, Feb. 2003.
[73]
M. Minas. XML-based specification of diagram editors. In R. Bardohl and H. Ehrig, editors, Proc. Uniform Approaches to Graphical Process Specification Techniques (UNIGRA'03), Satellite Workshop to ETAPS'2003, Warsaw, Poland, April 5--6, 2003, volume 82 of Electronic Notes in Theoretical Computer Science, pages 105--119. Elsevier Science Publishers, 2003. [ DOI | http ]
[74]
F. Drewes, B. Hoffmann, and M. Minas. Context-exploiting shapes for diagram transformation. Machine Graphics and Vision, 12(1):117--132, 2003. Special issue on Diagrammatics & Design.
[75]
M. Minas and G. Frey. Visual PLC-programming using signal interpreted petri nets. In Proceedings of the American Control Conference 2002 (ACC2002), Anchorage, Alaska, volume 6, pages 5019--5024, May 2002. [ DOI | http ]
[76]
G. Frey, M. Minas, and K.-H. John. Steuerungsentwurf mit Petrinetzen. SPS-Magazin, 4/5:44--47, Apr. 2002.
[77]
M. Minas and F. Strüber. Unparsing of diagrams with DiaGen. In A. Corradini, H. Ehrig, H.-J. Kreowski, and G. Rozenberg, editors, Graph Transformation -- Proc. 1st International Conference on Graph Transformation, ICGT 2002, Barcelona (Spain), October 7-12, 2002, volume 2505 of Lecture Notes in Computer Science, pages 302--316. Springer-Verlag, 2002. [ DOI | http ]
[78]
M. Minas. Specifying graph-like diagrams with DiaGen. In T. Mens, A. Schürr, and G. Taentzer, editors, Proc. International Workshop on Graph-Based Tools (GraBaTs'02), affiliated with the First International Conference on Graph Transformation (ICGT 2002). Barcelona (Spain), October 7--8, 2002, volume 72 of Electronic Notes in Theoretical Computer Science, pages 102--111. Elsevier Science Publishers, 2002. [ DOI | http ]
[79]
O. Köth and M. Minas. Structure, abstraction and direct manipulation in diagram editors. In M. Hegarty, B. Meyer, and N. Narayanan, editors, Diagrammatic Representation and Inference (Proc. 2nd Int. Conf., Diagrams 2002, Callaway Gardens, Georgia, USA, April 2002), volume 2317 of Lecture Notes in Artificial Intelligence, pages 290--304. Springer-Verlag, 2002. [ DOI | http ]
[80]
F. Drewes, B. Hoffmann, and M. Minas. Context-exploiting shapes for diagram transformations. In Proc. 1st European Workshop on Diagrammatics and Design (D&D 2002), 2002, Bielsko-Biala, Poland, September 23-24, pages 39--40, 2002.
[81]
F. Drewes, B. Hoffmann, and M. Minas. Constructing shapely nested graph transformations. In Proc. AGT'2002 (APPLIGRAPH Workshop on Applied Graph Transformation), Satellite Event to ETAPS 2002, Grenoble, France, 2002, pages 107--118, 2002.
[82]
M. Minas. Concepts and realization of a diagram editor generator based on hypergraph transformation. Science of Computer Programming, 44(2):157--180, 2002. [ DOI | http ]
[83]
G. Frey and M. Minas. Internet-based development of logic controllers using signal interpreted Petri nets and IEC 61131. In Proc. 5th World Multi-Conference on Systemics, Cybernetics and Informatics (SCI 2001), Orlando (FL) USA, volume 3, pages 297--302, July 2001.
[84]
M. Minas and B. Hoffmann. Specifying and implementing visual process modeling languages with diagen. In H. Ehrig, C. Ermel, and J. Padberg, editors, Proc. Uniform Approaches to Graphical Process Specification Techniques (UniGra'2001), Satellite Workshop to ETAPS'2001, March/April 2001, Genova, Italy, volume 44/4 of Electronic Notes in Theoretical Computer Science, pages 67--79. Elsevier Science Publishers, 2001. [ DOI | http ]
[85]
O. Köth and M. Minas. Abstraction in graph-transformation based diagram editors. In L. Baresi, M. Pezze, and G. Taentzer, editors, Second International Workshop on Graph Transformation and Visual Modeling Techniques, July 2001, Crete, Greece, volume 50/3 of Electronic Notes in Theoretical Computer Science. Elsevier Science Publishers, 2001. [ DOI | http ]
[86]
B. Hoffmann and M. Minas. Transformation of shaped nested graphs and diagrams. In M. van den Brand and R. Verma, editors, Proc. 2nd International Workshop on Rule-based Programming (RULE 2001), affiliated with Principles, Logics, and Implementations of High-Level Programming Language (PLI 2001). September 4, 2001, Firenze, Italy, volume 59/4 of Electronic Notes in Theoretical Computer Science. Elsevier Science Publishers, 2001. [ DOI ]
[87]
G. Frey, M. Minas, and K.-H. John. Integration von Petrinetzen in den Steuerungsentwurf nach IEC 61131. In Tagungsband SPS/IPC/Drives 2001, Nürnberg, 27.-29. November 2001, pages 197--205, 2001. [ http ]
[88]
M. Minas. Specifying diagram languages by means of hypergraph grammars. In M. Anderson, B. Meyer, and P. Olivier, editors, Diagrammatic Representation and Reasoning, chapter 32, pages 565--579. Springer-Verlag, 2001. [ DOI ]
[89]
M. Minas. Spezifikation und Generierung graphischer Diagrammeditoren. Shaker-Verlag, Aachen, 2001. zugl. Habilitationsschrift Universität Erlangen-Nürnberg, 2000. [ http ]
[90]
M. Minas. Hypergraphs as a uniform diagram representation model. In H. Ehrig, G. Engels, H.-J. Kreowski, and G. Rozenberg, editors, Proc. 6th International Workshop on Theory and Application of Graph Transformations (TAGT'98) at Paderborn, Germany, Nov. 1998, volume 1764 of Lecture Notes in Computer Science, pages 281--295. Springer-Verlag, Nov. 2000. [ DOI ]
[91]
B. Hoffmann and M. Minas. Towards generic rule-based visual programming. In Proc. 2000 IEEE Symposium on Visual Languages (VL'2000), Seattle, Washington, pages 65--66. IEEE Computer Society Press, Sept. 2000. [ DOI ]
[92]
M. Minas and O. Köth. Generating diagram editors with DiaGen. In M. Nagl, A. Schürr, and M. Münch, editors, International Workshop on Applications of Graph Transformations with Industrial Relevance (AGTIVE'99), Monastery Rolduc, Netherlands, September 1-3, 1999, Selected Papers, volume 1779 of Lecture Notes in Computer Science, pages 433--440. Springer-Verlag, Mar. 2000. [ DOI ]
[93]
M. Minas. Creating semantic representations of diagrams. In M. Nagl, A. Schürr, and M. Münch, editors, International Workshop on Applications of Graph Transformations with Industrial Relevance (AGTIVE'99), Monastery Rolduc, Netherlands, September 1-3, 1999, Selected Papers, volume 1779 of Lecture Notes in Computer Science, pages 209--224. Springer-Verlag, Mar. 2000. [ DOI ]
[94]
O. Köth and M. Minas. Generating diagram editors providing free-hand editing as well as syntax-directed editing. In Proc. Joint APPLIGRAPH/GETGRATS Workshop on Graph Transformation Systems (GraTra'2000), Berlin, March 2000, pages 32--39, 2000. Technical Report 2000-2 Technische Universität Berlin, Fachbereich 13 (Informatik).
[95]
B. Hoffmann and M. Minas. Towards rule-based visual programming of generic visual systems. In Proc. First International Workshop on Rule-Based Programming (RULE'2000), September 19, 2000, Montreal, Canada, pages 111--125, 2000. [ http ]
[96]
B. Hoffmann and M. Minas. A generic model for diagram syntax and semantics. In J. Rolim et al., editors, ICALP Workshops 2000, Proceedings in Informatics 8, pages 443--450, Waterloo, Ontario, Canada, 2000. Carleton Scientific. Workshop on Graph Transformation and Visual Modelling Techniques (GT-VMT 2000). July 15/16, 2000, Genova, Switzerland.
[97]
B. Hoffmann and M. Minas. Über generisches visuelles Programmieren. In S. Diehl and A. Kerren, editors, Tagungsband des GI-Workshops “Softwarevisualisierung 2000”, Schloss Dagstuhl, 11./12. Mai 2000, pages 41--51, 2000. TR A/01/2000, Universität des Saarlandes, Saarbrücken, Fachbereich Informatik.
[98]
G. Frey and M. Minas. Editing, visualizing, and implementing signal interpreted petri nets. In Proc. 7. Workshop Algorithmen und Werkzeuge für Petrinetze (AWPN'2000), Koblenz, 2.-3. Oktober 2000, pages 57--62, 2000. TR 7/2000 Fachberichte INFORMATIK Universität Koblenz-Landau Institut für Informatik.
[99]
R. Bardohl, M. Minas, A. Schürr, and G. Taentzer. Application of graph transformation to visual languages. In H. Ehrig, G. Engels, H.-J. Kreowski, and G. Rozenberg, editors, Handbook of Graph Grammars and Computing by Graph Transformation, volume II: Applications, Languages and Tools, pages 105--180. World Scientific, 1999.
[100]
M. Minas. Hypergraph representation of diagrams in diagram editors. In Proc. AAAI Fall Symposium 1998, Workshop on Formalizing Reasoning with Visual and Diagrammatic Representations, Orlando, Florida, number FS-98-04 in AAAI Technical Report, pages 79--85, Oct. 1998.
[101]
M. Minas. Automatically generating environments for dynamic diagram languages. In Proc. 1998 IEEE Symposium on Visual Languages (VL'98), Halifax, Canada, pages 70--71. IEEE Computer Society Press, Sept. 1998. [ DOI ]
[102]
M. Minas. Specifying diagram languages by means of hypergraph grammars. In Proc. Thinking with Diagrams '98 (TwD'98), Aberystwyth, United Kingdom, pages 151--157, Aug. 1998.
[103]
M. Minas and J. Gottschall. Specifying animated diagram languages. In Proc. International Workshop on Theory of Visual Languages (TVL'97), Capri, Italy, Sept. 1997.
[104]
M. Minas. Diagram editing with hypergraph parser support. In Proc. 1997 IEEE Symposium on Visual Languages (VL'97), Capri, Italy, pages 226--233. IEEE Computer Society Press, Sept. 1997. This paper received the VL/HCC Most Influential paper award 2008. [ DOI | .pdf ]
[105]
M. Minas and L. Shklar. Visualizing information repositories on the world-wide web. In J. Krause, M. Herfurth, and J. Marx, editors, Herausforderungen an die Informationswirtschaft (Proc. 5th Interanational Symposium for Information Science, ISI'96, Berlin), pages 297--309. Universitätsverlag Konstanz, Oct. 1996.
[106]
G. Heidenreich, M. Minas, and J. Landauer. Interval construction with partially ordered object versions. In Proc. Interval'96, Würzburg, Germany, Oct. 1996.
[107]
M. Minas and L. Shklar. A high-level visual language for generating web structures. In Proc. IEEE Symposium on Visual Languages (VL'96), Boulder, Colorado, page 284f. IEEE Computer Society Press, Sept. 1996. [ DOI ]
[108]
G. Heidenreich, M. Minas, and D. Kips. A new approach to consistency control in software engineering. In Proc. 18th International Conference on Software Engineering (ICSE), Berlin, Germany, pages 289--297. IEEE Computer Society Press, Mar. 1996. [ DOI ]
[109]
M. Minas and L. Shklar. Visual definition of virtual documents for the world-wide web. In Principles of Document Processing (Third International Workshop, PODP'96, Palo Alto, California, USA, September 23, 1996), volume 1293 of Lecture Notes in Computer Science. Springer-Verlag, 1996. [ DOI ]
[110]
M. Minas and G. Viehstaedt. DiaGen: A generator for diagram editors providing direct manipulation and execution of diagrams. In V. Haarslev, editor, Proc. 11th IEEE International Symposium on Visual Languages (VL'95), Darmstadt, Germany, pages 203--210. IEEE Computer Society Press, Sept. 1995. This paper received the VL/HCC Most Influential paper award 2008. [ DOI | .pdf ]
[111]
M. Minas. Detecting quantified global predicates in parallel programs. In S. Haridi, K. Ali, and P. Magnusson, editors, EURO-PAR '95, Parallel Processing (1st International EURO-PAR Conference, Stockholm, Sweden, volume 966 of Lecture Notes in Computer Science, pages 403--414. Springer-Verlag, Aug. 1995. [ DOI ]
[112]
G. Viehstaedt and M. Minas. Generating editors for direct manipulation of diagrams. In B. Blumenthal, J. Gornostaev, and C. Unger, editors, Human-Computer Interaction (5th International Conference, EWHCI'95, Moscow, Russia, Selected Papers), 1015, pages 17--25. Springer-Verlag, July 1995. [ DOI ]
[113]
G. Viehstaedt and M. Minas. DiaGen: A generator for diagram editors based on a hypergraph model. In A. Motro and M. Tennenholtz, editors, Proc. 2nd International Workshop on Next Generation Information Technologies and Systems (NGITS'95), Naharia, Israel, pages 155--162, June 1995.
[114]
G. Viehstaedt and M. Minas. Graphical representation and manipulation of complex structures based on a formal model. In J. Iivari, K. Lyytinen, and M. Rossi, editors, Advanced Information Systems Engineering (7th International Conference, CAiSE'95, Jyväskylä, Finland), volume 932 of Lecture Notes in Computer Science, pages 243--254. Springer-Verlag, June 1995. [ DOI ]
[115]
G. Viehstaedt and M. Minas. Interaction in really graphical user interfaces. In A. L. Ambler and T. D. Kimura, editors, Proc. 1994 IEEE Symposium on Visual Languages (VL'94), St. Louis, pages 270--277. IEEE Computer Society Press, Oct. 1994. [ DOI ]
[116]
M. Minas. Cyclic debugging for pSather, a parallel object-oriented programming language. In F. Makedon, editor, Proc. DAGS'94 Symposium, Hanover, NH, USA. Dartmouth Institute for Advanced Graduate Studies in Parallel Computation, July 1994.
[117]
M. Minas. Fault detection for sequentially controlled machines using temporal constraint nets. In T. Ruokonen, editor, Preprints IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes (Safeprocess '94), Helsinki, Finland, pages 323--328, June 1994.
[118]
M. Minas. Spezifikation von Diagrammeditoren mit automatischer Layoutanpassung. In H. Reichel, editor, Informatik - Wirtschaft - Gesellschaft (23. GI-Jahrestagung, Dresden), Reihe “Informatik aktuell”, pages 334--339. Springer-Verlag, Sept. 1993. [ DOI ]
[119]
M. Minas and G. Viehstaedt. Specification of diagram editors providing layout adjustment with minimal change. In Proc. 1993 IEEE Symposium on Visual Languages (VL'93), Bergen, Norway, pages 324--329. IEEE Computer Society Press, Aug. 1993. [ DOI | http ]
[120]
M. Minas. Modelling and monitoring real-time systems with temporal constraint nets. In P. W. Chung, G. Lovegrove, and M. Ali, editors, Proc. 6th Internatioal Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems (IEA/AIE'93), Edinburgh, Scotland, pages 292--298. Gordon and Breach Science Publishers, June 1993.
[121]
M. Minas. Überwachung technischer Prozesse mit Zeitconstraintnetzen. Dissertation, Arbeitsberichte des Instituts für Mathematische Maschinen und Datenverarbeitung (Dissertation), Bd. 25, Nr. 3, Universität Erlangen-Nürnberg, May 1992.
Preise
Preise
Preise
Most Influential Paper Award 2016 of the IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) for the paper DiaGen: A Generator for Diagram Editors Providing Direct Manipulation and Execution of Diagrams, 1995 IEEE Symposium on Visual Languages. [pdf, web]
EATCS Best Paper Award at ICGT 2015, the 8th International Conference on Graph Transformation (L'Aquila, Italy, July 21-23, 2015) for the paper Frank Drewes, Berthold Hoffmann, and Mark Minas: Predictive Top-Down Parsing for Hyperedge Replacement Grammars. [web, pdf]
Most Influential Paper Award 2008 of the IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) for the paper Diagram editing with hypergraph parser support, 1997 IEEE Symposium on Visual Languages. [pdf, web]
Best Tool Presentation of the Workshops Application of Graph Transformations with Industrial Relevance 2003 (AGTIVE 2003). [pdf]
Wolfgang-Finkelnburg-Award 2001 for the habilitation thesis Spezifikation und Generierung graphischer Diagrammeditoren. [web]
Objektorientierte Programmierung (BINF3, BWIN3, BME6) entfällt in diesem Trimester, verlegt ins HT 2010: Visuelle Sprachen und Umgebungen (MINFSIM) entfällt in diesem Trimester: Praktikum Visuelle Sprachen: Graph Drawing (BINF, MINF, MWIN)
HT 2010
Maschinennahe Programmierung 1 (BINF4) Software-Entwicklungsumgebungen (BINF7WP, MINFSIM, MINFMORSE, MME) verschoben aus dem FT 2010: Visuelle Sprachen und Umgebungen (MINFSIM)
DiaMeta ist ein Framework zur Erstellung graphischer Editoren. DiaMeta beinhaltet einen Generator, der aus einem auf EMF basierenden Modell der visuellen Sprache sowie weiteren Spezifikationsanteilen einen graphischen Editor für die so beschriebene Sprache erzeugt. Visuelle Sprachen bestehen aber bnicht nur aus graphischen Anteilen, sondern meist auch aus textuellen Anteilen. Bislang können diese mit DiaMeta aber noch nicht beschrieben werden. In dieser Bachelor- oder Studienarbeit soll das existierende Werkzeug EMFText oder ein anderes geeignetes Werkzeug genutzt werden, um textuelle Anteile in Diagrammen zu parsen und in entsprechende Modelle zu transformieren.
Verwendung eines Constraint Solvers zur Beschreibung des Layouts modellbasierter Editoren (Thomas Wettberg, betreut von Sonja Maier, 2009)
Untersuchung des Prozesses der Erstellung eines Editors mithilfe von DiaMeta (Ingo Schwarz, betreut von Sonja Maier, 2009)
Konzeption und Umsetzung eines Graphvisualisierers für das iPhone (Sören Gärtner, betreut von Sonja Maier, 2009)
Konzeptionierung und Umsetzung mehrerer Sichten in Diagrammeditoren am Beispiel von CML (Sebastian Jung, betreut von Sonja Maier, 2009)
Abgeschlossene Studienarbeiten
Umsetzung des Spiels Pacman mithilfe von DiaMeta (Anne-Charlotte Lecat, betreut von Sonja Maier, 2008)
Vergleich verschiedener Texteingabemöglichkeiten für Sketching-Systeme (Matthias Schramm, betreut von Florian Brieler, 2008)
Übersicht und Klassifizierung von Features für Feature-basierte Erkennungssysteme (Alexander Schramm, betreut von Florian Brieler, 2008)
Entwicklung eines UML-Klassendiagrammeditors mit DiaMeta (Andre Bauer, betreut von Sonja Maier, 2007)
Entwurf und Realisierung eines Frameworks für den komponentenbasierten Softwareentwurf grafischer Bedienelemente in einer Hubscharaubersimulation (Benedikt Berghammer, betreut von Andreas Benzler, LRT13, 2007)
Entwicklung eines Railroad-Editors mit DiaMeta (Rene Busch, betreut von Sonja Maier, 2007)
Konzeptionierung und Umsetzung eines Installers für Diagen-DiaMeta (Sebastian Grün, betreut von Sonja Maier, 2007)
Entwicklung eines Straßeneditors mit DiaMeta (Sebastian Rützel, betreut von Steffen Mazanek, 2007)
Realisierung einer Java-Schnittstelle für die Handschrifterkennung aus Windows XP Tablet PC Edition (Raphael Thierjung, betreut von Florian Brieler, 2007)
Verarbeitung von einzelnen Buchstaben zu kompletten Ausdrücken (Florian Ohlms, betreut von Florian Brieler, 2007)
Entwurf und Realisierung einer Navigationssimulation im Kontext einer vernetzten Huschraubersimulation (Christian Scymkowiak, betreut von Andreas Benzler, LRT13, 2007)
Konzept und Realisierung eines graphischen Editors für Sprachspezifikationen (Christian Heger, 2007)
Implementierung einer toolgestützten Traceability zwischen Requirements und Software-Design im modellbasierten Software-Entwicklungsprozess, in Zusammenarbeit mit Eurocopter Deutschland GmbH (Sebastian Haffner, 2006)
Erweiterung eines Frameworks zur Erstellung graphischer Editoren für dreidimensionale Szenerien um eine verbesserte Benutzerinteraktion (Guibril Camara, 2005)
Konzept und Realisierung einer die Auftragsvergabe von Instandsetzungsaufgaben an zivile Firmen unterstützenden Datenbankanwendung (in Zusammenarbeit mit dem Truppenstandort Calw)(Oliver Seelige, 2005)
Konzeption und Realisierung eines Graph-Matchers für Hypergraphen (Roman Goltz, 2004)
Webservice zur Verwaltung von Literaturdatenbanken (Stephan Schmidt, 2004)
Aufbereitung XML-basierter Spezifikationen zur Dokumentation (Dennis Zimmermann, 2003)
Spezifikation und Realisierung eines graphischen Editors fur hierarchische Hypergraphen (Marcus Brisgen, 2003)
Musterbasierte Spezifikation des Diagrammlayouts in Editoren für visuelle Sprachen (betreut von Sonja Maier)
Entwicklung und Validierung eines Konzeptes zur zielorientierten Messung von Entwicklungsfortschritt und Qualität in modellbasierten, sicherheitskritischen Systems Engineering Projekten (in Zusammenarbeit mit EADS)
Analyse und Umsetzung von Tripel-Graph-Grammatiken als Hilfsmittel zur Diagrammanalyse (Thore Backen, betreut von Sonja Maier, 2008)
Übersicht über Sketching: aktuelle Ansätze und Systeme im Vergleich (Carolin Bongartz, betreut von Florian Brieler, 2008)
Erkennung und Repräsentation schraffierter und ausgemalter Flächen in Strichzeichnungen (Raphael Thierjung, betreut von Florian Brieler, 2008)
Konzept und Implementierung eines Single-Stroke-Recognizers (Sandro Förster, betreut von Florian Brieler, 2007)
Automatisiertes Erstellen einer SAP-Systemkopie auf Basis von Solaris 10 und ZFS (Daniel Woithe, 2007)
Attributauswertungsstrategie bei metamodellbasierten Syntaxbeschreibungen (Guibril Camara, 2006)
Konzept und Umsetzung für das Reengineering des Backends eines Informations-Integrations-Frameworks zur System-Entwicklung (ToolNet) in Zusammenarbeit mit EADS (Torsten Walter, 2006)
Usability-Analyse einer Benutzerschnittstelle für das Information-Integrations-Frameworks zur System-Entwicklung (ToolNet) in Zusammenarbeit mit EADS (Lena Seelige, 2006)
Untersuchungen von Layoutverfahren für graphische Editoren (Dominik Oesterreich, 2006)
Concept and Implementation of Integrating the Open-Source Platform Eclipse into an Information Integration Framework for Systems Engineering (ToolNet) in Zusammenarbeit mit EADS (Thomas Beyer, 2005)
Development and Modeling of a Mapping Scheme of Requirements and Systems Specification on an Example of Modern Avionics Structures in Zusammenarbeit mit EADS (Oliver Münstermann, 2005)
DiaGen als Eclipse-Plugin (Dennis Handt, 2005)
Konzept und Realisierung eines Erweiterungsmoduls zur Literaturverwaltung für das Content Management System Zope/Plone (Tino Schubert, 2005) (nähere Informationen)
Konzept und Realisierung eines Web-basierten Projektportals - Integration von Document-Management- sowie Workflow- und Groupware-Komponenten in Zusammenarbeit mit Micron Electronic Devices AG (Alexander Aßhauer, Michael Boehnke, 2005)
Konzept und Realisierung eines Web-basierten Projektportals - Prozessmodellierung und -visualisierung in Zusammenarbeit mit Micron Electronic Devices AG (Dennis Busch, Thomas Müller, 2005)
Konzept und Umsetzung eines Security Audit innerhalb eines Unternehmensnetzwerkes mit Hilfe von forensischer Netzwerkdatenanalyse in Zzusammenarbeit mit Ernst & Young Wirtschaftsprüfer AG (Michael Domberg, 2005) (nähere Informationen)
Spezifikation und Generierung graphischer Editoren für dreidimensionale Szenerien (Jonathan Albe, 2005)
Spezifikation und Generierung von Diagrammeditoren auf der Basis von EMF (Jörn Schulz, Matthias Jung, 2005) (nähere Informationen)
Konferenzverwaltungssysteme - Marktübersicht, Konzeption und Realisierung (Jens Grubbe, Jürgen Haas, 2004)
Konzeption und Realisierung der Benutzer- und Rechteverwaltung in einer Web-basierten Literaturdatenbank (Holger Moos, 2004)
Spezifikation von Diagrammanimation fur den Editorgenerator DiaGen (Sascha Krell, 2003)
In den Bachelor-Studiengängen Informatik und Wirtschaftsinformatik sind im dritten Studienjahr die Veranstaltungen "Kompetenztraining Projektarbeit" oder "Kompetenztraining Soft-Skills" zu belegen. Dabei handelt es sich um Einzel/Kleingruppenpraktika bei allen Dozenten der Fakultät, in den im Gesamtumfang von etwa 60 Stunden an Lehrveranstaltungen (z.B. als Tutor) oder in Projekten mitgearbeitet wird.
DiaGen/DiaMeta ist ein Werkzeug zur Spezifikation und Generierung graphischer Editoren für visuelle Sprachen. Die Entwicklung von DiaGen/DiaMeta erfolgt über ein Subversion-Repository mit Hilfe des Projekt-Management-Werkzeugs Maven. Um DiaGen/DiaMeta in einfacher Weise über das Web herunterladen und installieren zu können, sollte das Framework in Form eines sogenannten Installers (vergleichbar einer herunterladbaren und ausführbaren Datei Setup.exe im Windows-Umfeld) verpackt werden können.
Im Rahmen dieses Projekts ist ein Verfahren zu konzipieren, den jeweiligen Stand des Subversion-Repositories von DiaGen/DiaMeta in Form eines Installers zusammenzupacken. Hierfür kann ein freier Installer-Generator wie z.B. IzPack verwendet werden.
Das Projekt kann in einer Zweier-Gruppe bearbeitet werden.
Dekan der Fakultät für Informatik der Universität der Bundeswehr München (2010-2014).
Sprecher des Instituts für Softwaretechnologie der Fakultät für Informatik an der Universität der Bundeswehr München (seit 2003).
Mitglied des Fakultätsrats Informatik der Universität der Bundeswehr München (2005-2008, 2010-)
Vorsitzender und Mitglied in mehreren Berufungsausschüssen an der Universität der Bundeswehr München und der Friedrich-Alexander-Universität Erlangen-Nürnberg
Vorsitzender der Studienkommission Informatik an der Friedrich-Alexander-Universität Erlangen-Nürnberg (2001-2002)
