Benjamin Braatz

28 papers A 1B 4Journal 8Unranked 15
YearRankTypeTitle / Venue / Authors
2014 J jnl
A framework for families of domain-specific modelling languages.
Softw. Syst. Model.
Benjamin Braatz, Christoph Brandt
2014 J jnl
Finitary ℳ-adhesive categories.
Math. Struct. Comput. Sci.
Karsten Gabriel, Benjamin Braatz, Hartmut Ehrig, Ulrike Golas
2014 A conf
Letting the puss in boots sweat: detecting fake access points using dependency of clock skews on temperature.
AsiaCCS
Fabian Lanze, Andriy Panchenko, Benjamin Braatz, Thomas Engel
2014 — conf
Solving the FIXML2Code-case Study with HenshinTGG.
TTC@STAF
Frank Hermann, Nico Nachtigall, Benjamin Braatz, Thomas Engel, Susann Gottmann
2014 — conf
Towards Domain Completeness for Model Transformations Based on Triple Graph Grammars.
VOLT@STAF
Nico Nachtigall, Frank Hermann, Benjamin Braatz, Thomas Engel
2014 — conf
Triple Graph Grammars in the Large for Translating Satellite Procedures.
ICMT
Frank Hermann, Susann Gottmann, Nico Nachtigall, Hartmut Ehrig, Benjamin Braatz, Gianluigi Morelli, Alain Pierre, Thomas Engel, Claudia Ermel
2013 — conf
Correctness and Completeness of Generalised Concurrent Model Synchronisation Based on Triple Graph Grammars.
AMT@MoDELS
Susann Gottmann, Frank Hermann, Nico Nachtigall, Benjamin Braatz, Claudia Ermel, Hartmut Ehrig, Thomas Engel
2013 — conf
On an Automated Translation of Satellite Procedures Using Triple Graph Grammars.
ICMT
Frank Hermann, Susann Gottmann, Nico Nachtigall, Benjamin Braatz, Gianluigi Morelli, Alain Pierre, Thomas Engel
2013 — conf
Symbolic Execution of Satellite Control Procedures in Graph-Transformation-Based EMF Ecosystems.
MoDeVVa@MoDELS
Nico Nachtigall, Benjamin Braatz, Thomas Engel
2012 B conf
Clock skew based remote device fingerprinting demystified.
GLOBECOM
Fabian Lanze, Andriy Panchenko, Benjamin Braatz, Andreas Zinnen
2011 J jnl
How to delete categorically - Two pushout complement constructions.
J. Symb. Comput.
Benjamin Braatz, Ulrike Golas, Thomas Soboll
2011 J jnl
Rule-Based Integration of Domain-Specific Modelling Languages.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Benjamin Braatz, Christoph Brandt
2010 B conf
Domain-Specific Modelling Languages with Algebraic Graph Transformations on RDF.
SLE
Benjamin Braatz, Christoph Brandt
2010 B conf
Finitary ℳ-Adhesive Categories.
ICGT
Benjamin Braatz, Hartmut Ehrig, Karsten Gabriel, Ulrike Golas
2010 — conf
How to Modify on the Semantic Web? - A Web Application Architecture for Algebraic Graph Transformations on RDF.
ICWE Workshops
Benjamin Braatz, Christoph Brandt
2008 J jnl
Graph Transformations for the Resource Description Framework.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Benjamin Braatz, Christoph Brandt
2007 — conf
An Approach Using Formally Well-founded Domain Languages for Secure Coarse-grained IT System Modelling in a Real-world Banking Scenario.
ACIS
Christoph Brandt, Thomas Engel, Benjamin Braatz, Frank Hermann, Hartmut Ehrig
2006 — conf
A Rule-Based, Integrated Modelling Approach for Object-Oriented Systems.
GT-VMT@ETAPS
Benjamin Braatz
2005 — conf
Object-Oriented Connector-Component Architectures.
FESCA@ETAPS
Hartmut Ehrig, Benjamin Braatz, Markus Klein, Fernando Orejas, Sonia Pérez, Elvira Pino
2005 J jnl
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.
Hartmut Ehrig, Benjamin Braatz, Markus Klein
2004 — conf
A Formal Component Concept for the Specification of Industrial Control Systems.
SoftSpez Final Report
Benjamin Braatz, Markus Klein, Gunnar Schröter, Matthias Bengel
2004 — conf
A Generic Framework for Connector Architectures based on Components and Transformations.
FESCA@ETAPS
Hartmut Ehrig, Julia Padberg, Benjamin Braatz, Markus Klein, Fernando Orejas, Sonia Pérez, Elvira Pino
2004 J jnl
A component framework for system modeling based on high-level replacement systems.
Softw. Syst. Model.
Hartmut Ehrig, Fernando Orejas, Benjamin Braatz, Markus Klein, Martti Piirainen
2004 — conf
Semantical Integration of Object-Oriented Viewpoint Specification Techniques.
SoftSpez Final Report
Benjamin Braatz, Markus Klein, Gunnar Schröter
2003 — conf
Petri Net Transformations in the "Petri Net Baukasten".
Petri Net Technology for Communication-Based Systems
Benjamin Braatz, Hartmut Ehrig, Milan Urbásek
2002 — conf
A Component Framework Based on High-Level Replacement Systems.
GT-VMT@ICGT
Hartmut Ehrig, Fernando Orejas, Benjamin Braatz, Markus Klein, Martti Piirainen
2002 B conf
A Generic Component Framework for System Modeling.
FASE
Hartmut Ehrig, Fernando Orejas, Benjamin Braatz, Markus Klein, Martti Piirainen
2002 J jnl
A Transformation-Based Component Framework for a Generic Integrated Modeling Technique.
Trans. SDPS
Hartmut Ehrig, Fernando Orejas, Benjamin Braatz, Markus Klein, Martti Piirainen