2013

 

Lai, Huu Loi Entwicklung einer Werkzeugumgebung zur Visualisierung und Analyse komplexer EMF-Modelltransformationssysteme in Henshin [1]
Diplom-Arbeit, TU Berlin, 2013. Betreuung: C. Ermel, F. Hermann.

 

2012

 

Binanzer, Daniel Konzeption und Implementierung eines Werkzeugs zur Konfliktanalyse von EMF-Modelltransformationen mit Tripelgraphgrammatiken [2]
Bachelor-Arbeit, TU Berlin, 2012. Betreuung: C. Ermel, F. Hermann.

 

Pascal, Marcus Konzeption und Implementierung eines Werkzeugs zur Rekonfiguration von algebraischen High-Level-Netzen [3]
Diplom-Arbeit, TU Berlin, 2012. Betreuung: C. Ermel, T. Modica.

 

2011

 

Lingnau, Pascal Algebraic Approach to Timed Petri Nets with Applications to Communication Networks [4]
Diplom-Arbeit, TU Berlin, 2011. Betreuung: K. Gabriel, T. Modica, C. Ermel.

 

Merkle, Alexander Modellierung von Agentensystemen mit Algebraischen High-Level-Netzen [5]
Bachelor-Arbeit, TU Berlin, 2011. Betreuung: K. Hoffmann, J. Padberg.

 

Gottmann, Susann und Nachtigall, Nico Modelling the Living Place Project using Algebraic Higher-Order Nets [6]
Diplomarbeit, TU Berlin, 2011. Betreuung: K. Hoffmann, J. Padberg.

 

Maximova, Maria Formal Relationship between Petri Net and Graph Transformation Systems based on Functors between M-adhesive Categories [7]
Diplomarbeit, TU Berlin, 2011. Betreuung: H. Ehrig, U. Golas.

 

2010

 

Shareef, Sarkaft Formal Modelling and Analysis of Recongurable Object Nets Based on the RON Editor [8]
Diplomarbeit, TU Berlin, 2010. Betreuung: C. Ermel, F. Hermann.

 

Fischer, Winzent Entwicklung einer Werkzeugumgebung für Algebraische High-Level Netze mit Anwendung auf ein Szenario zur Einsatzsteuerung bei der Berliner Feuerwehr [9]
Diplomarbeit, TU Berlin, 2010. Betreuung: C. Ermel, E. Biermann.

 

Warning, Angeline Entwicklung eines visuellen Editors für Anwendungsbedingungen und amalgamierte Regeln zur Flexibilisierung von EMF-Modelltransformationen [10]
Diplomarbeit, TU Berlin, 2010. Betreuung: C. Ermel, E. Biermann.

 

Klujs, Olegs Concept and Implementation of an Application Environment for Model Transformations Based on Triple Graph Grammars and Mathematica [11]
Diplomarbeit, TU Berlin, 2010. Betreuung: F. Hermann.

 

Schmidt, Johann Entwicklung eines visuellen Editors zur Steuerung von EMF-Modelltransformationen [12]
Bachelorarbeit, TU Berlin, 2010. Betreuung: C. Ermel, E. Biermann.

 

Mattick, Lydia Comparison of Mobile Elementary Object Systems with Algebraic Higher Order Nets [13]
Bachelorarbeit, TU Berlin, 2010. Betreuung: H. Ehrig, K. Hoffmann, J. Padberg.

 

Gall, Jürgen und Kührmann, Alexander Konzeption und Implementierung einer Analysekomponente zur Konflikt- und Abhängigkeitsanalyse von Aktivitäten basierend auf Aktivitätendiagrammen und getypter Graphtransformation [14]
Bachelorarbeit, TU Berlin, 2010. Betreuung: C. Ermel, L. Lambers.

 

2009

 

Gabriel, Karsten Composition and Transformation of High Level Petri Net-Processes [15]
Diplomarbeit, TU Berlin, 2009. Betreuung: K. Hoffmann, J. Padberg.

 

