Frank Hermann 0001 - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 35 from 35

2016

Towards the Propagation of Model Updates along different Views in Multi-View ModelsSusann Gottmann, Nico Nachtigall, Claudia Ermel, Frank Hermann 0001, Thomas Engel. etaps 2016: 45-60 [doi]

2015

Model synchronization based on triple graph grammars: correctness, completeness and invertibilityFrank Hermann 0001, Hartmut Ehrig, Fernando Orejas, Krzysztof Czarnecki, Zinovy Diskin, Yingfei Xiong, Susann Gottmann, Thomas Engel. SoSyM, 14(1):241-269, 2015. [doi]

Graph and Model Transformation - General Framework and ApplicationsHartmut Ehrig, Claudia Ermel, Ulrike Golas, Frank Hermann 0001. Monographs in Theoretical Computer Science. An EATCS Series, Springer, 2015. [doi]

2014

Solving the FIXML2Code-case Study with HenshinTGGFrank Hermann 0001, Nico Nachtigall, Benjamin Braatz, Thomas Engel, Susann Gottmann. staf 2014: 32-46 [doi]

13th International Workshop on Graph Transformation and Visual Modeling Techniques (GTVMT 2014): PrefaceFrank Hermann 0001, Stefan Sauer. eceasst, 67, 2014. [doi]

Analysis of permutation equivalence in -adhesive transformation systems with negative application conditionsFrank Hermann 0001, Andrea Corradini, Hartmut Ehrig. mscs, 24(4), 2014. [doi]

Formal analysis of model transformations based on triple graph grammarsFrank Hermann 0001, Hartmut Ehrig, Ulrike Golas, Fernando Orejas. mscs, 24(4), 2014. [doi]

Triple Graph Grammars in the Large for Translating Satellite ProceduresFrank Hermann 0001, Susann Gottmann, Nico Nachtigall, Hartmut Ehrig, Benjamin Braatz, Gianluigi Morelli, Alain Pierre, Thomas Engel, Claudia Ermel. ICMT 2014: 122-137 [doi]

Report on the Third Workshop on Verification of Model Transformations (VOLT 2014)Moussa Amrani, Eugene Syriani, Manuel Wimmer, Robert Bill, Martin Gogolla, Frank Hermann 0001, Kevin Lano. staf 2014: 1-9 [doi]

BenchmarXAnthony Anjorin, Alcino Cunha, Holger Giese, Frank Hermann 0001, Arend Rensink, Andy Schürr. edbt 2014: 82-86 [doi]

Towards Domain Completeness for Model Transformations Based on Triple Graph GrammarsNico Nachtigall, Frank Hermann 0001, Benjamin Braatz, Thomas Engel. staf 2014: 46-55 [doi]

2013

On an Automated Translation of Satellite Procedures Using Triple Graph GrammarsFrank Hermann 0001, Susann Gottmann, Nico Nachtigall, Benjamin Braatz, Gianluigi Morelli, Alain Pierre, Thomas Engel. ICMT 2013: 50-51 [doi]

Conformance Analysis of Organizational Models: A New Enterprise Modeling Framework using Algebraic Graph TransformationChristoph Brandt, Frank Hermann 0001. ijismd, 4(1):42-78, 2013. [doi]

Propagation of constraints along model transformations using triple graph grammars and borrowed contextHartmut Ehrig, Frank Hermann 0001, Hanna Schölzel, Christoph Brandt. JCL (JVLC), 24(5):365-388, 2013. [doi]

Towards Bidirectional Engineering of Satellite Control Procedures Using Triple Graph GrammarsSusann Gottmann, Frank Hermann 0001, Claudia Ermel, Thomas Engel, Gianluigi Morelli. MoDELS 2013: 67-76 [doi]

Correctness and Completeness of Generalised Concurrent Model Synchronisation Based on Triple Graph GrammarsSusann Gottmann, Frank Hermann 0001, Nico Nachtigall, Benjamin Braatz, Claudia Ermel, Hartmut Ehrig, Thomas Engel. MoDELS 2013: [doi]

Automated source code extension for debugging of OpenFlow based networksStefan Hommes, Frank Hermann 0001, Radu State, Thomas Engel. cnsm 2013: 105-108 [doi]

On Propagation-Based Concurrent Model SynchronizationFernando Orejas, Artur Boronat, Hartmut Ehrig, Frank Hermann 0001, Hanna Schölzel. eceasst, 57, 2013. [doi]

2012

2011

Analysis and Optimization of Visual Enterprise Models: Based on Graph and Model TransformationFrank Hermann 0001. PhD thesis, Berlin Institute of Technology, 2011. [doi]

Correctness of Model Synchronization Based on Triple Graph GrammarsFrank Hermann 0001, Hartmut Ehrig, Fernando Orejas, Krzysztof Czarnecki, Zinovy Diskin, Yingfei Xiong. MoDELS 2011: 668-682 [doi]

Generation and Evaluation of Business Continuity Processes using Algebraic Graph Transformation and the mCRL2 Process AlgebraChristoph Brandt, Frank Hermann 0001, Jan Friso Groote. acj, 43(1):65-86, 2011. [doi]

From State- to Delta-Based Bidirectional Model Transformations: The Symmetric CaseZinovy Diskin, Yingfei Xiong, Krzysztof Czarnecki, Hartmut Ehrig, Frank Hermann 0001, Fernando Orejas. MoDELS 2011: 304-318 [doi]

Propagation of Constraints along Model Transformations Based on Triple Graph GrammarsHartmut Ehrig, Frank Hermann 0001, Hanna Schölzel, Christoph Brandt. eceasst, 41, 2011. [doi]

Formal Specification of Model Transformations by Triple Graph Grammars with Application ConditionsUlrike Golas, Hartmut Ehrig, Frank Hermann 0001. eceasst, 39, 2011. [doi]

2010

Efficient analysis and execution of correct and complete model transformations based on triple graph grammarsFrank Hermann 0001, Hartmut Ehrig, Ulrike Golas, Fernando Orejas. MoDELS 2010: 22-31 [doi]

Categorical Frameworks for Graph Transformation and HLR Systems Based on the DPO ApproachHartmut Ehrig, Ulrike Golas, Frank Hermann 0001. eatcs, 102:111-121, 2010. [doi]

2009

Cospan DPO Approach: An Alternative for DPO Graph TransformationsHartmut Ehrig, Frank Hermann 0001, Ulrike Prange. eatcs, 98:139-149, 2009.

Behaviour Simulation and Equivalence of Systems Modelled by Graph TransformationHartmut Ehrig, Claudia Ermel, Frank Hermann 0001, Barbara König. eatcs, 97:117-125, 2009.

2008

Process Definition using Subobject Transformation SystemsFrank Hermann 0001, Hartmut Ehrig. eatcs, 95:153-163, 2008.

On the relationship of model transformations based on triple and plain graph grammarsHartmut Ehrig, Claudia Ermel, Frank Hermann 0001. ICSE 2008: 9-16 [doi]

Authors

See Also

All Publications

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag

Filter by Venue
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1

Researchr

Publications by 'Frank Hermann 0001'

Viewing Publication 1 - 35 from 35

2016

2015

2014

2013

2012

2011

2010

2009

2008

Authors

See Also

All Publications

Filter by YearOR AND NOT 1

Filter by TypeOR AND NOT 1

Filter by Tag

Filter by VenueOR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top Terms [+]OR AND NOT 1

Researchr

Publications by 'Frank Hermann 0001'

Viewing Publication 1 - 35 from 35

2016

2015

2014

2013

2012

2011

2010

2009

2008

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Venue
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1