Benjamin Braatz

28 papers A 1B 4Journal 8Unranked 15

Year	Rank	Type	Title / 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