Wunderlich, Hanno Konsistenzanalyse von verfeinerten UseCase-Modellen mit Hilfe von Graphtransformationen [16]
Diplomarbeit, TU Berlin, 2009. Betreuung: L. Lambers, C. Ermel.

 

Sartorius, Christoph Model Transformations based on Triple Graph Grammars with Negative Application Conditions [17]
Diplomarbeit, TU Berlin, 2009. Betreuung: F. Hermann.

 

Adamek, Jochen Konzeption und Implementierung einer Anwendungsumgebung für attributierte Graphtransformation basierend auf Mathematica [18]
Diplomarbeit, TU Berlin, 2009. Betreuung: F. Hermann.

 

Hurrelmann, Jonas Generation of Simulation Environments based on EMF Model Transformations [19]
Diplomarbeit, TU Berlin, 2009. Betreuung: C. Ermel, E. Biermann.

 

Sylopp, Peggy Konzeption und Implementierung von Analysetechniken für rekonfigurierbare Objektnetze [20]
Diplomarbeit, TU Berlin, 2009. Betreuung: T. Modica, C. Ermel.

 

Ospina, Gabriela Consistent Rule-based Modeling: Validation of Applicability Criteria for Rule Sequences [21]
Diplomarbeit, TU Berlin, 2009. Betreuung: L. Lambers.

 

Trollmann, Frank Modeling Emergency Scenarios using Algebraic Higher Order Nets [22]
Diplomarbeit, TU Berlin, 2009. Betreuung: K. Hoffmann.

 

2008

 

Ullrich, Conny Reconfigurable Open AHL Systems [23]
Diplomarbeit, TU Berlin, 2008. Betreuung: J. Padberg.

 

Rein, Alexander Reconfigurable Petri Systems with Negative Application Conditions [24]
Diplomarbeit, TU Berlin, 2008. Betreuung: J. Padberg, L. Lambers.

 

Shen, Yi Verifikation von Echtzeit-Architekturen [25]
Diplomarbeit, TU Berlin, 2008. Betreuung: U. Prange, M. Werner.

 

Gortner, Jonas Termination Analysis of Model Transformations by Petri Nets [26]
Diplomarbeit, TU Berlin, 2008. Betreuung: U. Prange.

 

Tischer, Björn  Entwicklung eines Editorgenerators für komplexe Diagrammsprachen basierend auf der Eclipse-Technologie [27]
Diplomarbeit, TU Berlin, 2008. Betreuung: C. Ermel, E. Biermann.

 

2007

 

Brick, Sebastian  Strukturierte Definition und Generierung graphischer Editoren basierend auf der Eclipse-Technologie [28]
Diplomarbeit, TU Berlin, 2007. Betreuung: C. Ermel, E. Biermann.

 

Jud, Antje  Präzise Syntaxdefinition einer Modellierungstechnik für
Infotainment-Systeme [29]
Diplomarbeit, TU Berlin, 2007. Betreuung: G. Taentzer, B. Braatz.

 

Mirocinic, Tatjana  Modellierung eines Aufgabenplanungs- und
-verwaltungssystems von klinisch-pharmakologischen Experimenten [30]
Diplomarbeit, TU Berlin, 2007. Betreuung: G. Taentzer, B. Braatz.

 

Lewin, Holger Integration of Object-oriented Behaviour-modelling Techniques [31]
Diplomarbeit, TU Berlin, 2007. Betreuung: H. Ehrig, B. Braatz.

 

Crema, André und Schmutzler, René  Konzeption und Implementierung einer Erweiterung des Eclipse Graphical Modeling Framework um komplexe Editieroperationen [32]
Diplomarbeit, TU Berlin, 2007. Betreuung: G. Taentzer, K. Ehrig.

 

2006

 

Graf, Dennis  Evolutionäres Layout von Graphsequenzen unter Nutzung von anwendungsspezifischem Wissen [33]
Diplomarbeit, TU Berlin, 2006. Betreuung: G. Taentzer, S. Jucknath.

 

