Frank Hermann

Publication Activity (10 Years)

Years Active: 2006-2016
Publications (10 Years): 1

Top Venues

VOLT@STAF

Math. Struct. Comput. Sci.

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

Softw. Syst. Model.

Berlin Institute of Technology (PHD)

Education History

Berlin Institute of Technology

PHD

Publications

Susann Gottmann, Nico Nachtigall, Claudia Ermel, Frank Hermann, Thomas Engel
Towards the Propagation of Model Updates along different Views in Multi-View Models. Bx@ETAPS (2016)
Frank Hermann, Hartmut Ehrig, Fernando Orejas, Krzysztof Czarnecki, Zinovy Diskin, Yingfei Xiong, Susann Gottmann, Thomas Engel
Model synchronization based on triple graph grammars: correctness, completeness and invertibility. Softw. Syst. Model. 14 (1) (2015)
Nico Nachtigall, Frank Hermann, Benjamin Braatz, Thomas Engel
Towards Domain Completeness for Model Transformations Based on Triple Graph Grammars. VOLT@STAF (2014)
Frank Hermann, Andrea Corradini, Hartmut Ehrig
Analysis of permutation equivalence in -adhesive transformation systems with negative application conditions. Math. Struct. Comput. Sci. 24 (4) (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)
Anthony Anjorin, Alcino Cunha, Holger Giese, Frank Hermann, Arend Rensink, Andy Schürr
BenchmarX. EDBT/ICDT Workshops (2014)
Frank Hermann, Nico Nachtigall, Benjamin Braatz, Thomas Engel, Susann Gottmann
Solving the FIXML2Code-case Study with HenshinTGG. TTC@STAF (2014)
Frank Hermann, Stefan Sauer
13th International Workshop on Graph Transformation and Visual Modeling Techniques (GTVMT 2014): Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 67 (2014)
Moussa Amrani, Eugene Syriani, Manuel Wimmer, Robert Bill, Martin Gogolla, Frank Hermann, Kevin Lano
Report on the Third Workshop on Verification of Model Transformations (VOLT 2014). VOLT@STAF (2014)
Frank Hermann, Hartmut Ehrig, Ulrike Golas, Fernando Orejas
Formal analysis of model transformations based on triple graph grammars. Math. Struct. Comput. Sci. 24 (4) (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)
Hartmut Ehrig, Frank Hermann, Hanna Schölzel, Christoph Brandt
Propagation of constraints along model transformations using triple graph grammars and borrowed context. J. Vis. Lang. Comput. 24 (5) (2013)
Fernando Orejas, Artur Boronat, Hartmut Ehrig, Frank Hermann, Hanna Schölzel
On Propagation-Based Concurrent Model Synchronization. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 57 (2013)
Christoph Brandt, Frank Hermann
Conformance Analysis of Organizational Models: A New Enterprise Modeling Framework using Algebraic Graph Transformation. Int. J. Inf. Syst. Model. Des. 4 (1) (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)
Susann Gottmann, Frank Hermann, Claudia Ermel, Thomas Engel, Gianluigi Morelli
Towards Bidirectional Engineering of Satellite Control Procedures Using Triple Graph Grammars. MPM@MoDELS (2013)
Stefan Hommes, Frank Hermann, Radu State, Thomas Engel
Automated source code extension for debugging of OpenFlow based networks. CNSM (2013)
Reiko Heckel, Hartmut Ehrig, Ulrike Golas, Frank Hermann
Parallelism and Concurrency of Stochastic Graph Transformations. ICGT (2012)
Andrea Corradini, Reiko Heckel, Frank Hermann, Susann Gottmann, Nico Nachtigall
Transformation Systems with Incremental Negative Application Conditions. WADT (2012)
Frank Hermann, Hartmut Ehrig, Claudia Ermel, Fernando Orejas
Concurrent Model Synchronization with Conflict Resolution Based on Triple Graph Grammars. FASE (2012)
Claudia Ermel, Frank Hermann, Jürgen Gall, Daniel Binanzer
Visual Modeling and Analysis of EMF Model Transformations Based on Triple Graph Grammars. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 54 (2012)
Hanna Schölzel, Hartmut Ehrig, Maria Maximova, Karsten Gabriel, Frank Hermann
Satisfaction, Restriction and Amalgamation of Constraints in the Framework of M-Adhesive Categories ACCAT (2012)
Frank Hermann, Janis Voigtländer
First International Workshop on Bidirectional Transformations (BX 2012): Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 49 (2012)
Hartmut Ehrig, Frank Hermann, Hanna Schölzel, Christoph Brandt
Propagation of Constraints along Model Transformations Based on Triple Graph Grammars. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 41 (2011)
Christoph Brandt, Frank Hermann, Jan Friso Groote
Generation and Evaluation of Business Continuity Processes using Algebraic Graph Transformation and the mCRL2 Process Algebra. J. Res. Pract. Inf. Technol. 43 (1) (2011)
Zinovy Diskin, Yingfei Xiong, Krzysztof Czarnecki, Hartmut Ehrig, Frank Hermann, Fernando Orejas
From State- to Delta-Based Bidirectional Model Transformations: The Symmetric Case. MoDELS (2011)
Frank Hermann, Hartmut Ehrig, Fernando Orejas, Krzysztof Czarnecki, Zinovy Diskin, Yingfei Xiong
Correctness of Model Synchronization Based on Triple Graph Grammars. MoDELS (2011)
Ulrike Golas, Hartmut Ehrig, Frank Hermann
Formal Specification of Model Transformations by Triple Graph Grammars with Application Conditions. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 39 (2011)
Frank Hermann, Hartmut Ehrig, Fernando Orejas, Ulrike Golas
Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars. ICGT (2010)
Frank Hermann, Andrea Corradini, Hartmut Ehrig, Barbara König
Efficient Analysis of Permutation Equivalence of Graph Derivations Based on Petri Nets. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 29 (2010)
Christoph Brandt, Frank Hermann
How Far Can Enterprise Modeling for Banking Be Supported by Graph Transformation? ICGT (2010)
Muhammad Naeem, Reiko Heckel, Fernando Orejas, Frank Hermann
Incremental Service Composition Based on Partial Matching of Visual Contracts. FASE (2010)
Frank Hermann, Mathias Hülsbusch, Barbara König
Specification and Verification of Model Transformations. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 30 (2010)
Frank Hermann, Hartmut Ehrig, Ulrike Golas, Fernando Orejas
Efficient analysis and execution of correct and complete model transformations based on triple graph grammars. MDI@MoDELS (2010)
Hartmut Ehrig, Ulrike Golas, Frank Hermann
Categorical Frameworks for Graph Transformation and HLR Systems Based on the DPO Approach. Bull. EATCS 102 (2010)
Frank Hermann, Hartmut Ehrig, Claudia Ermel
Transformation of Type Graphs with Inheritance for Ensuring Security in E-Government Networks. FASE (2009)
Hartmut Ehrig, Claudia Ermel, Frank Hermann, Barbara König
Behaviour Simulation and Equivalence of Systems Modelled by Graph Transformation. Bull. EATCS 97 (2009)
Christoph Brandt, Frank Hermann, Thomas Engel
Security and Consistency of IT and Business Models at Credit Suisse Realized by Graph Constraints, Transformation and Integration Using Algebraic Graph Theory. BMMDS/EMMSAD (2009)
Hartmut Ehrig, Claudia Ermel, Frank Hermann, Ulrike Prange
On-the-Fly Construction, Correctness and Completeness of Model Transformations Based on Triple Graph Grammars. MoDELS (2009)
Hartmut Ehrig, Frank Hermann, Ulrike Prange
Cospan DPO Approach: An Alternative for DPO Graph Transformations. Bull. EATCS 98 (2009)
Hartmut Ehrig, Frank Hermann, Christoph Sartorius
Completeness and Correctness of Model Transformations based on Triple Graph Grammars with Negative Application Conditions. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 18 (2009)
Christoph Brandt, Frank Hermann, Thomas Engel
Modeling and reconfiguration of critical business processes for the purpose of a Business Continuity Management respecting security, risk and compliance requirements at Credit Suisse using algebraic graph transformation. EDOCW (2009)
Hartmut Ehrig, Karsten Ehrig, Frank Hermann
From Model Transformation to Model Integration based on the Algebraic Approach to Triple Graph Grammars. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 10 (2008)
Frank Hermann
Process Construction and Analysis for Workflows Modelled by Adhesive HLR Systems with Application Conditions. ICGT (2008)
Hartmut Ehrig, Claudia Ermel, Frank Hermann
On the relationship of model transformations based on triple and plain graph grammars. GRaMoT@ICSE (2008)
Frank Hermann, Hartmut Ehrig
Process Definition using Subobject Transformation Systems. Bull. EATCS 95 (2008)
Frank Hermann
Permutation Equivalence of DPO Derivations with Negative Application Conditions based on Subobject Transformation Systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 16 (2008)
Andrea Corradini, Frank Hermann, Pawel Sobocinski
Subobject Transformation Systems. Appl. Categorical Struct. 16 (3) (2008)
Frank Hermann, Hartmut Ehrig, Gabriele Taentzer
A Typed Attributed Graph Grammar with Inheritance for the Abstract Syntax of UML Class and Sequence Diagrams. Electron. Notes Theor. Comput. Sci. 211 (2008)
Iovka Boneva, Frank Hermann, Harmen Kastenberg, Arend Rensink
Simulating Multigraph Transformations Using Simple Graphs. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 6 (2007)
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, Karsten Ehrig, Claudia Ermel, Frank Hermann, Gabriele Taentzer
Information Preserving Bidirectional Model Transformations. FASE (2007)
Andrea Corradini, Tobias Heindel, Frank Hermann, Barbara König
Sesqui-Pushout Rewriting. ICGT (2006)
Frank Hermann, Harmen Kastenberg, Tony Modica
Towards Translating Graph Transformation Approaches by Model Transformations. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 4 (2006)

Frank Hermann.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Frank Hermann