Travelled to:1 × Germany
1 × The Netherlands
2 × Italy
Collaborated with:H.Ehrig F.Hermann F.Orejas A.Habel G.Täntzer ∅ L.Lambers A.Boronat N.Mylonakis H.Giese R.Heckel E.Biermann C.Ermel B.Braatz K.Gabriel
Talks about:transform (7) graph (7) grammar (3) amalgam (3) formal (3) tripl (3) model (3) adhes (3) confluenc (2) categori (2)
Person: Ulrike Golas
DBLP: Golas:Ulrike
Contributed to:
2015
20132012
20112010Wrote 11 papers:
- ICGT-2015-TaentzerG #analysis #confluence #graph transformation #towards
- Towards Local Confluence Analysis for Amalgamated Graph Transformation (GT, UG), pp. 69–86.
- FoSSaCS-2013-OrejasBGM #graph transformation #similarity
- Checking Bisimilarity for Attributed Graph Transformation (FO, AB, UG, NM), pp. 113–128.
- ICGT-2012-Golas #concept #modelling
- A General Attribution Concept for Models in M-Adhesive Transformation Systems (UG), pp. 187–202.
- ICGT-2012-GolasLEG #flexibility #formal method #graph grammar #towards
- Toward Bridging the Gap between Formal Foundations and Current Practice for Triple Graph Grammars — Flexible Relations between Source and Target Elements (UG, LL, HE, HG), pp. 141–155.
- ICGT-2012-HeckelEGH #concurrent #graph transformation #parallel #probability
- Parallelism and Concurrency of Stochastic Graph Transformations (RH, HE, UG, FH), pp. 96–110.
- GCM-2010-GolasBEE11 #graph transformation #interpreter #semantics #visual notation
- A Visual Interpreter Semantics for Statecharts Based on Amalgamated Graph Transformation (UG, EB, HE, CE).
- GCM-2010-GolasEH11 #graph grammar #model transformation #specification
- Formal Specification of Model Transformations by Triple Graph Grammars with Application Conditions (UG, HE, FH).
- ICGT-2010-BraatzEGG #category theory
- Finitary M-Adhesive Categories (BB, HE, KG, UG), pp. 234–249.
- ICGT-2010-EhrigHLOG #confluence
- Local Confluence for Rules with Nested Application Conditions (HE, AH, LL, FO, UG), pp. 330–345.
- ICGT-2010-GolasEH #category theory #multi
- Multi-Amalgamation in Adhesive Categories (UG, HE, AH), pp. 346–361.
- 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.