Page Content
Dissertations TFS
Dr. Ing. Gabriel, Karsten
Interaction on Human-Centric Communication Platforms: Modelling and Analysis using Algebraic High-Level Nets and Processes [1], TU Berlin, January, 2014.
Dr. Ing. Brandt, Christoph
An Enterprise Modeling Framework for Banks using Algebraic Graph Transformation, TU Berlin, December, 2013.
Dr. Ing. Modica, Tony
Formal Modeling, Simulation, and Validation of Communication Platforms [2], TU Berlin, June, 2012.
Dr. Ing. Hermann, Frank
Analysis and Optimization of Visual Enterprise Models Based on Graph and Model Transformation [3], TU Berlin, February, 2011.
Dr. rer. nat. Golas, Ulrike
Analysis and Correctness of Algebraic Graph and Model Transformations [4], TU Berlin, October, 2010.
Dr. Ing. Schulz, Christoph
Transformation objektorientierter Systeme basierend auf algebraischen Graph-Transformationen [5], TU Berlin, May, 2010.
Dr. Ing. Braatz, Benjamin
Formal Modelling and Application of Graph Transformations in the Resource Description Framework [6], TU Berlin, November, 2009.
Dr. rer. nat Lambers, Leen
Certifying Rule-Based Models using Graph Transformation [7], TU Berlin, October, 2009.
Dr.-Ing. Salum Rangel, Guilherme
Behavioral Congruences and Verification of Graph Transformation Systems with Applications to Model Refactoring [8], TU Berlin, November, 2008.
Dr.-Ing. Klein, Markus
Transformation-Based Component Architectures -General Framework, Instantiations and Case Study [9], TU Berlin, September, 2006.
Dr.-Ing. Ermel, Claudia
Simulation and Animation of Visual Languages based on Typed Algebraic Graph Transformation [10], TU Berlin, July, 2006.
Dr.-Ing. Hoffmann, Kathrin
Formal Approach and Applications of Algebraic Higher Order Nets [11], TU Berlin, October, 2005.
Dr.-Ing. Schröter, Gunnar
Characterization and Comparison of formal Refinement and Development Relations for Software Modeling Techniques [12], TU Berlin, November, 2004.
Dr.-Ing. Urbasek, Milan
Categorical Net Transformations for Petri Net Technology [13], TU Berlin, May, 2003.
Dr.-Ing. Bardohl, Roswitha M.
GENGED: Visual Definition of Visual Languages based on Algebraic Graph Transformation [14], TU Berlin, 1999.
Dr.-Ing Koch, Manuel
Integration of Graph Transformation and Temporal Logic for the Specification of Distributed Systems [15], TU Berlin, 1999.
Dr.-Ing. Martini, Alfio Ricardo de Brito
Relating Arrows between Institutions in a Categorical Framework, TU Berlin, 1999.
Dr.-Ing. Geisler, Robert
Formal Semantics for the Integration of Statecharts and Z in a Metamodel-Based Framework, TU Berlin, 1999.
Dr.-Ing.Cornelius, Felix
A Semantical Reference Model for the Integration of Different Dimensions of Distributed System Specification, TU Berlin, 1998.
Dr.-Ing. Heckel, Reiko
Open Graph Transformation Systems: A New Approach to the Compositional Modelling of Concurrent and Reactive Systems, TU Berlin, 1998.
Dr.-Ing. Wolz, Dietmar
Colimit Library for Graph Transformations and Algebraic Development Techniques [16], TU Berlin, 1998.
Dr.-Ing. Wagner, Annika
A Formal Object Specification Technique Using Rule-Based Transformation of Partial Algebras, TU Berlin, 1997.
Dr.-Ing. Ribeiro, Leila
Parallel Composition and Unfolding Semantics of Graph Grammars, TU Berlin, 1996.
Dr.-Ing. Taentzer, Gabriele
Parallel and Distributed Graph Transformation: Formal Description and Application to Communication- Based Systems [17], TU Berlin, 1996.
Dr.-Ing. Padberg, Julia
Abstract Petri Nets: Uniform Approach and Rule-Based Refinement, TU Berlin, 1996.
Dr.-Ing. Korff, Martin
Generalized Graph Structure Grammars with Applications to Concurrent Object-Oriented Systems, TU Berlin, 1995.
Dr.-Ing. Große-Rhode, Martin
Specification of Transition Categories - An Approach to Dynamic Abstract Data Types, TU Berlin, 1994.
Dr.-Ing. Claßen, Ingo
Compositionality of Application Oriented Structuring Mechanisms for Algebraic Specification Languages with Initial Semantics, TU Berlin, 1993.
Dr. rer. nat. Rieckhoff, Catharina
Eine Theorie zur graphischen Visualisierung algebraischer Spezifikationen, TU Berlin, 1993.
Dr.-Ing. Löwe, Michael
Extended Algebraic Graph Transformation, TU Berlin, 1990.
Dr.-Ing. Habel, Annegret
Hyperedge Replacement: Grammars and Languages, Univ. Bremen, 1989.
Dr.-Ing. Hummert, Udo
Algebraische High-Level Netze, TU Berlin, 1989.
Dr.-Ing. Fey, Werner
Pragmatics, Concepts, Syntax, Semantics and Correctness Notions of ACT TWO: An Algebraic Module Specification and Interconnection Language, TU Berlin, 1988.
Dr.-Ing. Hansen, Horst
Von algebraischen Spezifikationen zu algebraischen Programmen, TU Berlin, 1986.
Dr.-Ing. Grude, Ulrich
Algebraische Spezifikation und Korrektheit von Compilern, TU Berlin, 1985.
Dr.-Ing. Hoffmann, Berthold
Compiler Generation: From Language Definition to Compiler Specifications, TU Berlin, 1983.
Dr.-Ing. Franzen, Helmut
Compiler Generation: From Compiler Description to Efficient Compilers, TU Berlin, 1983.
Dr.-Ing. Padawitz, Peter
Correctness, Completeness, and Consistency of Equational Data Type Specifications, TU Berlin, 1983.
Dr.-Ing. Mahr, Bernd
Algebraische Komplexität des Allgemeinen Wegeproblems in Graphen, TU Berlin, 1979.
Dr.-Ing. Kreowski, Hans-Jörg
Manipulation von Graphmanipulationen, TU Berlin, 1977.
kobv:83-opus4-49342
er.de/Buch/978-3-8348-1493-7/Analysis-and-Correctness-o
f-Algebraic-Graph-and-Model-Transformations.html
berlin/volltexte/2010/2674/
berlin/volltexte/2009/2494/
berlin/volltexte/2010/2522/
berlin/volltexte/2008/2080/
berlin/volltexte/2006/1409/
uberlin/volltexte/2006/1368/
uberlin/volltexte/2006/1340/
uberlin/volltexte/2005/735/
ag.de/cgi-bin/buch/isbn/0327
rlin.de/lieske/tfs/Dissertationen/RosiBardohl.ps.gz
onen/ManuelKoch.ps.gz
onen/DietmarWolz.pdf
rlin.de/lieske/tfs/Dissertationen/GabiTaentzer.pdf