Travelled to:
1 × Brazil
1 × Cyprus
1 × Estonia
1 × Greece
1 × Hungary
1 × Italy
1 × New Zealand
1 × Portugal
1 × The Netherlands
2 × Germany
2 × USA
3 × United Kingdom
Collaborated with:
H.Ehrig ∅ F.Orejas C.Ermel U.Golas C.Brandt K.Ehrig G.Täntzer S.Gottmann T.Engel R.Heckel A.Corradini B.König Z.Diskin Y.Xiong K.Czarnecki H.Schölzel A.Rensink N.Nachtigall B.Braatz C.Sartorius G.Morelli A.Pierre M.Naeem U.Prange I.Boneva H.Kastenberg T.Heindel A.Boronat A.Anjorin A.Cunha H.Giese A.Schürr
Talks about:
model (18) graph (18) base (14) transform (13) grammar (13) tripl (12) synchron (5) correct (5) concurr (4) complet (4)
Person: Frank Hermann
DBLP: Hermann_0001:Frank
Facilitated 1 volumes:
Contributed to:
Wrote 27 papers:
- BX-2014-AnjorinCG0RS
- BenchmarX (AA, AC, HG, FH, AR, AS), pp. 82–86.
- ICMT-2014-HermannGNEBMPEE #graph grammar #in the large
- Triple Graph Grammars in the Large for Translating Satellite Procedures (FH, SG, NN, HE, BB, GM, AP, TE, CE), pp. 122–137.
- AMT-2013-Gottmann0NBEEE #concurrent #correctness #graph grammar
- Correctness and Completeness of Generalised Concurrent Model Synchronisation Based on Triple Graph Grammars (SG, FH, NN, BB, CE, HE, TE), pp. 62–71.
- BX-2013-OrejasBE0S #concurrent #on the
- On Propagation-Based Concurrent Model Synchronization (FO, AB, HE, FH, HS), pp. 18–36.
- ICMT-2013-HermannGNBMPE #automation #graph grammar #on the #using
- On an Automated Translation of Satellite Procedures Using Triple Graph Grammars (FH, SG, NN, BB, GM, AP, TE), pp. 50–51.
- FASE-2012-HermannEEO #concurrent #graph grammar
- Concurrent Model Synchronization with Conflict Resolution Based on Triple Graph Grammars (FH, HE, CE, FO), pp. 178–193.
- ICGT-2012-HeckelEGH #concurrent #graph transformation #parallel #probability
- Parallelism and Concurrency of Stochastic Graph Transformations (RH, HE, UG, FH), pp. 96–110.
- BX-2011-Hermann #analysis #graph grammar #model transformation
- Analysis of Model Transformations based on TGGs (FH), p. 52.
- BX-2011-Hermann1 #integration
- Model Integration and Synchronization (FH), p. 58.
- GT-VMT-2011-EhrigHSB #constraints #graph grammar #model transformation
- Propagation of Constraints along Model Transformations Based on Triple Graph Grammars (HE, FH, HS, CB).
- MoDELS-2011-DiskinXCEHO #bidirectional #model transformation #symmetry
- From State- to Delta-Based Bidirectional Model Transformations: The Symmetric Case (ZD, YX, KC, HE, FH, FO), pp. 304–318.
- MoDELS-2011-HermannEOCDX #correctness #graph grammar
- Correctness of Model Synchronization Based on Triple Graph Grammars (FH, HE, FO, KC, ZD, YX), pp. 668–682.
- MoDELS-J-2011-HermannEOCDXGE15 #correctness #graph grammar
- Model synchronization based on triple graph grammars: correctness, completeness and invertibility (FH, HE, FO, KC, ZD, YX, SG, TE), pp. 241–269.
- FASE-2010-NaeemHOH #composition #contract #incremental #visual notation
- Incremental Service Composition Based on Partial Matching of Visual Contracts (MN, RH, FO, FH), pp. 123–138.
- GCM-2010-GolasEH11 #graph grammar #model transformation #specification
- Formal Specification of Model Transformations by Triple Graph Grammars with Application Conditions (UG, HE, FH).
- GT-VMT-2010-HermannCEK #analysis #equivalence #graph #performance #permutation #petri net
- Efficient Analysis of Permutation Equivalence of Graph Derivations Based on Petri Nets (FH, AC, HE, BK).
- ICGT-2010-BrandtH #enterprise #graph transformation #how #modelling #question
- How Far Can Enterprise Modeling for Banking Be Supported by Graph Transformation? (CB, FH), pp. 3–26.
- ICGT-2010-HermannEOG #analysis #behaviour #formal method #functional #graph grammar #model transformation
- Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars (FH, HE, FO, UG), pp. 155–170.
- FASE-2009-HermannEE #graph #inheritance #network #security
- Transformation of Type Graphs with Inheritance for Ensuring Security in E-Government Networks (FH, HE, CE), pp. 325–339.
- GT-VMT-2009-EhrigHS #correctness #graph grammar #model transformation
- Completeness and Correctness of Model Transformations based on Triple Graph Grammars with Negative Application Conditions (HE, FH, CS), pp. 67–84.
- MoDELS-2009-EhrigEHP #correctness #graph grammar #model transformation #on the fly
- On-the-Fly Construction, Correctness and Completeness of Model Transformations Based on Triple Graph Grammars (HE, CE, FH, UP), pp. 241–255.
- GT-VMT-2008-EhrigEH #algebra #approach #graph grammar #integration #model transformation
- From Model Transformation to Model Integration based on the Algebraic Approach to Triple Graph Grammars (HE, KE, FH).
- ICGT-2008-Hermann #analysis #process #workflow
- Process Construction and Analysis for Workflows Modelled by Adhesive HLR Systems with Application Conditions (FH), pp. 496–498.
- FASE-2007-EhrigEEHT #bidirectional #model transformation
- Information Preserving Bidirectional Model Transformations (HE, KE, CE, FH, GT), pp. 72–86.
- GT-VMT-2007-BonevaHKR #graph transformation #multi #simulation #using
- Simulating Multigraph Transformations Using Simple Graphs (IB, FH, HK, AR).
- GT-VMT-2006-HermannET08 #diagrams #graph grammar #inheritance #sequence chart #syntax #uml
- A Typed Attributed Graph Grammar with Inheritance for the Abstract Syntax of UML Class and Sequence Diagrams (FH, HE, GT), pp. 261–269.
- ICGT-2006-CorradiniHHK #category theory
- Sesqui-Pushout Rewriting (AC, TH, FH, BK), pp. 30–45.