Koehler, Christian  A Visual Model Transformation Environment for the Eclipse Modeling Framework [34]
Diplomarbeit, TU Berlin, 2006. Betreuung: G. Taentzer, K. Ehrig.

 

Biermann, Enrico und Kuhns, Günter  Konzeption und Implementierung einer regelbasierten Transformationskomponente für das Eclipse Modeling Framework [35]
Diplomarbeit, TU Berlin, 2006. Betreuung: G. Taentzer, K. Ehrig.

 

Modica, Tony  Eine attributierte getypte Graphgrammatik zum syntaxgesteuerten Editieren von UML State Machines [36]
Diplomarbeit, TU Berlin, 2006. Betreuung: G. Taentzer, B. Braatz.

 

2005

 

Weiss, Eduard  Konzeption und Implementierung einer Entwicklungsumgebung für visuelle Sprachen [37]
Diplomarbeit, TU Berlin, 2005. Betreuung: G. Taentzer, K. Ehrig.

 

Hermann, Frank  A Typed Attributed Graph Grammar for Syntax-Directed Editing of UML Sequence Diagrams [38]
Diplomarbeit, TU Berlin, 2005. Betreuung: G. Taentzer, B. Braatz.

 

Hänsgen, Stefan  Konzeption und Implementierung eines Generators für visuelle Sprachumgebungen in Eclipse basierend auf Graphtransformationen [39]
Diplomarbeit, TU Berlin, 2005. Betreuung: G. Taentzer, K. Ehrig.

 

Winkelmann, Jessica  Spezifikation von VisualOCL: Eine Visualisierung der Object Constraint Language [40]
Diplomarbeit, TU Berlin, 2005. Betreuung: G. Taentzer.

 

Karwan, Bozena  Konzeption und Implementierung eines Interpreters für amalgamierte Graphtransformation [41]
Diplomarbeit, TU Berlin, 2005. Betreuung: G. Taentzer, O. Runge.

 

2004

 

Prange, Ulrike  Confluence of Adhesive HLR-Systems with Applications to Typed Attributed Graph Transformation [42]
Diplomarbeit, TU Berlin, 2004. Betreuung: G. Taentzer. H. Ehrig.

 

Kniep, Andreas Rayo Modelling Object-Oriented Systems by Transformation Systems [43]
Diplomarbeit, TU Berlin, 2004. Betreuung: H. Ehrig, G. Taentzer, B. Braatz.

 

Schneider, Jörg  Ablaufvorhersage für verteilte Programme mit Hilfe von Graphtransformationen [44]
Diplomarbeit, TU Berlin, 2004. Betreuung: G. Taentzer.

 

Bogen, Jane  Schrittweise Entwicklung von Ereignisgesteuerten Prozessketten zu Algebraischen Higher-Order-Netzen
Diplomarbeit, TU Berlin, 2004. Betreuung: J. Padberg, K. Hoffmann.

 

Kiesner, Christiane  Modellierung eines medizinischen Informationssystems mit Algebraischen Higher-Order-Netzen
Diplomarbeit, TU Berlin, 2004. Betreuung: J. Padberg, K. Hoffmann.

 

2003

 

 Piirainen, Martii  Applications of a Generic Component Framework to a UML Case Study in Production Automation [45]
Diplomarbeit, TU Berlin, 2003. Betreuung: H. Ehrig, F. Orejas.

 

Ozhan, Mesut  Konzeption und Metadaten für die Evolution komponentenbasierter Systeme
Diplomarbeit, TU Berlin, 2003. Betreuung: H. Ehrig, R. Kutsche.

 

Ehrig, Karsten Konzeption und Implementierung eines Generators für Animationsumgebungen für visuelle Modellierungssprachen [46]
Diplomarbeit, TU Berlin, 2003. Betreuung: G. Taentzer, C. Ermel.

 

2002

 

