Travelled to:1 × France
1 × Germany
1 × Hungary
1 × Norway
1 × Switzerland
1 × USA
2 × Italy
Collaborated with:H.Giese M.Tichy N.Kokash E.P.d.Vink ∅ G.Liebel J.Dyck T.Han M.Z.Kwiatkowska T.Arendt E.Biermann S.Jurack G.Täntzer
Talks about:transform (5) model (4) graph (3) probabilist (2) henshin (2) system (2) specif (2) servic (2) time (2) data (2)
Person: Christian Krause
DBLP: Krause:Christian
Contributed to:
2014
2013
2013
2013
2012
2011
2010
2010
2010Wrote 9 papers:
- FASE-2014-KrauseTG #graph transformation #implementation #parallel
- Implementing Graph Transformations in the Bulk Synchronous Parallel Model (CK, MT, HG), pp. 325–339.
- AMT-2013-TichyKL #detection #model transformation #performance #smell
- Detecting Performance Bad Smells for Henshin Model Transformations (MT, CK, GL), pp. 82–91.
- ICMT-2013-KrauseDG #co-evolution #evolution #graph transformation #metamodelling
- Metamodel-Specific Coupled Evolution Based on Dynamically Typed Graph Transformations (CK, JD, HG), pp. 76–91.
- QAPL-2013-HanKKG #probability #specification
- Modal Specifications for Probabilistic Timed Systems (TH, CK, MZK, HG), pp. 66–80.
- ICGT-2012-KrauseG #graph transformation #probability
- Probabilistic Graph Transformation Systems (CK, HG), pp. 311–325.
- GT-VMT-2011-Krause #automaton #distributed
- Distributed Port Automata (CK).
- MoDELS-v1-2010-ArendtBJKT #concept #emf #model transformation #named #tool support
- Henshin: Advanced Concepts and Tools for In-Place EMF Model Transformations (TA, EB, SJ, CK, GT), pp. 121–135.
- SAC-2010-KokashKV #composition #design #verification
- Data-aware design and verification of service compositions with Reo and mCRL2 (NK, CK, EPdV), pp. 2406–2413.
- SEFM-2010-KokashKV #analysis #modelling #visual notation
- Time and Data-Aware Analysis of Graphical Service Models in Reo (NK, CK, EPdV), pp. 125–134.