Back
  1. Home
  2. Profile of Frank HERMANN (Unilu)
Profil

HERMANN Frank

Main Referenced Co-authors
Ehrig, Hartmut (41)
Ermel, Claudia (17)
ENGEL, Thomas  (12)
Orejas, Fernando (12)
GOTTMANN, Susann  (9)
Main Referenced Keywords
model transformation (22); graph transformation (15); triple graph grammars (10); model integration (5); syntactical correctness (5);
Main Referenced Unit & Research Centers
Interdisciplinary Centre for Security, Reliability and Trust (2)
Interdisciplinrary Centre for Security, Reliability and Trust (1)
SnT (1)
Main Referenced Disciplines
Computer science (71)

Publications (total 71)

The most downloaded
462 downloads
Diskin, Z., Xiong, Y., Czarnecki, K., Ehrig, H., Hermann, F., & Orejas, F. (2011). From State- to Delta-Based Bidirectional Model Transformations: The Symmetric Case. In Model Driven Engineering Languages and Systems (pp. 304-318). Springer. doi:10.1007/978-3-642-24485-8_22 https://hdl.handle.net/10993/3920

The most cited

103 citations (Scopus®)

Corradini, A., Heindel, T., Hermann, F., & König, B. (2006). Sesqui-Pushout Rewriting. In Graph Transformation (pp. 30-45). Springer Verlag. doi:10.1007/11841883_4 https://hdl.handle.net/10993/3868

Hermann, F., Ehrig, H., Golas, U., & Orejas, F. (01 August 2014). Formal Analysis of Model Transformations Based on Triple Graph Grammars. Mathematical Structures in Computer Science, 24 (4-08), 1-57. doi:10.1017/S0960129512000370
Peer reviewed

Hermann, F., Ehrig, H., & Corradini, A. (01 August 2014). Analysis of Permutation Equivalence in M-adhesive Transformation Systems with Negative Application Conditions. Mathematical Structures in Computer Science, 24 (4-09), 1-47. doi:10.1017/S0960129512000382
Peer reviewed

Hermann, F., Gottmann, S., Nachtigall, N., Ehrig, H., Braatz, B., Morelli, G., Pierre, A., Engel, T., & Ermel, C. (2014). Triple Graph Grammars in the Large for Translating Satellite Procedures - Extended Version. (TR-SnT-2014-7). Luxembourg, Luxembourg: SnT.

Hermann, F., Gottmann, S., Nachtigall, N., Ehrig, H., Braatz, B., Morelli, G., Pierre, A., Engel, T., & Ermel, C. (2014). Triple Graph Grammars in the Large for Translating Satellite Procedures. In Theory and Practice of Model Transformations (pp. 122-137). Springer.
Peer reviewed

Anjorin, A., Cunha, A., Giese, H., Hermann, F., Rensink, A., & Schürr, A. (28 March 2014). BenchmarX. CEUR Workshop Proceedings, 1133, 82-86.
Peer Reviewed verified by ORBi

Hermann, F., Hommes, S., State, R., & Engel, T. (2014). Correctness of source code extension for fault detection in openflow based networks. (TR-SnT-2014-2). Luxembourg, Luxembourg: SnT.

Hermann, F., Nachtigall, N., Braatz, B., Engel, T., & Gottmann, S. (2014). Solving the FIXML2Code-case Study with HenshinTGG. In L. M. Rose, C. Krause, ... T. Horn (Eds.), Proceedings of the 7th Transformation Tool Contest - part of the Software Technologies: Applications and Foundations (STAF 2014) federation of conferences (pp. 32-46). CEUR-WS.org.
Peer reviewed

Nachtigall, N., Hermann, F., Braatz, B., & Engel, T. (2014). Towards Domain Completeness for Model Transformations Based on Triple Graph Grammars. In M. Amrani, E. Syriani, ... M. Wimmer (Eds.), Proceedings of the Third International Workshop on Verification of Model Transformations - co-located with Software Technologies: Applications and Foundations (STAF 2014) (pp. 46-55). CEUR-WS.org.
Peer reviewed

Hommes, S., Hermann, F., State, R., & Engel, T. (2013). Automated Source Code Extension for Debugging of OpenFlow based Networks. In Proc. 9th International Conference on Network and Service Management (CNSM) (pp. 105-108). doi:10.1109/CNSM.2013.6727816
Peer reviewed

