BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Hermann_0001:Frank

Facilitated 1 volumes:

GT-VMT 2014Ed

Contributed to:

EDBT/ICDT Workshops 20142014
ICMT 20142014
AMT 20132013
BX 20132013
ICMT 20132013
FASE 20122012
ICGT 20122012
BX 20112011
GT-VMT 20112011
MoDELS 20112011
MODELS 20112015
FASE 20102010
GCM 20102011
GT-VMT 20102010
ICGT 20102010
FASE 20092009
GT-VMT 20092009
MoDELS 20092009
GT-VMT 20082008
ICGT 20082008
FASE 20072007
GT-VMT 20072007
GT-VMT 20062008
ICGT 20062006

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.