Braatz, Benjamin  Integration of Heterogeneous Modelling Techniques using High-Level Constraints [47]
Diplomarbeit, TU Berlin, 2002. Betreuung: H. Ehrig, F. Orejas.

 

Klein, Markus  A Component Concept for Szstem Modelling Based on High-Level Replacement Transformations [48]
Diplomarbeit, TU Berlin, 2002. Betreuung: H. Ehrig, F. Orejas.

 

Parnitzke, Daniel  On Formal Semantics of Object Systems with Data and Object Attributes
Diplomarbeit, TU Berlin, 2002. Betreuung: M. Große-Rhode, S. John.

 

Neumann, Mischa  Computerunterstützte Analyse von Designentscheidungen in UML-Modellen durch XML-basierte Werkzeugkooperation zwischen CASE Tools
Diplomarbeit, TU Berlin, 2002. Betreuung: G. Taentzer.

 

Ahmad Ramin Tavakoli Kolagari  Transformation of Open and Algebraic High-Level Petri Nets Classes
Diplomarbeit, TU Berlin, 2002. Betreuung: M. Urbasèk, G. Taentzer.

 

2001

 

Matz, Michael  Konzeption und Implementierung eines Konsistenznachweisverfahrens für attributierte Graphtransformation
Diplomarbeit, TU Berlin, 2001. Betreuung: G. Taentzer.

 

Weinhold, Ingo  Konzeption und Implementierung eines Generators für Simulationsumgebungen [49]
Diplomarbeit, TU Berlin, 2001. Betreuung: R. Bardohl.

 

Tenzer, Jennifer  Formale Semantik von UML-Klassendiagrammen
Diplomarbeit, TU Berlin, 2001. Betreuung: M. Große-Rhode.

 

Tsiolakis, Aliki  Semantic Analysis and Consistency Checking of UML Sequence Diagrams
Diplomarbeit, TU Berlin, 2001. Betreuung: M. Große-Rhode.

 

Schultzke, Thorsten  Entwicklung und Implementierung eines Parsers für visuelle Sprachen basierend auf kritischer Paaranalyse
Diplomarbeit, TU Berlin, 2001. Betreuung: G. Taentzer, R. Bardohl.

 

2000

 

Grigoriu, Liliana  Transformation System Semantics and Compositionality of Algebraic Petri Nets [50]
Diplomarbeit, TU Berlin, 2000. Betreuung: M. Große-Rhode.

 

Kurt, Murat  Konzeption und Implementierung einer Kontrollkomponente für attributierte Graphersetzung [51]
Diplomarbeit, TU Berlin, 2000. Betreuung: G. Taentzer, S. Gruner.

 

1999

 

Ackermann, Kai  Entwurf und Implementierung eines Frameworks f¨ur verteilte Objektsysteme mit Anwendung auf einen Interpreter f¨ur verteilte Graphtransformation [52]
Diplomarbeit, TU Berlin, 1999. Betreuung: G. Taentzer.
master thesis [53] and appendix: API [54]

 

Battke, Anne  Algebraic Presentation of Process Notions in Petri Nets
Diplomarbeit, TU Berlin, 1999. Betreuung: J. Padberg.

 

 Niemann, Magnus  Konzeption und Implementierung eines generischen Grammareditors f"ur visuelle Sprachen [55]
Diplomarbeit, TU Berlin, 1999. Betreuung: R. Bardohl.

 

Schwarze, Manuel  Konzeption und Implementierung eines generischen Alphabeteditors f"ur visuelle Sprachen [56]
Diplomarbeit, TU Berlin, 1999. Betreuung: R. Bardohl.

 

John, Sebastian Zur kompositionalen Semantik von objekt-orientierten Statecharts
Diplomarbeit, TU Berlin, 1999. Betreuung: M. Große-Rhode, U. Wolter.

 

 Schiller, Patricia Application of Petri Net Techniques: Modelling a Railway Level Crossing
Diplomarbeit, TU Berlin, 1999. Betreuung: J. Padberg.

 

