Travelled to:1 × Brazil
1 × Hungary
1 × Italy
1 × USA
1 × United Kingdom
Collaborated with:H.Ehrig F.Orejas G.Täntzer C.Ermel L.Lambers J.Padberg F.Hermann K.Ehrig A.Habel A.Rein K.Hoffmann D.Varró S.Varró-Gyapay
Talks about:transform (6) graph (6) model (4) base (3) analysi (2) system (2) condit (2) applic (2) tripl (2) negat (2)
Person: Ulrike Prange
DBLP: Prange:Ulrike
Contributed to:
2009
2008
2008
200820062004Wrote 10 papers:
- 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.
- FASE-2008-EhrigEEP #consistency #integration #modelling #visual notation
- Consistent Integration of Models Based on Views of Visual Languages (HE, KE, CE, UP), pp. 62–76.
- FASE-2008-OrejasEP #constraints #graph #logic
- A Logic of Graph Constraints (FO, HE, UP), pp. 179–198.
- GT-VMT-2008-ReinPLHP #configuration management
- Negative Application Conditions for Reconfigurable Place/Transition Systems (AR, UP, LL, KH, JP).
- ICGT-2008-EhrigP #analysis #formal method #graph #kernel #model transformation
- Formal Analysis of Model Transformations Based on Triple Graph Rules with Kernels (HE, UP), pp. 178–193.
- ICGT-2008-LambersEPO #confluence #graph transformation
- Embedding and Confluence of Graph Transformations with Negative Application Conditions (LL, HE, UP, FO), pp. 162–177.
- ICGT-2006-EhrigOP #category theory #distributed #graph transformation
- Categorical Foundations of Distributed Graph Transformation (HE, FO, UP), pp. 215–229.
- ICGT-2006-VarroVEPT #analysis #model transformation #petri net #termination
- Termination Analysis of Model Transformations by Petri Nets (DV, SVG, HE, UP, GT), pp. 260–274.
- ICGT-2004-EhrigHPP #category theory
- Adhesive High-Level Replacement Categories and Systems (HE, AH, JP, UP), pp. 144–160.
- ICGT-2004-EhrigPT #graph transformation
- Fundamental Theory for Typed Attributed Graph Transformation (HE, UP, GT), pp. 161–177.