Corradini, A., Heckel, R., Hermann, F., Gottmann, S., & Nachtigall, N. (2013). Transformation Systems with Incremental Negative Application Conditions. In Recent Trends in Algebraic Development Techniques (pp. 127-142). Springer. doi:10.1007/978-3-642-37635-1_8
Peer reviewed

Hermann, F., Gottmann, S., Nachtigall, N., Braatz, B., Morelli, G., Pierre, A., & Engel, T. (2013). On an Automated Translation of Satellite Procedures Using Triple Graph Grammars. In K. Duddy & G. Kappel (Eds.), Theory and Practice of Model Transformations (pp. 50-51). Springer. doi:10.1007/978-3-642-38883-5_4
Peer reviewed

Brandt, C., & Hermann, F. (2013). Conformance Analysis of Organizational Models: A New Enterprise Modeling Framework using Algebraic Graph Transformation. International Journal of Information System Modeling and Design, 4 (1), 42-78. doi:10.4018/jismd.2013010103
Peer Reviewed verified by ORBi

Orejas, F., Boronat, A., Ehrig, H., Hermann, F., & Schölzel, H. (2013). On Propagation-Based Concurrent Model Synchronization. Electronic Communications of the EASST, 57, 1-20. doi:10.14279/tuj.eceasst.57.871.864
Peer Reviewed verified by ORBi

