![]() ![]() | 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 ![]() |
![]() ![]() | 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 ![]() |
![]() ![]() | 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. https://orbilu.uni.lu/handle/10993/16887 |
![]() ![]() | 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. ![]() |
![]() ![]() | Anjorin, A., Cunha, A., Giese, H., HERMANN, F., Rensink, A., & Schürr, A. (28 March 2014). BenchmarX. CEUR Workshop Proceedings, 1133, 82-86. ![]() |
![]() ![]() | 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. https://orbilu.uni.lu/handle/10993/15749 |
![]() ![]() | 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. ![]() |
![]() ![]() | 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. ![]() |
![]() ![]() | 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 ![]() |
![]() ![]() | 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 ![]() |
![]() ![]() | 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 ![]() |
![]() ![]() | 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 ![]() |
![]() ![]() | 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. ![]() |
![]() ![]() | 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 ![]() |
![]() ![]() | 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. ![]() |
![]() ![]() | 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 ![]() |
![]() ![]() | 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. https://orbilu.uni.lu/handle/10993/3932 |
![]() ![]() | 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 ![]() |
![]() ![]() | 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 ![]() |
![]() ![]() | 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 ![]() |
![]() ![]() | Heckel, R., Ehrig, H., Golas, U., & HERMANN, F. (2012). Parallelism and Concurrency of Stochastic Graph Transformations. Graph Transformations, 7562, 96-110. ![]() |
![]() ![]() | 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 ![]() |
![]() ![]() | 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. https://orbilu.uni.lu/handle/10993/5626 |
![]() ![]() | 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. https://orbilu.uni.lu/handle/10993/5627 |
![]() ![]() | 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 ![]() |
![]() ![]() | 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 ![]() |
![]() ![]() | 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. ![]() |
![]() ![]() | HERMANN, F. (2011). Analysis and Optimization of Visual Enterprise Models Based on Graph and Model Transformation. Berlin, Germany: TU Berlin. |
![]() ![]() | 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. https://orbilu.uni.lu/handle/10993/3922 |
![]() ![]() | 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 ![]() |
![]() ![]() | 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 ![]() |
![]() ![]() | 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 ![]() |
![]() ![]() | 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 ![]() |
![]() ![]() | 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. |
![]() ![]() | 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 ![]() |
![]() ![]() | Brandt, C., HERMANN, F., Ehrig, H., & Thomas, E. (2010). Enterprise Modelling using Algebraic Graph Transformation - Extended Version. (2010/06). TU Berlin, Fak. IV. https://orbilu.uni.lu/handle/10993/5625 |
![]() ![]() | 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. https://orbilu.uni.lu/handle/10993/5620 |
![]() ![]() | 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. https://orbilu.uni.lu/handle/10993/5621 |
![]() ![]() | 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. https://orbilu.uni.lu/handle/10993/5623 |
![]() ![]() | 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. https://orbilu.uni.lu/handle/10993/5624 |
![]() ![]() | 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. https://orbilu.uni.lu/handle/10993/5622 |
![]() ![]() | 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 ![]() |
![]() ![]() | 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 ![]() |
![]() ![]() | 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. ![]() |
![]() ![]() | 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 ![]() |
![]() ![]() | 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 ![]() |
![]() ![]() | 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. (2009). Permutation Equivalence of DPO Derivations with Negative Application Conditions based on Subobject Transformation Systems: Long Version. (2009/10). TU Berlin, Fak. IV. https://orbilu.uni.lu/handle/10993/5613 |
![]() ![]() | 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. https://orbilu.uni.lu/handle/10993/5619 |
![]() ![]() | 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. https://orbilu.uni.lu/handle/10993/5618 |
![]() ![]() | 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 ![]() |
![]() ![]() | HERMANN, F. (2009). Permutation Equivalence of DPO Derivations with Negative Application Conditions based on Subobject Transformation Systems. Electronic Communications of the EASST, 16. ![]() |
![]() ![]() | 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. ![]() |
Corradini, A., HERMANN, F., & Sobocinski, P. (2008). Subobject Transformation Systems. Applied Categorical Structures, 16 (3), 389--419. doi:10.1007/s10485-008-9127-6 ![]() |
![]() ![]() | 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. https://orbilu.uni.lu/handle/10993/5614 |
![]() ![]() | 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. https://orbilu.uni.lu/handle/10993/5617 |
![]() ![]() | HERMANN, F. (2008). Process Definition of Adhesive HLR Systems. (2008/09). Berlin, Germany: Technische Universität Berlin,Fakultät IV. https://orbilu.uni.lu/handle/10993/5615 |
![]() ![]() | 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. https://orbilu.uni.lu/handle/10993/5616 |
HERMANN, F., & Ehrig, H. (2008). Process Definition using Subobject Transformation Systems. Bulletin of the EATCS, 95, 153-163. |
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 ![]() |
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. ![]() |
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 ![]() |
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 ![]() |
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. ![]() |
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. ![]() |
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. ![]() |
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 ![]() |
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. ![]() |
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. https://orbilu.uni.lu/handle/10993/5586 |