Benjamin Braatz

According to our database, Benjamin Braatz authored at least 27 papers between 2002 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

A framework for families of domain-specific modelling languages.

Benjamin Braatz, Christoph Brandt

Softw. Syst. Model., 2014

Finitary ℳ-adhesive categories.

Karsten Gabriel, Benjamin Braatz, Hartmut Ehrig, Ulrike Golas

Math. Struct. Comput. Sci., 2014

Towards Domain Completeness for Model Transformations Based on Triple Graph Grammars.

Nico Nachtigall, Frank Hermann, Benjamin Braatz, Thomas Engel

Proceedings of the Third International Workshop on Verification of Model Transformations co-located with Software Technologies: Applications and Foundations, 2014

Solving the FIXML2Code-case Study with HenshinTGG.

Frank Hermann, Nico Nachtigall, Benjamin Braatz, Thomas Engel, Susann Gottmann

Proceedings of the 7th Transformation Tool Contest part of the Software Technologies: Applications and Foundations (STAF 2014) federation of conferences, 2014

Triple Graph Grammars in the Large for Translating Satellite Procedures.

Frank Hermann, Susann Gottmann, Nico Nachtigall, Hartmut Ehrig, Benjamin Braatz, Gianluigi Morelli, Alain Pierre, Thomas Engel, Claudia Ermel

Proceedings of the Theory and Practice of Model Transformations, 2014

Letting the puss in boots sweat: detecting fake access points using dependency of clock skews on temperature.

Fabian Lanze, Andriy Panchenko, Benjamin Braatz, Thomas Engel

Proceedings of the 9th ACM Symposium on Information, Computer and Communications Security, 2014

2013

Symbolic Execution of Satellite Control Procedures in Graph-Transformation-Based EMF Ecosystems.

Nico Nachtigall, Benjamin Braatz, Thomas Engel

Proceedings of the 10th International Workshop on Model Driven Engineering, 2013

Correctness and Completeness of Generalised Concurrent Model Synchronisation Based on Triple Graph Grammars.

Susann Gottmann, Frank Hermann, Nico Nachtigall, Benjamin Braatz, Claudia Ermel, Hartmut Ehrig, Thomas Engel

Proceedings of the Second Workshop on the Analysis of Model Transformations (AMT 2013), 2013

On an Automated Translation of Satellite Procedures Using Triple Graph Grammars.

Frank Hermann, Susann Gottmann, Nico Nachtigall, Benjamin Braatz, Gianluigi Morelli, Alain Pierre, Thomas Engel

Proceedings of the Theory and Practice of Model Transformations, 2013

2012

Clock skew based remote device fingerprinting demystified.

Fabian Lanze, Andriy Panchenko, Benjamin Braatz, Andreas Zinnen

Proceedings of the 2012 IEEE Global Communications Conference, 2012

2011

How to delete categorically - Two pushout complement constructions.

Benjamin Braatz, Ulrike Golas, Thomas Soboll

J. Symb. Comput., 2011

Rule-Based Integration of Domain-Specific Modelling Languages.

Benjamin Braatz, Christoph Brandt

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

2010

Domain-Specific Modelling Languages with Algebraic Graph Transformations on RDF.

Benjamin Braatz, Christoph Brandt

Proceedings of the Software Language Engineering - Third International Conference, 2010

How to Modify on the Semantic Web? - A Web Application Architecture for Algebraic Graph Transformations on RDF.

Benjamin Braatz, Christoph Brandt

Proceedings of the Current Trends in Web Engineering, 2010

2008

Graph Transformations for the Resource Description Framework.

Benjamin Braatz, Christoph Brandt

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008

2007

An Approach Using Formally Well-founded Domain Languages for Secure Coarse-grained IT System Modelling in a Real-world Banking Scenario.

Christoph Brandt, Thomas Engel, Benjamin Braatz, Frank Hermann, Hartmut Ehrig

Proceedings of the Australasian Conference on Information Systems, 2007

2006

A Rule-Based, Integrated Modelling Approach for Object-Oriented Systems.

Benjamin Braatz

Proceedings of the Fifth International Workshop on Graph Transformation and Visual Modeling Techniques, 2006

2005

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").

Hartmut Ehrig, Benjamin Braatz, Markus Klein

it Inf. Technol., 2005

Object-Oriented Connector-Component Architectures.

Hartmut Ehrig, Benjamin Braatz, Markus Klein, Fernando Orejas, Sonia Pérez, Elvira Pino

Proceedings of the Second International Workshop on Formal Foundations of Embedded Software and Component-based Software Architectures, 2005

2004

A component framework for system modeling based on high-level replacement systems.

Hartmut Ehrig, Fernando Orejas, Benjamin Braatz, Markus Klein, Martti Piirainen

Softw. Syst. Model., 2004

A Generic Framework for Connector Architectures based on Components and Transformations.

Hartmut Ehrig, Julia Padberg, Benjamin Braatz, Markus Klein, Fernando Orejas, Sonia Pérez, Elvira Pino

Proceedings of the First International Workshop on Formal Foundations of Embedded Software and Component-based Software Architectures, 2004

A Formal Component Concept for the Specification of Industrial Control Systems.

Benjamin Braatz, Markus Klein, Gunnar Schröter, Matthias Bengel

Proceedings of the Integration of Software Specification Techniques for Applications in Engineering, 2004

Semantical Integration of Object-Oriented Viewpoint Specification Techniques.

Benjamin Braatz, Markus Klein, Gunnar Schröter

Proceedings of the Integration of Software Specification Techniques for Applications in Engineering, 2004

2003

Petri Net Transformations in the "Petri Net Baukasten".

Benjamin Braatz, Hartmut Ehrig, Milan Urbásek

Proceedings of the Petri Net Technology for Communication-Based Systems, 2003

2002

A Transformation-Based Component Framework for a Generic Integrated Modeling Technique.

Hartmut Ehrig, Fernando Orejas, Benjamin Braatz, Markus Klein, Martti Piirainen

Trans. SDPS, 2002

A Component Framework Based on High-Level Replacement Systems.

Hartmut Ehrig, Fernando Orejas, Benjamin Braatz, Markus Klein, Martti Piirainen

Proceedings of the International Workshop on Graph Transformation and Visual Modeling Techniques, 2002

A Generic Component Framework for System Modeling.

Hartmut Ehrig, Fernando Orejas, Benjamin Braatz, Markus Klein, Martti Piirainen

Proceedings of the Fundamental Approaches to Software Engineering, 2002