Schröter, Gunnar Algebraische Modelle für CCS
Diplomarbeit, TU Berlin, 1999. Betreuung: U. Wolter.

 

Ringwelski, Georg Spezifikation partieller Algebren höherer Ordnung und die Semantik funktionaler Programme
Diplomarbeit, TU Berlin, 1999. Betreuung: U. Wolter.

 

1998

 

Hoffmann, Kathrin Structural Compatibility in Petri Nets: Morphisms and Categories of Nets [57]
Diplomarbeit, TU Berlin, 1998. Betreuung: J. Padberg.

 

Roock, Alexander Visuelles Design eines verteilten Filemanagers mit Graphtransformation
Diplomarbeit, TU Berlin, 1998. Betreuung: G. Taentzer.

 

Melamed, Boris Design and Implementation of an Attribute Manager for Conditional and Distributed Graph Transformation [58]
Diplomarbeit, TU Berlin, 1998. Betreuung: G. Taentzer.

 

1997

 

Schlenker, Karsten Konzeption und Implementierung eines Graphikeditors zur Manipulation komplexer Strukturen [59]
Diplomarbeit, TU Berlin / FHTW Berlin, 1997. Betreuung: G. Taentzer, R. Bardohl, Prof. Fortenbach (FHTW).

 

Rennecke, Klaus Konzeption und Implementierung einer um Geometrie und zeitliches Verhalten dekorierten Graphtransformation zur syntaktischen Bilderzeugung und Animation von Graphtransformation
Diplomarbeit, TU Berlin, 1997. Betreuung: G. Taentzer, J. Müller.

 

Rudolf, Michael  Konzeption und Implementierung eines Interpreters für attributierte Graphtransformation [60]
Diplomarbeit, TU Berlin, 1997. Betreuung: G. Taentzer.

 

Melamed, B. Grundkonzeption und -implementierung einer Attributkomponente für ein Graphtransformationssystem
Studienarbeit, TU Berlin, 1997. Betreuung: G. Taentzer.

 

1996

 

Koch, Manuel  Modellierung und Nachweis der Konsistenz von verteilten Transaktionsmodellen für Datenbanksysteme mit algebraischen Graphgrammatiken
Diplomarbeit, TU Berlin, 1996. Betreuung: G. Taentzer, R. Heckel.

 

 

em>Rudolf, Michael  Konzeption und Implementierung grundlegender Aspekte der Ableitungskomponente eines Graphtransformationssystems [61] [62]
Studienarbeit, TU Berlin, 1996. Betreuung: G. Taentzer.

 

Ermel, Claudia  Anforderungsanalyse eines medizinischen Informationssystems mit Algebraischen High-Level-Netzen [63]
Diplomarbeit, TU Berlin, 1996. Betreuung: J. Padberg.

 

Gajewsky, Magdalena Kombination von stochastischen Prozessalgebren mit Phasentyp-Verteilungen [64]
Diplomarbeit, TU Berlin, 1996. Betreuung: R. German.

 

Madani, Roya Ein allgemeiner Ansatz zur formalen zustandsorientierten Spezifikation von Entity--Relationship--Modellen [65]
Diplomarbeit, TU Berlin, 1996. Betreuung: M. Große-Rhode.

 

Wunsch, Matthias Die Rolle des Konstruktionsbegriffs im Verhältnis von formalen Spezifikationskalkülen und intuitionistischer Mathematik
Diplomarbeit, TU Berlin, 1996. Betreuung: M. Große-Rhode.

 

Nitsche, Thomas Beweismethoden für statische und dynamische Eigenschaften von Eiffel--Klassendefinitionen durch Transitionsspezifikationen
Diplomarbeit, TU Berlin, 1996. Betreuung: M. Große-Rhode.

 

Chnaider, Leonid  Parametric Partial Algebraic Specifications with Gentzen Formulas
Diplomarbeit, TU Berlin, 1996. Betreuung: U. Wolter.