Benjamin Braatz

Publication Activity (10 Years)

Years Active: 2002-2014
Publications (10 Years): 0

Top Topics

Top Venues

Math. Struct. Comput. Sci.

Softw. Syst. Model.

Publications

Nico Nachtigall, Frank Hermann, Benjamin Braatz, Thomas Engel
Towards Domain Completeness for Model Transformations Based on Triple Graph Grammars. VOLT@STAF (2014)
Frank Hermann, Susann Gottmann, Nico Nachtigall, Hartmut Ehrig, Benjamin Braatz, Gianluigi Morelli, Alain Pierre, Thomas Engel, Claudia Ermel
Triple Graph Grammars in the Large for Translating Satellite Procedures. ICMT (2014)
Frank Hermann, Nico Nachtigall, Benjamin Braatz, Thomas Engel, Susann Gottmann
Solving the FIXML2Code-case Study with HenshinTGG. TTC@STAF (2014)
Fabian Lanze, Andriy Panchenko, Benjamin Braatz, Thomas Engel
Letting the puss in boots sweat: detecting fake access points using dependency of clock skews on temperature. AsiaCCS (2014)
Karsten Gabriel, Benjamin Braatz, Hartmut Ehrig, Ulrike Golas
Finitary ℳ-adhesive categories. Math. Struct. Comput. Sci. 24 (4) (2014)
Benjamin Braatz, Christoph Brandt
A framework for families of domain-specific modelling languages. Softw. Syst. Model. 13 (1) (2014)
Susann Gottmann, Frank Hermann, Nico Nachtigall, Benjamin Braatz, Claudia Ermel, Hartmut Ehrig, Thomas Engel
Correctness and Completeness of Generalised Concurrent Model Synchronisation Based on Triple Graph Grammars. AMT@MoDELS (2013)
Frank Hermann, Susann Gottmann, Nico Nachtigall, Benjamin Braatz, Gianluigi Morelli, Alain Pierre, Thomas Engel
On an Automated Translation of Satellite Procedures Using Triple Graph Grammars. ICMT (2013)
Nico Nachtigall, Benjamin Braatz, Thomas Engel
Symbolic Execution of Satellite Control Procedures in Graph-Transformation-Based EMF Ecosystems. MoDeVVa@MoDELS (2013)
Fabian Lanze, Andriy Panchenko, Benjamin Braatz, Andreas Zinnen
Clock skew based remote device fingerprinting demystified. GLOBECOM (2012)
Benjamin Braatz, Christoph Brandt
Rule-Based Integration of Domain-Specific Modelling Languages. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 42 (2011)
Benjamin Braatz, Ulrike Golas, Thomas Soboll
How to delete categorically - Two pushout complement constructions. J. Symb. Comput. 46 (3) (2011)
Benjamin Braatz, Christoph Brandt
How to Modify on the Semantic Web? - A Web Application Architecture for Algebraic Graph Transformations on RDF. ICWE Workshops (2010)
Benjamin Braatz, Christoph Brandt
Domain-Specific Modelling Languages with Algebraic Graph Transformations on RDF. SLE (2010)
Benjamin Braatz, Hartmut Ehrig, Karsten Gabriel, Ulrike Golas
Finitary ℳ-Adhesive Categories. ICGT (2010)
Benjamin Braatz
A Rule-Based, Integrated Modelling Approach for Object-Oriented Systems. Electron. Notes Theor. Comput. Sci. 211 (2008)
Benjamin Braatz, Christoph Brandt
Graph Transformations for the Resource Description Framework. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 10 (2008)
Christoph Brandt, Thomas Engel, Benjamin Braatz, Frank Hermann, Hartmut Ehrig
An Approach Using Formally Well-founded Domain Languages for Secure Coarse-grained IT System Modelling in a Real-world Banking Scenario. ACIS (2007)
Hartmut Ehrig, Benjamin Braatz, Markus Klein, Fernando Orejas, Sonia Pérez, Elvira Pino
Object-Oriented Connector-Component Architectures. Electron. Notes Theor. Comput. Sci. 141 (3) (2005)
Hartmut Ehrig, Benjamin Braatz, Markus Klein
Priority Program SoftSpez and the International INT Workshops "Integration of Software Specification Techniques for Applications in Engineering" (DFG-Schwerpunktprogramm SoftSpez und die internationalen INT-Workshops "Integration von Techniken der Softwarespezifikation für ingenieurwissenschaftliche Anwendungen"). it Inf. Technol. 47 (1) (2005)
Hartmut Ehrig, Fernando Orejas, Benjamin Braatz, Markus Klein, Martti Piirainen
A component framework for system modeling based on high-level replacement systems. Softw. Syst. Model. 3 (2) (2004)
Benjamin Braatz, Markus Klein, Gunnar Schröter
Semantical Integration of Object-Oriented Viewpoint Specification Techniques. SoftSpez Final Report (2004)
Hartmut Ehrig, Julia Padberg, Benjamin Braatz, Markus Klein, Fernando Orejas, Sonia Pérez, Elvira Pino
A Generic Framework for Connector Architectures based on Components and Transformations. Electron. Notes Theor. Comput. Sci. 108 (2004)
Benjamin Braatz, Markus Klein, Gunnar Schröter, Matthias Bengel
A Formal Component Concept for the Specification of Industrial Control Systems. SoftSpez Final Report (2004)
Hartmut Ehrig, Fernando Orejas, Benjamin Braatz, Markus Klein, Martti Piirainen
A Component Framework Based on High-Level Replacement Systems. Electron. Notes Theor. Comput. Sci. 72 (3) (2003)
Benjamin Braatz, Hartmut Ehrig, Milan Urbásek
Petri Net Transformations in the "Petri Net Baukasten". Petri Net Technology for Communication-Based Systems (2003)
Hartmut Ehrig, Fernando Orejas, Benjamin Braatz, Markus Klein, Martti Piirainen
A Generic Component Framework for System Modeling. FASE (2002)
Hartmut Ehrig, Fernando Orejas, Benjamin Braatz, Markus Klein, Martti Piirainen
A Transformation-Based Component Framework for a Generic Integrated Modeling Technique. Trans. SDPS 6 (4) (2002)