Gottmann, S., Hermann, F., Nachtigall, N., Benjamin, B., Ermel, C., Ehrig, H., & Engel, T. (2013). Correctness and Completeness of Generalised Concurrent Model Synchronisation Based on Triple Graph Grammars. In B. Baudry, J. Dingel, L. Lucio, ... H. Vangheluwe (Eds.), Proc. Int. Workshop on Analysis of Model Transformations 2013 (AMT'13). CEUR-WS.org.
Peer reviewed

Gottmann, S., Hermann, F., Ermel, C., Engel, T., & Morelli, G. (2013). Towards Bidirectional Engineering of Satellite Control Procedures Using Triple Graph Grammars. In C. Jacquet, D. Balasubramanian, E. Jones, ... Mészáros (Eds.), Proc. Int. Workshop on Multi-Paradigm Modeling 2013 (MPM'13). CEUR-WS.org.
Peer reviewed

Hermann, F., Ehrig, H., Orejas, F., Czarnecki, K., Diskin, Z., Xiong, Y., Gottmann, S., & Engel, T. (2013). Model synchronization based on triple graph grammars: correctness, completeness and invertibility. Software and Systems Modeling. doi:10.1007/s10270-012-0309-1
Peer reviewed

Hermann, F., Ehrig, H., & Ermel, C. (2012). Concurrent Model Synchronization with Conflict Resolution Based on Triple Graph Grammars. In A. Z. J. de Lara (Ed.), Fundamental Approaches to Software Engineering (pp. 178-193). Springer. doi:10.1007/978-3-642-28872-2
Peer reviewed

Ermel, C., Hermann, F., Gall, J., & Binanzer, D. (2012). Visual Modeling and Analysis of EMF Model Transformations based on Triple Graph Grammars. Electronic Communications of the EASST, 1-12. doi:10.14279/tuj.eceasst.54.771.786
Peer Reviewed verified by ORBi

Hermann, F., & Voigtländer, J. (2012). First International Workshop on Bidirectional Transformations (BX 2012): Preface. Electronic Communications of the EASST, 49, 1-4.

Corradini, A., Heckel, R., Hermann, F., Gottmann, S., & Nachtigall, N. (2012). On the Concurrent Semantics of Transformation Systems with Negative Application Conditions. (TR-08/12). Madrid, Spain: Universidad Complutense de Madrid Departamento de Sistemas Informáticos y Computación.

Schölzel, H., Ehrig, H., Maximova, M., Gabriel, K., & Hermann, F. (2012). Satisfaction, Restriction and Amalgamation of Constraints in the Framework of M-Adhesive Categories. Electronic Proceedings in Theoretical Computer Science, 93, 83-104. doi:10.4204/EPTCS.93.5
Peer Reviewed verified by ORBi

Heckel, R., Ehrig, H., Golas, U., & Hermann, F. (2012). Parallelism and Concurrency of Stochastic Graph Transformations. Graph Transformations, 7562, 96-110.
Peer reviewed

Hermann, F., Ehrig, H., Ermel, C., & Orejas, F. (2011). Concurrent Model Synchronization with Conflict Resolution Based on Triple Graph Grammars-Extended Version. (2011-14). Berlin, Germany: Berlin Institute of Technology.

Hermann, F., Ehrig, H., Orejas, F., Czarnecki, K., Diskin, Z., & Xiong, Y. (2011). Correctness of Model Synchronization Based on Triple Graph Grammars. In Model Driven Engineering Languages and Systems (pp. 668-682). Springer. doi:10.1007/978-3-642-24485-8_49
Peer reviewed

Diskin, Z., Xiong, Y., Czarnecki, K., Ehrig, H., Hermann, F., & Orejas, F. (2011). From State- to Delta-Based Bidirectional Model Transformations: The Symmetric Case. In Model Driven Engineering Languages and Systems (pp. 304-318). Springer. doi:10.1007/978-3-642-24485-8_22
Peer reviewed

Brandt, C., Hermann, F., & Groote, J. F. (2011). Generation and Evaluation of Business Continuity Processes using Algebraic Graph Transformation and the mCRL2 Process Algebra. Journal of Research & Practice in Information Technology, 43 (1), 65-86.
Peer reviewed

Hermann, F. (2011). Analysis and Optimization of Visual Enterprise Models Based on Graph and Model Transformation. Berlin, Germany: TU Berlin.

Golas, U., Ehrig, H., & Hermann, F. (2011). Formal Specification of Model Transformations by Triple Graph Grammars with Application Conditions. Electronic Communications of the EASST, 39, 1-27. doi:10.14279/tuj.eceasst.39.646.664
Peer Reviewed verified by ORBi

Ehrig, H., Hermann, F., Schölzel, H., & Brandt, C. (2011). Propagation of Constraints along Model Transformations Based on Triple Graph Grammars. Electronic Communications of the EASST, 41, 1-15. doi:10.14279/tuj.eceasst.41.581.613
Peer Reviewed verified by ORBi

Hermann, F., Ehrig, H., Orejas, F., Czarnecki, K., Diskin, Z., & Xiong, Y. (2011). Correctness of Model Synchronization Based on Triple Graph Grammars - Extended Version. (2011-07). Technische Universität Berlin,Fakultät IV.

Diskin, Z., Xiong, Y., Czarnecki, K., Ehrig, H., Hermann, F., & Orejas, F. (2011). From state- to delta-based bidirectional model transformations: the symmetric case. (GSDLAB-TR 2011-05-03). GSD Lab, University of Waterloo.

Hermann, F., Ehrig, H., Orejas, F., & Golas, U. (2010). Formal Analysis of Functional Behaviour of Model Transformations Based on Triple Graph Grammars. In Graph Transformation (pp. 155-170). Springer Verlag. doi:10.1007/978-3-642-15928-2_11
Peer reviewed

Naeem, M., Heckel, R., Orejas, F., & Hermann, F. (2010). Incremental Service Composition Based on Partial Matching of Visual Contracts. In Fundamental Approaches to Software Engineering (pp. 123-138). Springer Verlag. doi:10.1007/978-3-642-12029-9_9
Peer reviewed

Brandt, C., Hermann, F., Ehrig, H., & Thomas, E. (2010). Enterprise Modelling using Algebraic Graph Transformation - Extended Version. (2010/06). TU Berlin, Fak. IV.

Hermann, F., Ehrig, H., Orejas, F., & Ulrike, G. (2010). Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars - Extended Version. (2010/08). TUB.

Hermann, F., Corradini, A., Ehrig, H., & König, B. (2010). Efficient Process Analysis of Transformation Systems Based on Petri nets. (TR 2010-3). TU Berlin.

Brandt, C., Hermann, F., & Groote, J.-F. (2010). 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: Extended Version. (2010/11). TU Berlin, Fak. IV.

Hermann, F., Ehrig, H., Golas, U., & Orejas, F. (2010). Efficient Analysis and Execution of Correct and Complete Model Transformations Based on Triple Graph Grammars - Extended Version. (2010/13). TUB.

Modica, T., Gabriel, K., Ehrig, H., Hoffmann, K., Shareef, S., Ermel, C., Golas, U., Hermann, F., & Biermann, E. (2010). Low- and High-Level Petri Nets with Individual Tokens. (2009/13). Technische Universität Berlin.

Brandt, C., & Hermann, F. (2010). How Far Can Enterprise Modeling for Banking Be Supported by Graph Transformation? In H. Ehrig, A. Rensink, G. Rozenberg, ... A. Schürr (Eds.), Int. Conf. on Graph Transformation (ICGT 2010) (pp. 3-26). Springer. doi:10.1007/978-3-642-15928-2_2
Peer reviewed

Hermann, F., Hülsbusch, M., & König, B. (2010). Specification and Verification of Model Transformations. Electronic Communications of the EASST, 30, 1--21. doi:10.14279/tuj.eceasst.30.424.400
Peer Reviewed verified by ORBi

Hermann, F., Ehrig, H., Golas, U., & Fernando, O. (2010). Efficient Analysis and Execution of Correct and Complete Model Transformations Based on Triple Graph Grammars. In J. Bézivin, R. M. Soley, ... A. Vallecillo (Eds.), Proc. Int. Workshop on Model Driven Interoperability (MDI'10) (pp. 22--31). ACM. doi:10.1145/1866272.1866277
Peer reviewed

Hermann, F., Corradini, A., Ehrig, H., & König, B. (2010). Efficient Analysis of Permutation Equivalence of Graph Derivations Based on Petri Nets. Electronic Communications of the EASST, 29, 1--15. doi:10.14279/tuj.eceasst.29.415.378
Peer Reviewed verified by ORBi

Ehrig, H., Golas, U., & Hermann, F. (2010). Categorical Frameworks for Graph Transformation and HLR Systems based on the DPO Approach. Bulletin of the EATCS, 102, 111--121.

Hermann, F. (2009). Permutation Equivalence of DPO Derivations with Negative Application Conditions based on Subobject Transformation Systems: Long Version. (2009/10). TU Berlin, Fak. IV.

Ehrig, H., Ermel, C., Hermann, F., & Ulrike, P. (2009). On-the-Fly Construction, Correctness and Completeness of Model Transformations based on Triple Graph Grammars: Long Version. (2009-11). Technische Universität Berlin.

Ehrig, H., Hermann, F., & Sartorius, C. (2009). Completeness and Correctness of Model Transformations based on Triple Graph Grammars with Negative Application Conditions (Long Version). (2009/3). TU Berlin.

Hermann, F., Ehrig, H., & Ermel, C. (2009). Transformation of Type Graphs with Inheritance for Ensuring Security in E-Government Networks. In M. Wirsing & C. Chechik (Eds.), Proc. International Conference on Fundamental Aspects of Software Engineering (FASE'09) (pp. 325-339). Springer.
Peer reviewed

Brandt, C., Hermann, F., & Engel, T. (2009). 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. In Enterprise Distributed Object Computing Conference Workshops, 2009. EDOCW 2009. 13th, Proc. International Workshop on Dynamic and Declarative Business Processes (DDBP 2009) (pp. 64-71). United States: IEEE. doi:10.1109/EDOCW.2009.5332015
Peer reviewed

Brandt, C., Hermann, F., & Engel, T. (2009). Security and Consistency of IT and Business Models at Credit Suisse realized by Graph Constraints, Transformation and Integration using Algebraic Graph Theory. In Proc. Int. Conf. on Exploring Modeling Methods in Systems Analysis and Design 2009 (EMMSAD'09) (pp. 339-352). Heidelberg, Unknown/unspecified: Springer Verlag. doi:10.1007/978-3-642-01862-6_28
Peer reviewed

Ehrig, H., Hermann, F., & Prange, U. (2009). Cospan DPO Approach: An Alternative for DPO Graph Transformations. Bulletin of the EATCS, 139--146.

Ehrig, H., Hermann, F., & Sartorius, C. (2009). Completeness and Correctness of Model Transformations based on Triple Graph Grammars with Negative Application Conditions. Electronic Communications of the EASST, 18. doi:10.14279/tuj.eceasst.18.270.257
Peer Reviewed verified by ORBi

Hermann, F. (2009). Permutation Equivalence of DPO Derivations with Negative Application Conditions based on Subobject Transformation Systems. Electronic Communications of the EASST, 16.
Peer Reviewed verified by ORBi

Ehrig, H., Ermel, C., Hermann, F., & Ulrike, P. (2009). On-the-Fly Construction, Correctness and Completeness of Model Transformations based on Triple Graph Grammars. In A. Schürr & B. Selic (Eds.), ACM/IEEE 12th Int. Conf. on Model Driven Engineering Languages and Systems (MODELS'09) (pp. 241--255). Springer.
Peer reviewed

Ehrig, H., Ermel, C., Hermann, F., & König, B. (2009). Behaviour Simulation and Equivalence of Systems Modelled by Graph Transformation. Bulletin of the EATCS, 97, 117--125.

Hermann, F. (2008). Process Construction and Analysis for Workflows Modelled by Adhesive HLR Systems with Application Conditions. In H. Ehrig, R. Heckel, G. Rozenberg, ... G. Taentzer (Eds.), Proc. International Conference on Graph Transformation (ICGT'08) (pp. 496--498). Springer. doi:10.1007/978-3-540-87405-8\_44
Peer reviewed

Hermann, F., & Ehrig, H. (2008). Process Definition using Subobject Transformation Systems. Bulletin of the EATCS, 95, 153-163.

Hermann, F., Ehrig, H., & Ermel, C. (2008). Transformation of Type Graphs with Inheritance for Ensuring Security in E-Government Networks (Long Version). (2008/07). Technische Universität Berlin, Fak. IV.

Ehrig, H., Ehrig, K., & Hermann, F. (2008). From Model Transformation to Model Integration based on the Algebraic Approach to Triple Graph Grammars (Long Version). (2008/03). Technische Universität Berlin,Fakultät IV.

Hermann, F. (2008). Process Definition of Adhesive HLR Systems. (2008/09). Berlin, Germany: Technische Universität Berlin,Fakultät IV.

Ehrig, H., Ermel, C., & Hermann, F. (2008). On the Relationship of Model Transformations Based on Triple and Plain Graph Grammars (Long Version). (2008/05). Technische Universität Berlin, Fakultät IV.

Ehrig, H., Ehrig, K., & Hermann, F. (2008). From Model Transformation to Model Integration based on the Algebraic Approach to Triple Graph Grammars. Electronic Communications of the EASST, 10. doi:10.14279/tuj.eceasst.10.154.136
Peer Reviewed verified by ORBi

Hermann, F., Ehrig, H., & Taentzer, G. (2008). A typed attributed Graph Grammar with Inheritance for the Abstract Syntax of UML Class and Sequence Diagrams. In D. Varro & R. Bruni (Eds.), Proc. International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT'06) (pp. 261--269). Elsevier Science.
Peer reviewed

Corradini, A., Hermann, F., & Sobocinski, P. (2008). Subobject Transformation Systems. Applied Categorical Structures, 16 (3), 389--419. doi:10.1007/s10485-008-9127-6
Peer reviewed

Ehrig, H., Ermel, C., & Hermann, F. (2008). On the Relationship of Model Transformations Based on Triple and Plain Graph Grammars. In G. Karsai & G. Taentzer (Eds.), Proc. Third International Workshop on Graph and Model Transformation (pp. 9--16). ACM. doi:10.1145/1402947.1402950
Peer reviewed

Biermann, E., Ermel, C., Hermann, F., & Tony, M. (2007). A Visual Editor for Reconfigurable Object Nets based on the ECLIPSE Graphical Editor Framework. In G. Juhas & J. Desel (Eds.), Proc. 14th Workshop on Algorithms and Tools for Petri Nets (AWPN'07). GI Special Interest Group on Petri Nets and Related System Models.
Peer reviewed

Ehrig, H., Ehrig, K., Ermel, C., Hermann, F., & Taentzer, G. (2007). Information Preserving Bidirectional Model Transformations. In M. B. Dwyer & A. Lopes (Eds.), Fundamental Approaches to Software Engineering (pp. 72--86). Springer.
Peer reviewed

Hermann, F., Kastenberg, H., Boneva, I., Arend, R., Ehrig, K., & Giese, H. (2007). Simulating Multi-graph Transformations Using Simple Graphs. In Workshop on Graph Transformation and Visual Modelling Techniques (GT-VMT'07). Electronic Communications of the EASST.
Peer reviewed

Corradini, A., Heindel, T., Hermann, F., & König, B. (2006). Sesqui-Pushout Rewriting. In Graph Transformation (pp. 30-45). Springer Verlag. doi:10.1007/11841883_4
Peer reviewed

Hermann, F. (2006). A typed attributed Graph Grammar for syntax-directed editing of UML Sequence Diagrams. (2006-05). Berlin, Germany: Technische Universität Berlin,Fakultät IV.

Kastenberg, H., Hermann, F., & Modica, T. (2006). Towards Translating Graph Transformation Systems by Model Transformation. In Proc. Int. Workshop on Graph and Model Transformation (GraMoT'06). Brighton, UK, Unknown/unspecified: Electronic Communications of the EASST.
Peer reviewed

Contact ORBilu