BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Krause:Christian

Contributed to:

FASE 20142014
AMT 20132013
ICMT 20132013
QAPL 20132013
ICGT 20122012
GT-VMT 20112011
MoDELS (1) 20102010
SAC 20102010
SEFM 20102010

Wrote 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.

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.